![](http://partake.in/events/images/332c7685-a547-4c2e-b6ca-1c073534b6a4)


#証明ハッカソン
[第7回 TPP Meeting(定理証明及び定理証明系ミーティング)](http://staff.aist.go.jp/reynald.affeldt/tpp2011/)において出題されている問題をみんなで解く証明ハッカソンです。

証明器は何でもOKです。証明器で何かを証明する練習をしましょう。

[Proofthon - 名古屋大学 研究カレンダー](http://www.math.nagoya-u.ac.jp/ja/research/calendar/data/1319499711-15.html)

#問題

- [http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html](http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html)

#概要

- 日時: 11/13 (日) 13:00 - 18:00
- 場所: [名古屋大学 理学部 1号館](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html) 307セミナー室
- 参加登録: [証明ハッカソン - [PARTAKE]](http://partake.in/events/d9ccfe4d-8cf9-4b5c-b9bf-a9f6251c3164)
- ハッシュタグ: [#proofthon](http://twitter.com/search/proofthon)

#時間割

- 10:00 概要説明
- 11:00 チーム発表
- 17:00 報告会

#持ち物
- 証明器のインストールされたPC
- (ある人)延長ケーブル
- (ある人)PocketWifi等のモバイルWifiルータ

#昼食
学食は閉まっていますが、近くのコンビニ(ローソン)かお弁当屋さんが利用できます。