coqtokyo 第6回Ssreflect勉強会 - Attendee List - connpass

coqtokyo 第6回Ssreflect勉強会

Attendee List

Event Participants

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

Event Attendees

Attendee List

参加枠 Attendees 11 people
参加枠 Attendees takumi-kato coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yukiyama9913 coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees cute_na_cat 「君に立ち向かってくる誰よりも、君は限りなく挑戦者でいてほしい」世界中のゲームを制する！ coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees チェシャ猫著名ねこみみエンジニア coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees riita I joined coqtokyo 第6回Ssreflect勉強会!
参加枠 Attendees nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明... coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yak_ex coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees kappa coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！

自由発表枠 Attendees 2 people
自由発表枠 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！
自由発表枠 Attendees Kazuhiko Sakaguchi coqtokyo 第6回Ssreflect勉強会に参加を申し込みました！

Group Information

Members	168 people
Number of events	107

開催前のイベント

coqtokyo 第5回MathComp Book勉強会

Past Event

coqtokyo 第4回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)