什么“叫脱式计算”