yoshihiro503の日記

 | 

2010-09-28

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

CPDT読書会

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

yoshihiro503yoshihiro5032010/09/28 23:08参加します。

yoriyukiyoriyuki2010/09/29 14:06今気づいたのですが、この3回とも「第4回…」となっていますが、間違いでしょうか。

yoshihiro503yoshihiro5032010/10/01 14:16ご指摘ありがとうございます。訂正しました。

maeda_maeda_2010/10/20 23:48参加します

wof_moriguchiwof_moriguchi2010/10/23 08:25日付勘違いしてました。参加させていただきます

lequeleque2010/10/23 10:57参加します

 |