
- •Владимир Паронджанов
- •Оглавление
- •Глава 1: На подступах к новому языку 25
- •Глава 2: Можно ли создать язык, улучшающий понимание и взаимопонимание? 29
- •Глава 3: Соображения, повлиявшие на создание языка Дракон 32
- •Глава 4: Понимание и взаимопонимание – ключевые проблемы информатики 43
- •Глава 5: Проблема улучшения работы ума: новый когнитивный подход 47
- •Глава 6: Изюминки языка Дракон 56
- •Глава 7: Эргономичные алгоритмы 77
- •Глава 8: Визуализация циклов 96
- •Глава 9: Визуализация логических формул 111
- •Глава 10: Что такое эргономичный текст? 122
- •Глава 12: Дружелюбное Программирование 142
- •Глава 17: Исчисление икон и попытка предсказать будущее 214
- •Глава 18: Место языка Дракон в системе человеческой культуры 223
- •Глава 19: Возможна ли эргономизация математики? 236
- •Глава 20: Можно ли стать интеллектуальным суперменом? 252
- •Глава 1 271
- •Легкомысленный словарик
- •Третий глаз для бизнесменови руководителей
- •Интеллектуальный терроризм: фантазия или реальность?(Вместо предисловия)
- •Почему умные люди страдают и гибнут?
- •Разве такая проблема существует?
- •Информационный стресс – зловещий спутник информационного общества
- •Камикадзе умственного труда
- •Что такое интеллектуальный терроризм?
- •Гуманитарная постановка задачи
- •Компьютерная мифология: облегчают ли компьютеры умственный труд?
- •Что такое интенсификация интеллекта?
- •Критерий Декарта и эргономизация науки
- •О чем эта книга?
- •Секреты мудрого дракона: объяснение на пальцах
- •Притча о том, как Господь Бог языки создавал
- •Смена терминов или изменение концепции?
- •Самая сложная вещь на свете
- •Зачем Дракону две головы?
- •Вы правы. Язык программирования — ваш враг. Но дракон— не язык программирования.Дракон— ваш друг
- •Справка о состоянии дел
- •Глава1: На подступах к новому языку
- •Зачем нужен язык Дракон?
- •В чем секрет Дракона? — в когнитивном подходе
- •Почему люди не интересуются собственным мозгом?
- •Станет ли Дракон чемпионом мира по критерию «понимаемость алгоритмов»?
- •На кого рассчитан язык Дракон?
- •Перечень задач, решаемых с помощью языка Дракон
- •Глава 2: Можно ли создать язык, улучшающий понимание и взаимопонимание?
- •Почему специалисты не понимают друг друга?
- •Язык Дракон как «эксперанто» делового мира
- •Что такое интеллектуальное взаимопонимание?
- •В чем особенность Дракона?
- •Глава3: Соображения, повлиявшие на создание языка Дракон
- •Что важнее: компьютеры или человеческий мозг?
- •Что такое производительность умственного труда?
- •Зависит ли производительность персонала от производительности компьютеров?
- •Можно ли увеличить скорость работы человеческого мозга?
- •Проблема формализации профессиональных знаний
- •Можно ли обойтись без когнитологов?
- •Чем отличается алгоритм от технологического процесса?
- •Что такое технологический язык?
- •Технологические и декларативные знания
- •Почему нельзя жить по-старому?
- •Социальные технологии и электронные методологии
- •Методология быстрой разработки системRad
- •Схемы действий и язык Дракон
- •Необходимость культурных изменений
- •Техноязык как элемент струкутуры
- •Глава 4: Понимание и взаимопонимание – ключевые проблемы информатики
- •Отсутствие понимания ведет к миллионным убыткам
- •Издевательство над здравым смыслом под названием «Абсолютная правильная программа»
- •Спецификации программ – вот главный «Гадючник»!
- •Спецификации программ и методология rad
- •Концепция когнитивного программирования
- •Глава 5: Проблема улучшения работы ума: новый когнитивный подход
- •Текст как зрительная сцена
- •Симультанное и сукцессивное восприятие
- •Когнитивный недостаток текстового представления знаний
- •Каким должен быть формат диосцены?
- •Когнитивные рекомендации
- •Зачем нужны психологические эксперименты?
- •Ошибка Джеймса Мартина
- •«Это чудакам-инженерам нужны большие чертежи, а мы, хитрецы-программисты, обойдемся маленькими»
- •Возможна ли стретегическая реформа мировой практики программирования
- •Глава6: Изюминки языка Дракон
- •Критика блок-схем
- •Преимущества Дракон-схем
- •Иконы и макроиконы
- •Зачем нужна ветка?
- •Как работает ветка?
- •Как следует располагать ветки в поле чертежа?
- •Что такое шапка?
- •Что лучшее: примитив или силуэт?
- •Как описать силуэт с помощью текстового языка?
- •Есть ли в алгоритме «Царская дорога»?
- •Главный маршрут силуэта
- •Пересечения линий? — боже упаси!
- •Визуальный и текстовый синтаксис Дракона
- •Семейство Дракон-языков
- •Глава 7: Эргономичные алгоритмы
- •Визуальная проверка алгоритмов
- •Что такое эргономичный алгоритм?
- •Чем отличается икона “Вопрос” от развилки?
- •Маршруты и формулы маршрутов
- •Что такое рокировка?
- •Использование рокировки для улучшения эргономичности
- •Вертикальное и горизонтальное объединение
- •Эргономичность литеральных алгоритмов
- •Что делать, если эргономические требования противоречат друг другу?
- •Икона-вставка как эргономический прием
- •Что такое подстановка?
- •Улучшение эргономичности алгоритмов с помощью цепочки эквивалентных преобразований
- •Глава8: Визуализация циклов
- •Обычный цикл
- •Переключатель и переключающий цикл
- •Цикл Для
- •Веточный цикл
- •Главный маршрут силуэта
- •Глава 9: Визуализация логических формул
- •Визуализация функции и
- •Визуализация функции или
- •Визуализация функции не
- •Визуализация сложных логических функций
- •Глава 10: Что такое эргономичный текст?
- •Можно ли сделать логические выражения эргономичными?
- •Пример для исследования эргономичности логических выражений
- •Логическое выражение с абстрактными идентификаторами
- •Логическое выражение с короткими смысловыми идентификаторами
- •Логическое выражение с длинными смысловыми идентификаторами
- •Важный момент, о котором часто забывают
- •Как присвоить значение логической переменной?
- •Правила записи рамочных логических выражений
- •Как построить эргономичный логический текст?
- •Г лава 11: Визуальные операторы реального времени
- •Список операторов реального времени
- •Операторы ввода-вывода
- •Оператор “Пауза”
- •Операторы “Пуск таймера” и “Синхронизатор”
- •Цикл Ждать
- •Оператор “Период”
- •Оператор “Параллельный процесс”
- •Особенности операторов реального времени
- •Глава 12: Дружелюбное Программирование
- •Гибридный язык программирования Дракон-Си
- •Гибридный язык программирования Дракон-Модула
- •Пример эргономической оптимизации программы
- •Диалоговые программы
- •Оператор “Сообщение”
- •Оператор “Запрос”
- •Описание данных
- •Идентификаторы
- •Примеры правильных идентификаторов
- •Примеры неправильных идентификаторов
- •Пример сокращения длины сложного понятия
- •Правила записи арифметических выражений в операторах присваивания
- •Обработка массивов
- •Абстрактные Дракон-схемы
- •Философия языка Дракон
- •Классификация знаний
- •Глава 13: Человеческая деятельность и формализация знаний: живописные примеры
- •Что такое профессиональные знания?
- •Учебные экспертные системы
- •Учебная экспертная система (программа на языке бейсик)
- •Визуализация экспертных систем
- •Визуализация описания технологических процессов
- •Что такое методология?
- •Визуализация методологий
- •Система “Человек—машина”
- •Визуализация биологических алгоритмов
- •Визуализация медицинских алгоритмов
- •Другие примеры визуализации
- •Описание структуры деятельности
- •Нужен ли стандарт для описания деятельности?
- •Глава 14: Визуальный дракон-редактор
- •Зачем нужен Дракон-редактор?
- •Заготовка-примитив и заготовка-силуэт
- •Что такое атом?
- •Пример построения Дракон-схемы «Примитив»
- •Операция «Пересадка лианы»
- •Операция “Заземление лианы”
- •Пример построения Дракон-программы «Силуэт»
- •Формирование надписей «Да» и «Нет»
- •Глава 15: Описание визуального синтаксиса языка Дракон
- •Общие понятия
- •Шампур-блок
- •Операция «Ввод атома»
- •Дополнительные сведения об атомах
- •Критические и нейтральные точки
- •Правила использования операции “ввод атома” при построении дракон-схемы
- •Операция с лианой
- •Пересадка лианы
- •Заземление лианы
- •Прочие операции
- •Основные результаты
- •Глава 16: Визуальное структурное программированиее
- •Постановка проблемы
- •Историческая справка
- •Отживающий метод?
- •Прав ли Игорь Вельбицкий?
- •Четыре принципа структуризации блок-схем, предложенные э.Дейкстрой
- •Почему научное сообщество не приняло видеоструктурную концепцию э.Дейкстры?
- •Парадокс структурного программирования
- •Плохие блокс-схемы или плохие стандарты?
- •Блок-схемы и теоретическое программирование
- •Новые цели стандартизации блок-схем
- •Чем отличаются блок-схемы от Дракон-схем?
- •В чем сходство визуального и текстового структурного программирования?
- •В чем различие визуального и текстовго структурного программирования? Структурные, лианные и адресные блоки
- •Операции с лианой и оператор goto
- •Является ли текстовое структурное программирование формальным методом?
- •Почему самолет не машет крыльями?
- •Глава 17: Исчисление икон и попытка предсказать будущее
- •Визуальное логическое исчисление
- •Общеизвестные сведения о математической логике
- •Об одном распространенном заблуждении
- •Принцип абсолютизации текста
- •Визуализация понятий математической логики
- •Исчисление икон
- •Еще раз о шампур-методе
- •Шампур-схема как абстрактная модель программы
- •Преобразование шампур-схемы в шампур-программу
- •Шампур-метод и докуазательство правильности программ
- •Возможна ли теория визуального программирования?
- •Гипотеза о будущем императивных языков программирования
- •Визуализация логики и интенсификация интеллектуальной деятельности
- •Глава 18: Место языка Дракон в системе человеческой культуры
- •Между сциллой и харибдой
- •Принцип структуризации деятельности
- •Генеральная концептуальная схема
- •Проблема деятельности в эргономике
- •Искусственный интеллект: алгоритмизация – это ночной кошмар!
- •Специалисты по ии: долой алгоритмизацию!
- •Инженерные психологи: алгоритмизация деятельности — наше спасение!
- •Работники образования: алгоритмизация — это хорошо!
- •Кто же прав: декларативисты или императивисты?
- •Эргономический анализ проектно-конструкторской деятельности
- •Подводные камни проектно-конструкторской деятельности
- •Почему взорвался Чернобыльский реактор? Традиционный подход к анализу причин чернобыльской аварии
- •Возможна ли гарантоспособная деятельность?
- •Принцип проектирования гарантоспособной деятельности
- •Гарантоспособный совокупный работник
- •Главное зло — плохо спроектированная деятельность творческого персонала
- •Сон разума рождает чудовищ
- •Интенсификация интеллекта и языки программирования
- •Улучшение работы ума — проблема номер один
- •Глава 19: Возможна ли эргономизация математики?
- •Почему Джойн фон Нейман провалился на экзамене?
- •Существует ли пропасть между математикой и эргономикой?
- •Алгебра Диофанта
- •Эргономический анализ алгебры Диофанта
- •Эргономизация алгебры после Диофанта
- •Осознание полезности эргономического поворота в математике
- •Эргономическая победа Лейбница
- •Методологическая ошибка историков математики
- •Аналогия между математической Диосценой и панелью отображения информации
- •Математическая и эргономическая эффективность
- •Как повысить производительность математического труда?
- •Два метода визуализации математики
- •Проект «Когнитивный стиль»(cognistyle)
- •Пример математической визуализации с помощью методаCognistyle
- •Глава 20: Можно ли стать интеллектуальным суперменом?
- •На пороге создания теории улучшения работы ума
- •Человеческий мозг нужно грамотно проектировать
- •Разгадка тайны человеческого интеллекта
- •Развитие и интенсификация интеллекта
- •Знаковая и предметная информация
- •Знаковое и предметное обеспечение информатики
- •Знаковая и предметная программа
- •Переломная веха в истории информатики
- •Одноглазые миссионеры, или заброшенное дитя информатики
- •Когнитивная письменность — новый способ представления знаний
- •“Кастрированный” интеллект
- •Что такое проектоника?
- •Проектоника и искусственный интеллект
- •Особенности проектоники
- •Микроинформация и микроителлект
- •Стратегическая интеллектуальная инициатива
- •Дорога в будущее(Вместо заключения) Интеллектуальные трудности как глобальная проблема
- •Вызов интеллектуального терроризма
- •Бессилия интеллекта
- •Цель — значительное улучшение интеллекта
- •Список литературы Интеллектуальный терроризм: фантазия или реальность?
- •Глава 1
- •Глава 3
- •Глава 5
- •Глава 6
- •Глава 13
- •Глава 16
- •Глава 17
- •Глава 18
- •Глава 19
- •Глава 20
- •Internet: http://www.Delo.Ane.Ru
Проект «Когнитивный стиль»(cognistyle)
Было бы крайне желательно предложить простой и универсальный визуально-эргономический метод, позволяющий сделать более понятной и наглядной любую или почти любую сложную абстрактную математическую идею или задачу.
Одним из возможных подходов к проблеме является метод CogniStyle. Согласно предварительному, пока еще не завершенному проекту он представляет собой универсальный метод визуализации научной и учебной литературы, который, в частности, можно применить для визуализации произвольных математических текстов. Все без исключения рисунки в этой книге спроектированы методомCogniStyle.
Для примера перечислим несколько наиболее простых эргономических приемов из набора CogniStyle.
Визуальная очная ставка: рядом помещаются два рисунка, сравнивая которые нужно выявить сходство и отличие признаков (рис. 3).
Тройная подпись: общая нижняя надпись и два прямоугольных “подвала” (рис. 3).
Выделение группы графоэлементов с помощью тонирования (рис. 3б).
Инверсное тонирование группы и входящих в нее элементов, чтобы подчеркнуть иерархическое строение группы (рис. 3б).
Облако со стрелкой, идентифицирующее группу элементов (рис. 3б).
Использование прямоугольных контуров с номерами объектов и стрелками (рис. 5).
Вариация толщины соединительной линии (рис. 8).
Два облака, указывающие разные свойства одной и той же линии (рис. 8).
Пояснения в волнистом прямоугольнике без стрелки (рис. 9, сверху).
Оценки ситуаций в прямоугольниках со стрелками (рис. 9, снизу).
Полые стрелки с поясняющим текстом (рис. 9, слева).
Выделение важных неравенств серым цветом на белом фоне без использования контура (рис. 11).
Контраст графики и надписи: графика на сером фоне, надпись в подвале — на белом (рис. 13).
Графические заголовки в полых стрелках (рис. 16).
Использование крупных черных стрелок для облегчения выявления очной ставки (рис. 21, 22).
Групповая надпись в облаке, из которого исходит несколько стрелок, указывающих на несколько объектов (рис. 23а).
Внимательно анализируя полный набор иллюстраций к этой книге, любознательный читатель сумеет “выудить” из них большое количество полезных эргономических приемов и таким путем составит более глубокое представление о методе эргономической визуализации “Когнитивный стиль” (СogniStyle).
Пример математической визуализации с помощью методаCognistyle
Чтобы убедиться в универсальности метода CogniStyle, рассмотрим в качестве примера математическую задачу, а именно: возведение матрицы в степень (рис. 140). Особенность задачи в том, что требуется возвести в степень матрицу частного вида, которая называется сопровождающей матрицей многочлена30[14]. Можно показать, что строки искомой матрицы — это векторы, являющиеся коэффициентами многочленов, принадлежащих определенной последовательности многочленов, а сами многочлены (члены последовательности) суть остатки от деления единицы на некоторый многочлен (получаемый путем преобразования нижней строки заданной матрицы), причем деление единицы на многочлен производится, начиная с младших степеней (как при делении рядов) [15]. Впрочем, в данный момент нас интересует не математическая суть вопроса, а конкретный набор эргономических средств и приемов, используемых для описания математической задачи, чтобы сделать ее предельно ясной, доходчивой и легкой для понимания.
На рис. 140 использованы очень простые, но с эргономической точки зрения весьма выразительные визуальные средства:
Рамки различной формы, акцентирующие внимание на нужных математических объектах.
Стрелки, устанавливающие связи между понятиями, заключенными в рамки.
Стрелки, связывающие пояснения (расположенные в округлых рамках типа “облако”) с нужными понятиями.
Зонирование текста, т. е. выделение тех или иных фрагментов текста с помощью замкнутых контуров различной формы. Форма контура имеет некоторый алфавит (визуальный синтаксис) и соответствующую визуальную семантику. Зонирование выполняет три функции:
четко отделяет математический текст (математические объекты и связанные с ними математические преобразования) от метатекста (словесных пояснений к математическому тексту);
организует “статическую” структуру диосцены;
вместе со стрелками организует “динамическую” структуру диосцены, позволяющую проследить ход математических преобразований.
Тонирование текста с помощью оттенков серого и белого цветов помогает зрительно дифференцировать разные визуально-математические понятия и облегчить зрительное восприятие их иерархической структуры.
Перечисленные и другие средства позволяют улучшить восприятие математического текста, сократить интеллектуальные усилия, которые человек затрачивает на процесс чтения, понимания и усвоения знаний.
Каждый из названных пунктов представляет некоторый общий эргономический принцип, который может быть детализирован и превращен в большое число конкретных формально-эргономических правил. Впрочем, с математической точки зрения они не являются формальными. Чтобы достичь терминологического компромисса, их можно назвать “полуформальными”.
Таким образом, CogniStyle— это “полуформальный” метод.
Выводы
Одной из главных проблем математики является ее неимоверная трудность, которая во многих случаях превышает возможности человеческого ума, что является основной причиной математического терроризма.
Сегодня производительность математического труда крайне низка, однако повышение этой производительности есть проблема не столько математики, сколько эргономики.
Математическая формализация является — по крайней мере частично — эргономическим процессом, а раз так, ее можно и нужно рассматривать с когнитивно-эргономических позиций.
Применение когнитивно-эргономических методов для улучшения письменной (визуальной) формы представления математических знаний позволяет существенно улучшить когнитивное качество и понимаемость математических текстов.
Традиционные формы и методы развития и фиксации математических идей, игнорирующие эргономические аспекты математических проблем и тем самым создающие питательную среду для математического терроризма, следует признать устаревшими.
Для успешного продвижения вперед необходимо осуществить синтез идей математики и эргономики в рамках нового междисциплинарного направления — эргоматематики.
В настоящее время имеются все необходимые предпосылки для практического создания нового поколения учебников математики, построенных с учетом когнитивно-эргономических принципов.
Цель создания нового поколения математических учебников и книг состоит в том, чтобы сократить интеллектуальные трудозатраты на восприятие, понимание и глубокое усвоение математических знаний в несколько раз, возможно на порядок.