こうかきかえ

項書換え

表記・読み：こうかきかえ

1. 1

   term rewriting

   名詞