Proof Summit 2018
イベント内容
Proof Summit 2018
定理証明支援系や自動証明器などに関するユーザーイベントです。オススメのツールを紹介したいという人も、どういうものか知りたいという人も大歓迎です。
- 日時 平成30年9月2日(日曜日)
- 場所: ドワンゴ セミナールーム（南海東京ビルディング3階）
当日は1F正面入口が空いていないので、地下からエレベーターを利用してください。 (地下鉄駅から向かう場合: https://dwango.github.io/articles/moving-seminar-room/ )
ハッシュタグ
アンケート
参加者アンケートにご協力ください 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
その他
- 喫煙室はありません
- 貴重品は各自で管理してください
- 会場は飲食可能です
- ゴミは各自でお持ち帰りください
注意事項
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
新規会員登録
このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。
※ ソーシャルアカウントで登録するとログインが簡単に行えます。
※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。
