Nach mittlerweile <censored> Semestern, durfte ich nun endlich zur Tat schreiten und meine Diplomarbeit anmelden. Der ruhmlose Titel lautet "Pläne und Spiele – eine Anwendung für spielbasiertes Model Checking". Was tatsächlich dahinter steckt, wird in spätestens sechs Monaten in jeder gut sortierten Bereichsbibliothek für Informatik in Dortmund zu lesen sein. Um …
more ...Das Halteproblem, beschreibt die Tatsache, dass es kein Programm geben kann, das für ein anderes Programm entscheiden kann, ob dieses hält oder nicht. Endlosschleifen lassen sich für den allgemeinen Fall also nicht durch einen einfachen (oder auch komplizierten) Algorithmus ausfindig machen. Dass noch nicht einmal Namen, die man für Aufrufe …
more ...Heute mal etwas Theorie zum Thema λ-Kalkül. Hierbei handelt es sich um eine von Alonzo Church etablierte Theorie zur Ausführung von Funktionen. Hierbei nehmen wir Funktionen als anonyme Funktionen λ an und können die Identität (also die Funktion, die alle Argumente auf sich selbst abbildet) wie folgt darstellen:
λx.x …more ...
Lange ist es her seit meine letzte Nachricht an die Menschheit in dieses öffentliche Forum meiner Seite verkündet wurde. Nun bin ich aber wieder zurück und wünsche in guter höflicher Manier allen meinen Lesern - und ich weiß, dass es wenige sind - ein Frohes Neues Jahr.
Um diesen Eintrag noch weiter …
more ...Die RWTH-Aachen bietet reichhaltige Informationen» – wozu Videos, Uebungsblaetter und Skripten gehoeren – zu einer Model-Checking-Vorlesung aus dem Wintersemester 2003/2004. Wirklich hinschauenswert.
more ...In Software
From C. Enrique Ortiz' Weblog: Developer's Top 10 replies when code doesn't work.
10. 'That's weird...'9. 'It's never done that before.'8. 'It worked yesterday.'7. 'You must have the wrong version.'6. 'It works, but it hasn't been tested.'5. 'Somebody must have changed …
Man muss es wohl gesehen haben, um es zu glaube, was die Jungs und Mädels beim MIT so mit graphischen Systemen machen. "Painting with patterns" und "painting with movements" heißt es da schlicht. Doch was dabei rauskommt, ist schon erstaunlich und kann in einem Video bestaunt werden.
Neben Wurst, Käse und etwas unfrischem Gemüse wird es bei uns im Plus demnächst auch eine Waffentasche geben. Endlich hat man die Zeichen der Zeit erkannt und stellt sich auf die immer anspruchsvollere Kundschaft ein. Mit praktischem seitlich integriertem gepolstertem Gewehrfach mit Reißverschluss und viel Staurraum für das erlegte Was-auch-immer …
more ...