Vocabulary
項書換え
こうかきかえ
term rewriting
noun