yoshihiro503の日記

 | 

2010-05-17

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

CPDT読書会

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

mzpmzp2010/05/17 20:15当然行きます。

clairvyclairvy2010/05/18 08:13とりま行くつもりです.

よしひろよしひろ2010/05/18 14:31参加します。

西谷西谷2010/05/19 00:57参加します。

t6st6s2010/05/21 22:59行きます

maeda_maeda_2010/05/21 23:14参加します。

 |