新機能イベントの「参加者への情報」欄に Markdown をご利用いただけるようになりました。詳しくはこちらをご確認ください

Sep

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

Organizing : tmiya_

Registration info	参加枠1 Free FCFS 56/72

Description

日程決定のお知らせ

まだ、発表者など何も決定していませんが、会場と日程だけ決定しました。今年は 9/8-11 に早稲田で日本ソフトウェア科学会大会が開催されるので、それに合わせて 9/12 に東京で開催します。

詳細が決まりしだい追記します。

発表者

masterq さん：ATS/LFという証明器について
suharahiromichi さん：リフレクションについて
IKEGAMIDaisuke さん(LT) : Real world programming with dependent types using proof assistants
notogawa さん：「実用Agda坂インタラクティブプログラム初級」

Media View all Media

Feed

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

09/18/2016 15:43

SUHARA Hiromichi wrote a comment.

2015/09/27 17:44

スライドの場所を移動しました。　https://drive.google.com/open?id=13JzBbpY64I5NcC8DUQoeiZ5OpLWAt_Yt-iLoq5pbGrA

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

09/24/2015 20:29

msakai wrote a comment.

2015/09/13 13:53

「SAT/SMTソルバのしくみ」発表資料の改訂版を http://www.slideshare.net/sakai/satsmt で公開しました。 #ProofSummit

SUHARA Hiromichi wrote a comment.

2015/09/12 14:38

#Proofsummit 今日のリフレクションについての発表資料です http://www.slideshare.net/HiromichiSuhara/ss-52675855

ikegami__ wrote a comment.

2015/09/12 13:38

LT のリソースですスライド http://ikegamidaisuke.github.io/ProofSummit2015/ 原稿 https://github.com/IKEGAMIDaisuke/ProofSummit2015/blob/master/resource/talk/talk.md Idris で書いた uniq (IOの副作用がないことを保証する) https://github.com/IKEGAMIDaisuke/ProofSummit2015/tree/master/Idris-examples

msakai wrote a comment.

2015/09/10 09:46

「SMTソルバのしくみ」的な話なら出来るかも知れません。

SUHARA Hiromichi wrote a comment.

2015/08/26 21:48

リフレクションの話をさせてください。

masterq wrote a comment.

2015/06/23 23:16

ATS/LFという証明器について発表したいです！

tmiya_ published Proof Summit 2015.

06/08/2015 15:09

Proof Summit 2015 を公開しました！

Group

Number of events 5

Members 268

Ended

2015/09/12(Sat)

13:00 〜 18:00

Google Calendar iCal

Registration Period
2015/06/08(Mon) 00:00 〜
2015/09/12(Sat) 06:00

Event Organizer Contact

Location

株式会社朝日ネットセミナールーム

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

Organizer

Attendees（56）

Proof Summit 2015 に参加を申し込みました！

Proof Summit 2015 に参加を申し込みました！

Proof Summit 2015に参加を申し込みました！

Proof Summit 2015に参加を申し込みました！

Proof Summit 2015 に参加を申し込みました！

Proof Summit 2015 に参加を申し込みました！

Proof Summit 2015 に参加を申し込みました！

Proof Summit 2015 に参加を申し込みました！

Proof Summit 2015 に参加を申し込みました！

I joined Proof Summit 2015!

Canceled (23)