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

9月

2

Proof Summit 2018

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

主催 : coqtokyo

ハッシュタグ :#proofsummit2018
募集内容

参加枠1

無料

先着順
80/100

イベントの説明

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

その他

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

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

フィード

lion

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

2018/09/09 15:20

lion

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

2018/09/09 15:20

yoshihiro503

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

2018/09/02 15:29

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

yoshihiro503

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

2018/06/11 15:04

Proof Summit 2018 を公開しました!

グループ

Proof Summit

イベント数 4回

メンバー数 237人

終了

2018/09/02(日)

11:00
16:30

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

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

会場

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

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

参加者(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 に参加を申し込みました!

y_taka_23

y_taka_23

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に参加を申し込みました!

参加者一覧(80人)

キャンセルした人(34人)