カテゴリーに基づく帰納推論