列挙や数え上げなどを統一的に扱うための基盤技術
列挙や数え上げなどを統一的に扱うための基盤技術
统一处理枚举、计数等的基础技术
批准号：
23K24806
负责人：
堀山 貴史
金额：
$5.32万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2024
资助国家：
日本
项目状态：
未结题
起止时间：
2024-02-28 至 2026-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
列挙や数え上げなどを統一的に扱うための基盤技術
-
批准号：22H03549
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.98万
-
财政年份：2022
-
负责人：堀山 貴史
-
依托单位：
離散アルゴリズムの性能保証自動化パラダイム
-
批准号：17700014
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.18万
-
财政年份：2005
-
负责人：堀山 貴史
-
依托单位：
データの論理的解析に基づく効率的な知識獲得手法とその応用
-
批准号：14780219
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.92万
-
财政年份：2002
-
负责人：堀山 貴史
-
依托单位：