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 писал(а): Основания теории вычислимости (где трактуется про "нормальные алгорифмы Маркова"; например, кажется, Мальцев), конечно, читал и читал давно (причем реально читал). Программеры таких книг, конечно, не читают, а заимствуют фразы для дальнейшего комбинирования друг у друга. Есть, конечно, тексты Ильи Ермакова, но они, по ощущению , вторичные по отношению к указанной ссылке -- если нет, пусть И.Е. меня поправит. Например, какую-нибудь бы историческую фразу из прошлого насчет рефала, какой он марковский язык (а то даже в названии "ф" от "функц..."). Итак, где впервые на одном дыхании было сказано об "императивном, функциональном, марковском" программировании/парадигме/языках? Обычно "императивное, функциональное, логическое...". Нужно, чтобы в едином смысловом ряду (не обязательно в одной строчке) было еще и "марковский" (ну, или хотя бы "сентенциальный" -- это прилагательное уже, видимо, достижение Ильи Евгеньевича ) Век живи - век учись? Ну, про Непейводу уже написали. Но и так, вообще-то, невооруженным взглядом, так сказать, видно, что РЕФАЛ напрямую основан на марковской модели вычислений - замене слов. |
Автор: | 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/ |