*math

Ну, в общем-то, да, моноид — категория с одним объектом и кучей стрелок из себя в себя (для простоты тут убираем требование существования обратной стрелки для каждой стрелки, так что это не группа).
Композиция стрелок определена, поэтому естественно считать стрелкой групповой элемент, а операцией композиции — ... more →

#otzhen

24 comments

Just as planned — люди с жуйка, сидящие в math@, не умеют умножать матрицы.

#oonohg

30 comments

Итак, как и обещано, нулевая часть постов про хацкель и всякое такое: http://jabapls.ws/gennl-part-0

#oonzzo

add comment

А, посоны, я ошибся. Число порожденных функций тупым перебором имеет скорость роста где-то в районе $$ \| \mathcal{F}_k \| = \mathcal{O} (l_n^{\sum_{i=0}^{k-1} n^i} l_x^{n^k}) $$, где $$ n $$ — наибольшая арность функций из множества примитивных функций, $$ l_n $$ — число функций этой арности, $$ l_x $$ — число ... more →

#oogeoi

36 comments

Впервые в жизни сам запилил что-то, у чего порядок сложности O(n^m^k). Охуеть.

#oogezt

1 comment

Ну вот, не успел написать очередной тайпкласс, как врезался в потребность в fundep'ах либо type families.

Требуется описать класс для хреновин, которые могут сочетаться с функциями. У функций есть принимаемое значение, у хреновин есть возвращаемое значение. Так что будет что-то типа
data Composable a where
type ... more →

#oogitg

9 comments

Определенно надо вводить штраф на слишком сложные модели. Оставил на ночь крутиться ГА, с утра смотрю — а оно пытается соптимизировать дерево высотой этак нод 600 (даже боюсь думать, сколько там было элементов) с размерностью вектора параметров, по которому оптимизировать, в районе нескольких тысяч.

#oogoot

2 comments

А еще стрелки есть на брюках.

#oogztg

4 comments

Научрук грит малаца^W, что нужно в моей работе ввести понятие дерева и описать, чо это такое. Ну нахуй так жить?
Работа по индуктивному порождению нелинейных регрессионных моделей, есличо.

#ooenzn

12 comments

А, я ебаный идиот. Я еще и изначально неправильно обращенную матрицу считал.
А Л-М все равно сходился. Вот это гыгы.

#ooehon

add comment

Надо обращать матрицы быстро. Гаусса кодить лениво, LU-разложение кодить лениво, выгугленный http://en.wikipedia.org/wiki/Invertible_... дает хуиту какую-то.

#ooehot

1 comment

Гагага, я тупой мудак. Я перепутал вектор параметров и вектор свободных переменных при вычислении якобиана функции, поэтому случалась хуйпизда.
Удивительно, что оно вообще работало в ε-окрестности.

Теперь реквестирую методы увеличения скорости сходимости.

#ooetst

2 comments

Блядство, Л-М с подбором λ уже не расходится так хуево, но и не сходится вдали от точки экстремума. Ну нахуй так жить.

#ooetfn

add comment

Научрук грит, я оче малаца. В очередной раз. Дореализовать Л-М (сделать подбор λ там, а не фиксированный), провести пару экспериментов и дооформить статью, переведя ее с дедфудовского на русский — и диплом будет. Уняня.

#ooeons

4 comments

КРИТЕРИЙ СОГЛАСИЯ РЕШАЮЩЕЕ ПРАВИЛО ПИРСЕН ПИРСЕН ХИ КВАДРАТ СПИРМЕН

#ooshto

add comment

Уняня, самодельный Л-М на самодельных матрицах работает! Я уберняша!

Собственно, искомая функция: http://paste.pocoo.org/show/495193/
И ваще все это в https://github.com/0xd34df00d/gennl/blob... , да.

#ooigzg

3 comments

Плохой алгоритм. На самом деле, очень плохой алгоритм. Я думал гораздо пизже будет, гораздо пизже будет все и очень плохой алгоритм, просто очень плохой алгоритм. Я думал гораздо пизже все будет. Сколько раз минимум находил! Было гораздо пизже. Ну на этот раз как-то не срослось. Во-первых не сходится, да и алгоритм ... more →

#ooigzo

3 comments

Ух ты, ghc понимает unicode в исходниках, так что я могу писать vecFun f β ω = ...
Охуенно.

#ooieze

10 comments

Я АЛГОРИТМ ЛЕВЕНБЕРГА-МАРКВАРДТА
ПОСМОТРИ НА МЕНЯ ВДАЛИ, ДЕТКА
УЗНАЕШЬ ГАУССА-НЬЮТОНА?
ЗНАЧИТ СЪЕШЬ КОТЛЕТКУ
А ТЕПЕРЬ ПОДОЙДИ ПОБЛИЖЕ
НЕ БОЙСЯ ЖЕ, НУ
ТЕПЕРЬ Я ГРАДИЕНТНЫЙ СПУСК
Я БЫСТРО ТВОЙ МИНИМУМ НАЙДУ
НУ И ЧТО, ЧТО ОН ЛОКАЛЕН
ХУЙ ХУЙ ХУЙ

#ooihfg

4 comments

Поговорили с научруком сегодня. Я еще даже не успел рассказать про свои соображения на тему групповой структуры преобразований, а он уже говорит, что я ОЧЕ МАЛАЦА. Ня, я няша и котик.

#oofnne

4 comments

http://rss.slashdot.org/~r/Slashdot/slas...
Just as planned. Истерички, любящие повопить при каждом удобном случае про ВЕЛИКОЕ ОТКРЫТИЕ НАРУШЕНИИ ТЕОРИИ ЭЙНШТЕЙН СОСНУЛ, соснули in turn.

#oofioo

20 comments

Впрочем, похоже, группа из предыдущего матан-поста не будет абелевой. Либо я немножко накосячил с доказательством. В любом случае, это печально, но я еще не придумал, почему.

#oohezg

add comment

Похоже, довольно легко определить групповую структуру на множестве некоторых преобразований F^2 → F^2, где F — множество математических выражений. То есть, таким образом можно захуячить весь аппарат теории групп на ГА.

#oohshz

14 comments

Охуеть, судя по публикациям, до меня вообще мало кто заморачивался теоретическим обоснованием применимости ГА и прочей хуйни.

#oohohe

4 comments

Блядь, мне не хватает греческих и латинских букв.

#oohote

6 comments