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

第69回 ProofCafe

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

イベント関係者

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

イベント申込者

参加者一覧

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

グループ情報

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

過去のイベント

参加者と交流するには？

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

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

詳しくはこちら