Reversible Computing をちょっと調べたのだが、熱が出るのは情報を失うときなので、情報を失わない計算、つまり逆方向に実行できる計算に注目するという話らしい。
しかし、ハードウェアについてはともかく、いずれソフトウェアでも情報を失わないように強制される (あるいは推奨される) ようになるのだろうか、もしそうなったら、プログラミングの感じがずいぶんと変わる気がするなぁ。
[latest]