(数学)脱式计算.