きごう-しょり ―ガウ― [4] 【記号処理】 〔symbolic manipulation〕 コンピューターを用いて行う数式の論理的処理や文字列の処理などの総称。