最適化理論で扱われるもので、ディープラーニングで使われているものってありますか?