お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

9月

2
Proof Summit 2018
定理証明系に関するユーザーイベントです。

主催 : coqtokyo

Proof Summit 2018

ハッシュタグ：#proofsummit2018

募集内容	参加枠1 無料先着順 80/100人
申込者	申込者一覧を見る
開催日時	2018/09/02(日) 11:00 ～ 16:30 Googleカレンダー icsファイル
募集期間	2018/06/11(月) 15:03 〜 2018/09/02(日) 16:30まで
会場	ドワンゴセミナールーム(南海東京ビルディング3階) 東京都中央区銀座5-15-1(南海東京ビル) マップで見る会場のサイトを見る

イベントの説明

Proof Summit 2018

定理証明支援系や自動証明器などに関するユーザーイベントです。オススメのツールを紹介したいという人も、どういうものか知りたいという人も大歓迎です。

日時平成30年9月2日(日曜日)
場所: ドワンゴセミナールーム（南海東京ビルディング3階）

当日は1F正面入口が空いていないので、地下からエレベーターを利用してください。 (地下鉄駅から向かう場合: https://dwango.github.io/articles/moving-seminar-room/ )

ハッシュタグ

#proofsummit2018

アンケート

参加者アンケートにご協力ください https://q.nicovideo.jp/watch/nq907

発表者募集

発表希望の方はここにコメントいただくか、 @yoshihiro503 か @tmiya_ にご連絡ください。

発表予定

時間	所属	発表者	発表内容
11:00 - 11:10	株式会社ドワンゴ	@yoshihiro503	諸連絡
11:10 - 12:00	coqtokyo	@2015fuj	「Coqのmatch」
12:00 - 13:30			昼休憩
13:30 - 14:20	株式会社ドワンゴ	@yoshihiro503	「ニコニコをCoqで証明してみた」
14:20 - 14:30			10分休憩
14:30 - 15:20	産業技術総合研究所	田中哲	「依存型の話」
15:20 - 15:30			10分休憩
15:30 - 16:30		ksknac	「DSSS2018参加報告」

放送

ネット中継などによる放送、録画は ありません 。

参加費

無料です。

会場

会場はドワンゴセミナールーム（南海東京ビルディング3階）です。ドワンゴセミナールーム移転により、去年と場所が若干異なることにご注意ください。

(地下鉄駅から向かう場合: https://dwango.github.io/articles/moving-seminar-room/ )

入場方法

電源タップについて

無線LANと電源はありますが、床埋込み式の電源は Macのアダプタが刺さりません。電源タップをご持参ください。

昼食について

会場のある東銀座駅周辺に飲食店はたくさんあるのですが，日曜日の昼には営業していないところもあるので注意が必要です．日曜の昼にも営業している（いそうな）お店を次のページにまとめましたのでご参考ください．

https://gist.github.com/fluiddynamics/c0748c9107e575fe79764589b49894fd

その他

喫煙室はありません
貴重品は各自で管理してください
会場は飲食可能です
ゴミは各自でお持ち帰りください

資料資料をもっと見る／編集する

フィード

lionさんが資料をアップしました。

2018/09/09 15:20

lionさんが資料をアップしました。

2018/09/09 15:20

yoshihiro503 さんが書き込みました。

2018/09/02 15:29

発表資料です。 https://niconare.nicovideo.jp/watch/kn3390

yoshihiro503 さんが Proof Summit 2018 を公開しました。

2018/06/11 15:04

Proof Summit 2018 を公開しました！

グループ

イベント数 5回

メンバー数 266人

終了

2018/09/02(日)

11:00 〜 16:30

Googleカレンダー icsファイル

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2018/06/11(月) 15:03 〜
2018/09/02(日) 16:30

イベントへのお問い合わせ

会場

ドワンゴセミナールーム(南海東京ビルディング3階)

東京都中央区銀座5-15-1(南海東京ビル)

管理者

参加者（80人）

Proof Summit 2018 に参加を申し込みました！

Proof Summit 2018に参加を申し込みました！

Proof Summit 2018 に参加を申し込みました！

Proof Summit 2018 に参加を申し込みました！

Proof Summit 2018 に参加を申し込みました！

チェシャ猫

Proof Summit 2018 に参加を申し込みました！

Proof Summit 2018 に参加を申し込みました！

Proof Summit 2018 に参加を申し込みました！

Proof Summit 2018に参加を申し込みました！

Minoru Sakamoto

Proof Summit 2018に参加を申し込みました！

参加者一覧（80人）

キャンセルした人（34人）

もっと見る（34人）