様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
批准号:
23K21641
负责人:
田中 一之
金额:
$6.29万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (B)
财政年份:
2024
资助国家:
日本
项目状态:
未结题
起止时间:
2024-02-28 至 2027-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
-
批准号:21H03392
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.07万
-
财政年份:2021
-
负责人:田中 一之
-
依托单位:
逆数学と組合せ理論
-
批准号:14F04780
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.47万
-
财政年份:2014
-
负责人:田中 一之
-
依托单位:
具体的な数学の不完全性の強弱
-
批准号:13F03760
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$0.96万
-
财政年份:2013
-
负责人:田中 一之
-
依托单位:
逆数学のニュー・フロンティア
-
批准号:10F00804
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.09万
-
财政年份:2010
-
负责人:田中 一之
-
依托单位:
算術の部分体系とそのモデルについての研究
-
批准号:07640277
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.6万
-
财政年份:1995
-
负责人:田中 一之
-
依托单位:
証明論の総合的研究
-
批准号:06640288
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.34万
-
财政年份:1994
-
负责人:田中 一之
-
依托单位:
数学における証明の複雑さの研究
-
批准号:03780024
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1991
-
负责人:田中 一之
-
依托单位: