DRAKON.SU https://forum.drakon.su/ |
|
Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» https://forum.drakon.su/viewtopic.php?f=168&t=6036 |
Страница 1 из 4 |
Автор: | Владимир Паронджанов [ Среда, 21 Июнь, 2017 17:18 ] |
Заголовок сообщения: | Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Доклад "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН" в ИСП РАН Доклад Владимира Паронджанова на семинаре в Институте системного программирования Российской академии наук 19 мая 2017 года Длительность видеоролика 2 часа 38 минут https://www.youtube.com/watch?v=MFPqCqcv7kY Вступительное слово произносит Заместитель директора Института системного программирования РАН, Зам. главного редактора журнала "Программирование" Российской академии наук доктор физико-математических наук, профессор Александр Константинович Петренко. |
Автор: | Владимир Шелехов [ Понедельник, 26 Июнь, 2017 15:56 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Владимир Паронджанов писал(а): Доклад Владимира Паронджанова "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН" на семинаре в Институте системного программирования Российской академии наук 19 мая 2017 года Следует отметить исключительно благожелательное отношение аудитории.Длительность видеоролика 2 часа 38 минут https://www.youtube.com/watch?v=MFPqCqcv7kY Вступительное слово произносит доктор физико-математических наук, профессор Александр Константинович Петренко. Они не стали прицельно и глубоко копать сомнительные и спорные места в докладе. На нашем семинаре в Институте Систем Информатики такое непременно бы сделали. Вопросы относительно верификации Дракон-программ показывают, что аудитория плохо поняла, что такое "Дракон". Надо было сказать, что в "Драконе" нет типов данных, переменных, выражений и даже операторов присваивания. И, конечно, нет спецификаций программ. А значит и не может быть никакой верификации. А что есть в "Драконе". Только структуры управления: последовательное исполнение, ветвление, циклы, ветви и т.д. Исходные кирпичики -- это иконы. И внутри них можно написать все что угодно. Язык Дракон хорошо подходит для алгоритмов, которые эффектно названы в докладе "незаконнорожденными детьми". А вот с "законнорожденными" алгоритмами проблемы. Во первых, нет оператора вызова Дракон-программы. Конечно, можно использовать икону "Вставка". Но надо же еще указать имя программы и параметры, чего нет в языке Дракон. Без оператора вызова невозможно производственное программирование. То, что до сих нет производственного программирования на языке Дракон, говорил Александр Петренко. А что нужно для этого сделать? |
Автор: | LKom [ Пятница, 30 Июнь, 2017 14:07 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
https://vk.com/id1077823 Цитата: Анатолий Шалыто
29.06.2016 в 14:57 Автоматное программирование он не заметил, несмотря на то, что я ему даже писал о нем https://www.youtube.com/watch?v=MFPqCqcv7kY Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН |
Автор: | Владимир Паронджанов [ Пятница, 07 Июль, 2017 14:01 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Цитата: Re: видеозапись семинара 19.05.17 в ИСП РАН
Sergey Smolov <.....@ispras.ru> Кому: Паронджанов Владимир сегодня, 12:31 Здравствуйте, Владимир Данилович! Мы выложили ссылку на видеозапись семинара от 19 мая на сайт ИСП РАН. Новость о семинаре доступна тут: http://www.ispras.ru/news/nauchnyy_seminar_isp_ran/ -- С уважением, Сергей Смолов |
Автор: | Владимир Паронджанов [ Пятница, 07 Июль, 2017 14:05 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Новости Института системного программирования Российской академии наук http://www.ispras.ru/news/nauchnyy_seminar_isp_ran/ Цитата: Научный семинар ИСП РАН
В пятницу 19 мая 2017 г. в 15:00, в аудитории 110 состоялся научный семинар ИСП РАН, на котором был представлен доклад Владимира Даниловича Паронджанова на тему: "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН". Аннотация: Современная теория алгоритмов не имеет удобного (эргономичного) языка, позволяющего облегчить и ускорить понимание алгоритмов ЧЕЛОВЕКОМ. Она не применима к медицинским алгоритмам и не содействует повышению безопасности пациентов. Она не оказывает практической помощи при разработке бизнес-процессов, потоков работ (workflows) и пр. Современные языки программирования используют управляющие слова (if, then, else, case, switch, break, while, do, repeat, until, for, foreach, continue, loop, exit, when, last и др.), которые играют роль визуальных помех, провоцируют появление ошибок и мешают понять смысл алгоритма в терминах предметной области. Предлагаются теоретические и практические средства, чтобы устранить или ослабить указанные недостатки. Видеозапись семинара доступна здесь. |
Автор: | LKom [ Пятница, 07 Июль, 2017 15:49 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
https://vk.com/id1077823 Цитата: Анатолий Шалыто Автоматное программирование он не заметил, несмотря на то, что я ему даже писал о нем Когда писал А Шалыто? Что же писал о Драконе и связке его с автоматным программированием? Было ли в письме что то практичное для Дракона? --- TAU о Шалыто: http://forum.drakon.su/viewtopic.php?p=94269#p94269 от Пятница, 11 Декабрь, 2015 10:29 http://forum.drakon.su/viewtopic.php?p=98394#p98394 от Пятница, 30 Сентябрь, 2016 23:26 |
Автор: | Владимир Паронджанов [ Пятница, 07 Июль, 2017 16:00 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
LKom писал(а): https://vk.com/id1077823 Ответ здесьЦитата: Анатолий Шалыто Автоматное программирование он не заметил, несмотря на то, что я ему даже писал о нем Что же писал А. Шалыто о Драконе и связке его с автоматным программированием? viewtopic.php?f=142&t=5950 |
Автор: | LKom [ Пятница, 07 Июль, 2017 16:21 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Паронджанов и Шалыто идут по жизни параллельными курсами и их технологии не пересекаются. Тышов же в ИС Дракон для Ефанова сделал режим "Автоматное программирование". Сморите в контекстном меню схемы Силуэт пункт "- Свойство: Автомат". |
Автор: | Игорь Мазница [ Пятница, 07 Июль, 2017 20:09 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Цитата: Паронджанов и Шалыто идут по жизни параллельными курсами и их технологии не пересекаются. и та и другая технология позволяет исключить утечку фазовых состояний системы, так что в принципе ДРАКОН вполне может использоваться для описания SWITCH схем, особенно если учесть что SWITCH...CASE конструкция присутствует на уровне икон |
Автор: | Владимир Паронджанов [ Суббота, 08 Июль, 2017 08:55 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
На Ютубе происходят интересные события. И я за ними внимательно слежу. Мой доклад посмотрели 833 раза (начиная с 21 июня по 8 июля 2017 года). Результаты такие. За 7 голосов. Против 4 голоса. Посмотрим, что будет дальше. https://www.youtube.com/watch?v=MFPqCqcv7kY Цитата: Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН
Sergey Smolov 833 просмотра За 7 Против 4 Опубликовано: 21 июн. 2017 г. Видеозапись доклада Паронджанова Владимира Даниловича на семинаре в ИСП РАН 19.05.2017. Современная теория алгоритмов не имеет удобного (эргономичного) языка, позволяющего облегчить и ускорить понимание алгоритмов ЧЕЛОВЕКОМ. Она не применима к медицинским алгоритмам и не содействует повышению безопасности пациентов. Она не оказывает практической помощи при разработке бизнес-процессов, потоков работ (workflows) и пр. Современные языки программирования используют управляющие слова (if, then, else, case, switch, break, while, do, repeat, until, for, foreach, continue, loop, exit, when, last и др.) , которые играют роль визуальных помех, провоцируют появление ошибок и мешают понять смысл алгоритма в терминах предметной области. В докладе предлагаются теоретические и практические средства, чтобы устранить или ослабить указанные недостатки. |
Автор: | LKom [ Суббота, 08 Июль, 2017 09:59 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
В википедии дайте ссылку. |
Автор: | LKom [ Суббота, 08 Июль, 2017 10:18 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
http://archive.li/JZLBy Николай Ленивцын 4 July at 23:02 Цитата: Данная лекция отлично показывает: ОГАСа не получилось не потому, что рыночники подосрали, а потому что делать его было некому.
Целиком лекцию втыкать смысла нет, но полистать стоит. "Есть у нас алгоритмический язык или нету у нас алгоритмического языка?! Теперь есть!" - сказал пожилой Левша. Вы, конечно, скажете, что грешно смеяться над пожилыми людьми. На что я отвечу, что над Дональдом Кнутом - между прочим, ровесником Левши, у меня вот желания смеяться не возникает. И над Дейкстрой, который хотя и помер уже 15 лет назад, но был на 8 лет старше левши, у меня смеха тоже не возникало никогда. Так что не в возрасте дело. Так-то. Цитата: Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН Видеозапись доклада Паронджанова Владимира Даниловича на семинаре в ИСП РАН 19.05.2017. Современная теория алгоритмов не имеет удобного (эргономичного) языка... YOUTUBE.COM |
Автор: | Владимир Паронджанов [ Понедельник, 10 Июль, 2017 12:15 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
По состоянию на сегодня: Цитата: 919 просмотров Похоже, что скоро будет тысяча просмотров
за подано 9 голосов против 6 |
Автор: | Игорь Мазница [ Понедельник, 10 Июль, 2017 14:54 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
если бы была опубликована презентация в виде слайдов, то можно было бы звук обработать и слайды наложить, так как звук плохой и видно неочень на экране через камеру снимают p.s. на тему левшей и прочего, в рунете это вообще общепринятый стиль - критиканство, пока не сделаешь будут доказывать что ты дурак и такое сделать нельзя, когда сделаешь и покажешь, то будут доказывать что ты дурак и на твоем месте могли бы быть критикующие, но почему то не стали |
Автор: | dvuugl [ Понедельник, 10 Июль, 2017 17:02 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Игорь Мазница писал(а): в рунете это вообще общепринятый стиль - критиканство, пока не сделаешь будут доказывать что ты дурак и такое сделать нельзя, когда сделаешь и покажешь, то будут доказывать что ты дурак и на твоем месте могли бы быть критикующие, но почему то не стали Это не стиль в интернете, а универсальная закономерность развития техносистем. И вообще развития, социального в т.ч. Детально о техническом Г. Альтшуллер "Как стать гением". Название попсовое, исследование в ней достойное. Так что это норма.
|
Автор: | Игорь Мазница [ Понедельник, 10 Июль, 2017 17:59 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Цитата: Это не стиль в интернете, а универсальная закономерность развития техносистем. я не писал про интернет, я написал про рунет, это русккоязычная часть интернета и она живет по своим законам, обливание грязью там вполне обычное дело и рассказ о том как "очередной дурак разработал очередную дурацкую технологию" это на каждом шагу и относится скорее к мировосприятию описывающих чем к законам развития систем, в англоязычной части такое поведение просто не принято и люди понимают ценность идей, сравнивал |
Автор: | Владимир Паронджанов [ Понедельник, 10 Июль, 2017 18:01 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Игорь Мазница писал(а): если бы была опубликована презентация в виде слайдов, то можно было бы звук обработать и слайды наложить, так как звук плохой и видно не очень на экране через камеру снимают Игорь, спасибо, обязательно выложу. Все руки не доходят.
|
Автор: | dvuugl [ Понедельник, 10 Июль, 2017 21:45 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Игорь Мазница писал(а): я не писал про интернет, я написал про рунет, это рускоязычная часть интернета и она живет по своим законам, обливание грязью там вполне обычное дело Вынужден согласиться: именно это Вы и проделали.
|
Автор: | Владимир Паронджанов [ Вторник, 11 Июль, 2017 12:10 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
Игорь Мазница писал(а): если бы была опубликована презентация в виде слайдов Игорь, я выложил презентацию в формате pdf:http://drakon.su/_media/video_i_prezent ... p_ran_.pdf и в формате pptx: http://drakon.su/_media/video_i_prezent ... _ran_.pptx |
Автор: | Rifat [ Вторник, 11 Июль, 2017 14:01 ] |
Заголовок сообщения: | Re: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН» |
В презентации увидел и свой комментарий, что довольно таки лестно, как будто бы цитата известного деятеля. Со страницы 95 приводятся несколько слайдов, где, как я понял, показывается, что всё, что есть в структурном программировании, есть и в Дракон-схемах. Что как бы доказывает, что термин "двумерное структурное" программирование правильный. Но обычное структурное программирование ограничивается тремя управляющими конструкциями, а Дракон-схема не ограничивается. И вот эти излишества уже не делают Дракон-схему похожей на структурные схемы Дейкстры. Если, допустим, к структурным схема Дейкстры добавить всего один небольшой элемент: разрешить произвольные переходы внутри схемы, то это уже будет не структурная схема. Думаю аналогия понятна. В этой связи есть несколько цитат Энтони Хоара: Цитата: Но существует одно качество, которое нельзя купить, — это надежность. Цена надежности — погоня за крайней простотой. Это цена, которую очень богатому труднее всего заплатить. и Цитата: Нужен код, совершенно очевидно свободный от ошибок, а не код, свободный от очевидных ошибок.
|
Страница 1 из 4 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |