証明ハッカソン at 名古屋
みんなで証明しよう。
コンピューター
主催者
編集者
開催日時
2011年11月13日(日) 10:00 - 18:00
開催場所
会場: 名古屋大学 理1号館 307セミナー室
住所: 名古屋市千種区不老町
URL
http://proofcafe.org/wiki/ProofThon
ハッシュタグ
チケット
参加者 | 6 人 (仮参加者 0 人) |
---|---|
補欠 | 0 人 (仮参加者 0 人) |
キャンセル | 1 人 |
参加者
- mzp : Coqにて参加します。 おひるごろに一回抜けます。
- yoshihiro503 : Coqで参加します。よろしくお願いします。
- cho_tekitou : よろしくお願いします。Coq力を上げたいです。
- yami_vreco : Coq挫折してもうずっと触ってないですけれど、これを機にCoqに再チャレンジしたいです。予定と天候に恵まれれば行きます。
- t6s : Coqで参加しますが、あぐだらーとかは果たして来るのか
- dico_leque : Coq 修行中です。よろしくお願いします。
詳細情報
証明ハッカソンとは
7th TPP Meeting(Theorem Prooving and Provers meeting; 定理証明及び定理証明系ミーティング)において出題されている問題をみんなで解く証明ハッカソンです。
証明器は何でもOKです。証明器で何かを証明する練習をしましょう。
問題
TPPmark - http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html
持ちもの
- 証明器のインストールされたPC
- (ある人)延長ケーブル
- (ある人)PocketWifi等のモバイルWifiルータ
交通案内
http://www.math.nagoya-u.ac.jp/ja/direction/campus.html
詳細
イベント詳細はこちら: http://proofcafe.org/wiki/ProofThon
コメントを投稿するにはログインしてください。