yoshihiro503の日記

 | 

2010-06-28

[]第4回 ProofCafe (栄) は 7月24日 (土) 第4回 ProofCafe (栄) は 7月24日 (土) - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 第4回 ProofCafe (栄) は 7月24日 (土) - yoshihiro503の日記

CPDT読書会

CPDT(Certified Programming with Dependent Types) というCoqのプログラマ向けの文書を読み進めていきましょう。東京で行われているFormal Method勉強会でもCPDT読書会を行っているのでそこでの資料(上記参考資料)を事前にざっと見ておくと理解しやすいと思います。

mzpmzp2010/07/17 11:10いきますよー。

moriguchi_wofmoriguchi_wof2010/07/17 11:14またお邪魔します。@wof_moriguchi

yoshihiro503yoshihiro5032010/07/17 14:36参加します。

mzpmzp2010/07/21 22:09ごめんなさい、ちょっと無理かも。

maeda_maeda_2010/07/22 00:26参加します。

tmiyatmiya2010/07/23 17:55今月は無理っぽいです。

nishitaninishitani2010/07/24 09:18参加します。

 |