TITLE:TRS (term rewriting system) - 項書き換えシステム入門 -- http://www.nue.riec.tohoku.ac.jp/lab-intro/TRS-intro/index.html * 関連 [#rel] - [[Programming]] - [[Math]]