Coq勉強会 - #4 - 参加者・申込者一覧 - connpass

Coq勉強会 - #4

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

イベント関係者

管理者5人
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
eldesh アレゲを目指すC++, ML, VeriFastプログラマ
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
lion

イベント申込者

参加者一覧

参加枠1 参加者 10人
参加枠1 参加者 lion Coq勉強会 - #4 に参加を申し込みました！
参加枠1 参加者 nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Coq勉強会 - #4 に参加を申し込みました！
参加枠1 参加者 tanimocchi http://www.slideshare.net/mocchi_ Coq勉強会 - #4 に参加を申し込みました！
参加枠1 参加者 khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... Coq勉強会 - #4 に参加を申し込みました！
参加枠1 参加者 na4zagin3 しゃくゎいじん。古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k... Coq勉強会 - #4 に参加を申し込みました！
参加枠1 参加者てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観... Coq勉強会 - #4 に参加を申し込みました！
参加枠1 参加者 saitouena 斉藤恵那ブログ日記を書き始めた https://t.co/RewNdlESnW I joined Coq勉強会 - #4!
参加枠1 参加者 yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Coq勉強会 - #4に参加を申し込みました！
参加枠1 参加者 eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined Coq勉強会 - #4!
参加枠1 参加者 kappa Coq勉強会 - #4 に参加を申し込みました！

キャンセル一覧

参加枠1 キャンセル 2人
参加枠1 キャンセル takumi-kato
参加枠1 キャンセル wat_aro Haskell楽しすなあ

グループ情報

メンバー数	168人
イベント数	132回

開催前のイベント

coqtokyo 第30回MathComp Book勉強会

過去のイベント

coqtokyo 第29回MathComp Book勉強会

参加者と交流するには？

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

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

詳しくはこちら