Vocabulary

項書換え

term rewriting

noun