この記事は書きかけ、書き上がったら本編に投稿してここからは削除。モノ達を1：1に置き換えることが置換です。モノが名前だとすれば、置換は名前達をリネームすることになります。項・式のなかに登場する名前達を系統的にリネームすることがアルファ変換で…