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: Доклад «Неклассическая теория алгоритмов и язык ДРАКОН»

Игорь Мазница писал(а):
я не писал про интернет, я написал про рунет, это рускоязычная часть интернета и она живет по своим законам, обливание грязью там вполне обычное дело
Вынужден согласиться: именно это Вы и проделали. :lol:

Автор:  Владимир Паронджанов [ Вторник, 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/