coqtokyo 第7回MathComp Book勉強会 - Attendee List - connpass

coqtokyo 第7回MathComp Book勉強会

Attendee List

Event Participants

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

Event Attendees

Attendee List

参加枠 Attendees 11 people
参加枠 Attendees takumi-kato coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees ITO Kensei Scalaでエンジニア人生を始めた数学徒 HTT/HoTT/Coq coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees KanSAKAMOTO coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees えびえびです。京都在住のプログラミングオタクの一人。仕事ではTypeScriptとかRubyとか... coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees yukiya999999999999999999999999 coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees kappa coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees ssmi coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees nickname123 プログラマー見習い。形式証明に憧れています。 coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees tanaka_akr coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！
参加枠 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！

自由発表枠 Attendees 1 people
自由発表枠 Attendees nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明... coqtokyo 第7回MathComp Book勉強会に参加を申し込みました！

Group Information

Members	168 people
Number of events	119

開催前のイベント

coqtokyo 第17回MathComp Book勉強会

Past Event

coqtokyo 第16回MathComp Book勉強会

Connecting with Other Attendees

Connect with Twitter and Facebook on the Settings page.

You can get notifications about events that your friends attend or organize via email or the highlight page.

Learn More (Japanese)