項書換え (こうかきかえ) — term rewriting | Kumi Dictionary