#English

ProofCafe

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

#- 日時 : 毎月第3土曜 14:30〜17:30ごろまで。 #- ハッシュタグ: #proofcafe

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

#スケジュール

ProofCafe - connpass https://proofcafe.connpass.com

過去読んでいた文書

#- CPDT

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

Coqで実装

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

Coqの拡張

#- Coq2Ruby #- Coq2Clojure #- Coq2Scala #- Coq2Javascript

Coqの応用

#- cochin #- Coq for iPad #- Coq4iOS

勉強したことしてること

#- Coq #- ProofGeneral #- coq_makefile

リンク

#- ocaml-nagoya

協賛

#- 有限会社 ITプランニング