お知らせ 2024年9月1日よりconnpassサービスサイトへのスクレイピングを禁止とし、利用規約に禁止事項として明記します。
9月1日以降のconnpassの情報取得につきましては イベントサーチAPI の利用をご検討ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

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

Jul

23

Proof Summit 2017

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

Proof Summit 2017
Hashtag :#proofsummit2017
Registration info

参加枠1

Free

FCFS
64/108

Attendees
notogawa
athos
golden_lucky
κeen
tanaka_akr
ヒデ_math
saka_bar (Sakaki)
hatsugai
yugawara
urasandesu
View Attendee List
Start Date
2017/07/23(Sun) 11:00 ~ 16:30
Registration Period

2017/06/01(Thu) 18:46 〜
2017/07/23(Sun) 16:30まで

Location

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

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

View Map Venue Homepage

Description

Proof Summit 2017

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

ハッシュタグ

#proofsummit2017

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のアダプタが刺さりません 。 電源タップをご持参ください。

その他

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

Presenter

Feed

skyrunner_01

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

07/26/2017 11:12

masterq

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

07/23/2017 17:26

SUHARA Hiromichi

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

07/21/2017 21:16

yoshihiro503

yoshihiro503 published Proof Summit 2017.

06/01/2017 18:54

Proof Summit 2017 を公開しました!今年もやります! #proofsummit2017

Group

Proof Summit

Number of events 5

Members 266

Ended

2017/07/23(Sun)

11:00
16:30

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2017/06/01(Thu) 18:46 〜
2017/07/23(Sun) 16:30

Location

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

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

Attendees(64)

notogawa

notogawa

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

athos

athos

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

golden_lucky

golden_lucky

I joined Proof Summit 2017!

κeen

κeen

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

tanaka_akr

tanaka_akr

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

ヒデ_math

ヒデ_math

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

saka_bar (Sakaki)

saka_bar (Sakaki)

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

hatsugai

hatsugai

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

yugawara

yugawara

I joined Proof Summit 2017!

urasandesu

urasandesu

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

Attendees (64)

Canceled (15)