ProofThon

証明ハッカソン

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

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

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

問題

概要

時間割

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

持ち物

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

昼食

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