Coq勉強会 - #54 - 参加者・申込者一覧

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

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

参加枠1 参加者 12人
参加枠1 参加者 lion Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 tanimocchi http://www.slideshare.net/mocchi_ Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 jx7548469 数学とジャニーズが好きです。 Coq勉強会 - #54 に参加を申し込みました！(久々に参加します！！！)
参加枠1 参加者 kappa Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 Makoto I joined Coq勉強会 - #54!
参加枠1 参加者 kayhide Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 asinus Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 takumi-kato Coq勉強会 - #54 に参加を申し込みました！
参加枠1 参加者 yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Coq勉強会 - #54に参加を申し込みました！
参加枠1 参加者 eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined Coq勉強会 - #54!
参加枠1 参加者 KanSAKAMOTO Coq勉強会 - #54に参加を申し込みました！

参加枠1 キャンセル 1人
参加枠1 キャンセル lambda_x-x ソフトウェア開発職をしています．音楽全般と読書（数学書，哲学書）が好きです．最終的には，倫理を... すいません、体調崩したのでキャンセルします。