DRAKON.SU

Текущее время: Среда, 24 Январь, 2018 15:01

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




Начать новую тему Ответить на тему  [ Сообщений: 73 ]  На страницу 1, 2, 3, 4  След.
Автор Сообщение
СообщениеДобавлено: Среда, 21 Июнь, 2017 17:18 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
Доклад "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН" в ИСП РАН

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 26 Июнь, 2017 15:56 

Зарегистрирован: Вторник, 22 Сентябрь, 2015 20:43
Сообщения: 68
Владимир Паронджанов писал(а):
Доклад Владимира Паронджанова "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН" на семинаре в Институте системного программирования Российской академии наук 19 мая 2017 года

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

Вступительное слово произносит доктор физико-математических наук, профессор Александр Константинович Петренко.
Следует отметить исключительно благожелательное отношение аудитории.
Они не стали прицельно и глубоко копать сомнительные и спорные места в докладе.
На нашем семинаре в Институте Систем Информатики такое непременно бы сделали.

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

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 30 Июнь, 2017 14:07 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 634
https://vk.com/id1077823
Изображение

Цитата:
Анатолий Шалыто
29.06.2016 в 14:57

Автоматное программирование он не заметил, несмотря на то, что я ему даже писал о нем
https://www.youtube.com/watch?v=MFPqCqcv7kY
Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 07 Июль, 2017 14:01 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
Цитата:
Re: видеозапись семинара 19.05.17 в ИСП РАН
Sergey Smolov <.....@ispras.ru>
Кому: Паронджанов Владимир

сегодня, 12:31
Здравствуйте, Владимир Данилович!

Мы выложили ссылку на видеозапись семинара от 19 мая на сайт ИСП РАН.

Новость о семинаре доступна тут: http://www.ispras.ru/news/nauchnyy_seminar_isp_ran/

--
С уважением,
Сергей Смолов


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 07 Июль, 2017 14:05 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
Новости Института системного программирования
Российской академии наук


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 и др.), которые играют роль визуальных помех, провоцируют появление ошибок и мешают понять смысл алгоритма в терминах предметной области.

Предлагаются теоретические и практические средства, чтобы устранить или ослабить указанные недостатки.

Видеозапись семинара доступна здесь.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 07 Июль, 2017 15:49 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 634
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


Последний раз редактировалось LKom Пятница, 07 Июль, 2017 16:04, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 07 Июль, 2017 16:00 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
LKom писал(а):
https://vk.com/id1077823
Цитата:
Анатолий Шалыто

Автоматное программирование он не заметил, несмотря на то, что я ему даже писал о нем

Что же писал А. Шалыто о Драконе и связке его с автоматным программированием?
Ответ здесь
viewtopic.php?f=142&t=5950


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 07 Июль, 2017 16:21 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 634
Паронджанов и Шалыто идут по жизни параллельными курсами и их технологии не пересекаются.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 07 Июль, 2017 20:09 
Аватара пользователя

Зарегистрирован: Среда, 09 Ноябрь, 2016 00:33
Сообщения: 95
Откуда: Tallinn
Цитата:
Паронджанов и Шалыто идут по жизни параллельными курсами и их технологии не пересекаются.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 08 Июль, 2017 08:55 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
На Ютубе происходят интересные события. И я за ними внимательно слежу.

Мой доклад посмотрели 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 и др.) , которые играют роль визуальных помех, провоцируют появление ошибок и мешают понять смысл алгоритма в терминах предметной области. В докладе предлагаются теоретические и практические средства, чтобы устранить или ослабить указанные недостатки.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 08 Июль, 2017 09:59 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 634
В википедии дайте ссылку.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 08 Июль, 2017 10:18 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 634
http://archive.li/JZLBy

Николай Ленивцын 4 July at 23:02
Цитата:
Данная лекция отлично показывает: ОГАСа не получилось не потому, что рыночники подосрали, а потому что делать его было некому.

Целиком лекцию втыкать смысла нет, но полистать стоит. "Есть у нас алгоритмический язык или нету у нас алгоритмического языка?! Теперь есть!" - сказал пожилой Левша.

Вы, конечно, скажете, что грешно смеяться над пожилыми людьми. На что я отвечу, что над Дональдом Кнутом - между прочим, ровесником Левши, у меня вот желания смеяться не возникает. И над Дейкстрой, который хотя и помер уже 15 лет назад, но был на 8 лет старше левши, у меня смеха тоже не возникало никогда. Так что не в возрасте дело. Так-то.

Цитата:
Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН
Видеозапись доклада Паронджанова Владимира Даниловича на семинаре в ИСП РАН 19.05.2017. Современная теория алгоритмов не имеет удобного (эргономичного) языка...
YOUTUBE.COM


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Июль, 2017 12:15 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
По состоянию на сегодня:
Цитата:
919 просмотров
за подано 9 голосов
против 6
Похоже, что скоро будет тысяча просмотров


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Июль, 2017 14:54 
Аватара пользователя

Зарегистрирован: Среда, 09 Ноябрь, 2016 00:33
Сообщения: 95
Откуда: Tallinn
если бы была опубликована презентация в виде слайдов, то можно было бы звук обработать и слайды наложить, так как звук плохой и видно неочень на экране через камеру снимают
p.s.
на тему левшей и прочего, в рунете это вообще общепринятый стиль - критиканство, пока не сделаешь будут доказывать что ты дурак и такое сделать нельзя, когда сделаешь и покажешь, то будут доказывать что ты дурак и на твоем месте могли бы быть критикующие, но почему то не стали


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Июль, 2017 17:02 

Зарегистрирован: Вторник, 27 Май, 2008 13:24
Сообщения: 153
Игорь Мазница писал(а):
в рунете это вообще общепринятый стиль - критиканство, пока не сделаешь будут доказывать что ты дурак и такое сделать нельзя, когда сделаешь и покажешь, то будут доказывать что ты дурак и на твоем месте могли бы быть критикующие, но почему то не стали
Это не стиль в интернете, а универсальная закономерность развития техносистем. И вообще развития, социального в т.ч. Детально о техническом Г. Альтшуллер "Как стать гением". Название попсовое, исследование в ней достойное. Так что это норма.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Июль, 2017 17:59 
Аватара пользователя

Зарегистрирован: Среда, 09 Ноябрь, 2016 00:33
Сообщения: 95
Откуда: Tallinn
Цитата:
Это не стиль в интернете, а универсальная закономерность развития техносистем.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Июль, 2017 18:01 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
Игорь Мазница писал(а):
если бы была опубликована презентация в виде слайдов, то можно было бы звук обработать и слайды наложить, так как звук плохой и видно не очень на экране через камеру снимают
Игорь, спасибо, обязательно выложу. Все руки не доходят.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Июль, 2017 21:45 

Зарегистрирован: Вторник, 27 Май, 2008 13:24
Сообщения: 153
Игорь Мазница писал(а):
я не писал про интернет, я написал про рунет, это рускоязычная часть интернета и она живет по своим законам, обливание грязью там вполне обычное дело
Вынужден согласиться: именно это Вы и проделали. :lol:


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 11 Июль, 2017 12:10 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3486
Откуда: Москва
Игорь Мазница писал(а):
если бы была опубликована презентация в виде слайдов
Игорь, я выложил презентацию в формате pdf:
http://drakon.su/_media/video_i_prezent ... p_ran_.pdf

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 11 Июль, 2017 14:01 

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 200
Откуда: Казань
В презентации увидел и свой комментарий, что довольно таки лестно, как будто бы цитата известного деятеля.

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

В этой связи есть несколько цитат Энтони Хоара:
Цитата:
Но существует одно качество, которое нельзя купить, — это надежность. Цена надежности — погоня за крайней простотой. Это цена, которую очень богатому труднее всего заплатить.

и
Цитата:
Нужен код, совершенно очевидно свободный от ошибок, а не код, свободный от очевидных ошибок.


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

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


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

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


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

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