Abstract Rewriting 抽象書き換え, 何かを変換することについての分野 書き換え規則という意味で言語クラス, 論理学とも関連する 圏論 はじまりそう -> はじまっていた. 参考文献 lar.pdf