• 証明ハッカソン
• 問題
• 概要
• 時間割
• 持ち物
• 昼食

証明ハッカソン

第7回 TPP Meeting(定理証明及び定理証明系ミーティング)において出題されている問題をみんなで解く証明ハッカソンです。

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

Proofthon - 名古屋大学 研究カレンダー

問題

• http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html

概要

• 日時: 11/13 (日) 13:00 - 18:00
• 場所: 名古屋大学 理学部 1号館 307セミナー室
• 参加登録: 証明ハッカソン - [PARTAKE]
• ハッシュタグ: #proofthon

時間割

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

持ち物

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

昼食

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