推理时计算