ノイマン型コンピュータの計算効率の上限はカルノーサイクルに一致する