符号化运算