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

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

管理者5人
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
iitaka1142
morita_hm
lion
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...

参加枠1 参加者 3人
参加枠1 参加者 hitbit 第95回 ProofCafeに参加を申し込みました！
参加枠1 参加者 morita_hm 第95回 ProofCafe に参加を申し込みました！
参加枠1 参加者 SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... 第95回 ProofCafe に参加を申し込みました！