符号计算(1) 第5页