符号计算(1) 第4页