「証明論」に関するサイレントキーワード「三段論法」が含まれる科研費採択研究1件 【研究名】論理学・認知科学・遺伝学を統合した論理推論研究 【研究代表者】岡田 光弘 慶應義塾大学 文学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000030224025/ 【研究分担者】 安藤 寿康 慶應義塾大学 文学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000030193105/ 大野 裕 慶應義塾大学 保健管理センター 教授 https://nrid.nii.ac.jp/ja/nrid/1000070138098/