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

coqtokyo 第9回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 8 people
参加枠 Attendees kappa coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees takumi-kato coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees cute_na_cat 「君に立ち向かってくる誰よりも、君は限りなく挑戦者でいてほしい」世界中のゲームを制する！ coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yak_ex coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees tanaka_akr coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！
参加枠 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... coqtokyo 第9回Ssreflect勉強会に参加を申し込みました！

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

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.