| 研究課題/領域番号 |
24500017
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 広島大学 |
|---|
研究代表者 |
森田 憲一 広島大学, 工学(系)研究科(研究院), 名誉教授 (00093469)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2014年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2013年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2012年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | 可逆計算機構 / 可逆論理素子 / 可逆論理回路 / 可逆チューリング機械 / 可逆順序機械 / 可逆セルオートマトン / 物理的可逆性 |
|---|
| 研究成果の概要 |
可逆コンピューティングは物理的可逆性と密接に関係した計算モデルであり、量子コンピューティングとともに微視的な物理的性質を演算に利用する将来の計算機構の開発の鍵となる。本研究では、可逆的な物理モデル、可逆論理素子と論理回路、可逆計算機システムなど、いくつかのレベルの可逆計算の諸モデルの特性を解明するとともに、それらの関係を明らかにし、理論全体を体系化した。特に、2状態可逆論理素子、可逆チューリング機械、可逆セルオートマトンなどの計算能力を研究し、いずれの場合も非常に単純なモデルでも万能性を有する（汎用計算システムを構成し得る）ことを示した。
|
