Диференційована інтеграція