Revision a2d0c6b2850784f11c04b6c99e3a79e260078375

Front Page

Changes from a2d0c6b2850784f11c04b6c99e3a79e260078375 to current

[English](/en/Front Page)

# ProofCafe

ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在は[ソフトウェアの基礎](http://proofcafe.org/sf/)というドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。

## 過去読んでいた文書
- [CPDT]()

![勉強会の様子](http://s1-02.twitpicproxy.com/photos/large/429834625.jpg)

## 概要
[イラストとロゴについて](Pictures)

- 日時 : 毎月第4土曜 14:30〜17:00ごろまで。 
- 場所 : [名古屋大学 理1](http://www.math.nagoya-u.ac.jp/), [喫茶どえりゃあ](http://doerya.gensg.jp/)
- 費用 : コーヒー代
- 持ち物: あなたのラップトップまたは資料
- 日時 : 毎月第3土曜 14:30〜17:30ごろまで。 
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)

## 次回勉強会とこれまでの活動
[スケジュール](Schedule)

ProofCafe - connpass [https://proofcafe.connpass.com]()

## 過去読んでいた文書
- [CPDT]()

## ProofCafeのメンバーが作ったもの作っているもの
### Coqで実装
- [マーク&スイープGC](http://github.com/mzp/gc)
- [ocamltter](): ターミナルで動作する対話的twitterクライアント
- [MessagePackライブラリ](http://github.com/mzp/msgpack-ocaml)

### Coqの拡張
- [Coq2Ruby](http://github.com/mzp/coq-ruby)
- [Coq2Clojure](http://patch-tag.com/r/leque/coq-clojure-ext/home)
- [Coq2Scala]()
- [Coq2Javascript](http://bitbucket.org/yoshihiro503/coq2javascript)

## Coqの応用
- [cochin](http://proofcafe.org/cochin/)
- [Coq for iPad](https://github.com/mzp/coq-for-ipad)
- [Coq4iOS](https://github.com/keigoi/coq4ios)

## 勉強したことしてること
- [Coq]()
- [ProofGeneral]()
- [coq_makefile]()

## リンク
- [ocaml-nagoya](http://www.itpl.co.jp/ocaml-nagoya/)

## 協賛
- [有限会社 ITプランニング](http://www.itpl.co.jp/)