DRAKON.SU

Доклад "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН" в ИСП РАН

Доклад Владимира Паронджанова на семинаре в Институте системного программирования Российской академии наук 19 мая 2017 года

Длительность видеоролика 2 часа 38 минут
https://www.youtube.com/watch?v=MFPqCqcv7kY

Вступительное слово произносит
Заместитель директора Института системного программирования РАН,
Зам. главного редактора журнала "Программирование" Российской академии наук
доктор физико-математических наук, профессор
Александр Константинович Петренко.

Следует отметить исключительно благожелательное отношение аудитории.
Они не стали прицельно и глубоко копать сомнительные и спорные места в докладе.
На нашем семинаре в Институте Систем Информатики такое непременно бы сделали.

Вопросы относительно верификации Дракон-программ показывают, что аудитория плохо поняла, что такое "Дракон". Надо было сказать, что в "Драконе" нет типов данных, переменных, выражений и даже операторов присваивания. И, конечно, нет спецификаций программ. А значит и не может быть никакой верификации.

А что есть в "Драконе". Только структуры управления: последовательное исполнение, ветвление, циклы, ветви и т.д. Исходные кирпичики -- это иконы. И внутри них можно написать все что угодно.

Язык Дракон хорошо подходит для алгоритмов, которые эффектно названы в докладе "незаконнорожденными детьми". А вот с "законнорожденными" алгоритмами проблемы. Во первых, нет оператора вызова Дракон-программы. Конечно, можно использовать икону "Вставка". Но надо же еще указать имя программы и параметры, чего нет в языке Дракон. Без оператора вызова невозможно производственное программирование.

То, что до сих нет производственного программирования на языке Дракон, говорил Александр Петренко. А что нужно для этого сделать?

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

Ответ здесь
viewtopic.php?f=142&t=5950

Паронджанов и Шалыто идут по жизни параллельными курсами и их технологии не пересекаются.

Тышов же в ИС Дракон для Ефанова сделал режим "Автоматное программирование".
Сморите в контекстном меню схемы Силуэт пункт "- Свойство: Автомат".

и та и другая технология позволяет исключить утечку фазовых состояний системы, так что в принципе ДРАКОН вполне может использоваться для описания SWITCH схем, особенно если учесть что SWITCH...CASE конструкция присутствует на уровне икон

На Ютубе происходят интересные события. И я за ними внимательно слежу.

Мой доклад посмотрели 833 раза (начиная с 21 июня по 8 июля 2017 года).
Результаты такие. За 7 голосов. Против 4 голоса.

Посмотрим, что будет дальше.

https://www.youtube.com/watch?v=MFPqCqcv7kY

В википедии дайте ссылку.

http://archive.li/JZLBy

Николай Ленивцын 4 July at 23:02

По состоянию на сегодня:
Похоже, что скоро будет тысяча просмотров

если бы была опубликована презентация в виде слайдов, то можно было бы звук обработать и слайды наложить, так как звук плохой и видно неочень на экране через камеру снимают
p.s.
на тему левшей и прочего, в рунете это вообще общепринятый стиль - критиканство, пока не сделаешь будут доказывать что ты дурак и такое сделать нельзя, когда сделаешь и покажешь, то будут доказывать что ты дурак и на твоем месте могли бы быть критикующие, но почему то не стали

Это не стиль в интернете, а универсальная закономерность развития техносистем. И вообще развития, социального в т.ч. Детально о техническом Г. Альтшуллер "Как стать гением". Название попсовое, исследование в ней достойное. Так что это норма.

я не писал про интернет, я написал про рунет, это русккоязычная часть интернета и она живет по своим законам, обливание грязью там вполне обычное дело и рассказ о том как "очередной дурак разработал очередную дурацкую технологию" это на каждом шагу и относится скорее к мировосприятию описывающих чем к законам развития систем, в англоязычной части такое поведение просто не принято и люди понимают ценность идей, сравнивал

Игорь, спасибо, обязательно выложу. Все руки не доходят.

Вынужден согласиться: именно это Вы и проделали.

Игорь, я выложил презентацию в формате pdf:
http://drakon.su/_media/video_i_prezent ... p_ran_.pdf

и в формате pptx:
http://drakon.su/_media/video_i_prezent ... _ran_.pptx

В презентации увидел и свой комментарий, что довольно таки лестно, как будто бы цитата известного деятеля.

Со страницы 95 приводятся несколько слайдов, где, как я понял, показывается, что всё, что есть в структурном программировании, есть и в Дракон-схемах. Что как бы доказывает, что термин "двумерное структурное" программирование правильный. Но обычное структурное программирование ограничивается тремя управляющими конструкциями, а Дракон-схема не ограничивается. И вот эти излишества уже не делают Дракон-схему похожей на структурные схемы Дейкстры. Если, допустим, к структурным схема Дейкстры добавить всего один небольшой элемент: разрешить произвольные переходы внутри схемы, то это уже будет не структурная схема. Думаю аналогия понятна.

В этой связи есть несколько цитат Энтони Хоара:

и