yoshihiro503の日記

 | 

2010-12-25

[]次回 Proof Cafe (栄) は1月22日 次回 Proof Cafe (栄) は1月22日 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 Proof Cafe (栄) は1月22日 - yoshihiro503の日記

CPDT読書会

CPDT(Certified Programming with Dependent Types) というCoqのプログラマ向けの文書を読み進めていきましょう。Chap. 5 Infinite Data and Proofs から読んでいこうと思います。

参加希望者はこの日記にコメントしてください。

yoshihiro503yoshihiro5032010/12/25 15:38参加します。

mzpmzp2010/12/29 11:51いきます

tMiyatMiya2011/01/19 15:41今月は(職場で何事も無ければ)行こうかと思ってます。(実家への帰郷を兼ねて)

maeda_maeda_2011/01/20 11:10参加します。

t6st6s2011/01/21 21:23いきます

kaizen00kaizen002011/01/22 07:20出ないとどんどん遅れていくので参加します.

keigoikeigoi2011/01/22 09:41いきますー。

tMiyatMiya2011/01/22 10:09急遽欠席です、ごめんなさい。(体調的に夜行バスは無理っぽかったので)

 |