符号计算(1)