特に何をやったという訳ではないけど。 最近、項書き換え系を勉強している。 Refalはマルコフアルゴリズムという文字列書き換え系に基づいたプログラミング言語です。 インストール https://github.com/bmstu-iu9/refal-5-lambda（新しいタブで開いてくださ…