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 asinus 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	154 people
Number of events	89

開催前のイベント

coqtokyo 第22回Ssreflect勉強会

Past Event

coqtokyo 第21回Ssreflect勉強会

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

Download on the App Store

Official Twitter Account

Official Facebook Page

Thank you for using connpass!

If you would like a response from the connpass team, please us the contact form.

BePROUD

connpass is made by BeProud Inc. in Tokyo Japan

© 2022 BeProud, Inc. All Rights Reserved.