第62回 ProofCafe - 参加者・申込者一覧

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

管理者4人
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
iitaka1142
morita_hm
lion

参加枠1 参加者 5人
参加枠1 参加者 morita_hm 第62回 ProofCafe に参加を申し込みました！
参加枠1 参加者 jx7548469 数学とジャニーズが好きです。第62回 ProofCafe に参加を申し込みました！
参加枠1 参加者 lion 第62回 ProofCafe に参加を申し込みました！
参加枠1 参加者 SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... 第62回 ProofCafe に参加を申し込みました！
参加枠1 参加者 _type2 I joined 第62回 ProofCafe!