| 研究課題/領域番号 |
22650028
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
知能情報学
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
藤田 博 九州大学, 大学院・システム情報科学研究院, 准教授 (70284552)
|
|---|
| 研究分担者 |
長谷川 隆三 九州大学, 大学院・システム情報科学研究院, 教授 (20274483)
越村 三幸 九州大学, 大学院・システム情報科学研究院, 助教 (30274492)
|
|---|
| 研究期間 (年度) |
2010 – 2012
|
| 研究課題ステータス |
完了 (2012年度)
|
| 配分額 *注記 |
3,470千円 (直接経費: 2,900千円、間接経費: 570千円)
2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2010年度: 1,000千円 (直接経費: 1,000千円)
|
|---|
| キーワード | 探索 / 推論アルゴリズム / 論理 / 探索・論理・推論アルゴリズム / 自動推論 / 論理素子 / FPGA / Verilog / SATソルバー / MGTP |
|---|
| 研究概要 |
高性能な自動推論システムを開発するにあたり、従来の計算システムの問題点を明らかにし、高度な論理機能を直接的に効率よく実行する素子の可能性について検討し、いくつかの有用な知見を得た。事例研究からはいくつかの顕著な成果を得た
|
