脱式计算(一)