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

第68回 ProofCafe

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

イベント関係者

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

イベント申込者

参加者一覧

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

グループ情報

メンバー数	52人
イベント数	92回

過去のイベント

参加者と交流するには？

設定ページからX(Twitter)やFacebookと連携してみましょう！

お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。

詳しくはこちら