> -- Илья Ермаков писал(а):
> Помнится, кто-то пробовал на Хаскелле определять такие правила для более-менее содержательной физической предметки, не получилось.
В свое время такие работы вел, если мне не изменяет память, Тыугу с идеей синтеза программ. Но в его книге были многовыходовые процедуры типа

proc Om (u,i,r);
if u = null then u:=i*r
elseif i = null then i:=u/r
elseif r = null then r:=u/i
end;

и я размышлял, как сделать универсальный алгоритм, который бы по выражению выдавал бы нужный результат, те. из выражения

A/B + C*E/D = 0

мог бы вычислить любую переменную при известных остальных, но с налету не удалось, и я забросил. Хорошая задачка для студентов

Еще, помню, Григорий Цейтин делал в Мартышкине доклад про свою систему, в которой можно было решать задачи с несколькими параллельно-последовательными резисторами.