23.7 귀납적 특수화