6.9 可逆计算