特に何をやったという訳ではないけど。 最近、項書き換え系を勉強している。 Maudeは項書き換えシステム記述言語です。 何て読むんだろ？モード？マウデ？ インストール http://safe-tools.dsic.upv.es/maude/（新しいタブで開いてください） の一番下から。…