Сделал набор типа-программистских типа-головоломок: http://puzzles.ocaml.nl. Заходите, кому интересно. Уметь типа-программировать типа-обязательно.
Перепост приветствуется.
Перепост приветствуется.
Спасибо! И, финские друзья, распространите информацию, если можно.
(Мопед не мой, я больше почти ничего не знаю, все вопросы к организаторам, и только лично от желающего.)
The algorithm in this paper was produced by finding an integer solution to the following system of 729 nonlinear algebraic equations involving 621 unknownsЧерез 35 лет был придуман другой алгоритм с 23 умножениями. Алгоритма с 22 умножениями (как и доказательства того, что его не существует), насколько мне известно, нет.
[...]
No use of computers was made in solving this system of equations.