| 研究課題/領域番号 |
15K00019
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 広島大学 |
|---|
研究代表者 |
森田 憲一 広島大学, 工学研究科, 名誉教授 (00093469)
|
|---|
| 研究協力者 |
ADAMATZKY Andrew University of the West of England, Professor
MARTINEZ Genaro Juarez National Polytechnic Institute of Mexico, Associate Professor
|
|---|
| 研究期間 (年度) |
2015-04-01 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2017年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2016年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2015年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | 可逆計算機構 / 可逆論理素子 / 可逆論理回路 / 可逆チューリング機械 / 可逆セルオートマトン / 可逆コンピューティング / 物理的可逆性 / 計算万能性 |
|---|
| 研究成果の概要 |
本研究は、微視的な物理的可逆性を直接的に計算に利用して高集積度・低消費エネルギーの計算機の開発に結びつけようとする可逆コンピューティングの理論的研究である。特に、どれほど単純な微視的可逆演算があれば計算万能性が保証されるのか、また、そのような可逆演算から可逆計算機を構築するのにどのような構成法をとれば効率的かを探求した。このために可逆セルオートマトン等のモデルを用いて研究し、極度に単純な微視的可逆演算からでも可逆計算機を構築できること、微視的可逆演算から可逆計算機に至る道筋の中間に2状態可逆論理素子を置くことで、簡潔かつ系統的に可逆計算機が構成できることを示すと共に、理論の体系化を行った。
|
