脱式计算[1]