ローカル変数の型昇格を適宜利用できているか