Обсуждение

Я одно время тесты пытался генерировать через планирование. Оттуда и познакомился с SatPlan, SAT-solvers и прочее и прочее. Места для компьютерной революции там и вправду заповедные, практически не паханные и ногой человека не ступанные.

Вот-вот. Я удивляюсь, почему это люди Alan Kay всегда оказываются чуть-чуть впереди... Ведь нам же никто не запрещает делать так же или даже лучше ;)

Делают, просто в университетских проектах в основном. По ним даже соревнования проводят. Типа какой солвер решит больше Constraint Satisfaction Problem. Ханойская башня - это что-то вроде Хэлло Ворлд для таких методов, то есть одна из учебных програм. Не так давно и SAT-solverы стали применять для решения CSP задач, теоретически такая возможность была рассмотрена в начале 2000, я так понимаю. В презентации по SAT4J - Java SAT-Solver - тоже есть пример про ханойские башни. Ну т.е. в данном случае они вполне в общей струе. А вот почему в практических проектах это редко применяют, это другой вопрос. Я к примеру пытаюсь, но на мелких проектах овчинка выделки не стоит, проще ручками. Хотя, лично для меня, есть весьма полезный косвенный эффект в лучшем понимании требований. Кроме того, отмечу, что на практике, алгоритм должен работать предсказумое время, а у САТ-солверов с этим напряженка: в большинстве случаев может они и справятся за разумное время, но возможны подвисания. Для обычных программ это редко примелимо, ибо пользователь будет на уши ставить всех из-за таких подвисонов.

Я тут не про решение отдельных задач солверами, а за встраивание этих методов в обычные языки программирования. Писать все на JavaScript прямо в браузере, а при возникновении надобности использовать встроенную феню планировщика -- если уж совсем цинично говорить. Но это я очень близко к тексту: все среды Алан Кея предназначены для выполнения прямо в браузере. Это у них сейчас такой мейнстрим. Вслед за Хромом и Файрфокс и IE пообещали быстрый движок для JavaScript. Это все неспроста. Erlang, например, несколько лет моделировался на Prolog (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.3972). Непейвода прав, разные проблемы лучше решать на разных языках. Но и люди Алан Кея правы -- разные языки должны быть доступны в рамках одной платформы. Но не такой, как .NET, а "текстовой" -- пишешь текст по несколько строчек на каждом языке ;) Но для таких систем программирования непонятно, где можно будет найти программистов. Придется на таких мультипарадигмальных мультиязыковых системах программировать самим компьютерам. Еще лет пять-десять такими темпами, и это станет реальностью :)

... Ваши разработки по системному подходу уже где нибудь опубликованы? в бумажном виде?

Мы регулярно обнаруживаем наши наработки у клиентов аккуратно распечатанными на бумаге ;)

да ну. владение несколькими языками - это хороший тон. у нас в конторе пишут на c# и бейсике, был бы смысл использовать функциональный f# или реализацию пролога - тоже бы писали. контора, причем, не самая крутая.

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

У нас есть в планах создание пакета учебных материалов. И мы потихоньку этот план выполняем. Бумажный носитель не так интересен, по нашему опыту даже в Москве лучше иметь электронный носитель, чтобы материалы доходили до другого конца Москвы. А для Оренбурга или Ростова-на-Дону говорить можно только об электронной форме. Бумажные экземпляры каждый легко изготавливает на своем принтере, ежели есть потребность. Но у нас есть и планы издательской деятельности, мы дружим с приличными издательствами. Только издавать планируем не свои книжки, а переводные. С другой стороны, перевод планируем очень и очень творческий ;)

...разработка курса-семинара "Системный подход" для факультетов повышения квалификации, а также издания для этой цели малыми тиражами брошюр - методических указаний. Возможно ли сотрудничество в этом направлении? Есть ли у вас уже опыт подобного сотрудничества?

Смею заверить, что существует много разных систем образования, кроме факультетов повышения квалификации. Мы для одного клиента как раз планируем семинарскую программу, с весны. Издательская программа там тоже предусмотрена (эх, было бы что издавать ;) Впрочем, мы уже и сейчас вовсю ведем семинары, а русскоязычные материалы к ним публикуем в Сети. Как раз сейчас я пишу очередной обзорный текст на десяток страничек. Если есть желание, берите наши материалы, и начинайте учить людей. Только ссылайтесь на то, что учите по материалам PraxOS ;)

Спасибо большое!!! когда появится что-то внятное, программа нарисуется, сообщу вам! расписание семинаров, очевидно, следует поискать у вас на сайте.