2007-06-20 常日頃から時間軸が違うような気がしていた その他 OCaml-Nagoyaな先輩の id:yoshihiro503 さんがはてダで 定理証明系Coqを使った証明をゴリゴリ書き始めたもよう。 未来日記で。 って日記を書くのが流行ってるらしいので便乗してみた。