http://www.kmonos.net/wlog/61.html#_1445060501項書き換えの例として死ぬほど研究されていそうなので「人類の外部記憶」であるGoogleで検索する…のは問題の趣旨からして駄目ですよね（笑）。ちなみに今日から外山研究室でTerm Rewriting and All Thatの輪…