Визуальное мышление. Доклад о том, почему им нельзя обольщаться. Анатолий Левенчук

формальными языками. Именно Питон тут не важен. Это просто один из языков, я и на Julia15 в этом году немного писал.

      Тем не менее, я придумывал и графические нотации, например, для молекулярных орбиталей я придумал в 80-х годах 20 века графический язык. Такая буквально стенография для изображения молекулярных орбиталей, сделал это как хобби на одной из химических тусовок. Я по образованию химик, но я уже тогда занимался программированием, и знания формальных языков я перенес в область химии, которая в части изображения молекулярных орбиталей все-таки не наука, а так, размахивание руками, и для этого размахивания руками и была придумана нотация: скоропись вместо всех этих «гантелек» из школьных учебников. Статья, правда, не вышла, потому что ребята, с которыми я занимался, соавторы, так и не удосужились её публиковать, а мне это тогда не было сильно интересно.

      Язык схем СМД-методологии мне знаком с 1988 года, я побывал тогда на игре-5916, которую вел Георгий Петрович Щедровицкий, а с тех пор я регулярно в контакте с СМД-методологами и, в принципе, я эти схемы вполне читаю, хотя и очень мало пишу. Но когда-то на тамошнем схемном языке я довольно много писал, и поэтому можно и на эту тему поговорить, что я думаю об этих схемах.

      Я переводил также на русский схемные иностранные языки, так перевод схемного ArchiMate 3.0 на русский я сделал в 2018 году, а до этого пару лет назад я перевел версию 2.117, так что в общем со схемными языками я тоже разбирался. Это я к тому, что у меня некоторый опыт работы с языками-схемами, языками графическими, языками формальными, этот опыт у меня «в пальцах», я не только об этих языках в книжках читал. Я к тому, что, собственно, личный опыт имею с самими языками и их употреблением, я тут не чистый теоретик.

      Кроме этого я отслеживал языки DSL (domain specific language) движения18. Причём это был пик где-то в 2008—2011 годах, с тех пор за десяток лет это движение как попытка ввести в массовый оборот быстро порождаемые на «языковых верстаках» (language workbenches) графические языки моделирования сошло на нет. Этот тезис у меня будет раскрыт чуть подробнее, он важен.

      Я также отслеживал работы по выявлению природы языков поддержки мышления графических и текстовых, а ещё работы по моделированию мышления в коннективистских архитектурах: Machine Learning в части Deep Learning, постепенно превращающееся в Differentiable Programming19, но за коннективистскими архитектурами я слежу только последние лет пять.

      А ещё моей работе с формальными и псевдокодными языками и их нотациями посодействовали исследования по работе с полным спектром формальности мышления, которые у нас ведутся в школе системного менеджмента. Для меня это важно потому, что мы работаем с этими вопросами мышления и его нотационной (графической или текстовой) поддержки прямо сейчас. Поэтому я вам представляю тезисы по этому направлению работы, опирающиеся на представления о полном спектре формальности мышления.

      Тезисы по визуальному мышлению

      Тезисы я представил

15

Julia – быстрый язык высокого уровня для численных методов, http://julialang.org/.

16

59.Программа развития района в рамках развития города, 05.01.88—14.01.88, Ростов-на-Дону.

17

Архимейт по-русски: https://ailev.livejournal.com/988360.html

18

https://en.wikipedia.org/wiki/Domain-specific_language

19

https://medium.com/amplify-partners/age-of-ai-talk-deep-learning-est-morte-vive-differentiable-programming-6b1a1c9800d8