17.4 符号计算