Revision e57d2b0fa42a2621966ac83a2730122b481f1635
Front Page
ProofCafe
ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在はCPDTというドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。
概要
- 日時 : 毎月第4土曜 14:30〜17:00ごろまで。
- 場所 : 喫茶どえりゃあ
- 費用 : コーヒー代
- 持ち物: あなたのラップトップまたは資料
- ハッシュタグ: #proofcafe
ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在はCPDTというドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。