yoshihiro503の日記

 | 

2010-09-03

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

CPDT読書会

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

clairvyclairvy2010/09/04 01:11参加でお願いします.

yoshihiro503yoshihiro5032010/09/04 06:16参加します

t6st6s2010/09/21 21:20参加します

JacquesJacques2010/09/22 17:11I'll be there!

maeda_maeda_2010/09/24 19:02参加します。

nishitaninishitani2010/09/25 01:08会社の検定のせいでいけなくなってしまいました。

mzpmzp2010/09/25 10:06いきます

 |