要过程，脱式计算。

要过程，脱式计算。