連続な空間上の計算とその複雑さの研究
連続な空間上の計算とその複雑さの研究
批准号:
23K28036
负责人:
立木 秀樹
金额:
$9.32万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (B)
财政年份:
2024
资助国家:
日本
项目状态:
未结题
起止时间:
2024-02-28 至 2028-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
連続な空間上の計算とその複雑さの研究
-
批准号:23H03346
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.81万
-
财政年份:2023
-
负责人:立木 秀樹
-
依托单位:
実数プログラミングと実関数の計算可能性
-
批准号:12780217
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$1.22万
-
财政年份:2000
-
负责人:立木 秀樹
-
依托单位:
コンピュータ上での無限精度実数の実現
-
批准号:10780207
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$1.15万
-
财政年份:1998
-
负责人:立木 秀樹
-
依托单位:
Lax Trans formationを用いたPolymorphismの意味づけ
-
批准号:08780314
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.45万
-
财政年份:1996
-
负责人:立木 秀樹
-
依托单位:
マージの機構によるオブジェクト指向言語の型システムの研究
-
批准号:07780292
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.45万
-
财政年份:1995
-
负责人:立木 秀樹
-
依托单位:
ニューラルネットを用いた仮名漢字変換の研究
-
批准号:06780337
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1994
-
负责人:立木 秀樹
-
依托单位:
古典論理を基礎とした同期プリミティブを持つ,並列プログラム言語の研究
-
批准号:03858008
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1991
-
负责人:立木 秀樹
-
依托单位: