OberonCore
https://forum.oberoncore.ru/

Марковская парадигма
https://forum.oberoncore.ru/viewtopic.php?f=8&t=1567
Страница 2 из 2

Автор:  Валерий Лаптев [ Пятница, 08 Май, 2009 10:38 ]
Заголовок сообщения:  Re: Марковская парадигма

Info21 писал(а):
Валерий Лаптев писал(а):
2. Зачем так программеров-то обижать, Федор Васильевич?
Виноват. Это было статистическое утверждение, без квантора общности.
Статистически программеры слишком рано и слишком сильно забуряются в мануалы, и более всего борются с "мусорными знаниями".
Собственно, те, кто не забуряется, те уже и не программеры, а нормальные люди :)

Прекрасно!
Федор Васильевич, а каков будет ваш положительный ответ по поводу моего последнего ответа вам?

Автор:  TAU [ Воскресенье, 10 Май, 2009 19:50 ]
Заголовок сообщения:  Re: Марковская парадигма

Info21 писал(а):
Основания теории вычислимости (где трактуется про "нормальные алгорифмы Маркова"; например, кажется, Мальцев), конечно, читал и читал давно (причем реально читал). Программеры таких книг, конечно, не читают, а заимствуют фразы для дальнейшего комбинирования друг у друга.
Есть, конечно, тексты Ильи Ермакова, но они, по ощущению 8), вторичные по отношению к указанной ссылке -- если нет, пусть И.Е. меня поправит. Например, какую-нибудь бы историческую фразу из прошлого насчет рефала, какой он марковский язык (а то даже в названии "ф" от "функц...").
Итак, где впервые на одном дыхании было сказано об "императивном, функциональном, марковском" программировании/парадигме/языках?
Обычно "императивное, функциональное, логическое...". Нужно, чтобы в едином смысловом ряду (не обязательно в одной строчке) было еще и "марковский" (ну, или хотя бы "сентенциальный" -- это прилагательное уже, видимо, достижение Ильи Евгеньевича :))

Век живи - век учись? :lol: Ну, про Непейводу уже написали. Но и так, вообще-то, невооруженным взглядом, так сказать, видно, что РЕФАЛ напрямую основан на марковской модели вычислений - замене слов.

Автор:  TAU [ Воскресенье, 10 Май, 2009 19:58 ]
Заголовок сообщения:  Re: Марковская парадигма

Валерий Лаптев писал(а):
К сожалению марковские цепи нам в универе почему-то не давали - это проехало мимо меня.
Теперь посмотрю внимательно.

(как тут уже отметили)

:!: Марковские цепи (видимо, имеются в виду случайные процессы) Маркова-старшего не имеют никакого отношения к нормальным алгорифмам Маркова (младшего)!

Впрочем, Марковым вообще не повезло в этом смысле - оба А.А., оба Андреи Андреевичи:
http://ru.wikipedia.org/wiki/%D0%9C%D0% ... 0%B8%D0%B9)
http://ru.wikipedia.org/wiki/%D0%9C%D0% ... 0%B8%D0%B9)

Кстати, раз уж в такое время пишу - обратите внимание по второй ссылке: "До июля 1942 года находился в блокадном Ленинграде". Не знал.
Еще один повод снять поклониться Человеку. Математику. Ученому.

Автор:  Валерий Лаптев [ Понедельник, 11 Май, 2009 15:38 ]
Заголовок сообщения:  Re: Марковская парадигма

Илья Ермаков писал(а):
У новосибирцев теория преломлена через свои работы - теория схем программ, оптимизация программ, САПР и т.п. В последней книге разобраны методы построения чертежей разных классов графов и прочая практически нигде больше не разбиравшаяся интересная конкретика.

Поддерживаю!
Примерно три четверти очень практический материал, который нигде более не встречается.
Касьянов и Евстигнеев - это серьезные люди, много наработавшие в применении графов в программировании.

Автор:  TAU [ Среда, 03 Июнь, 2009 16:42 ]
Заголовок сообщения:  Re: Марковская парадигма

Илья Ермаков писал(а):
Info21 писал(а):
Кауфман -- это же ВМК МГУ? Если так, то б.-м. понятно: это, так сказать, сокровенное знание "советского" домена.

Ага, Кауфман с ВМК. С 90-х в Хельсинках (по-моему)

Спасибо за наводку!
Книга просто блестящая! "Тащусь по всей длине". И, может, использую кое-что в своем курсе "Языки программирования".

Автор:  QWERTYProgrammer [ Суббота, 11 Декабрь, 2010 15:37 ]
Заголовок сообщения:  Re: Марковская парадигма

Info21 писал(а):
Но на SCHOONSCHIP Кауфман не ссылается. Плохо знают теоретики прикладные области. А вещь сильная, существует с 1967 г. Сейчас, правда, больше квази-коммерческий клон FORM-*.

Кстати, по-поводу FORM-а: 29-11-2010: World's most powerful symbolic manipulation computer program FORM, developed at Nikhef, is now available as open source

Автор:  Info21 [ Суббота, 11 Декабрь, 2010 16:16 ]
Заголовок сообщения:  Re: Марковская парадигма

QWERTYProgrammer писал(а):
Info21 писал(а):
Но на SCHOONSCHIP Кауфман не ссылается. Плохо знают теоретики прикладные области. А вещь сильная, существует с 1967 г. Сейчас, правда, больше квази-коммерческий клон FORM-*.

Кстати, по-поводу FORM-а: 29-11-2010: World's most powerful symbolic manipulation computer program FORM, developed at Nikhef, is now available as open source
Просто это дерьмо больше уже никому не нужно по большому счету. Автор выкачал из него все, что мог.

(Знаю его как облупленного: он начал карьеру, грабанув меня. Что значит "грабанув", объяснять долго. Скажем так, credit в науке собирают не авторы, а посредники. Особенно когда авторы -- российские, а посредники -- западные. Вот он как раз влез посредником. И не он один. Ненавижу...)

Кстати, world's most powerful -- мой, на Блэкбоксе сделанный. Бьет этот form в хвост и в гриву.

Страница 2 из 2 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/