| Project/Area Number |
15H05711
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (S)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kyoto University (2018-2019)
Hokkaido University (2015-2017) |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
有村 博紀 北海道大学, 情報科学研究院, 教授 (20222763)
瀧川 一学 国立研究開発法人理化学研究所, 革新知能統合研究センター, 研究員 (10374597)
宇野 毅明 国立情報学研究所, 情報学プリンシプル研究系, 教授 (00302977)
堀山 貴史 埼玉大学, 理工学研究科, 准教授 (60314530)
津田 宏治 東京大学, 大学院新領域創成科学研究科, 教授 (90357517)
鷲尾 隆 大阪大学, 産業科学研究所, 教授 (00192815)
|
|---|
| Project Period (FY) |
2015-05-29 – 2020-03-31
|
| Project Status |
Completed (Fiscal Year 2019)
|
| Budget Amount *help |
¥134,420,000 (Direct Cost: ¥103,400,000、Indirect Cost: ¥31,020,000)
Fiscal Year 2019: ¥22,360,000 (Direct Cost: ¥17,200,000、Indirect Cost: ¥5,160,000)
Fiscal Year 2018: ¥33,670,000 (Direct Cost: ¥25,900,000、Indirect Cost: ¥7,770,000)
Fiscal Year 2017: ¥37,830,000 (Direct Cost: ¥29,100,000、Indirect Cost: ¥8,730,000)
Fiscal Year 2016: ¥35,490,000 (Direct Cost: ¥27,300,000、Indirect Cost: ¥8,190,000)
Fiscal Year 2015: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
|
|---|
| Keywords | 離散構造 / アルゴリズム / 論理関数 / 組合せ集合 / 大規模データ処理 / グラフ理論 / 最適化 / 列挙 / 離散構造処理系 / 二分決定グラフ / 列挙アルゴリズム / ZDD / データ構造 / 演算処理系 / 索引化 / BDD / グラフアルゴリズム / 網羅的解析 |
|---|
| Outline of Final Research Achievements |
In this project, we aimed to construct the core algorithms for discrete structure manipulation systems, and to provide efficient software tools for many researchers in various application areas. Our achievements include that (1) we first succeeded in enumerating all connected sub-block patterns (in total 109.8 billion patterns) of 47 prefectures in Japan, the data is open for all Japanese citizens from the governmental statistics center, and (2) we produced many academic papers, accepted at the top-conferences such as AAAI, WWW, KDD, INFOCOM, AISTATS, SDM, etc.
|
| Academic Significance and Societal Importance of the Research Achievements |
論理関数や組合せ集合などの離散構造を表す大規模データを計算機上にコンパクトに表現し演算処理を効率よく行う技法は，システム設計，データマイニング，遺伝子解析，web 解析等，計算機科学の様々な応用分野に共通する基盤技術として非常に重要であり，現代社会に対する大きな波及効果を持つ．本研究成果は社会を支える基盤技術として，今後も活用され続ける．
|
| Assessment Rating |
Verification Result (Rating)
A
|
Assessment Rating |
Result (Rating)
A: Progress in the research is steadily towards the initial goal. Expected research results are expected.
|
