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

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

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

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

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

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

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

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

Состоялось представление и обсуждение доклада на тему «Frontier of Conceptual Mathematics and Cognitive Modeling». Докладчик д.т.н. проф. Вольфенгаген В.Э.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В НИЯУ МИФИ прошёл Научно-технический семинар «Комбинаторная логика и фундаментальные основы вычислительных технологий». Семинар был посвящён 100-летию с опубликования М. Э. Шейнфинкелем статьи по комбинаторной логике, положившей начало развитию аппликативных вычислительных систем АВС. Результатом исследований в этой области стали вычислительные и логические формализмы, составляющие фундаментальную основу языков программирования и вычислительных технологий: теория комбинаторов и суперкомбинаторов, лямбда-исчисление, теория типов и др. Поздравляем сотрудников ЮрИнфоР к.т.н. Исмаилову Л.Ю. и Косикова С.В., выполнивших доклад на тему "Предметно-ориентированные системы типов в формализме Черча и Карри".

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

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

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

Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства управления образами 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)".

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