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

第63回 ProofCafe

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

イベント関係者

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

イベント申込者

参加者一覧

参加枠1 参加者 12人
参加枠1 参加者 SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... 第63回 ProofCafe に参加を申し込みました！
参加枠1 参加者 lion 第63回 ProofCafe に参加を申し込みました！
参加枠1 参加者 morita_hm 第63回 ProofCafe に参加を申し込みました！
参加枠1 参加者 kaizen_nagoya I'm a network designer.I work on TOPPERS Smalle... 第63回 ProofCafe に参加を申し込みました！
参加枠1 参加者 iitaka1142 第63回 ProofCafeに参加を申し込みました！
参加枠1 参加者 kuribayashi9 第63回 ProofCafeに参加を申し込みました！
参加枠1 参加者 garriguejej 第63回 ProofCafeに参加を申し込みました！
参加枠1 参加者 Kazuki Sugiyama 名古屋大学工学部機械・航空工学科動的システム制御グループ B4 第63回 ProofCafeに参加を申し込みました！
参加枠1 参加者 (退会ユーザー) 第63回 ProofCafe に参加を申し込みました！
参加枠1 参加者 yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... 第63回 ProofCafeに参加を申し込みました！
参加枠1 参加者 keigoi Haskell programmer / OCaml programmer at IT Pla... 第63回 ProofCafe に参加を申し込みました！
参加枠1 参加者 Tatsuno 田舎でリモートワークしてる SWE 第63回 ProofCafeに参加を申し込みました！

グループ情報

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

過去のイベント

参加者と交流するには？

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

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

詳しくはこちら