このエントリーをはてなブックマークに追加

9月

2

Proof Summit 2018

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

Organizing : coqtokyo

Hashtag :#proofsummit2018
Registration info

参加枠1

Free

FCFS
80/100

Description

Proof Summit 2018

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

当日は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

その他

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

Feed

lion

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

09/09/2018 15:20

lion

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

09/09/2018 15:20

yoshihiro503

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

2018/09/02 15:29

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

yoshihiro503

yoshihiro503 published Proof Summit 2018.

06/11/2018 15:04

Proof Summit 2018 を公開しました!

Group

Proof Summit

Number of events 5

Members 271

Ended

2018/09/02(Sun)

11:00
16:30

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

Registration Period
2018/06/11(Mon) 15:03 〜
2018/09/02(Sun) 16:30

Location

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

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

Attendees(80)

notogawa

notogawa

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

rkyymmt

rkyymmt

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

cympfh

cympfh

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

wm5775

wm5775

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

jbking

jbking

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

チェシャ猫

チェシャ猫

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

tanaka_akr

tanaka_akr

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

hatsugai

hatsugai

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

Miura Kosuke

Miura Kosuke

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

Minoru Sakamoto

Minoru Sakamoto

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

Attendees (80)

Canceled (34)