帰納変数の消去