日々の流転

λ. Freek Wiedijk. Comparing mathematical provers

を読んだ。各種のシステムの大雑把な比較。個々のシステムの詳細について触れられていないのは残念だけど、A rather subjective two-dimensional diagram は分かりやすかった。

λ. 「時間を無作為にすごす」 by addie

今日の迷言。

λ. カタンに初挑戦

こんなに面白いゲームだとは知らなかった。3ゲームやって一回も勝てなかったのは残念だけど、またやりたい。特に最後のゲームはyaizawaさんに longest road を奪い返されて負けたのが悔しい。こんなことだったら道を伸ばしておくんだった……次に家を建てるか都市化しようと思ってカードを温存して道を伸ばさなかったのだけど、後の祭り。

λ. ロジック プログラミング (1)

今期は古川先生がサバティカルなので、古川研から人が何人か来ていた。

ちなみに、参考書はこの本。