グリーンとアルテンキルヒ(Alexander S. Green, Thorsten Altenkirch)の「可逆計算から不可逆計算へ(From reversible to irreversible computation)」という10ページの短い論文があります。タイトルのとおり、可逆計算から不可逆計算が出るよ、ってハナシがこの論文の眼目なんですが、可逆計算の部分(前半)が面白かったので紹介します。 何が面白いかというと、可逆計算だと古典計算も量子計算も差がないのですよ。同じ定式化を許します。古典計算において可逆計算に慣れておくことは量子計算へのよい準備になると思います。とか言っても、今回は難しい話は全部すっ飛ばして、JavaScriptの関数をいくつか書いてみるだけですがね。 このエントリーを書こうとしてJavaScriptでミスを犯した顛末は「JavaScriptでハマった件:さすがに