Все новости по информационным технологиям

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления моделирующих систем на теоретико-категорной основе, возможные способы определения метапрограммирования категорными средствами, работа с компонентами типов форм для поддержки статистической системы, техника формирования ссылочных текстов, распределение формирования параметров между серверной и клиентской частью, программное обеспечение для определения сложности по Колмогорову последовательностей чисел, возможные техники введения анализа временных рядов, уточнение характеристик признаков данных, описывающих временные ряды, возможность использования механизма контрольных точек для демонстрации примеров применения системы, техника формирования пояснений при работе моделирующей системы, необходимость согласования пояснений со способами формирования набора примеров.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства управления образами Docker для определения актуальных образов, установления зависимостей образов друг от друга, использование Union FS, поддержка дисциплины хранения и удаления образов, добавление в статистическую систему средств просмотра и регистрации пользователей, уточнение интерфейсных элементов, реализация кнопки с семантическим признаком типа действия, проектирование аппликативного языка определения семантики формы, возможность выделения классов семантических признаков, определения средств связывания представления с классами семантических признаков, редактирование типов (в том числе перечислимых), представление материалов, комментирующих систему, а также примеров её применения.

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

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось управление стилями для системы статистической обработки, включающее варианты общего решения для подсистем, развертываемых на сайте организации, задача формирования файлов уточнённого управления стилями, размещение таблиц стилей на разных серверах, использование React Developer Tools, использование скрипта для автоматизации запуска приложений с Packed JS, использование средств неявной типизации при разработке библиотек JS, абстрактная машина вычисления примитивно рекурсивных функций и её использование для тестирования систем переписывания (в том числе системы редукции, лежащей в основе системы статистической обработки), определение языка процессов и введение комбинаторных конструкций для работы с историей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы развертывания системы статистической обработки на сервере, обеспечение работы с базой данных sqlite, возможности использования npm image в процессе сборки системы, создание контейнера и монтирование в него директорий в случае, когда он создаётся внутри другого контейнера, использование системных утилит, фиксация информации об учётной информации разрабатываемых проектов, централизация администрирования, возможности презентации имитационных обучающих систем, технологии отладки систем, развитие архитектуры, отработка логики проведения обучающего сеанса, возможность типизации управляющей информации. Обсуждалась также публикационная активность.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось развертывание системы статистической обработки на сервере, использование системы CI/CD для запуска pipeline, выделение этапов сборки, формирование Docker-образа (определение имени образа, наполнение содержимым), сборка образа, обеспечение правильной установки сторонних программ (интерпретатор Python), запуск образа в виде контейнера, получение доступа к серверу, определение локальной сети, управляемой Docker, и подключение к ней контейнеров, техника обновления сертификатов для сервера (в том числе добавление поддоменов), представление базы данных для системы, техника подключения стилевых файлов, возможности документирования статистической системы, включающие выделение критериев, по которым производится сопоставление.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности альтернативного представления выражений функционального языка для отладки, специфику отладки бестиповых и типовых языков (в том числе языков с зависимыми типами), средства автоматизации развертывания механизмов скачивания артефактов, задача соединения результатов сборки в единый артефакт, который можно положить в реестр Docker, вопросы авторизации при доступе к реестру, возможность запуска системы разворачивания одной командой, классификация фактов статистической системы на факты о данных и метаданных, возможность получения пояснений по фактам с учётом расширенного контекста получения фактов, описание системы в сравнении с аналогами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель описания данных и метаданных в npm-менеджере пакетов, описание файла конфигурации для этого менеджера, возможность запуска Visual Studio Code в пакете, создание установочного скрипта, особенности выполнения сборки пакета, система развертывания версий для системы статистической обработки, выделение логических этапов развертывания, способы идентификации версии сервера в локальной сети, обеспечение SSL-шифрования, настройка .htaccess, необходимые поддерживающие технологии, возможности решения проблем безопасности на GitLab, возможность подготовки материалов для внешнего представления, проблемы создания документации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность рисования графиков с произвольными масштабами по осям, возможность организации всех интерфейсных элементов в единой форме, организация доступа к системе статистической обработки по URL, средства авторизации пользователя, использование корректной схемы базы данных, оформление части информации в виде скрытого состояния, возможность организации тестовой площадки для системы, средства измерения времени формирования рекомендаций, техника частично применённых диаграмм, сборка контекста применения правил по частям, возможности по организации объяснительной системы на фактах, возможности вставки формул LaTeX в пояснительные материалы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась работа с внешними объектами типа Process средствами LambdaJS, в частности, обработка процессов, которые являются оберткой над ламбда-выражением, расширения компилятора для языка диаграмм, аппликативный язык для синтеза текстов, возможности комментирования фактов, полученных в результате статистической обработки, формат представления глоссария для системы, структура файлов Help-подсистемы, возможность представления примеров использования системы в виде, обеспечивающем непосредственное выполнение примеров, возможность связывания описания статистических методов с процедурами вызова методов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности включения отдельных методов расчёта в типовую поставку инструментов и возникающие при этом юридические проблемы, реализация механизма подсказок для системы статистической обработки, способы корректного именования обрабатываемых объектов, возможности систематического формирования интерфейса пользователя на основе глоссария, техника конкатенации строк и проведения замен в строке средствами LambdaJS, модификации транслятора аппликативного языка, возможности типизации языка описания моделирующих информационных систем, включающие расширение системы типов для описания предметных областей, вопросы реализации абстрактных методов при разметке TypeScript с помощью JSDoc.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались изменения управляющего механизма системы статистической обработки в их связи с интерфейсом, изменения в трансляторе языка диаграмм, обработка взаимных ссылок блоков диаграмм при помощи комбинатора неподвижной точки, добавление редукции для обработки словаря процессов, средства трассировки, рассматриваемые как средства метапрограммирования, способы управления приоритетом редукции комбинаторов, вопросы корректного документирования системы, техника определения пользовательских предикатов для имитационных моделирующих систем, генерация функций работы с историей информационных элементов, способы защиты от некорректных действий пользователя при определении предикатов, возможности использования TypeScript для типизации определяемых предикатов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось согласование кода прототипа объяснительной системы и основного кода системы статистической обработки, структура факта системы, возможность разработки сквозного примера применения системы, механизмы асинхронного взаимодействия с сервером статистических вычислений, инструментальные средства поддержки разработки и способы их использования в практических проектах, возможности учёта истории взаимодействия пользователя с системой в моделирующих системах, возможности введения и обработки термов в системе модальной логики, преимущества и недостатки использования модализированных средств логического вывода, состав и структура базы знаний моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались интерфейсы компоненты ввода данных системы статистической обработки, преобразование данных и ведение списка примененных преобразований, возможность преобразования синтезируемых форм, представление результатов массового анализа, возможность обеспечения однородности среды на базе языка диаграмм, возможность обеспечения обратной совместимости при развитии языка диаграмм, ведение базы определений для языка диаграмм, возможность переноса обработки части диаграмм на этап трансляции, возможность взаимно рекурсивного использования диаграмм, разработка прототипа планирующей компоненты системы, определение семантических признаков для описания предметных областей моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались библиотеки синтаксического разбора на языке Python, вопросы архитектуры приложения для статистической обработки, в том числе возможность выделения уровней диалога и развертывания диалога на различных уровнях, способы представления информации для пользователя, функциональный подход к обработке данных, предполагающий невозможность произвольных модификаций в ходе обработки, возможности соотнесения понятий пользователя о предметной области с понятиями, используемыми системой, создание глоссария терминов, выделение динамически определяемых действий, описание действий по отладке моделирующих систем, унификация кодовой базы ведущихся проектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались способы представления контекстов правил для подсистемы рекомендации системы статистической обработки, возможность проверки наличия и/или отсутствия фактов определённого вида, представления списков получаемых фактов, интерфейсные решения, позволяющие получать рекомендации в ходе работы, способы дополнительной проверки состава фактов, а также возможности автоматического построения порождающей грамматики для набора текстовых образцов с помощью нейросети.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались функции отладки для системы поддержки вычисления рекурсивных функций, техники определения формальных языков системы, в том числе с поддержкой макрогенерации, способы фиксации результатов массовой обработки для системы статистической обработки, способы формирования списков свойств, отработка ответов на действия пользователя, возможные способы трактовки контекста, в том числе возможность рассмотрения полученных фактов как части контекста, работа с глобальными данными, возможность однократной установки глобальных данных для конкретного правила, два способа уточняющего планирования, модульный рефакторинг библиотеки LambdaJS для обеспечения ссылочной прозрачности инструментов, в том числе проблемы текущей реализации инструмента и возможности будущего подхода.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались функции обработки данных для системы статистической обработки, соответствующие операциям реляционного исчисления, способы представления логически взаимосвязанных действий при выполнении статистического эксперимента, методы группировки фактов для генерации отчёта, способы описания истории проведения эксперимента при помощи специализированных фактов, фиксируемых в базе, методы организации сопоставления фактов для отслеживания информационной трассы объектов, способы массовой генерации фактов с использованием средств JavaScript, возможности представления отрицательных фактов и необходимость таких представлений.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривалось представление управляющего механизма в системе статистической обработки в виде совокупности абстрактных диаграмм, обеспечение конфигурируемости как на уровне всей системы, так и на уровне отдельных элементов статистического эксперимента, обеспечение контекстности, понимаемой как параметризуемость элементов эксперимента, возможность объявления пользовательских типов данных в LambdaJS, возможность поддержки параметризованных и зависимых типов, организация составление частично заполняемой формы, пользовательские настройки системы, определение типа данных и генерация документа для подсистемы генерации отчетов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривалось расширение транслятора языка диаграмм для обработки строкового представления типа, генераторы сигнатуры в LambdaJS для системы статистической обработки, развертывание средств отладки в системе поддержки рекурсивного программирования, генерацию строкового представления для рекурсивных объектов, использование правил семантически эквивалентных преобразований для рекурсивных объектов, технология фиксации результатов обсуждения, возможность использования LSP-сервера, возможности использования нейрографики для оформления разрабатываемых продуктов.

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

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось прототипирование компоненты планирования для системы статистической обработки, необходимость эмуляции языка процессов, структура базы фактов, полученных при обработке, определение правил планирования статистической обработки, язык правил аппликативного типа (учитывающего контексты), возможность определения характеристик данных по таблице данных, поддержка диалектов JavaScript средствами Babel (в том числе упрощение пользования языком LambdaJS и поддержка его средствами редактора), добавление к языку процессов новых типов процессов для манипулирования метками процессов, возможности диагностики ошибок в языке процессов, схема формирования процесса моделирования для имитационных моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника включения метапеременных в аксиомы при доказательстве формул методом Бета, возможности получения контекстно-зависимых объяснений в системе статистической обработки, способы компоновки отчёта для этой системы, формат соответствующих объектов представления.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности получения общей функции генерации отчёта для системы статистической обработки, возможности адаптации языка процессов для представления его в виде набора комбинаторов в системе с зависимыми типами, возможности компиляции JavaScript при помощи Babel, использование XML-подобных языков в рамках JavaScript’а, возможности учёта семантики языка процессов при определении таких языков, отладка имитационных систем описания предметной области.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались сигнатуры функций для поиска доказательства формул методом Бета, техника доказательства при наличии предметных аксиом, обработка способов расширения интерпретаций при выводе, свойства устойчивости модели при проведении доказательства, использование аксиомы подстановки, использование общих конструкций языков программирования при поддержке вычисления рекурсивных функций с возможностями отладки, пакет тестирования с использованием JSX для системы статистической обработки, возможность использования семантических сетей для управления системой.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось тестирование конструкций языка процессов, техника приостановки и возобновления процессов, динамическая замена фрагментов процессов, управление ячейками рабочей области при помощи процессов, средства поддержки инструментальной системы вычисления рекурсивных функций с возможностями отладки.

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

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель пользователя моделирующей обучающей системы, состав модели, способы компоновки модели из переменного набора признаков, способы связывания с признаками управляющих процедур, способы определения и означивания семантических процедур, соотнесение набора процедур с классами пользователей системы, способы определения целей взаимодействия пользователей с системой, проблемы калибровки функций оценки, способы комбинирования претестинга и прохождения системы, возможности использования модализированного описания взаимодействия пользователей с системой.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась оптимизация логического вывода в системе вывода типов, техника включения в выводы пользовательских аксиом, обработка составных логических выводов на основе анализа элементарных высказываний, оптимизация вычисления строкового представления доказательств, определение правил манипулирования частями логических выводов, особенности поддержки равенства в системе Idris (необходимость установления равенства объектов различных типов) и возникающие отсюда проблемы программирования, поддержка и использование специальных конструкций React, техника управления воспроизведением звука в ходе работы с обучающей системой, уточнение иерархии компонентов интерфейса, методы конфигурирования управляющих механизмов обучающих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось построение модели маскота для вопросно-ответных информационных систем, способ типизации элементов модели маскота и параметризации соответствующих типов, взаимосвязь типизации элементов с функциями графических пакетов, способ реализации динамического представления объяснительной компоненты с помощью форм React, активные и пассивные формы для интерпретации языка диаграмм, способы полиморфной типизации форм, алгебраические средства описания конструкций форм, способы учёта предметных аксиом при построении деревьев вывода и заполнении таблиц Бета, использование структурных правил для работы с предметными аксиомами, оценки сложности построения вывода и времени работы программ, способы использования для построения вывода отношений эквивалентности на множестве переменных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника передачи функций как параметров процесса в языке процессов, набор специализированных комбинаторов для работы с историей процесса, средства компиляции функций языка процессов в JSON, вопросы преемственности в структуре кода, круг возможных пользователей технологии, вопросы разъяснения различий между сериализацией процессов и их маршалингом, возможности отделения обработки данных от самих данных, организацию канала передачи данных для сериализации, связь динамической сериализации с технологией тестирования, демонстрация техники управления контекстами, прототип типизации языка диаграмм, описание эмоциональной модели для информационных систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось расширение алгоритма Бета для классической логики, включая представление контрпримеров для недоказуемых формул, возможность оценки временной сложности алгоритма, включая её зависимость от компилятора, использование переменных для согласования типов, организация средств рассуждения о выражениях теории, уточнение типов процессов для языка процессов, проект поддержки решения задач в области дискретной математики, особенности организации проектов в Python, выделение для системы статистической обработки класса пользователей, заинтересованных в значениях критериев, модель пользователя в информационных системах, допускающая возможность настройки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась задача управления репозиториями на разных серверах, возможности поддержки карты технологий средствами Obsidian и языка диаграмм, система сборки Gradle под Java и её использование при разработке информационных систем вопросно-ответного вида, возможности единообразного представления таких систем, задание стратегии формирования вопросов пользователю системы, выявления возможностей и ограничений средств описания предметных областей для рассматриваемых систем, в том числе приписывание семантических тегов, стратегия абстрагирования и проект изменения библиотек, техника преобразования замкнутых таблиц Бета в доказательства генценовского типа.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление контрпримеров для формул, возможности использования исчисления высказываний или ограниченного исчисления предикатов, реализация итерации по методу Бета, возможности определения типов формулы, обеспечивающих отображение того, найден контрпример или нет, способы обработки контрпримеров для составных формул, проблема связывания при заворачивании формы подчинённого процесса в ячейку для системы статистической обработки, способы представления параметров для глубоко вложенных структур, вопросы сближения низкоуровневого языка с языком диаграмм, вопросы отладки прикладных моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось встраивание критериев в систему статистической обработки, добавление рабочих ячеек в обрабатываемые таблицы, техника тестирования статистических критериев, конфигурирование объяснительной подсистемы, индукция в доказательствах, построенных в системе исчисления секвенций, поддержка методов типизации доказательств средствами системы Idris, поддержка метода семантических таблиц Бета, возможности поддержки конструкций гомотопических типов средствами Idris, автоматизация поиска контрпримеров для формул, возможности использования средства статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование исчисления секвенций для моделирования логики в системах типов, роль теоремы дедукции в построении корректных доказательств, использование вывода из посылок, практические приемы построения доказательств, возможности интерпретации правила сечения, сопоставление доказательств с ламбда-исчислением с символами де Брейна, доказательства эквивалентности формул и их конъюнктивных нормальных форм, методы обработки ячеек таблиц в задаче статистической обработки, изменения логики применения правил для генерации документа Office, возможности обработки в документах вложенного набора тегов, выделение фронт- и бекенда для системы поддержки разработки моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность автоматизированного построения доказательства формулы по замкнутой системе семантических таблиц Бета, случаи возникновения незамкнутых таблиц Бета, возможности использования интерполяционной теоремы Крейга, функции для инициализации систем поддержки моделирования предметной области, техника поддержки доказательств средствами системы Idris (в том числе введение предикатов как специализированных семейств типов), техника избегания взаимной рекурсии при доказательстве, способы оформления ячеек для системы статистической обработки, техника тестирования методов статистической обработки, функция генерации шага обследования предметной области в моделирующих системах, элементы представления модели пользователя.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось соотношение теорий и их моделей, применимость понятий общезначимости и доказуемости при применении теории к практике, феноменологический подход к построению теорий и способы их соотнесения с моделями, интерпретатор правил для конверсии текста, реализация правил, не связанных с обработкой внутренней структуры абзаца, обработка ситуации, когда ни одно правило не применимо, существование формул, недоказуемых в терминах таблиц Бета, возможности синтеза доказательств средствами системы Idris, развитие библиотеки поддержки процессов для задач статистической обработки, включающее механизм корректной типизации, добавление новых методов статистической обработки, документирование программы конверсии текста.

Состоялось очередное заседание семинара «Семантика запросов к графовой СУБД». Обсуждались новые типы, реализованные в системе поддержки графовых запросов, в том числе тип сигнатуры, тип множества сопоставления, добавление операций над множествами узлов графа, вопросы сохранения целостности сопоставлений в ходе работы системы, реализация операции отрицания.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации рекурсивных структур построения типов, возможности построения и проверки корректности программ на основе предусловий и постусловий, возможности отображения таких условий средствами теории типов, средства практических языков программирования для определения функций с переменным числом параметров, способы построения типов при помощи рекурсивных операторов, способы программирования среды поддержки примитивно рекурсивных функций и возникающие проблемы с использованием памяти и времени, средства встраивания таблиц Бета в систему поддержки типов, в том числе использование правил вывода, методы сохранения истории работы в терминале, язык конфигурирования обработки документов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался набор отладочных возможностей для функциональных языков, включающий, с одной стороны, контрольные точки, с другой стороны, возможность изучения вложенных контекстов, в том числе контекстов частично вычисленных функций, реализация методов семантических таблиц для поиска доказательства формул, включающих построение доказательства корректности для предъявляемого вывода формулы, методы манипулирования доказательствами, позволяющие осуществлять переход от доказательств в стиле Генцена к доказательствами в стиле Гильберта, структура и способы задания правил для обработки текстовых документов.

Начал работу семинар «Семантика запросов к графовой СУБД». Семинар предполагается сделать постоянно действующим. На первом заседании обсуждались способы оптимизации составных запросов, учитывающих связи вершин, техника выражения рекурсивных запросов, способы поиска бинарных деревьев, возможности обработки метаграфов внутри мультиграфовой структуры, возможности сопоставления реляционных и графовых СУБД.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась задача поддержки правил вывода для ограничений применимости подстановок в языке форм, способы проверки корректности и полноты для формул, выражающих такие ограничения, применимость метода семантических таблиц Бета, техника формализации поиска доказательств для формул указанного вида в системе Idris, включающая возможность обработки доказательств в стиле Гильберта и в стиле Генцена, возможности упрощения работы с эквивалентностями, сравнительная техника оформления доказательств в Haskell и Idris, архитектура проекта поддержки булевых функций, способы абстрагирования правил преобразования документов Word, вопросы тестирования моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможные расширения языка форм, включающие возможность представления доказательств над языком форм в виде свободной монады, определения эквивалентности над языком форм, возможность подключения средств Idris для доказательства эквивалентностей, использование при доказательстве взаимодействия с контекстом, определение конъюнкции доказательств и дизъюнкции дизъюнктов, техника поиска логического вывода, система вычисления булевых функций, конверсия описаний предметной области специального вида из формата Word в XML, техника отладки, возможные определения метаграфа для языка графовых запросов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность типизации для языка графовых запросов, типизация сопоставлений, представленных в виде объектов Json, режимы поддержки ограничений в системе поддержки зависимых типов, логика, которой подчиняются ограничения, реализация логики ограничений в системе Idris посредством приведения к КНФ, рекурсивная работа с контекстами, в которых строится доказательство формулы, задающей ограничение, развитие языка форм, в том числе добавление составных форм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась алгебра форм для описания семантики языка, техника доказательств свойств форм в системе Idris, придание семантики составным формам, взаимодействие языка форм с компонентами React, семантика языка процессов с точки зрения разработки моделирующих систем, определение процесса игры на языке процессов, методы конфигурирования интерфейса (записанного на языке процессов) и набор необходимых для этого параметров, транспортировка в функциональных пространствах в гомотопической теории типов, нотация Фитча для древовидных структур.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель взаимодействия на основе теории зависимых типов, техника задания булевых функций и исследования их свойств, отличия формы реакции пользователя от формы представления контента, техника схематического описания процесса моделирования, возможность вложения описания моделирования в гомотопическую теорию типов, уточнение способов работы с составными формами, представление низкоуровневых форм React-компонентами, возможность статической проверки корректности задания формы, погружение низкоуровневых форм в язык процессов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель пользователя, взаимодействующего с моделирующей системой, включающая историю взаимодействия пользователя с обучающими элементами, обеспечение её тонкой настройки за счёт статического и динамического конфигурирования, разработка файлов Docker для запуска моделирующих систем и многофункциональных порталов, использование низкоуровневых форм как языковых средств для организации интерфейса пользователей, структура модели взаимодействия пользователя с моделирующей системой, организация настраиваемой базы данных для хранения информации о пользователях.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась точечная нотация формул, техника записи скриптов в PowerShell, визуализация информации для моделирующей системы по наследственному праву, экстенсиональность функций в гомотопической теории типов, техника определения частичных функций на синтаксических объектах в метатеории систем зависимых типов, определение понятия низкоуровневой формы для описания моделирующих систем, в том числе способы использования атрибутов в таких формах, определение трансляции семантических форм в низкоуровневые формы, способы использования виртуальных субъектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы с архивами базы данных, возможности использования Composer, интерфейс для управления скреперами, использование фреймворка Doctrine для миграции базы данных, конкретные приёмы построения метатеории для описания систем зависимых типов, в том числе методы обеспечения корректной интерпретации, модели систем общего вида для описания предметной области в виде игр специального вида, в том числе набор необходимых моделей и их взаимное влияние, средства взаимодействия с пользователем, средства фиксации статических и динамических знаний эксперта.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы редактирования связанных динамических объектов, средства извлечения информации из сети Интернет, способы подключения динамических сервисных файлов к компоненте извлечения, взаимодействие между объектным уровнем и метауровнем в среде изучения систем зависимых типов, в том числе введение различных типов метапеременных, обозначающих различные объектные выражения, способы задания ограничений для преобразований объектных выражений теории зависимого типа, способы задания правил вывода, а также система аппликативных комбинаторов проверки формата объектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования интегрированных объектов на многофункциональном портале с учётом связи объектов, в том числе связи типа «многие ко многим», отображение результатов работы средств извлечения информации из Интернет, форматы представления файлов DOCX и HTML, размещение информации на сервере, подходы к решению задачи укладки графа, различные способы укладки, библиотека TeX для представления логических выводов, теорема о корректности определения подстановки в ламбда-теориях с зависимыми типами, возможности предотвращения комбинаторного взрыва при генерации термов, требования к отладчику моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования интегрированных объектов на многофункциональном портале и связывания таких объектов между собой, установка значений по умолчанию для полей таких объектов, среда для составления и изучения систем зависимых типов, вводимые в этой среде метапеременные, выражения и ограничения на них, синтаксис задаваемых систем зависимых типов, определение ограничений и их свойства, средства задания правил теории, исследование свойств операции подстановки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось документирование средств загрузки контента, средства автоматизации сбора информации в Web, средства редактирования собранной информации, использование Composer для PHP на основе PSR-4, выбор метода исследования больших данных, предотвращающего выявление несуществующих закономерностей, семантическое масштабирование на основе выделения уровней представления, среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства, средства генерации задач по наследственному праву, методика создания моделирующих систем с генерируемым контентом, архитектура интерпретатора моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства загрузки контента многофункционального портала, средства авторизации при загрузке, средства шифрования, способы обмена токенами и время их жизни, использование сервиса выдачи токенов; был выполнен обзор литературы, посвящённой средствам визуализации онтологий, когнитивных карт и подобных им структур, исследовались способы представления визуальной информации в структурах различных размерностей, использование Web-интерфейса, использование семантического масштабирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника dependencies injection, создание объектов при помощи autowire, использование интерфейса для роутинга, внедрение зависимостей при помощи атрибутов, контроллер для авторизации в API, средство трёхмерной визуализации онтологий Ontosphere 3D, задача построения оснований компьютинга на основе теории типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника архивирования материалов многофункционального портала, интерфейсы для архива zip, возникающие проблемы авторизации и безопасности, реализацию скачивания архива, управляемую схемой, средства семантической визуализации графовых структур, в том числе возможные области их применения, взаимосвязь с когнитивными картами, классы потребителей, средства построения и развития слабоструктурированных систем на основе когнитивных карт, выявление классов структур графов на основе средств визуализации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось архивирование контента многофункционального портала, возможности использования средств архивирования в серверной и локальной конфигурации, возможности задания схемы портала для архивирования, сопоставление возможностей средств архивирования с программой Borg, подъязык форм в языке диаграмм, в том числе вопросы оптимизации представления форм и вопросы их трансляции, техника работы с отдельными полями описания формы, возможности статического анализа форм, разработка курсов в формате SCORM.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались права доступа к отдельным директориям многофункционального портала, обеспечение безопасности при работе с платёжными системами, конфигурирование административной панели, миграции генерируемых файлов портала, использование метапеременных в формализации теории типов, синтаксис задания ограничений на метапеременные (в том числе использование для этой цели секвенций), техника выполнения подстановок вместо метапеременных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась задача поддержки миграций для многофункционального портала, использование файлов конфигурации, обеспечение независимости средств конфигурации от пути вызова, способы настройки phinx, использование утилиты Phing.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы работы с базой данных на многофункциональном портале (вторизация в базе данных, взаимодействие запросов при вставке в базу данных), а также вопросы идентификации объектов средствами гомотопической теории типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались возможности фреймворка Doctrine, кеширование объектов на многофункциональном портале и модели работы с базой данных, интерполяция строк, SQL parameter binding, построение эквивалентностей в типе зависимых пар в гомотопической теории типов, использование библиотеки Chai для отладки интерпретатора языка процессов, использование кеширования для поднятия производительности интерпретации процессов, возможности сервиса SCORM Cloud.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась структура сессии в Code Ignitor, разработка драйвера для сессии, абстрагирование механизмов работы с базой данных, использование prepared-запросов, конструкция match в PHP8, автоматическое предотвращение SQL-инъекций, использование Nginx для доступа к серверу, способы проверки работоспособности Nginx, снабжение языка процессов средствами вывода отладочной информации, процедуры композиции форм для системы статистической обработки, средства символьных и численных вычислений статистических интегралов, стандарт SCORM (структура, достоинства и недостатки, средства навигации по курсу и описания траектории прохождения).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы разворачивания приложений и миграции базы данных, использование для этой цели библиотеки phinx, настройка скриптов для обработки ресурсов, поддержка архива видеозаписей о прошедших семинарах, возможности препроцессинга для описания логического вывода в системе типов, способы определения пустых форм в языке процессов, покрытие системы интерпретации языка процессов тестами, способы задания редукции в языке процессов, управление выводом отладочной информации для компонента работы с электронными таблицами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы безопасности при подключении по SSH-соединению, структура метаданных для описания докладов на семинаре и их автоматическое формирование, способы идентификации (HTTP/Nginx), файловая система davfs2, использование Mathjax для отображения формул, оптимизация размещения классов PHP в исходном коде, оптимизация размещения логических объектов многофункционального сайта в базе данных, вопросы задания ограничений целостности при обработке объектов, способы диагностики ошибок при работе с электронными таблицами, возможности проверки статических ограничений типов в языке с динамической типизацией.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались техники переноса информации из файлов в базу данных, роутинг в Code Ignitor (в том числе обратный роутинг), представление статистического анализа в виде набора ячеек, содержащих элемент интерфейса, элемент состояния и таблицу данных, иерархическое представление плана исследования, методы доступа к серверу по SSH, техники обработки данных средствами Bash, построение эквивалентностей в типе декартова произведения в гомотопической теории типов, диагностика ошибок при построении диаграмм в электронной таблице.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты представления иерархии объектов в реляционной базе данных, их достоинства и недостатки, использование FOREIGN KEY для управления удалением, автоматизированная обработка формализованных описаний информационных выражений низкоуровневыми средствами Linux, отработка объяснительной компоненты на тестовом примере формирования SQL-запросов, определение гомотопий и эквивалентностей в гомотопической теории типов, отладка средств создания диаграмм внутри электронных таблиц.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась настройка редактора групп объектов базы данных многофункционального портала, синхронизация обработчиков событий, связанных с объектами базы данных, управление переупорядочением объектов, использование FOREIGN KEY, транспортировка путей вдоль независимых и зависимых функций в теории типов, описания методов для системы статистической обработки, возможности разработки объяснительной компоненты, средства создания диаграмм внутри электронных таблиц для языка процессов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался редактор для подсистемы извлечения информации, концептуальная модель данных для многофункционального портала, генерация отчётов и способы управления анализом в системе статистической обработки, коммутативная структура для второго пространства путей в гомотопической теории типов, проведение альфа-конверсии для ламбда-термов и сравнение ламбда-термов с точностью до альфа-конверсии, работа с таблицами в языке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались свойства редактора системы автоматического извлечения информации и представление информации в базе данных, корректное удаление информации из базы данных многофункционального портала, использование заголовка REFERER протокола HTTP, анализ конструктивного доказательства свойств операции конкатенации путей в гомотопической теории типов, способы описания статистических методов обработки и генерации отчёта в системе статистической обработки, сохранение истории работы при параллельной работе, организация графиков в формате Open Office XML.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы доказательства симметричности и транзитивности пропозиционального равенства в теории типов, использование внутренних механизмов TeX для позиционирования блоков, переход на следующую версию PHP на многофункциональном портале, комплексное тестирование базы данных портала, сравнение методов доступа MyISAM и InnoDB, критерии выбора с учётом полнотекстового поиска, способы вычисления ячеек моделируемого ноутбука и набора типизированных функций для этого, добавление типа предложения в систему статистической обработки, графический анализ и планирование работ.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась организация разделов на физических дисках, логические диски, шифрование данных для логических дисках, RAID-массивы, генерация текстовых сообщений в системе статистической обработки, методика добавления новых методов в систему статистической обработки, добавление проблемно-ориентированных комбинаторов к описанию пользовательских объектов в языке диаграмм, способы связи используемых и использующих диаграмм. генерацию сообщений для вставки в отчёт.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась поддержка различных версий описаний для объектов многофункционального портала, функции добавления в электронную таблицу нескольких диаграмм (в том числе различных типов), работа с заголовками диаграмм, аппаратные проблемы с удаленным сервером, методы работы с группами объектов для задачи статистической обработки, методы автоматизированного анализа наборов диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника распространения библиотек JavaScript и нужные для этого формулировки лицензий, типизация выражений, возникающих при обработке дайджеста, настройка портов для базы данных PostgreSQL, использование Docker через прокси, примеры интерфейсов для работы с сетью понятий, вывод типов процессов в трансляторе языка диаграмм, автоматизация работы с диапазонами в файлах электронных таблиц, обработка ссылок на ячейки при реализации рабочей тетради.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась реализация сохранения описания иерархических объектов для многофункционального портала, способы валидации форм описания объектов, индукция и рекурсия для зависимых пар в гомотопической теории типов, способы поддержки ведения истории информационных объектов, запуск методов определённых типов в системе статистической обработки, использование мемоизации при укладке графов, генерация диаграмм в файлах электронных таблиц.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась способы описания иерархических объектов с умолчаниями для многофункционального портала, возможные при этом нарушения нормализации, эффекты взаимного влияния различных атрибутов объектов, формальные способы работы с зависимыми парами в гомотопической теории типов, представление методов статистической обработки для согласованной работы в среде JavaScript и среде вычисления ламбда-термов, отображение диаграмм в файлы электронных таблиц.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования моделей в PHP, техника группировки данных, функции для тестирования использования памяти в PHP, способы поддержки информационных траекторий объектов, сборка проекта генерации электронных таблиц и внедрение в электронные таблицы диаграмм, варианты задачи укладки графа на многообразиях, взаимодействие обработчиков событий в React, определение типа метода статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась оптимизация размещения функций управления многофункциональным порталом по файлам, управление административной частью портала, техника оперирования размещением портала, использование React для управления визуализацией проекции графа на плоскость и сферу, техника применения каррированных функций для управления выводом типа, диаграммы для анализа таблиц, генерация диаграмм в электронных таблицах, проверка выполнения предиката в имитационной системе.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались функции для обработки ISBN и EAN, разработка форм для описания отдельных классов объектов многофункционального портала, хелперы для работы с таблицами в Code Ignitor, возможности создания хранилища информации, снабженного классификатором, архитектура поддерживающей системы для такого хранилища, его резервное копирование и версионирование, возможности генерации электронных таблиц в качестве отчета, принципы построения системы тестов для статистических методов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы определения функций и шаблонов в Twig, аппликативная техника программирования в рамках Twig, определение роутеров и путей в них, средства композиции методов для системы статистической обработки, методы добавления вершин в DOM-дерево в зависимости от положения предшествующей вершины.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление объектов многофункционального портала в виде «Модель-Вид-Контроллер», использование Twig для разработки шаблонов, возможности поиска на портале, снабжение страниц ключевыми словами, вложение текстовых описаний методов статистической обработки в систему, возможности визуализации укладок графов на сфере, сопоставление системы Alloy с языком диаграмм, средства представления рекурсии для зависимых пар в системе зависимых типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования классов объектов многофункционального портала, синтаксис идентификаторов классов, средства архивирования информации, изменения в модели данных, визуализация взаимосвязей качественных признаков, механическая модель визуализации, основанная на расчёте (модельных) сил и энергий визуализируемых объектов, средства работы с зависимыми функциями в системе зависимых типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства архивирования информации с многофункционального портала, средства классификации объектов, возможности автоматического вычисления значений атрибутов, укладка графа на плоскости на основе его представления в виде набора зарядов (соответствующих вершинам) и пружин (соответствующих дугам) с учётом трения.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства массовой коррекции атрибутов объектов многофункционального сайта и соответствующего ведения истории объекта, средства работы со стилями в электронной таблице, возможности систематического изменения типов характеристик объектов в системе статистической обработки, структура архивов создаваемых материалов и средства доступа к ним, возможности языка обработки данных (Dataview Query Language).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования объектов многофункционального портала, находящихся в различных таблицах, а также классов (серий) объектов, различные способы идентификации объектов, методы автоматизации работы с Telegram-каналом, техника работы с переменными при построении двухуровневого языка (метаязыка и объектного языка), техника работы со стилями в электронной таблице, реализация преобразований данных при статистической обработке.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование библиотеки D3 JS для отображения графиков, визуализация графа статистических зависимостей признаков, способ задания команд с нижними индексами в TeX, обеспечивающий адаптивность размера вставляемых знаков, способ оперирования блоками в TeX на низком уровне, возможности сравнения TeX и CSS, генерация электронных таблиц с настраиваемым форматом ячеек, в том числе возможности комбинирования форматов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления объяснительной системы, интегрированные с представлением конструкций языка диаграмм в виде JSON, подготовка пакета документов, описывающих разрабатываемые программы стандартным образом, автоматизированная генерация стилей и форматов данных в электронной таблице, а также способ представления результата для выкладывания на сайт.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась обработка серий объектов портала при их редактировании, мемоизация объектов React при их повторном рендеринге, возможности управления форматом электронной таблицы при генерации отчётов в системе статистической обработки (включая язык задания формата), первичные преобразования данных перед началом статистической обработки. Были также заслушаны и обсуждены уточнения к докладу «Среда для составления и изучения систем зависимых типов».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось распределение функций по генерации отчётов о статистической обработке между клиентом и сервером, возможности использования ламбда-исчисления для представления схемы статистической обработки, элементы табличного интерфейса, использование схемы данных для редактирования объектов портала, возможности преобразования данных в системе статистической обработки, возможности сохранения данных в формате электронной таблицы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Среда для составления и изучения систем зависимых типов». Также обсуждалось использование типизации при редактировании объектов многофункционального портала, генерация отчётов в системе статистической обработки (в том числе основанных на метаданных), техника генерации отчётов о результатах массовой обработки, уточнение интерфейсов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника специализированной типизации объектов многофункционального портала, добавление возможности скрывать и разворачивать колонки в табличном интерфейсе, архитектура платформы-агрегатора сведений о субъектах и оценок, настройка резервного копирования (в том числе БД MySQL), а также добавление термов как части состояния системы статистической обработки.

На сайте ЮрИнфоР открыт доступ к новой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.2.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис может быть использован при выполнении курсовых, дипломных работ и подготовке диссертационных исследований. Сервис представляет собой инструмент поддержки статистического исследования: статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социологию, здравоохранение, психологию и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным. В текущей версии сервис концептуального оценивания и статистической обработки (КОСА) обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование сервиса бесплатно для данных объёмом не более 50 строк, далее может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался редактор для объектов многофункционального портала, основанный на JSON-схеме, автоматизация создания резервных копий информации портала, сценарии взаимодействия доноров с сайтом-агрегатором, включающие использование систем контроля версий для обеспечения децентрализованной передачи доверительной информации, а также интерфейсные возможности системы статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление информации об объектах на многофункциональном портале, набор возможностей, передаваемый для последующего распространения, варианты подключения платежных систем, техника вызова команд статистической обработки из языка диаграмм (команды массового анализа и предоставление возможности выбора анализируемых признаков), разработка сервиса для поддержки путей в системе трассировки лучей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы единообразной настройки начала и конца страниц на многофункциональном портале, решение задачи о принадлежности точки контуру для программы трассировки лучей, методы организации вычислений в параллельных потоках для оптимизации рендеринга DOM-дерева формата SVG, добавление метода массового регрессионного анализа в систему статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась интерактивная разметка программы на языке диаграмм, добавление возможностей задания фигур в формате SVG в программу трассировки лучей, возможности манипулирования столбцами таблицы средствами интерфейса, а также способы определения требований к программе курса по сборке ПО с использованием языка модальных операторов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель информационного объекта на многофункциональном портале, включающая способы поддержки корректности взаимных ссылок, возможности вывода набора объектов в XML, набор текущих возможностей системы статистического анализа, техника работы с таблицей как интерфейсным элементом. Обсуждалась также программа курса по сборке ПО и программная реализация кванторных операций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались форматы представления интерфейсов методов статистической обработки для автоматизации добавления в систему, а также денотационная семантика для механизма интерпретации модальных операторов.

Был заслушан и обсуждён доклад на тему «Модель семантического конфигурирования с естественными преобразованиями». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы внедрения языков, основанных на модальной временной логике, в средства поддержки моделирующих систем, поддержку интерпретации атомарных предикатов, способы представления информационной траектории модели в виде последовательности объектов, механизмы создания множественных вариантов интерпретации.

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

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались обновления библиотеки поддержки процессов, автоматизация добавления новых методов статистической обработки, поддержка различных правил редукции (в том числе простых редукций и редукционных преобразований), композиции правил редукции, а также техника сборки библиотек поддержки редукции с учётом возможности отладки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование нумералов Черча для поддержки языка модальных операторов, способы поддержки языков с вариабельной интерпретацией, возможности сквозного согласования реакций на действия пользователя. Обсуждались также способы массового вычисления статистических показателей на основе функций высших порядков, создание документации и примеров.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась загрузка объектов многофункционального портала в различных форматах, представление информации об ошибочных ситуациях в виде шаблонов, представление файлов конфигурации для обработки различных способов взаимодействия.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались доработка страниц представления информации об объектах многофункционального портала, отделение визуализации данных от их представления, способы обработки «пустых» значений, реализация различных способов загрузки данных, в том числе с использованием различных форматов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались представление информации об объектах на многофункциональном сайте, вопросы очистки сервера от неиспользуемых томов, способы настраиваемой загрузки пакетов из директорий локальной машины, использование алгебры конфликтов для описания процессов версионирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способ представления информации о двуязычных изданиях на страницах многофункционального портала, возможность перевода портала на другие языки, средства обеспечения backup сервера с помощью обратного туннеля с использованием вспомогательного пользователя, обработка неполных данных в сервисе статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обеспечения модульности объяснительной компоненты сервиса статистической обработки.

Был заслушан и обсуждён доклад на тему «Передний край концептуальной математики и когнитивного моделирования». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось отделение данных от кода при рендеринге страниц портала и возможности средства поддержки статистических таблиц jamovi в сопоставлении с разрабатываемым сервисом статистической обработки.

На сайте ЮрИнфоР открыт доступ к первой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.1.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социология, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. В текущей версии сервис КОСА обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование средства бесплатно для данных объёмом не более 50 значений, далее компонента может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование CSS для управления отображением многофункционального портала, использование CGI при обработке запроса, отображение метаинформации на страницах портала, варианты определения операций в гомотопической теории версионирования, техника создания инсталляционных deb-пакетов для Debian-совместимых Linux систем, реализация гистограмм для сервиса статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства статического анализа PHP-кода, генерация классов для роутинга, техника определения сериализуемых комбинаторов на PHP, интерфейсы для работы с SVG, способы обработки исключительных ситуаций при взаимодействии Python и JavaScript, способы представления статистических методов внутри сервиса статистической обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы с типом Option, возможность создания генератора для роутинга, возможность применения комбинационных принципов выделения групп в статистических задачах, возможность использования метаинформации для управления объясняющей компонентой.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность реализации параметрической ссылки активации, возможность обобщения механизма ссылок на другие функции многофункционального сайта, способы абстрагирования механизма компоненты подсказки шагов статистического обследования по отношению к состоянию рабочей области.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование CodeIgniter для работы со ссылками активации, использование для резервного копирования Borg в обратных туннелях SSH, объём и уровень объяснительной компоненты для статистической задачи, возможность оценки нормального распределения данных, определение структуры сообщений моделирующей системы при помощи флагов.

На сайте ЮрИнфоР готовится к открытию он-лайн сервис концептуальной оценки, статистической обработки и анализа данных. Сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы со ссылками активации, автоматизация тестирования моделирующих систем, средства описания семантики сообщений, автоматическое определение типа загружаемых данных, способы выделения групп данных, обеспечивающие отделение выделения групп от их обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась разработка контроллеров для унификации внешнего вида страниц на многофункциональных порталах, логический интерфейс для определения применимости методов статистической обработки, средства группировки данных в таблицах, внедрение клиентской части статистической задачи на PHP с использованием средств Bootstrap и её корректное взаимодействие с сервером, работа с учётными записями.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась унификация страниц в библиотеке письменных материалов на портале, расширение функций поиска с использованием контроллера, управление отображением материалов в зависимости от года выпуска, вопросы взаимной конверсии языков программирования, в том числе с использованием chatGPT, внедрение демонстрационной версии задачи на портал.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования шаблонизатора Twig совместно с классами PHP, отделение шаблонов от логики работы портала, соединение статистической задачи с оформлением меню портала, выделение групп в таблице, возможности встраивания компонент React в произвольное место DOM-дерева.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности ввода данных в таблицы в связи с использованием компонентов React, работа с шаблонизатором Twig, используемым в Symphony, использование фреймворка Laravel, методы обеспечения стилистического единства страниц портала, способы упрощения структуры SVG и обеспечения единства цветовой схемы.

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

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства унифицированного управления путями на многофункциональном портале, средства исключения взаимного влияния данных при работе с таблицами, отделение заголовков таблиц от данных, декомпозиция статистической задачи на процессы, средства хранения пользовательских данных в таблицах.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались компоненты поддержки таблицы и загрузки таблицы, реализованные в виде компонент React, средства визуализации языка диаграмм, средства сборки моделирующей системы и средства её запуска, подключение компонента отображения ячеек рабочей области для статистической задачи.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы создания контроллера для обработки графической информации на многофункциональных порталах, вопросы совместимости пакетов при использовании ESLint, запуск numpy и scipy в среде выполнения программы, техника рендеринга таблиц, реализация функций обновления ячеек Notebook с учётом результатов работы средств проверки типов кода.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления электронных публикаций на многофункциональных порталах, средства решения задач статистической обработки на языке Python, компонент React для работы с таблицей, внешнее представление интерфейса пользователей, вопросы установки рабочей среды, а также базовые и выводимые редукции в теории типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы инвариантного позиционирования подсистем многофункциональных порталов, варианты формального задания языка форм для сервиса статистической обработки, вопросы внешнего представления рабочей области сервиса в виде системы ячеек, связь рабочей области с объяснительной системой, а также прототип внешнего вычислительного средства на языке Python.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типизация алгебраических структур данных в кодировке Черча и в кодировке Скотта». Обсуждались также возможности формирования контекстно-зависимых панелей на многофункциональных порталах, отображение описания задачи поддержки статистического анализа средствами языка процессов, средства выделения групп данных в таблицах, варианты хранения табличных данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы реализации непредикативного полиморфизма, способы инвариантной организации взаимных ссылок на многофункциональном портале, организация обращения к внешним вычислительным средствам и безопасной работы с ними, реализация пакета расширения TeX для работы с конструкциями теории типов, а также сравнение средств измерения времени работы вычислимой функции.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась типизация конструкторов алгебраических типов данных (в том числе рекурсивных), поддержка работы с состоянием моделирующей системы, возможности представления и обработки таблиц средствами JavaScript, работа с механизмами динамически подключаемых субъектов, а также способы организации связи субъектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление рекурсивных типов данных в системах полиморфных типов, варианты организации обработки таблиц в сервисе статистической обработки, требования к сервису и его общая архитектура, интеграция внешних вычислительных средств в среду исполнения процессов, расположение управляющих механизмов на сервере или на клиенте, а также методы измерения времени работы вычислимой функции.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось понятие ранга полиморфизма и ограничения на ранг в языке Haskell, средства редактирования меню многофункциональных порталов, способы взаимодействия пользователя с сервисом статистической обработки, вопросы архитектуры имитационных систем, способы описания базовых и производных редукций в языке описания редукций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась поддержка полиморфной типизации высших порядков в языке Haskell, возможность представления статистической обработки данных в виде сервиса, архитектура программного комплекса и представление подготовленных и генерируемых для решения задач на примере наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Аппликативный язык задания редукционных стратегий». Обсуждались также способы использования Json-схем для задания управляющей информации на многофункциональном портале и варианты конфигурирования базового графа модели для задач наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности динамического редактирования меню многофункционального портала, примеры использования языка графовых запросов на основе предложенной семантики, а также варианты постановки задач в области наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типовые расширения семантики языка графовых запросов». Обсуждались также вопросы использования библиотек синтаксического анализа на многофункциональных порталах и использование признаков объектов в модели для наследственного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности внесения HTML в описания текстовых объектов на языке MarkDown, возможности получения графического представления отчётов, технологии генерации документации для разрабатываемых библиотек, представление типов в виде объектов системы, а также концептуальная модель для обучающей системы по наследственному праву.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались инструментальные средства и их использование на сервере, а также вопросы компиляции JSX в JS.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства генерации документации в JavaDoc, табличный компонент для моделирующих систем, выделение независимых модулей в проектах, автоматизация генерации графиков для JavaScript, сбор статистических характеристик написанного кода, а также типизация параметров диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность редактирования JSon в соответствии с JSon Schema и соответствующие инструментальные средства, техники генерации документации по коду, а также обработка пользовательских типов параметров в языке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника сохранения и перекомпиляции php-файлов при автоматизированной генерации страниц многофункционального портала, способы обеспечения полиморфизма на примере Haskell, а также использование JavaDoc для документирования программ на произвольных языках.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы использования регулярных выражений для синтаксического разбора файлов MarkDown, а также способы настройки DNS-серверов для обеспечения безопасной работы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования для языка MarkDown и их интеграция с многофункциональными порталами, возможности авторизованного доступа к сервисам через шлюз, а также возможности уточнения характеристик отдельных шагов диалога с моделирующей системой.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы редактирования php-страниц со смешанным содержимым (содержащих текст и код, поддерживающий логику работы страницы), а также возможности автоматизированного получения графических представлений состояния моделирующей системы для последующей обработки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства погружения редактора языка MarkDown в среду Node, определение JSON Web Token и его использование в web-разработке, вопросы проверки корректности типов параметров диаграммы, а также способы фиксации семантических ошибок в моделях.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась кодировка Скотта и её использование для представления алгебраических типов данных, вопросы тестирования моделирующего программного обеспечения, средства запуска npm-скриптов в составе npm-пакетов, а также способы типизации параметров в трансляторе языка диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось поведение во времени для объектов, имеющих время жизни, превышающее сеанс взаимодействия пользователя с системой, параметризация диаграмм с учётом их типизации, возможность использования языка диаграмм для создания сайтов, а также техника синхронизации репозиториев.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования языка MarkDown в динамических объектах, средства нормализации путей при определении ссылок на внешние пакеты в языке диаграмм, а также средства проверки функционального стиля кода и средства генерации документации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Продолжалось обсуждение задания формул, включающих правила учёта времени. Обсуждалась также система идентификации диаграмм в языке диаграмм, включающая абсолютную идентификацию.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы задания формул, включающих правила учёта времени, над реляционной базой данных, варианты загрузки встраиваемых пакетов диаграмм, а также способы обработки параметризованных ячеек в ноутбуках.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы определения полиморфных функций в языке Haskell и его расширениях с использованием различных видов полиморфизма, определение зависимостей пакетов для языка диаграмм, а также способы интеграции языка диаграмм с системой ноутбуков.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались техники поддержки временных ограничений, возникающих из юридических требований, ограничения системы типизации Haskell и его расширения для систем высших порядков, а также вопросы обработки исключений при отладке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника трансляции языка диаграмм, включающая типизацию конструкций средствами TypeScript, способы представления статистической информации о работе моделирующей системы, возможности добавления к визуальным элементам пользовательских классов, а также способы конфигурирования диаграмм в виде рабочей тетради.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Взаимное расширение целевого языка и вычислительной системы аппликативного типа».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы моделирования связей объектов для многофункциональных порталов, ленивый язык запросов к графовой СУБД, средства синтаксического анализа и оптимизации диаграмм, а также средства мониторинга активности на сервере.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности масштабирования объектов по набору применимых к ним инструментов, выполнение синхронных и асинхронных операций при отрисовке DOM-дерева, особенности сохранения объектов различных версий, а также возможности динамического комментирования отдельных этапов работы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства анализа log-файлов и распределения памяти на сервере, вопросы организации многошагового взаимодействия с пользователем, а также вопросы обеспечения обратной связи с экспертом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методики идентификации объектов на многофункциональных порталах, типы данных как функторы в языках разработки моделирующих систем, в том числе представление рекурсивных типов в виде неподвижных точек, а также поддержка и разрешение ссылок на пакеты.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности ленивой загрузки графов объектов на многофункциональных порталах, вопросы обеспечения обратной связи с экспертом, а также способы представления конструкций языков разработки моделирующих систем в виде функторов и применения к ним алгебраических методов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы управления путями к компонентам многофункциональных порталов, методы автоматизации размещения демо-версий моделирующих систем, вопросы типизации языков разработки моделирующих систем, а также обеспечения обратной связи с экспертом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы взаимодействия многофункциональных порталов с внешними новостными ресурсами, использование рефлексии для типизации управляющих функций, а также типизация диаграмм средства TypeScript и тестирование моделирующего программного обеспечения.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизированного обновления информации на многофункциональном портале и поддержки связи с каналами социальных сетей, было продолжено обсуждение возможностей формата SVG. Обсуждались также средства тестирования моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности динамической генерации изображений для порталов на основе базы данных, способы идентификации экспертов при тестировании моделирующих систем и способы обработки данных в формате SVG для создания анимированных изображений.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность описания специализированных сценариев на порталах, а также техника семантического использования фильтров и трансформаций в формате SVG и возможности типизации представления вычислений в виде рабочей тетради.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы ведения истории объектов на многофункциональных порталах, способы сборки отладочной информации для моделирующих систем, варианты представления и описания языка процессов, а также вопросы интерфейса.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поддержки перекрёстных ссылок между подсистемами многофункциональных порталов, способы сборки печатного представления материалов, способы внутреннего представления материалов и их разметки, а также ведения статистики.

Зарегистрировано электронное издание - новая компьютерная обучающая программа Уголовный закон (Версия 1.0с), 2022. Программа включает актуализированный контент." Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским уголовным правом. Авторы контента Колодкин Л.М., Васин Ю.Г. Поставка для вузов. № госрегистрации 0322201635. Дата регистрации 01.07.2022. Применение программы позволит освоить основные понятия уголовного права, сформировать умения и навыки по толкованию и применению норм уголовного законодательства, научиться применять положения уголовного закона в конкретных правоприменительных ситуациях. [0]

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности поддержки интерпретаций модальных операторов в виде абстрактных объектов, сохранения внутреннего состояния моделирующей системы с использованием механизма событий, а также способы генерации печатного представления баз знаний моделирующих систем средствами TeX.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности абстрагирования способов обработки объектов моделирующих систем в виде именованных сценариев, а также вопросы тестирования систем при осуществлении навигации между объектами системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались вопросы снабжения моделирующих систем звуковым сопровождением, а также вопросы типизации библиотеки работы с ламбда-термами средствами TypeScript и представления внутренних данных библиотеки при помощи зависимых типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности множественного выбора объектов в моделирующих системах, использование CI/CD для поддержки библиотек языка диаграмм, управление видимостью отдельных элементов проекта в зависимости от ролей пользователя, а также техника сертификации docker-образов при добавлении на сервер.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы сериализации вопросов в моделирующих системах, техника взаимных ссылок диаграмм, текстовое и внутреннее представление ссылок, а также разыменования ссылок на диаграммы в языке диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались синтаксические средства задания объектов в модели предметной области семейного права, способы задания углублённых стратегий тестирования моделирующих систем, а также возможности множественного выбора объектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась организация каталога объектов для многофункциональных порталов, предполагающая хранение произвольного числа признаков объектов, вопросы генерации комментариев в объяснительной подсистеме моделирующих систем, а также возможности усечения модели семейного права для генерации информационных элементов моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты организации каталога объектов для многофункциональных порталов, вопросы автоматизации выкладывания версий моделирующих систем на сервер, вопросы переработки транслятора для языка диаграмм, а также вопросы обработки статистических распределений методами фреймовых систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования протокола SSL для организации электронной почты, а также вопросы конфигурирования контента для получения демонстрационных версий моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации электронной почты на многофункциональных порталах, вопросы резервного копирования с использованием ssh, вопросы развития интерфейсов моделирующих систем, а также возможности использования модельного времени в модели предметной области семейного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации каталога объектов для многофункциональных порталов, вопросы переноса и синхронизации изменений между репозиториями, вопросы определения типов сигнатур для языка графовых запросов, а также способы генерации задач для предметной области семейного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства семантического конфигурирования моделирующих программ и необходимое для этого представление информации, а также способ типизации языка графовых запросов за счёт введения сигнатуры для различных вариантов задания классов переменных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования git для одновременной поддержки различных версий различных моделирующих программ, а также варианты определения синтаксиса и семантики языка графовых запросов.

Вышла новая компьютерная обучающая система Экологический поход (Версия 1.0с), 2022". Контент программы учитывает все последние изменения в экологическом законодательстве РФ. Автор контента Исмаилова Э.Ю. Предлагаемая разработка включает в себя широкий круг теоретических и практических вопросов, посвященных системе экологического права, предмету, методу, объектам, субъектам, механизмам охраны окружающей среды, ответственности за несоблюдение экологических норм и многое другое. Возможно использование программы под WINDOWS и LINUX. Может быть использована как студентами вузов, так и практикующими юристами. Программа учитывает последние изменения в законодательстве и правоприменительной практике.

Зарегистрировано электронное издание - новая компьютерная обучающая программа Экологический поход (Версия 1.0с), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским семейным правом. Автор контента Исмаилова Э. Ю. Поставка для вузов. № госрегистрации 0322201634 Дата регистрации 01.07.2022

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Доказательства свойств конечных типов в языке Idris». Обсуждалась также модель предметной области семейного права и возможности включения в неё информации о собственности, связанной с профессиональной деятельностью.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась семантика языка графовых запросов и связанных с ними выражений над графами, допускающих использование рекурсии, а также модель предметной области семейного права, включающая разнотипные связи.

Зарегистрировано электронное издание - новая компьютерная обучающая программа Семейный совет(Версия 1.0с), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским семейным правом. Авторы контента к.ю.н. Баженова О. И., к.ю.н. Журавлева О. О. Поставка для вузов. № госрегистрации 0322201642 Дата регистрации 01.07.2022

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Графовый ассистент в задаче формализации процессов взаимодействий». Обсуждалась также модель разнотипных связей для задач из области семейного права.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы генерации термов контекстно-зависимого языка, представления данных на многофункциональных порталах, в том числе рекурсивно определённых данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось место статистических методов при генерации термов контекстно-зависимого языка на примере типового ламбда-исчисления, а также некоторые вопросы написания рекурсивных программ.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)». Обсуждались возможности автоматизации составления доказательств.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались языки описания сценариев поведения активных объектов на многофункциональных порталах, а также возможности их расширения для описания взаимодействия с внешними объектами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Логика и конечные множества в доказательном программировании». Обсуждались также вопросы связи многофункциональных порталов с мессенджерами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности семантически ориентированного управления файловой системой для поддержки многофункциональных порталов, типизация языка управления тестированием, а также возможности постепенной типизации при ведении разработки на JavaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались модели данных для представления документируемых сущностей для многофункциональных порталов и возможностей их согласования с требованиями законодательства РФ о персональных данных, а также язык управления тестированием моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования языка Markdown для описания документов, представленных на многофункциональных порталах, вопросы автоматизированной отладки, а также способы использования TypeScript для вывода типов в компиляторе.

Готовится к выпуску новая версия компьютерной обучающей программы "Юридическая психология 2.0б"

Зарегистрировано электронное издание - новая версия компьютерной обучающей программы Криминологическое прогнозирование (Версия 1.0б), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся криминологией и ее приложениями на практике. Авторы контента д.ю.н. Максимов С.В., к.ю.н. Васин Ю.Г. Поставка для вузов и личного использования. № госрегистрации 0322201644 Дата регистрации 01.07.2022

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы представления наследуемых атрибутов в информационных моделях для многофункциональных порталов, вопросы автоматической обработки протоколов тестирования, а также способы обнаружения ошибок на основе типовых аннотаций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности создания прототипных языков для описания настраиваемых полей в документах, представленных на многофункциональных порталах, а также способы представления пошагового интерактивного взаимодействия информационных систем средствами теории категорий.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности конструирования типов внешних документов при проектировании функциональных порталов, а также способы определения конструкторов классов и способы представления очередей в соответствии со спецификацией EcmaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности отделения данных от представления при проектировании функциональных порталов, а также варианты интеграции изменений в проект при помощи различных систем контроля версий.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования TypeScript, включающие использование прототипов объектов, для проверки и поддержки корректности транслятора языка диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось выделение из транслятора части, отвечающей за загрузку пакетов и диаграмм, обработку ссылок на пакеты и диаграммы. Обсуждались также возможности использования TypeScript с проверкой типов и задания аннотаций типов средствами Visual Studio Code.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты механизмов настройки в их связи со схемой базы данных для многофункциональных порталов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались возможности использования технологии SSH-туннелей с учётом возможностей развертывания в контейнере, а также возможности выполнения backup-ов средствами borg.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались трактовки путей в рамках языка диаграмм, в том числе путей как доказательств, использование диаграмм в модульном режиме, а также управление сигнатурами диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы документирования ошибок, выявляемых в процессе трансляции функциональных языков, способы преобразования данных при помощи концептуальных фильтров, а также способы использования локальных пакетных определений.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы управления сообщениями в трансляторе языка диаграмм, возможности тестирования разработанных библиотек, а также возможности разработки аппликативного языка для описания контрактов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы использования механизма передачи сообщений при синтаксическом анализе языка диаграмм, а также способы управления проверкой типов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы автоматизированной подготовки документации, а также методы выполнения текстовых преобразований средствами Linux.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления графической информации различной подробности, техника автоматизации создания документации, а также языковые возможности обработки исключительных ситуаций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались технологии генерации маскота, соответствующего состоянию информационной системы, а также представление эмоциональной модели комбинаторами и возможность создания специализированного отладчика эмоциональной модели.

Вышла новая компьютерная обучающая программа Уголовный закон (Версия 1.0с)". Актуализирован контент программы. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся криминологией и ее приложениями на практике. Авторы контента д.ю.н. Колодкин Л.М., к.ю.н. Васин Ю.Г. Поставка для вузов и личного использования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы формализации эмоционального состояния пользователя, включающие звуковое сопровождение, в виде эмоциональной модели, а также способы определения следующего состояния игры на основе весовых функций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы управления звуковым сопровождением различных типов в связи с моделированием эмоционального состояния пользователя информационной системы, а также методы автоматизации управления вычислениями в JavaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обеспечения стабильности среды функционирования информационной системы, выделение классов пользователей языка диаграмм, а также способы добавления звукового сопровождения в информационные системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления информации об экономической деятельности предприятия в моделирующих системах, поддерживающих взаимодействие с пользователем, а также возможности анализа изображений для определения границ окрашенных областей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы редукции термов языка процессов с учётом их рекурсивной структуры, а также способы определения процессов, манипулирующих другими процессами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы поддержки стилистического единообразия специализированных информационных систем, а также способы комбинаторного представления преобразований функций, выражающих семантику диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы конфигурирования пользовательских интерфейсов специализированных информационных систем, вопросы автоматизированного сбора информации для подготовки документации, а также вопросы поддержки задач планирования средствами языка диаграмм.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы миграции средств поддержки работы с базой данных, способы организации параллельных процессов, допускающих объединение пользовательских форм для ввода, а также варианты типизации процессов на основе типового ламбда-исчисления.

Вышла новая версия компьютерной обучающей программы Уголовное право (Версия 2.0)". Контент программы учитывает все последние изменения в уголовном законодательстве РФ. Возможно использование под WINDOWS и LINUX. Может быть использована как студентами вузов, так и практикующими юристами. Программа учитывает последние изменения в законодательстве и правоприменительной практике.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства отладки языка диаграмм, вопросы семантической пагинации, параллельного исполнения фрагментов диаграмм, средства поддержки документирования диаграмм, а также способы представления фрагментов диаграмм ламбда-термами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы идентификации объектов информационной системы с различным поведением, параметризации конструкций языка диаграмм, а также вопросы отладки диаграмм и организации взаимодействия субъектов в связи с масштабированием контекстов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности организации параллельной работы пользователей с разных компьютеров, возможности агрегации групп субъектов, а также вопросы создания языка конфигурирования взаимодействия между управляющей компонентой и интерфейсом информационной системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы преобразования данных при работе с базой данных, методы оценки энтропии генерируемых данных, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы абстрагирования интерфейса информационной системы с базой данных, а также управляющие механизмы системы тестирующего типа.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы выбора элементов визуальной информации, а также вопросы автоматизированной генерации термов ламбда-исчисления.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы задания семантически согласованной модели управления визуальной информацией, а также вопросы генерации слов контекстно-зависимого языка.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации баз данных информационных систем, средства анализа log-файлов, а также вопросы работы в облаке.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы сборки графической информации из базовых примитивов средствами формата SVG, организации голосовой и видеосвязи через Интернет, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности семантической параметризации графической информации, управления отображением различных значений параметров, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизации загрузки программ на сервер, автоматизированного тестирования и подготовки дистрибутивов, а также вопросы безопасности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности работы с подпиской на обновлённые версии программ, возможности размещения демонстрационных версий на сервере и их запуска, а также возможности генерации заставок методом трассировки лучей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы поддержки асинхронного взаимодействия со средствами поддержки информационных систем, а также средства обнаружения ошибок в данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности защиты информации в базах данных информационных систем, проблемы безопасности, а также возможности представления объектов, объединяющих код JavaScript и вывод в виде одного документа, в интерактивном виде.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности XML-форматов для представления отдельных атрибутов объектов моделей предметной области (возможность комментирования), а также особенности графического представления отдельных объектов и возможности их анимации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались особенности языков описания моделей предметной области, требующих создания специализированных конверторов. Был также представлен доклад относительно предполагаемого набора команд цикла read-eval-print для языка процессов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизированной генерации графической информации для объектов моделирующих систем, представленных в сети Интернет, а также возможности использования поисковых систем для создания концептуальной модели видеоинформации.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования технических средств (библиотеки REACT, регулярные выражения), а также возможности абстрагирования отдельных типов управляющей информации моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались способы представления поддерживающих средств языка процессов средствами пакетов JavaScript, а также возможности совместного использования языка процессов со средствами работы с XML.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы использования динамических объектов в интерфейсе информационных систем и способы их представления средствами DHTML.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы генерации отчётов по автоматизированному тестированию библиотеки LambdaJS, а также способы поддержки моделей эмоционального состояния персонажей деловых игр.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности реализации рекурсивно представленных термов средствами библиотеки LambdaJS и соответствующие техники работы со свободными и связанными переменными.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности реализации интерфейсов для многофункциональных порталов в их связи с интерфейсами обучающих систем, а также способы автоматизации генерации тестов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались подходы к реализации многофункциональных порталов, их информационное моделирование и реализация, а также способы тестирования на основе свойств с использованием библиотеки LambdaJS.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства отображения кода, типизированного в системе зависимых типов (Idris), на JavaScript на примере задачи трассировки лучей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления версионированной документации средствами HTML и CSS, а также возможности реляционного представления конструкций языков описания взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы дополнения формул линейной временной логики информацией, необходимой для генерации взаимодействия с пользователем (случай дизъюнкции).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось техническое задание на разработку программы получения статистики и визуализации для программных средств на языке JavaScript.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Методы описания анимации контента HTML-страниц с помощью модальной временной логики». Обсуждались также средства ведения журнала запуска скриптов для обработки информации из сети Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания экранных форм в связи с запросами GET и POST для представления объектов, загружаемых из сети Интернет, а также вопросы создания специализированных языков обработки данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обработки ключевых слов, связываемых с объектами, загружаемыми из сети Интернет, а также техника запуска задач обработки данных.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы импорта и экспорта объектов, загружаемых из сети Интернет, а также проблемы интеграции системы управления объектами с Git.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы определения критериев классификации материалов, загружаемых из сети Интернет, а также вопросы экспорта материалов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации модели данных для информации, загружаемой из сети Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы функционирования средств загрузки информации из Интернет, а также особенности используемых сред программирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались текущие результаты загрузки информации из Интернет, а также задачи по развитию средств поддержки извлечения информации из Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался состав инструментальных средств для поддержки извлечения информации из Интернет, а также вопросы миграции на новую версию GitLab.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы логического проектирования баз данных для информационных систем, средства сопряжения с Web-интерфейсом, а также техника вложения управляющих структур информационных систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Семантика операции разыменования». Был также заслушан и обсуждён доклад на тему «Globular - веб-ассистент построения доказательств в категориях специального вида». Обсуждались синтаксические возможности средств поиска, а также возможности использования рефлексии.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поиска для моделирующих систем, содержащих большой объём текстовой информации, а также использование линейной временной логики для формализации условий, накладываемых на поведение системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства работы с эффектами для информационных систем, способы контроля доступа к контенту системы, а также вопросы формального описания вариантов поведения информационной системы, осуществляющей пошаговое взаимодействие с пользователем.

Подготовлено новое электронное издание. Компьютерная обучающая игра "Теория государства и права" или "Похождения гусарика", Версия 1.0с."

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы отладочного представления ламбда-термов для системы тестирования, а также информация, подлежащая формальному описанию при спецификации информационной системы, осуществляющей пошаговое взаимодействие с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы формального описания выбора содержания шагов для информационной системы, осуществляющей пошаговое взаимодействие с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Генератор ламбда-термов для системы тестирования на основе свойств». Обсуждались также способы генерации стратегий диалога для пошагового взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы интеграции поисковых механизмов для массивов данных, извлекаемых из сети Интернет, и фреймовых механизмов представления знаний, а также задачи доказательства свойств функций, определяемых в функциональном языке с зависимыми типами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы параметризации и объектно-ориентированного представления автоматизированных средств извлечения информации для моделирующих систем из сети Интернет, а также форматы представления контента для обучающих моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы отладки автоматизированных средств извлечения информации для моделирующих систем из сети Интернет для конкретных поисковых систем, а также вопросы создания распространяемых версий систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы регистрации (logging) событий при извлечении информации для моделирующих систем из сети Интернет, а также возможности повышения их семантической мощности.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Тестирование, основанное на свойствах». Обсуждались также вопросы построения автоматизированных средств извлечения информации для моделирующих систем из сети Интернет.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Линзы в языке Haskell» (часть 2). Обсуждались также вопросы формализации спецификации моделирующих систем средствами линейной временной логики.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Линзы в языке Haskell» (часть 1). Обсуждались также вопросы характеризации систем, поддерживающих различные типы взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности представления драйверов автоматизированной загрузки данных средствами объектно-ориентированного программирования в Scala (в том числе implicit). Обсуждались также вопросы использования линейной временной логики для спецификации поведения информационных систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Обзор технологии RPC». Обсуждались также неподвижные точки комбинаторов и вопросы формализации спецификации средствами линейной временной логики.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации создания моделирующих систем специального вида, а также их автоматизированной отладки. Обсуждались также вопросы уточнения спецификации моделирующей системы в ходе взаимодействия с пользователем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования протокола LSP. Обсуждались также статически верифицируемые системы, взаимодействующие с пользователем по спецификации, заданной формулой линейной временной логики. Рассматривались способы выделения состояний системы и определения переходов между ними.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы прототипирования системы генерации вопросов средствами линейной временной логики, а также вопросы настройки редактора (Language Server Protocol).

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации программ для автоматизированного сбора информации для моделирующих систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы построения статически верифицируемых систем взаимодействия с пользователем и построения доказательства корректного функционирования таких систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались альтернативные подходы к проектированию моделирующих систем, описание семантики модели на основе генераторов, типизации представляющих конструкций, а также вопросы нагрузочного тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации генерации комментариев, вопросы использования автоматов Бучи (Büchi) для описания семантики линейной временной логики, а также способы уточнения измерений временных характеристик программ.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались представления структур данных моделирующих систем в реляционной модели данных, особенности отладки и анимационного оформления систем.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы идентификации объектов в системе, способы автоматизации генерации комментариев, а также вопросы автоматизации сборки системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы построения и пополнения модели пользователя моделирующей системы, а также вопросы оценки параметров производительности системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались механизмы оценки работы пользователя с моделирующей системой, вопросы управления локальным реестром пакетов npm, а также архитектура средств поддержки языка процессов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования React для построения интерфейса с моделирующей системой, а также вопросы генерации термов для тестирования поддерживающих библиотек системы.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы, возникающие при обновлении состояния отдельных файлов на сервере вручную. Были выделены: быстрые локальные изменения, изменения, которые не были перенесены на сервер, и изменения, связанные с удалением файлов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации задач в связи с техникой экземплярных запросов, вопросы сериализации объектов, а также возможности использования библиотек Selenium и Puppeteer для отладки.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсужден доклад на тему «Программа измерения сортировки случайного массива как источник экспериментальных данных». Обсуждались также вопросы обслуживания сервера (проксирование, мониторинг), на котором развёрнуты модели.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы преобразования семантически ориентированных форматов, а также вопросы автоматизации тестирования модели.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Программа измерения сортировки случайного массива как источник экспериментальных данных».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы асинхронного запуска тестирующих скриптов в ходе нагрузочного тестирования.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации нагрузочного тестирования, а также продолжалось обсуждение поддержки аппликативного языка описания редукций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы копирования разделенных ссылок при сериализации объектов, а также вопросы поддержки аппликативного языка описания редукций.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы сжатия информации при передаче между клиентом и сервером, вопросы администрирования базы комментариев, а также функция автоматического сбора скриншотов и вопросы автоматизации резервных копий.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы модульности представления языка описания модели, возможность вывода дополнительной информации о контексте в ходе моделирования, а также варианты представления информации, в том числе в таблицах.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поиска комментариев по контексту, а также загрузки и выгрузки комментариев.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы внешнего представления контекста моделирующей системы, а также способы указания контекста при работе с таблицами.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания административной компоненты для комментариев, а также способы хранения кода, общего для клиента и сервера.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обработки генерируемых данных в контексте расширения набора функций для различных классов пользователей.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы привязки сессий к пользователю и отдельные вопросы администрирования контрольных точек.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможные технологии подготовки контрольных точек, а также вопросы использования документов различных уровней, регламентирующих именование объектов предметной области.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания и поддержки контрольных точек.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы администрирования пользователей в деловых играх.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации нагрузочного тестирования деловых игр.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования headless browser для сбора данных и вопросы автоматизации генерации документации к программам деловых игр.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концепция потенциально бесконечного списка в перезаписываемых моделях данных».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование переменных в языке блоков и языке диаграмм».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации ввода данных и определения структур данных предметной области, а также возможности создания универсальных управляющих механизмов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались параметры управления модальными окнами субъектов, способы идентификации и администрирования пользователей деловой игры «ПолуКЭР», вопросы представления и передачи внутреннего состояния игры.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства представления контекста деловой игры «ПолуКЭР» при взаимодействии с виртуальными моделируемыми субъектами, а также способы представления данных в иерархии объектов «часть-целое».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы оформления npm-пакетов на языке JavaScript с обеспечением возможности их использования как в браузере, так и в Node.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы проверки типов ламбда-термов в языке диаграмм, а также вопросы практической поддержки модульности в соответствии со стандартом ECMAScript 6.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обновления визуализатора для второй версии языка диаграмм, а также некоторые проблемы поддержки необходимых динамичных объектов.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы реализации табличного интерфейса пользователя.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Параметры компилятора второй версии языка диаграмм». Обсуждалось также портирование существующих программ на вторую версию языка диаграмм.

Проведён научный семинар «Когнитивная система комбинаторной логики. Эмпирика обнаружения, добычи и гранулирования знания».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка стабильности внешнего окружения для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Контекст блока для второй версии языка диаграмм».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования результатов работы с экспертами для деловой игры «ПолуКЭР».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Вспомогательные инструменты сборки для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Реализация семантики импортируемых блоков».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с таблицами технологических показателей в деловой игре «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование специальных режимов подсказки «Советник» и «Коллега» в деловой игре «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типизация параметров диаграмм для новой версии компилятора».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход на новую версию компилятора языка диаграмм».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Возможность комментирования хода игры экспертом для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Организация работы с экспертом для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Соединение видеофрагментов с управляющей компонентой для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Система управления сервисами для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Пакеты динамической типизации для деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Представление конструкции языка процессов в виде объекта зависимого типа».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход деловой игры «ПолуКЭР» на систему модульности для EcmaScript 6».

Готовится к изданию в апреле 2021 г. монография профессора В.Э.Вольфенгагена "Модели вычислений в информационных технологиях".

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы практической поддержки динамичных объектов в деловой игре «ПолуКЭР».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Таблицы в языке диаграмм».

Мы поздравляем Исмаилову Ларису Юсифовну с присвоением в 2020 г. звания Senior Members АСМ. Senior Members Grade присваивается членам ACM за продемонстрированные ими за последние 10 лет техническое лидерство, эффективность и профессиональный вклад.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Подсказки как динамичные объекты. Использование подсказок для ведения пользователя по игре «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования динамичных объектов при реализации деловой игры «ПолуКЭР».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование языка диаграмм при реализации деловой игры «ПолуКЭР»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «CSS и методологии работы с ним (продолжение)».

Вышла новая версия компьютерной контрольно-обучающей программы Уголовное право (Версия 2.0)"

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Механизм декаррирования для систем с зависимыми типами».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с концептуальными иерархиями при подготовке дайджеста».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы динамического управления правами доступа в деловой игре «Робосбор».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка состояния игрока в деловой игре «Робосбор»».

Мы поздравляем коллег с опубликованием результатов исследований: Wolfengagen V., Ismailova L., Kosikov S. (2021) Applicative Model to Bring-in Conceptual Envelope for Computational Thinking with Information Processes. In: Samsonovich A.V., Gudwin R.R., Sim?es A..S. (eds) Brain-Inspired Cognitive Architectures for Artificial Intelligence: BICA*AI 2020. BICA 2020. Advances in Intelligent Systems and Computing, vol 1310. Springer, Cham.

Проведен научный семинар "Информационные системы взаимодействия с окружениям. Элементы линейной временной логики"

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы абстрагирования механизмов описания предметной области для деловой игры «Робосбор».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы моделирования предметной области при работе с дайджестом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации аннотирования при работе с дайджестом.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка динамичных объектов при работе с СУБД».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы практической поддержки динамичных объектов в существующих проектах.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка версий на примере разработки УМК».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование динамичных объектов при получении справки для обучающей компоненты». Обсуждались вопросы динамичной поддержки реализации УМК.

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Возможности языка диаграмм для деловой игры «Робосбор»».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Генерация последовательных шагов деловой игры «Робосбор»».

Эксперты и сотрудники АО "Центр ЮрИнфоР" приняли участие c докладами и презентациями в международной конференции BICA 2020: 2020 Annual International Conference on Biologically Inspired Cognitive Architectures for Artificial Intelligence (BICA*AI 2020), the Eleventh Annual Meeting of the BICA Society, Natal, Brazil, held on October 10-11 and November 10-15 as a virtual-only event

Проведен научно-практический семинар "Методологии использования CCS"

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование средств распознавания речи при реализации динамичных объектов».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование редактора диаграмм для подготовки контента деловых игр».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концептуальное моделирование динамичных объектов. Поиск концептов с заданными свойствами».

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концептуальное моделирование динамичных объектов. Учёт зависимости концептов от параметра». Обсуждалось также расширение языка процессов языком LambdaJS.

Состоялось заседание постоянно действующего семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Дайджест как динамический объект».

Проведен научный семинар «Модели поддержки версионирования данных».

Проведен научный семинар «Методы и средства поддержки версионирования данных».

Мы поздравляем коллег с опубликованием результатов исследований в соавторстве с сотрудниками НИЯУ МИФИ Wolfengagen, V., Kosikov, S., Ismailova, L., Zaytsev, V.: Semantic framework for data flow control in the network of information graphs. Procedia Comput. Sci. 169, 16–22 (2020). Postproceedings of the 10th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2019 (Tenth Annual Meeting of the BICA Society), held 15–19 August 2019 in Seattle, Washington, USA

Мы поздравляем коллег с опубликованием результатов исследований: Kosikov, S., Ismailova, L., Wolfengagen, V., Marenkov, A., Ermak, M., Slieptsov, I., Zaytsev, V., Shedko, A.: Indexical structures to enable knowledge mining tasks. Procedia Comput. Sci. 169, 284–290 (2020). https://doi.org/10.1016/j.procs.2020.02.180. . Postproceedings of the 10th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2019 (Tenth Annual Meeting of the BICA Society), held 15–19 August 2019 in Seattle, Washington, USA

Проведен научный семинар «Почему паутина спутывается?». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Разработка системы семантических признаков объектов данных информационных систем: средства навигации».

Проведен научный семинар «Разработка системы семантических признаков объектов данных информационных систем: базовые свойства».

Проведен научный семинар «Модель детерминированного пошагового взаимодействия объектов данных».

Проведен научный семинар «Свойства детерминированных пошаговых интерактивных систем со скрытым состоянием».

Проведен научный семинар «Подход к построению формальной теории деловых игр».

Проведен научный семинар «Анализ конкурентных систем. Пост-правда и фейковые новости». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Задача о продвижении информации». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Задача о фишинге». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Форсинг: задача о головастике Хьюго». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Задача о наследовании свойств». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Переменные домены». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Процесс во времени». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведен научный семинар «Анализ конкурентных систем. Информационные процессы». Докладчик д.т.н. проф. Вольфенгаген В.Э.

Сотрудники Института “ЮрИнфоР-МГУ” приняли участие в ряде научных мероприятий, поддержанных IEEE и ACM. Представлены доклады на конференциях: -- International Conference On Recent Trends In Engineering & Sciences (ICRTES-2018), февраль 2018; -- International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE-2018), июль 2018, Bhubaneswar, India; -- International Conference on Advanced Computation and Telecommunication (ICACAT-2019), декабрь 2018, Bhopal, India.

Проведён научный семинар "Обеспечение семантической устойчивости Web-ориентированных систем за счёт эмуляции системы типов".

Разработан и запущен новый портал для российско-германского проекта "климатически-нейтральное обращение с отходами" otxod.com

Поздравляем проф. Вольфенгагена В.Э., награжденного медалью "За вклад в развитие НИЯУ МИФИ" 28 ноября 2018 г.

Запущен новый сайт, разработанный для германо-российской конференции "Климатически нейтральное обращение с отходами" otxod.online

Проведён научный семинар "Блокчейн как smart contract".

Проведён научный семинар "Архитектура блокчейн-проектов".

Проведён научный семинар "Автоматизация подготовки программной документации в соответствии с ЕСПД".

Проведён научный семинар "Возможности моделирования элементов технологии блокчейн".

Проведён научный семинар "Фундаментальные основы информационных технологий. Программная инженерия: Семантически безопасное информационное моделирование". Докладчик д.т.н. проф. Вольфенгаген В.Э.

Проведён научный семинар "Модели описания семантики имитационных деловых игр".

В рамках реализации проекта "ДКТИ. Климатически нейтральная хозяйственная деятельность. Внедрение НДТ в РФ" АО "Центр ЮрИнфоР" разработаны и применены новые технологии генерации элементов контента для портала good-climate.com.

Эксперты АО "Центр ЮрИнфоР" и сотрудники Института ЮрИнфоР-МГУ приняли участие в международной конференции BICA 2017: 2017 Annual International Conference on Biologically Inspired Cognitive Architectures

По заказу проекта "ДКТИ. Климатически нейтральная хозяйственная деятельность. Внедрение НДТ в РФ" АО "Центр ЮрИнфоР" разработан портал и система управления контентом - good-climate.com.

По заказу Немецкого общества технического сотрудничества АО "Центр ЮрИнфоР" разработал сайт Германо-российский семинара "Новации в экологическом праве, обмен опытом в области правоприменительной практики по внедрению Наилучших доступных технологий (НДТ)" и систему администрирования см. здесь

Разработана новая версия обучающей игры "Конституционное право РФ"

По заказу АНО организации содействия развитию спорта «ОЛЕГРИ» разботаны сайты olegri.moscow см. здесь и olegri.com см. здесь. Использованы авторские технологии генерации схем.

Проект "Твой основной закон" Пополнен пилотный вариант раздела "Глоссарий - видеоматериалы" интерактивного информационного ресурса

Москва 21 марта 2014 года в Институте "ЮрИнфоР-МГУ" (офис 37, 15.00) состоялось заседание рабочей группы проекта "Твой основной закон" с привлечением приглашенных экспертов. Тема: Оценка прототипа Интерактивного информационного ресурса. При реализации проекта используются средства господдержки, выделенные в качестве гранта в соответствии с распоряжением Президента РФ от 29.03.2013 № 115-рп и на основании конкурса, проведенного Фондом ИСЭПИ.

Группа компаний "ЮрИнфоР" приглашает вас принять участие в 4-й Международной конференции "Аппликативные вычислительные системы (АВС'2014)". Дата проведения уточняется. Место проведения: Москва.
Предыдущие конференции: АВС'2012, АВС'2010, АВС'2008.

Вышла новая версия компьютерной деловой игры "Убийство".

Группа компаний "ЮрИнфоР" подготовила и провела 3-ью Международную конференцию "Аппликативные вычислительные системы (АВС'2012)" 14 декабря 2012 г. Место проведения: МАБиУ (Адрес: 129594, Москва, 5-й проезд Марьиной Рощи, д. 15-а).

Группа компаний "ЮрИнфоР" приглашает вас принять участие в 3-й Международной конференции "Аппликативные вычислительные системы (АВС'2012)". Дата проведения: ноябрь 2012 г. Место проведения: Москва.

В разделе сайта сервисы размещена демонстрационная версия обучающей программы "WEB-сервисы".

Сотрудники ЮрИнфоР выступили с докладами на конференции с международнымм участием "Информационные и математические технологии в науке и управлении", Иркутск

Вышла новая электронная книга: Вольфенгаген В.Э., Исмаилова Л.Ю., Косиков С.В. Парадигма функционального программирования (электронная книга на CD)

Вышла новая книга: Вольфенгаген В.Э. Парадигма функционального программирования

Вышла новая версия компьютерной программы "Следователь".

Сотрудники ЮрИнфоР выступили с докладами и презентациями на V Международной научно-методической конференции "Современные проблемы техносферы и подготовки инженерных кадров", 06-15 октября 2011 г. в городе Табарка (Тунис)

Успешно прошла 13-ая Международная конференция "Компьютерные науки и информационные технологии" (CSIT'2011). Даты проведения: 27 сентября - 2 октября 2011 г. Место проведения: Гармиш–Партенкирхен, Германия.

Готовится к изданию: Вольфенгаген В.Э. Парадигма функционального программирования

Готовится III Всероссийская научная конференция с международным участием "Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности)". Дата проведения: 8-12 ноябра 2011 года. Место проведения: г. Ижевск.

Вышла новая игра Уголовное право РФ "

Сотрудники ЮрИнфоР представили серию докладов по аппликативным вычислительным технологиям на XV конференции "Телекоммуникации и новые информационные технологии в образовании" (Москва, НИЯУ МИФИ, февраль 2011 года).

Группой компаний "ЮрИнфоР" проведена 2-ая Международная конференция "Аппликативные вычислительные системы (АВС'2010)"

Новинка: Аппликативные вычислительные системы: Труды 2-й международной конференции по аппликативным вычислительным системам (АВС'2010), Москва, 29-31 октября 2010 г

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Коддовское видение реляционных систем управления базами данных (к 40-летию реляционной модели данных Э.Ф. Кодда).

Сотрудники ЮрИнфоР представили доклады по проблематике семантического WEBа на международной конференции "Инновационные информационные технологии: теория и практика" (Германия, с 4 по 12 сентября 2010 года).

Новинка: компьютерная программа "Активная система изучения комбинаторной логики в программировании (Active CLoP)"

Новинка: компьютерная программа "Активная система изучения конструкций языков программирования (Active PLC)"

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Динамика развития цифровой вселенной ставит новые вопросы фундаментальной важности.

Сотрудники "ЮрИнфоР" приняли участие с докладами в 15-ой конференции "Информационные и математические технологии" (1-9 июля 2010 г., Иркутск-Байкал).

Новинка: компьютерная программа "Система изучения категориальной абстрактной машины"

Группа компаний "ЮрИнфоР" приглашает вас принять участие во 2-й Международной конференции "Аппликативные вычислительные системы" (АВС'2010). Дата проведения: 29-31 октября 2010 г. Место проведения: Москва.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Барьеры и точки роста информационных технологий.

Сотрудники "ЮрИнфоР" приняли участие с докладами в German-Russian Workshop on Engineering and Information Sciences: New Methods and Solutions for Emerging Technologies по проекту G7: OV 88/7-1 (23-28 февраля 2010 г., Германия).

Первая книга в новой серии "Фундаментальные основы информационных технологий": Wolfengagen V.E. Applicative computing. Its quarks, atoms and molecules

Сотрудники "ЮрИнфоР" приняли участие c докладами в Научной сессии выставке-конференции НИЯУ МИФИ "Телекоммуникационные и новые информационные технологии в образовании", прошедшей 26-27 января 2010 г.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Косиков С.В. Модели ламбда-исчисления.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Компьютинг: круг вопросов и характеристики.

В рамках московского семинара "Фундаментальные основы информационных технологий" (научный руководитель проф. В.Э. Вольфенгаген) сотрудниками ЮрИнфоР сделан доклад по теме "Модели лямбда-исчисления". Семинар организован ФИВТ МФТИ на территории компании 1С. Подробнее о предстоящих семинарах - info@jurinfor.ru.

Новинка: Вольфенгаген В.Э. Аппликативные вычислительные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента

Сотрудники "ЮрИнфоР" приняли участие с докладами в Международной конференции-выставке "Информационные технологии в образовании" ИТО-2009, прошедшей в НИЯУ "МИФИ".

На международной конференции CSIT’2009, Crete, Greece, 2009 cотрудниками института представлена серия докладов об использовании аппликативных вычислительных технологий (АВС) для построения обучающих сред.

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Перспективные формы компьютинга

18 мая 2009 г. Институт "ЮрИнфоР-МГУ" совместно ФИВТ МФТИ провели семинар в рамках проекта ТАСИС.

ЮрИнфоР поздравляет профессора, д.т.н. Вольфенгагена В.Э. с признанием его Senior Member of ACM 2009.

Новинка: Вольфенгаген В.Э. Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах

В разделе "Электронная библиотека: компьютерные науки" размещена новая статья:
Вольфенгаген В.Э. Комбинаторная логика или настойчивое приглашение к компьютингу

Доступна демонстрационная версия обучающей программы
"Российское право в терминах и выражениях"

Конференция "Аппликативные вычислительные системы (АВС’2008)".

Доступна демонстрационная версия обучающей программы "Латинский язык для юристов"