可逆計算の歴史に関するノート | Synapse