yoshihiro503の日記

 | 

2010-12-02

[]次回 Proof Cafe (栄) は12月18日 次回 Proof Cafe (栄) は12月18日 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 Proof Cafe (栄) は12月18日 - yoshihiro503の日記

CPDT読書会

CPDT(Certified Programming with Dependent Types) というCoqのプログラマ向けの文書を読み進めていきましょう。Chap. 5 Infinite Data and Proofs から読んでいこうと思います。

yoshihiro503yoshihiro5032010/12/03 09:47参加します。

mzpmzp2010/12/03 20:50参加できません><。

t6st6s2010/12/05 19:46多分行きます

kaizenkaizen2010/12/15 10:06出る予定で調整中。

wof_moriguchiwof_moriguchi2010/12/18 12:41お邪魔すると思います

t6st6s2010/12/18 19:03体調不良で行けませんでした

kaizen00kaizen002010/12/21 16:00次回はいつに鳴ったんでしたっけ。1/22が第四土曜ですが,,,

 |