| Project/Area Number |
20H00605
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Review Section |
Medium-sized Section 61:Human informatics and related fields
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
湊 真一 京都大学, 情報学研究科, 教授 (10374612)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
堀山 貴史 北海道大学, 情報科学研究院, 教授 (60314530)
瀧川 一学 北海道大学, 化学反応創成研究拠点, 特任准教授 (10374597)
川原 純 京都大学, 情報学研究科, 准教授 (20572473)
番原 睦則 名古屋大学, 情報学研究科, 教授 (80290774)
山口 勇太郎 九州大学, システム情報科学研究院, 准教授 (30780895)
|
|---|
| Project Period (FY) |
2020-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2020)
|
| Budget Amount *help |
¥43,940,000 (Direct Cost: ¥33,800,000、Indirect Cost: ¥10,140,000)
Fiscal Year 2021: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Fiscal Year 2020: ¥10,530,000 (Direct Cost: ¥8,100,000、Indirect Cost: ¥2,430,000)
|
|---|
| Keywords | アルゴリズム / 離散構造 / 演算処理系 / 列挙 / 索引化 |
|---|
| Outline of Research at the Start |
論理や集合などを操作するデータ構造であるBDD (二分決定グラフ）およびZDD（ゼロサプレス型BDD）を始めとする離散構造処理系の種々の問題において，「列挙問題」と「最適化問題」を車の両輪と位置づけ，単なる学術的な列挙技法に留まらず，実用的な制約充足や最適化との統合を図り，確率モデリングや機械学習応用などにも発展させることを目指す．研究成果は論文化するだけでなく，それらの演算処理体系を実装した高性能な基盤ソフトウェアを開発して種々の応用分野の研究者や技術者に提供していく．関連研究者が集まり議論する「場」を継続的に提供し，競争力の源泉となるアイデアを醸成し続けることを目指す．
|
