>>641
帰納法は関係無い、処理が完結しないので