Generalizing Inductions.のとこちょっと訳