Schedule/Proofcafe_56
- 06/18 Schedule/Proofcafe_56
- 時間: 14:30 - 17:30
- 場所: 熱田集会室1F和室
- The Little Prover (JR熱田駅より徒歩約9分、名鉄神宮前より徒歩約8分)
- 資料: https://drive.google.com/drive/folders/0B5rziAyUFgeJMWM4MGNhMDUtZTc3OC00OGVlLWE1ZjctZDUyNDg3MmE0ZDk4
- ソフトウェアの基礎: http://proofcafe.org/sf/
- 問合せ: @yoshihiro503
- Twitterハッシュタグ: #ProofCafe
名古屋大学 理学部A館、多元数理科学棟の場所: http://www.math.nagoya-u.ac.jp/ja/direction/campus.html- 参加登録