帰納法
本はありません。