Coq勉強会 - (SF読み進捗ダメです会議) - #37 - 参加者・申込者一覧

イベント参加者・申込者一覧

管理者4人
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
eldesh アレゲを目指すC++, ML, VeriFastプログラマ
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...

参加枠1 参加者 2人
参加枠1 参加者 nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Coq勉強会 - (SF読み進捗ダメです会議) - #37 に参加を申し込みました！
参加枠1 参加者 kappa Coq勉強会 - (SF読み進捗ダメです会議) - #37 に参加を申し込みました！

参加枠1 キャンセル 1人
参加枠1 キャンセル yugawara すみません日曜大工が最優先になってしまい、土曜日もアナキスト関係の会に行くので時間がなくなってしないました。今回お休みです