イベントの説明
Proof Summit 2017
定理証明支援系や自動証明器などに関するユーザーイベントです。オススメのツールを紹介したいという人も、どういうものか知りたいという人も大歓迎です。
- 日時 平成29年7月23日
- 場所: ドワンゴ セミナールーム（松竹スクエア13F）
ハッシュタグ
Toggetterにまとめができました。 https://togetter.com/li/1133030
発表者募集
発表者募集は締め切りました。たくさんのエントリありがとうございました。
発表希望の方は @yoshihiro503 か @tmiya_ にご連絡ください。
発表予定
| 時間 | 発表者 | 発表内容 |
|---|---|---|
| 11:00-11:30 | @yoshihiro503 | はじめて学ぶCoq |
| 11:40-12:20 | @erutuf13 | Coq で自動証明プラグイン - Hint Rewrite DB の Knuth-Bendix 完備化 |
| 12:20-13:50 | 昼休憩(90分) | |
| 13:50-14:20 | @tanaka_akr | CoqからのCプログラム生成 |
| 14:30-15:00 | @suharahiromichi | 「The Little Prover」 の紹介 |
| 15:20-15:50 | @msakai @skyrunner_01 | 定理証明 ＋ 機械学習 ＝ ？ |
| 16:00-16:30 | @masterq_mogumog | 無条件に仮定にFalseを追加して、どんなサブゴールも消せるtactic作ったよ |
放送
ネット中継などによる放送、録画は ありません 。
参加費
無料です。
会場
会場はドワンゴ セミナールーム（松竹スクエア 13F）です。
入場方法
地下鉄各線東銀座駅5番出口から地上にあがって、橋を渡ったところにあるビルです。 正面入口から入り奥にあるエレベーターで13Fまであがってください。
電源タップについて
無線LANと電源はありますが、床埋込み式の電源は Macのアダプタが刺さりません 。 電源タップをご持参ください。
その他
- 喫煙室はありません
- 貴重品は各自で管理してください
- 会場は飲食可能です
- ゴミは各自でお持ち帰りください
発表者
フィード
2017/07/26 11:12
2017/07/23 17:26
2017/07/21 21:16
2017/06/01 18:54
Proof Summit 2017 を公開しました！今年もやります！ #proofsummit2017
tmiya_
yoshihiro503
eldesh
pocketberserker
lion
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています