お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

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

9月

12

Proof Summit 2015

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

主催 : tmiya_

募集内容

参加枠1

無料

先着順
56/72

イベントの説明

日程決定のお知らせ

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

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

発表者

資料 資料をもっと見る/編集する

フィード

msakai

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

2016/09/18 15:43

suharahiromichi

suharahiromichi さんが書き込みました。

2015/09/27 17:44

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

masterq

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

2015/09/24 20:29

msakai

msakai さんが書き込みました。

2015/09/13 13:53

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

suharahiromichi

suharahiromichi さんが書き込みました。

2015/09/12 14:38

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

ikegami__

ikegami__ さんが書き込みました。

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

msakai さんが書き込みました。

2015/09/10 09:46

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

suharahiromichi

suharahiromichi さんが書き込みました。

2015/08/26 21:48

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

masterq

masterq さんが書き込みました。

2015/06/23 23:16

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

tmiya_

tmiya_ さんが Proof Summit 2015 を公開しました。

2015/06/08 15:09

Proof Summit 2015 を公開しました!

グループ

Proof Summit

イベント数 3回

メンバー数 168人

終了

2015/09/12(土)

13:00
18:00

募集期間
2015/06/08(月) 00:00 〜
2015/09/12(土) 06:00

会場

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

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

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

参加者(56人)

ざっきー

ざっきー

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

xuwei_k

xuwei_k

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

erutuf13

erutuf13

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

msakai

msakai

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

cosmo0920

cosmo0920

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

chiguri

chiguri

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

nagaet

nagaet

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

dico_leque

dico_leque

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

mzp

mzp

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

yugawara

yugawara

I joined Proof Summit 2015!

参加者一覧(56人)

キャンセルした人(23人)