可逆计算：一场软件构造的世界观革命_canonical