بهینه‌سازی تمایزپذیر و یادگیری ماشین