非计算式的