Prozess-Gleichheiten als (spielbare) Spiele
Gleichheitsbegriffe für das Verhalten von kommunizierenden Systemen korrespondieren zu logischen Spielen. Diese haben mehr mit mathematischer Spieltheorie als mit Computerspielen zu tun. Trotzdem lassen sie sich als Computerspiele umsetzen, was ich sehr cool finde.
In Computing Coupled Similarity habe ich 2018 etwas erklärt, mit welchem Gleichheitsbegriff ich mich bei meiner Masterarbeit beschäftigt habe. Seitdem haben wir die Ergebnisse bei der Konferenz TACAS 2019 präsentiert. Details zu den logischen Spielen gibt unser Acta-Informatica-Artikel „Coupled Similarity: The First 32 Years“.
Einige meiner Bachelorstudis und ich haben inzwischen angefangen, Computerspiel-Umsetzungen der logischen Spiele zu entwickeln. Besonders glücklich bin ich mit einem kleinen Spiel, das unter https://www.concurrency-theory.org/rvg-game/ im Browser gespielt werden kann.
Das Spiel entstand im Rahmen von Dominiks Bachelorarbeit und wurde genau rechtzeitig fertig, damit wir es zu Rob van Glabbeeks 60. Geburtstag online stellen konnten. Rob ist einer der Entdecker von Coupled Similarity und diese nimmt eine zentrale Rolle im Spiel ein. Das Timing passte also sehr gut.
Schaut euch das Spiel ruhig mal an! Es liefert einen deutlich freundlicheren Zugang als durch die sonst häufig am Anfang stehenden mathematischen Monster wie Coinduktion, Coalgebren, Kategorien und Modallogiken.
Ich arbeite ja in der Informatik auf dem Feld der Concurrency-Theory, das seine Wachstumszeit schon hinter sich hat. Wichtiger als die (irgendwie immer noch moderne) Erarbeitung immer neuer obskurer Formalismen ist es, den Kern des Feldes so zu stabilisieren, dass er für Menschen überblickbar wird und neue Generationen davon ausgehend auf neue Stufen klettern können. Darum finde ich es wertvoll, interaktive und intuitive Präsentationen zu suchen.
Stranded wurde 2003 von UnrealSoftware entwickelt und war ziemlich erfolgreich. Und das war es natürlich nur, weils toll war! Man strandet auf einer Insel und kämpft ums Überleben, um dann schlussendlich von der Insel zu entfliehen. Motivierendes Spielprinzip!
Dieser kleine Egoshooter entstand im Zuge eines Wettbewerbs in Zusammenarbeit mit INpac, Vincent, ava und jaZ. Nach dem Wettbewerb haben wir noch etwas dran weitergewerkelt unter Mitarbeit von BrightDevil und MoeRon.
Wer (von ein paar doofen Mädchen und Schulleitern abgesehen) steht nicht auf Schneeballschlachten? Schneeballschlachten sind toll. Nur manchma etwas kalt. Darum muss ein PC-Spiel her! Am besten ein Abgedrehtes. Gegner mit Riesenschneebällen plattwalzen, mit Schneekanonen umhauen oder mit dem Schlitten mitreißen, yay!
Das Spiel ist ein normaler Von-unten-nach-oben-fliegen-Shooter. Ich programmierte es für den Blitz-max.de-Wettbewerb, bei dem es Blitzmax zu gewinnen gab, wurde aber nur zweiter. [Kurze Anekdote: INpac gewann. Er und ich bildeten inDevelopment und entwickelten manch ein Spiel zusammen. INpac hat das versprochene Blitzmax nie erhalten, glaube ich.]
Ja! Das da im Titel ist der Name. WkW (WollknäuelWar) ist ein actionlastiges Artillerieduell: Zwei Spieler beschießen sich in Echtzeit mit zwei Kanonen, wobei besonders die Landschaft und Schafe in Mitleidenschaft gezogen werden.
Vor längerer Zeit hatte ich Monkey mit Kaobomber1(Berechtigte Softgameswertung: 1/5) beim Einstieg in BB geholfen. Der Nachfolger „Kaobomber2“ ist nur eine leicht verbesserte Version, welche ich noch etwas für Monkey aufgemotzt habe.
Letzten Sommer habe ich einen kleinen interaktiven Comic mit der immer irgendwie verlierenden Comicfigur „Katja“ geschrieben. Einerseits vertreib ich mir damit ganz gut die Zeit, andererseits verbesserte ich dabei auch etwas mein grafisches Talent und entwickle eine kleine Skriptengine. Denn das ganze wird nur durch simple Skripts beschrieben. Daher nenne ich es auch nicht Spiel, sondern interaktives Comic. Anders als bei einem Spiel geht es hier auch nicht um das Gewinnen, sondern um das Verlieren auf einem lustigen Wege. Das liegt an der Comicvorlage des Spiels, in der die Hauptfigur Katja auch immer irgendwie zerquetscht, gespalten, gesprengt oder verbrannt wird ;), aber auch etwas an meinem Wunsch, mal eine Art Spiel zu machen, das nicht nach dem Standardschema eines Spiels abläuft.