累積帰納法
本はありません。