2006-01-11から1日間の記事一覧

プログラマのための「ゲーデルの不完全性定理」

http://d.hatena.ne.jp/m-hiyama/20060110 fun! :-)

VDM++

・・・の勉強のため、インタプリタのプロトタイプを作ろうとしたけれど、考えが甘かったです。 内部にLISPとかPrologみたいな構造も必要だということに気づきました。 (コイツ、キマイラか?) 私じゃムリです。 SCHEMEを勉強してなかったら、それすら気づ…