イベントの説明
Proof Summit 2019
定理証明支援系や自動証明器などに関するユーザーイベントです。オススメのツールを紹介したいという人も、どういうものか知りたいという人も大歓迎です。
- 日時 令和元年9月29日(日曜日)
- 場所: 株式会社朝日ネット セミナールーム
ハッシュタグ
発表者募集
発表希望の方はここにコメントいただくか、 @2015fuj か @yoshihiro503 か @tmiya_ にご連絡ください。
発表予定
- @blackenedgold 「Idrisの話とIdris2のウワサ」
- @___yuni 「300行で作るproof assistant」
- YutakaNg 「人工知能によるIsabelle/HOLの証明支援」
- @yf0fyf 「Coqのベース体系の無矛盾性について（仮題）」
- @suharahiromichi 「Mathcompで文字列を使う」
- @2015fuj 「ProofIrrelevance」
| 時間 | 発表者 | 発表内容 |
|---|---|---|
| 11:00 〜 11:10 | - | 会場説明等 |
| 11:10 〜 11:40 | @blackenedgold | 「Idrisの話とIdris2のウワサ」 |
| 11:40 〜 12:10 | @___yuni | 「300行で作るproof assistant」 |
| 12:10 〜 13:50 | - | 昼休憩 |
| 13:50 〜 14:20 | @2015fuj | 「ProofIrrelevance」 |
| 14:20 〜 14:50 | @suharahiromichi | 「Mathcompで文字列を使う」 |
| 14:50 〜 15:10 | - | 休憩 |
| 15:10 〜 15:40 | YutakaNg | 「人工知能によるIsabelle/HOLの証明支援」 |
| 15:40 〜 16:10 | @yf0fyf | 「Coqのベース体系の無矛盾性について（仮題）」 |
当日の進行は、それぞれの発表や休憩が短くなったり長くなったりして、上記の表の時間からずれる可能性があります。
参加費
無料です。
会場
歌舞伎座タワー 21F セミナールーム
21F に上るには 1F または B2F からエレベーターで 7F に上って、そこからさらに 21F に上がるエレベーターにのってください。
電源タップについて
電源タップは用意しますが、全員分の電源タップはありません。
昼食について
会場のある東銀座駅周辺に飲食店はたくさんあるのですが，日曜日の昼には営業していないところもあるので注意が必要です．日曜の昼にも営業している（いそうな）お店を次のページにまとめましたのでご参考ください．
https://gist.github.com/fluiddynamics/c0748c9107e575fe79764589b49894fd
その他
- 喫煙室はありません
- 貴重品は各自で管理してください
- 会場は飲食可能です
- ゴミは各自でお持ち帰りください
発表者
フィード
2019/11/04 17:36
2019/09/29 22:40
2019/09/29 16:16
2019/09/29 16:11
2019/09/29 12:33
2019/09/29 12:31
2019/09/25 07:43
タイムテーブルを更新しました
2019/09/24 08:26
タイムテーブルを更新しました
2019/09/21 22:34
発表者のκeenです。タイトルを「Idrisの話とIdris2のウワサ」に決めました。
2019/07/31 09:29
「人工知能によるIsabelle/HOLの証明支援」で発表希望です。
2019/07/30 23:37
「Coqのベース体系の無矛盾性について（仮題）」で発表希望です．よろしくお願いします．
2019/07/28 16:36
Proof Summit 2019 を公開しました！
tmiya_
yoshihiro503
eldesh
lion
khibino
yf0fyf
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています