Coq勉強会 - #54 - Attendee List - connpass

Coq勉強会 - #54

Attendee List

Event Participants

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

Event Attendees

Attendee List

参加枠1 Attendees 12 people
参加枠1 Attendees lion Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees tanimocchi http://www.slideshare.net/mocchi_ Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees jx7548469 数学とジャニーズが好きです。 Coq勉強会 - #54 に参加を申し込みました！(久々に参加します！！！)
参加枠1 Attendees kappa Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees Makoto I joined Coq勉強会 - #54!
参加枠1 Attendees kayhide Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees Incognito Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees takumi-kato Coq勉強会 - #54 に参加を申し込みました！
参加枠1 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Coq勉強会 - #54に参加を申し込みました！
参加枠1 Attendees eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined Coq勉強会 - #54!
参加枠1 Attendees KanSAKAMOTO Coq勉強会 - #54に参加を申し込みました！

Canceled Attendees

参加枠1 Cancel 1 people
参加枠1 Cancel lambda_x-x ソフトウェア開発職をしています．音楽全般と読書（数学書，哲学書）が好きです．最終的には，倫理を... すいません、体調崩したのでキャンセルします。

Group Information

Members	123 people
Number of events	66

Past Event

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)

connpass

The IT meetup platform
for building connections

Official Twitter Account

Official Facebook Page

connpassへのご意見をお聞かせください

返答が必要な方は「connpassへのお問い合わせ」をご利用ください

BePROUD

connpass is made by BeProud Inc. in Tokyo Japan

© 2019 BeProud, Inc. All Rights Reserved.