О пользе простых решений
Jul. 29th, 2016 09:52 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsСейчас буду хвастаться.
Вчера вечером я догадался, как сформулировать теорему по поводу одной эмпирической зависимости, которую некий необыкновенно умный человек обнаружил лет 40 назад. У этой эмпирической зависимости очень капризный характер. Чтобы ею воспользоваться надо долго ковыряться, соблюдать кучу каких-то левых правил и ошибаться, ошибаться, ошибаться. Черная магия, а не инструмент.
Вчера сформулировал теорему, несколько раз ночью просыпался со всякими идеями, а сегодня днем я ее все-таки доказал с помощью простенького pullback из теории категорий. Теорема показывает, в каких случаях наша старая добрая эмпирическая зависимость обязана работать. Таким образом, вместо черной магии получаем более-менее приличный алгоритм, который, скорее всего, можно применять для решения нескольких классов проблем. Ура!
Самое смешное, что позавчера я совершенно отчаялся разобраться с Теорией Категорий. Задолбала она меня своей сложностью. Подумал, что поковыряюсь в последний раз, перед тем, как отложить на пару месяцев. А она взяла, да и сработала. Теперь у меня вместо веры в то, что старый добрый инструмент работает, есть знание, как и когда он должен работать. Знание - сила!
Вчера вечером я догадался, как сформулировать теорему по поводу одной эмпирической зависимости, которую некий необыкновенно умный человек обнаружил лет 40 назад. У этой эмпирической зависимости очень капризный характер. Чтобы ею воспользоваться надо долго ковыряться, соблюдать кучу каких-то левых правил и ошибаться, ошибаться, ошибаться. Черная магия, а не инструмент.
Вчера сформулировал теорему, несколько раз ночью просыпался со всякими идеями, а сегодня днем я ее все-таки доказал с помощью простенького pullback из теории категорий. Теорема показывает, в каких случаях наша старая добрая эмпирическая зависимость обязана работать. Таким образом, вместо черной магии получаем более-менее приличный алгоритм, который, скорее всего, можно применять для решения нескольких классов проблем. Ура!
Самое смешное, что позавчера я совершенно отчаялся разобраться с Теорией Категорий. Задолбала она меня своей сложностью. Подумал, что поковыряюсь в последний раз, перед тем, как отложить на пару месяцев. А она взяла, да и сработала. Теперь у меня вместо веры в то, что старый добрый инструмент работает, есть знание, как и когда он должен работать. Знание - сила!
