帰納極限
本はありません。