α変換について調べていたのだが、よく似たことを昔やったことがあるような気がした。 そこで、教科書を久々に読み返して探してみた。結果、述語論理式をスコーレム標準形へ変換するプロセスの中で「変数の独立的標準化」という言葉を見付けた。 しかし、Goog…