束縛変数の名前変更 (α-conversion)

束縛変数の名前変更（α-conversion）は、量化子やラムダ抽象の束縛変数を、捕獲を起こさない新しい名前へ変更する操作である。構文は変わっても、束縛構造と意味は保たれる。

仕組みと確認

変更前後の自由変数集合とスコープを比較し、置換対象が同じ束縛に属するかを構文木で確認する。コンパイラやリファクタリングでは、文字列置換ではなく名前解決情報を使う。

限界と注意点

名前が衝突すると自由変数が束縛され、意味が変わる。マクロ展開、テンプレート、SQL生成でも、衛生的な名前付けと境界例をテストする。