こう書換 かきか
kō kakikae

Noun

1. term rewriting