coqtokyo 第5回MathComp Book勉強会 - 参加者・申込者一覧

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

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

参加枠参加者 9人
参加枠参加者 takumi-kato (コピー)coqtokyo 第4回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 ITO Kensei Scalaでエンジニア人生を始めた数学徒 HTT/HoTT/Coq coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者えびえびです。京都在住のプログラミングオタクの一人。仕事ではTypeScriptとかRubyとか... coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 nickname123 プログラマー見習い。形式証明に憧れています。 coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 tanaka_akr coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 KanSAKAMOTO coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！
参加枠参加者 yukiya999999999999999999999999 coqtokyo 第5回MathComp Book勉強会に参加を申し込みました！