束縛変数の正規化処理の実装