Обсуждение

> Когда уже выпустят электронную компьютерную клавиатуру-сенсор, чтобы показывала в реальном времени силу по ней долбления? А смысл? Это же должно на звуке быть видно, а не в силе нажатия?! Микрофон поставить и делов то :)

>Для меня лично вся эта история со стилями крайне интересна, потому как "что такое стиль и как его формализовать" меня интересует очень давно, со студенческих времён. - о, наконец-то хоть кто-то еще!

Я бы сказал, что формализация стиля есть частный случай моделирования. С другой стороны, моделирование можно рассматривать как формализацию стиля, почему нет :). Ну т.е. стиль - это просто какие-то неформализованные и даже невербализованные ощущения. А как только мы пытаемся их вербализовать - то у нас уже модель. А как только формализовать - математическая модель.

Стиль это не модель, скорее метамодель. Это грамматика, стиль порождает. Хотя да, модель тоже может порождать, но принята обычно другая терминология.

я сперва тоже подумал про порождающие грамматики :) но просто формальная модель - более общая трактовка (порождающая конструируется добавлением итератора и/или солвера) по крайней мере для архитектурных стилей это подходит, да и музыкальные порождения делаются также, просто модели сложные и специфичные

Что грамматика -- это тоже модель, я вполне понимаю. И что порождение необязательно "грамматично" (а может проводиться любым вычислителем, "интерпретирующем" модель) я тоже понимаю. Просто есть более простые, а есть менее простые способы об этом разговаривать. В той же статистике есть два типа моделей: которые помогают понять, что там за код зашит в данных, и которые способны породить данные с таким же кодом. В deep learning это широко используется. Так что про порождение много чего можно рассказывать, в самых разных школах -- хотя терминология везде разная. Вон, "категории" в теории категорий ведь про то же самое. Все работают с "формализом описания похожести каких-то объектов" и связанной с наличием описаний похожести в каком-то формализме возможности порождения похожих в каком-то смысле, но разных в других смыслах объектов, куда ж от этого денешься.

Терминология разная. Но вот на этапе реализации, все сводится к модели в виде пространства параметров и набора ограничений в этом пространстве. Добавляем сюда солвер, который в этом пространстве перемещается учетом ограничений - и у нас уже порождающая модель. Можно сделать и оптимизатор - т.е. когда солвер нашел решение, добавляем в модель новое ограничение, чтобы следующее решение было лучше найденного и ищем дальше. Вобщем, все что я встречал из символических вычислений или оптимизационного софта, более менее укладывается в эту схему. Даже математические вычисления типа итерационных методов решения уравнений вобщем-то так же работают: берем текущее приближение, смотрим в какую сторону двинуться дальше и на сколько.

Пишите, дорогой Френд, обязательно пишите! С новым годом и вообще.

во, кстати,- хоть "наші хлопці"(тм) не запамятовали выразить народные мысли -- пишите , бо нужнО сие. и,- да с Новым Годом! PS. а упомянутая идея свеломотором - да,неплоха суть... но... не для нашенских -то дорог... сдохнет ибо, разве что крепёж батарейный менять.