(←) предыдущая запись ; следующая запись (→)
Зачатки нынешней идеи пришли мне в голову ещё в студенческие годы.
На квантовой теории поля мы писали довольно-таким здоровенные формулы, и нам периодически требовалось их упрощать.
С одной стороны, упрощать приходилось понятным образом. С другой стороны, всякий раз ты переписываешь эту громоздкую формулу с небольшим исправлением — целиком (и когда перелистываешь страницу, шанс что-нибудь потерять становится довольно большим).
Мне тогда хотелось иметь какую-то программку «математический блокнот», в котором я вёл бы преобразование строка за строкой, видел бы историю изменений и при этом имел полностью ручное управление процессом. И это сильно отличалось от обычных пожеланий «хочу, чтобы оно всё посчитало за меня».
В моём идеальном мире, я мог бы просто кликнуть на кусок формулы и выбрать одно из (миллиона) допустимых преобразований.
Возможно, что даже классическая Wolfram Mathematica умеет это делать. Но мне было лень проверять, а тем более искать инструмент. Поэтому я подумал, что надо бы сделать свой собственный инструмент…
И вот, через 15 лет я смог пересилить свою лень и сделал прототип прототипа. Итак! Перематываем историю вперёд.
(2/4)