yoshihiro503の日記

 | 

2010-05-22

[]第三回 Proof Cafe (栄) は 6月26日 (土) 第三回 Proof Cafe (栄) は 6月26日 (土) - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 第三回 Proof Cafe (栄) は 6月26日 (土) - yoshihiro503の日記

CPDT読書会

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

mzpmzp2010/06/13 12:06いきまーす。

yoshihiro503yoshihiro5032010/06/16 14:48参加します。

tMiyatMiya2010/06/20 21:43今月は行けそうなので参加しようと思います。

moriguchi_wofmoriguchi_wof2010/06/24 21:51参加させていただきます

keigoikeigoi2010/06/25 11:19いきますー

lequeleque2010/06/25 15:15参加しますー

maeda_maeda_2010/06/26 02:20参加します。

西谷西谷2010/06/26 02:31参加します。

t6st6s2010/06/26 12:26多分いきます

clairvyclairvy2010/06/26 13:54居ます

 |