ProofCafe

ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在はCPDTというドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。

概要

• 日時 : 毎月第4土曜 14:30〜17:00ごろまで。
• 場所 : 喫茶どえりゃあ
• 費用 : コーヒー代
• 持ち物: あなたのラップトップまたは資料
• ハッシュタグ: #proofcafe

次回勉強会とこれまでの活動

スケジュール

ProofCafeのメンバーが作ったもの作っているもの

Coqで実装

• マーク&スイープGC
• ocamltter: ターミナルで動作する対話的twitterクライアント
• MessagePackライブラリ

Coqの拡張

• Coq2Ruby
• Coq2Clojure
• Coq2Scala
• Coq2Javascript

Coqの応用

• cochin
• Coq for iPad

勉強したことしてること

• Coq
• ProofGenral ## リンク
• ocaml-nagoya