「証明論」に関するサイレントキーワード「数学基礎論」が含まれる科研費採択研究6件 【研究名】数学の哲学の新たな展開 【研究代表者】菊池 誠 神戸大学 システム情報学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000060273801/ 【研究分担者】 岡本 賢吾 東京都立大学 人文科学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000000224072/ 岡田 光弘 慶應義塾大学 文学部(三田) 名誉教授 https://nrid.nii.ac.jp/ja/nrid/1000030224025/ 三好 博之 京都産業大学 理学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000060286135/ 【研究名】集合論の演算子の証明論的研究 【研究代表者】新井 敏康 千葉大学 大学院理学研究院 教授 https://nrid.nii.ac.jp/ja/nrid/1000040193049/ 【研究名】集合論の証明論的研究 【研究代表者】新井 敏康 千葉大学 大学院・理学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000040193049/ 【研究名】イプシロン代入法に関する研究 【研究代表者】新井 敏康 神戸大学 大学院工学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000040193049/ 【研究名】算術と計算の論理構造に関する研究 【研究代表者】田中 一之 東北大学 大学院・理学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000070188291/ 【研究分担者】 鹿島 亮 東京工業大学 大学院・情報理工学研究科 講師 https://nrid.nii.ac.jp/ja/nrid/1000010240756/ 寳来 正子 (高橋 正子 寛来 正子 高橋 雅子 寶来 正子) 東京工業大学 大学院・情報理工学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000000015588/ 赤間 陽二 東北大学 大学院・理学研究科 助教授 https://nrid.nii.ac.jp/ja/nrid/1000030272454/ 長谷川 立 東京大学 大学院・数理科学研究科 助教授 https://nrid.nii.ac.jp/ja/nrid/1000020243107/ 龍田 眞 (龍田 真) 京都大学 大学院・理学研究科 助教授 https://nrid.nii.ac.jp/ja/nrid/1000080216994/ 廣川 佐千男 九州大学 大型計算機センター 教授 https://nrid.nii.ac.jp/ja/nrid/1000040126785/ 安本 雅洋 名古屋大学 大学院・多元数理科学研究科 助教授 https://nrid.nii.ac.jp/ja/nrid/1000010144114/ 菊池 誠 神戸大学 大学院・自然科学研究科 助手 https://nrid.nii.ac.jp/ja/nrid/1000060273801/ 【研究名】数理論理学の総合的研究 【研究代表者】上江洲 忠弘 東京理科大学 理学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000060015550/ 【研究分担者】 白井 古希男 静岡大学 理学部 助教授 https://nrid.nii.ac.jp/ja/nrid/1000070077915/ 梅沢 敏郎 静岡大学 理学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000040021919/ 江田 勝哉 筑波大学 数学系 助教授 https://nrid.nii.ac.jp/ja/nrid/1000090015826/ 本橋 信義 筑波大学 数学系 教授 https://nrid.nii.ac.jp/ja/nrid/1000070015874/ 西村 敏男 筑波大学 数学系 教授 https://nrid.nii.ac.jp/ja/nrid/1000000015471/ 八杉 満利子 京都産業大学 理学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000090022277/ 難波 完爾 東京大学 教養学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000040015524/