| Budget Amount *help |
¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2014: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Outline of Final Research Achievements |
Reversible computing is a paradigm of computation that has a close relation to physical reversibility. As in the case of quantum computing, it will also become important when we develop future computing systems that directly utilize microscopic physical phenomena for their logical operations. In this study, we investigated reversible physical models, reversible logic elements and circuits, and reversible computing systems, which form some hierarchical levels in reversible computing. We studied basic properties of these models, and systematized the obtained results in a theory of reversible computing. In particular, we clarified computational capabilities of 2-state reversible logic elements, reversible Turing machines, reversible cellular automata, and others, and showed that even very simple reversible systems exhibit computational universality.
|
