早稲田大学高等研究所 Top Runners' Lecture Collection 数学の哲学ワークショップ「計算，証明，直観」（早稲田大学）（オーガナイザー）