OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Воскресенье, 19 Ноябрь, 2017 20:58

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 27 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Пятница, 08 Май, 2009 10:38 

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Воскресенье, 10 Май, 2009 19:50 

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

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


Последний раз редактировалось TAU Воскресенье, 10 Май, 2009 20:04, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Воскресенье, 10 Май, 2009 19:58 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 370
Валерий Лаптев писал(а):
К сожалению марковские цепи нам в универе почему-то не давали - это проехало мимо меня.
Теперь посмотрю внимательно.

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

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

Впрочем, Марковым вообще не повезло в этом смысле - оба А.А., оба Андреи Андреевичи:
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 года находился в блокадном Ленинграде". Не знал.
Еще один повод снять поклониться Человеку. Математику. Ученому.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Понедельник, 11 Май, 2009 15:38 

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Среда, 03 Июнь, 2009 16:42 

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Суббота, 11 Декабрь, 2010 15:37 

Зарегистрирован: Среда, 04 Июль, 2007 16:43
Сообщения: 226
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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Марковская парадигма
СообщениеДобавлено: Суббота, 11 Декабрь, 2010 16:16 

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7712
Откуда: Троицк, Москва
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 в хвост и в гриву.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 27 ]  На страницу Пред.  1, 2

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: Google [Bot], Majestic-12 [Bot] и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2017, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB