| 日 時 |
2016年10月21日（金）15:00～18:00 |
| Date & Time |
15:00 – 18:00, Friday, October 21, 2016 |
| 会 場 |
早稲田大学早稲田キャンパス26号館11階 1102会議室 |
| Venue |
Meeting Room 1102, 11th floor, 26th building, Waseda University. |
| プログラム |
15：00 Opening Remarks (Ryota Akiyoshi, WIAS) |
| Program |
15：05 “Proof-forms vs. formal-proofs: |
| Towards reconsideration of “formal proofs” and related notions” |
| Speaker: Mitsuhiro Okada (Keio University) |
| 16：25 Break |
| 16：40 “Phenomenology of Mathematics à la Kant” |
| Speaker: Yasuo Deguchi (Kyoto University) |
| 18：00 Closing Remarks |
| 使用言語 |
日本語・英語 |
| Language |
Japanese and English |
| 主 催 |
早稲田大学 高等研究所 |
| Organizer |
WIAS, Waseda University |
| 申込み |
参加にあたり、事前登録は不要です。当日直接会場までお越しください。 |
| Registarion |
No Pre-Registration Required. |
