пятница, 14 июня 2024 г.

Концепции для CAP-грамматики

Конструктивная атрибутивная препозициональная грамматика. С латино-эллинской лексикой - плановый диалект, лингва франка для дидактики. Макетный эксперимент с целью как специальный индекс для квеста в Веб и интеллектуальный агент.

СУБЪЕКТ - ИНТЕРПРЕТАТОР

ИНТЕРПРЕТАЦИЯ - ПРЕДИКАЦИЯ

АТРИБУЦИЯ - ПРЕПОЗИЦИЯ

ОБЪЕКТ - СИТУАЦИЯ

СЕРИЯ - ПРОЦЕСС

Переход от синтаксиса к семантике

ДЕТЕРМИНАЦИЯ - ДЕФИНИЦИЯ

КОНЦЕПЦИЯ - ТЕМА

Каркас для эволюции

https://metaxis.tiddlyhost.com


пятница, 7 июня 2024 г.

Перефокусировка

Временное переключение на CAP-грамматику, её интерпретация в её же стиле. Параллельно и тренировка для манифестации и метамоделирования. Если каждая функция или программа - интерпретатор, то и некоторое пространство имен и не обязательно в каком-то другом контексте или глобальном пространстве. Главное, адрес и доступ и тогда на арене в фокусе просто внешние сервисы со своей сигнатурой и структурой, которая "черный ящик", что не обязательно. Каждое имя, каждая спецификация - тип, и следовательно, функциональное имя - тоже тип, что опять же просто параметрическое имя или даже имя класса или категории. Фокусы с аппликаторами или комбинаторами - магия со стеком или буфером. Комментарии к этой теме - фактически, цель. Компьютерный процесс, программирование, автоматизация - генерация и трансформация от синтаксиса к семантике. Грамматика - фундамент фломальной системы и логики. Параметр - аксиома. Новый параметр - новая модель ... 

Страница в ТелеграФ для текста

Тиддливик-файл для "пространства имен"

вторник, 28 мая 2024 г.

Метамоделирование и теория моделей

Кажется, что со списком словаря (ГЛОТЕОН) дело идёт к завершению, становится все труднее находить мотивы включения каких-то штаммов в словарь дисциплины МЕТАМОДЕЛИРОВАНИЯ! По крайней мере теперь  это будет происходить не регулярно, нужны убедительные стимулы. Критерием задесь является практика использования термина в информатике.

Фактически, завершена и структура МАНИФЕСТА МЕТАМОДЕЛИРОВАНИЯ. То есть, теперь полностью можно сконцентрироваться на детализации, цитатах и комментариях ... "выращивании" ТЕКСТА ... Апогеем чего является это важный комментарий!

Ну и как АППЛИКАЦИИ "новой теории", её ИНТЕРПРЕТАЦИИ, параллельно, можно будет сосредоточиться на СПЕЦИФИКАЦИИ МЕТАМОДЕЛИРОВАНИЯ как МОДЕЛИ ИНФОРМАЦИОННОЙ СИСТЕМЫ ... возможно, с уклоном в СИСТЕМУ АВТОМАТИЗАЦИИ ИНТЕЛЛЕКТУАЛЬНЫХ ОПЕРАЦИЙ ("интеллектуализации системы"), но это зависит  от Бурдуков Александра Николаевича, его инициативы с МЕТАИНТЕРПРЕТАТОРОМ.

вторник, 14 мая 2024 г.

Теория дефиниций К. Попа

Здесь будет конспект, а пока только заготовка. Две цели. С одной стороны, это самый полный обзор концепций, включая ретроспективу и критику самого текста, где определение репрезентируется как, собственно, концепция (аксиома, формула, теория, пропозиция, предикат, тавтология, продукция) и с позиции структурного анализа - пара, модель, синонимия, аналог ... с попытками конструктивизма от элементарной демонстрации к инструкциям, операциям, процессам и функциям. С другой стороны, смотреть как на базу, фундамент, для редукции и расширения концепции, с точки зрения CAP-грамматики, где любой термин обозначает не только объект, но и его атрибуцию и препозиции с другими объектами (ситуации, прецедентов). В широком смысле дефиниция - идентификация, детализация, детерминация ... ограничение, конкретизация вариативных, потенциальных статусов. То есть не только параметризация, но и отношения параметров, описание операций с ними. И то же самое с терминами, рассматривая их как остенсивные определения или просто имена, элементарные или универсальные символы.

среда, 8 мая 2024 г.

Спецификация - старт ...

... системы конструирования синтаксиса и лексики ...

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

https://t.me/HYPERANALYTICS/6531

UNISON - благозвучный термин для базового формата, которым можно заменить YESON ... ab c d : 123 45 ЁПРСТ ...

https://t.me/HYPERANALYTICS/6539

... Системы переходов (помеченные системы переходов) ... 

... есть пункт для концентрации ...  теперь буду туда постоянно пялиться и пытаться туда заталкивать паз за пазлом ... 

https://t.me/HYPERANALYTICS/6589

Слова Форта ... Фреймы ...

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

https://t.me/HYPERANALYTICS/6592

Спецпроцессор информационного поиска ... историческое моделирование ... персистенция ...

... отдельный тиддливики-файл и туда собирать каркас пазлов и потом "выращивать" спецификацию по аналогии с индексным файлом для манифестации МЕТАМОДЕЛИРОВАНИЯ ...

https://t.me/HYPERANALYTICS/6627

P.S. Текущее состояние дел ... окончательное решение макетировать на Node.js ... Эквилибристика с владениями значений в Rust академическая надуманность, совершенно не нужная при последовательном, аккуратном воплощении сквозной объектной персистентной системы и модели акторов в едином адресном пространстве ... https://t.me/HYPERANALYTICS/6631

... Ещё немного и научусь формулировать исключительно в продукционном стиле ... и, в принципе, на псевдокоде предлагаемого формата ... что в принципе тотально и делается повсеместно всеми - заголовок - текст или тема - концепция ... только потом авторов заносит и начинается неограниченная циклическая мультипликация интерпретаций ...

воскресенье, 28 апреля 2024 г.

Пять прототипов параметрических архитектур для спецификации компьютерного интерфейса

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

1. Tiddlywiki - с одной стороны, максимально концептуально нагруженная архитектура, вмещающая почти всю идеологию программирования, с другой, система, реально помогающая моим проектам, и, наконец, представитель мейнстрима или реальной тотальной практики, конвенциональной и стандартизованной.

2. Rebol - как альтернативная ветвь эволюции с концептуально продуманной оптимизацией эклектичного, по своей сути, процесса развития компьютерных систем и, фактически, вмещающего в себе всю ретроспективу популярных концептуальных представителей ... Lisp, Forth, APL, Self (аккуратнее всего репрезентирующий Smalltalk и, в принципе, объектную парадигму).

3. Flatassembler (в сравнении с Webassembly) - как базовый уровень архитектуры интерфейса компьютерных систем с одной стороны, и как межплатформенная реализация, с другой.

4. Erlang - как зарекомендовавший себя на практике представитель функционального направления "мета-языков", с реализацией модели акторов, конкурентного программирования и смарт-контрактов, проблемы распределенных и параллельных процессов.

5. Prolog - как классический представитель логического программирования, продукционных систем, реляционной алгебры и СУБД.

Структуры и алгоритмы (и прежде всего организация памяти, сортировка и поиск) остаются концептуальными инвариантами! А автоматизация интеллектуальных операций перманентная тенденция всей компьютерной эволюции!

P.S. Список может быть дополнен максимум двумя позициями, например, тем, что пока активно развивается и потенциально может повлиять на спецификацию: проекты Zig и V как оптимизация мейнстримных Go и Rust, а также проект UNISON с позиции "исторического моделирования".