ProofCafe #02
ProofCafe の第二回が名古屋・栄の「どえりゃあ」で開催されました。 前回の記事はこちら
私は今回は出席できず。残念です。
資料とか
http://coq.g.hatena.ne.jp/yoshihiro503/20100517/p1 より転載。
資料(HTML): http://adam.chlipala.net/cpdt/html/toc.html
資料(PDF): http://adam.chlipala.net/cpdt/cpdt.pdf
参考資料: http://groups.google.co.jp/group/fm-forum/msg/e5c0fb1994ac2460
次回以降について
開催予定と概要が はてダのCoqグループのid:yoshihiro503の日記 に掲載されます。
毎月 第4土曜日に開催するとのことです。
第三回
http://coq.g.hatena.ne.jp/yoshihiro503/20100522/p1 より転載。
- CPDT読書会
- 日時: 2010-06-26 (土) 14:00 - 16:00
- 場所: 名古屋・栄のCafe どえりゃあ(セルジュゲンズ)
- 持ち物: あなたのラップトップまたは資料
- 参加登録: こちら
- 準備: Coqをインストールしておきましょう。
- ハッシュタグ: #ProofCafe
- 資料(HTML): http://adam.chlipala.net/cpdt/html/toc.html
- 資料(PDF): http://adam.chlipala.net/cpdt/cpdt.pdf
- 参考資料: http://groups.google.co.jp/group/fm-forum/msg/e5c0fb1994ac2460
- CPDT(Certified Programming with Dependent Types) というCoqのプログラマ向けの文書を読み進めていきましょう。Chap.3 Introducing Inductive Types から読んでいこうと思いますが、Formal Method勉強会でもCPDT読書会を行っているのでそこでの資料(上記参考資料)を事前にざっと見ておくと理解しやすいと思います。