| 研究課題/領域番号 |
23700020
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 島根大学 |
|---|
研究代表者 |
森住 大樹 島根大学, 総合理工学研究科(研究院), 助教 (50463782)
|
|---|
| 研究期間 (年度) |
2011-04-28 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2013年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2012年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | 計算量理論 / 回路計算量 / 論理回路 / 論理関数 / 幅限定回路 |
|---|
| 研究成果の概要 |
幅が制限された論理回路に着目し，その回路計算量の解明を進めることを目的として研究を実施した．本研究は，計算機が行う計算の数学的モデルとして論理回路をとらえ計算量理論の立場から研究を行ったものであり，背景にはＰ対ＮＰ問題に代表される問題の本質的な難しさに関する多くの未解決問題がある．結果として，論理回路と論理関数に関する複数の成果を得た．
|
