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

第67回 ProofCafe

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

イベント関係者

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

イベント申込者

参加者一覧

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

グループ情報

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

過去のイベント

参加者と交流するには？

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

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

詳しくはこちら