符号计算(1) 第3页