https://plana.mybb.ru/ Нужен автокод - иностранцам вежливо настраивать язык кириллический ru-ru Sat, 04 Apr 2026 10:07:39 +0300 MyBB/mybb.ru https://plana.mybb.ru/viewtopic.php?pid=11943#p11943 <p>field REG_NUM {<br />&#160; bits: [7] in PREFIX_BYTE, [7:5] in OPERAND_BYTE<br />&#160; combine: CONCAT<br />}</p> <p>«К сожалению, в открытых источниках не удалось найти информацию о REDL (Register Encoding Description Language) как о стандартизированном языке или широко известном проекте. Возможно, это специфический внутренний инструмент, узкоспециализированный стандарт или экспериментальная разработка, которая не получила широкого распространения, либо описание было упрощено или адаптировано для конкретного контекста.»</p> <p>RDL (Register Description Language):<br /><a href="https://sourceforge.net/projects/rdl-cisco/" rel="nofollow" target="_blank">https://sourceforge.net/projects/rdl-cisco/</a></p> <p>ещё есть<br />SystemRDL (Register Description Language)<br />«is a standard, open-source, machine-readable text-based language designed specifically to model software-accessible hardware registers and memories, particularly for complex System-on-Chip (SoC)»</p> <p><a href="https://www.accellera.org/images/downloads/standards/systemrdl/SystemRDL_2.0_Jan2018.pdf" rel="nofollow" target="_blank">https://www.accellera.org/images/downlo &#8230; an2018.pdf</a></p> <p>язык описания полей (ЯОП)<br />язык описания структур данных (ЯОСД)<br />структурам - описание, данным - алгоритмы (СОДА)</p> <p>----</p> <p>Ранее по теме:<br /><a href="https://plana.mybb.ru/viewtopic.php?id=2611">МЯСЦО</a></p> <p>Суть такова - ASN.1 нам не подходит, потому что он не умеет склеивать поля.<br />При этом склейка может быть двух типов:<br /> - одно дело, когда мы склеиваем метаописания полей<br /> - другое дело, когда мы вычисляем значение суммарного поля (это то, что мы на Си делаем операциями сдвигов на число битов)</p> <p>При описании структуры нам не нужно вычислять. И все эти сишные имплементации не нужны.</p> <p>Верно, что в ASN.1 есть SET (неупорядоченное) и SEQUENCE (последовательное) перечисления полей,<br />но этого недостаточно (или достаточно, но непонятно как воспользоваться). Нужно больше разных русских слов. И их надо написать.</p> <p>концептно-логический единый инструмент (Клей)</p> mybb@mybb.ru (Лис) Sat, 04 Apr 2026 10:07:39 +0300 https://plana.mybb.ru/viewtopic.php?pid=11943#p11943 https://plana.mybb.ru/viewtopic.php?pid=11942#p11942 <p>я думаю, что этот сайт фрилансной работы довольно быстро умрёт.<br />даже телега не пережила, а я ешё предлагал к ней бота написать.</p> <p>На самом деле, чтобы понять, выживет этот сайт фриланса или нет, надо провести его анализ.<br />Но есть много более других дел в русскоязычном программировании.</p> mybb@mybb.ru (Лис) Wed, 01 Apr 2026 06:22:17 +0300 https://plana.mybb.ru/viewtopic.php?pid=11942#p11942 https://plana.mybb.ru/viewtopic.php?pid=11940#p11940 <p>Заказывайте услуги фрилансеров, создавайте сайты, находите подработку на дому! Биржа фриланса Rz-Work — для новичков и профессионалов. Откройте для себя лучшую фриланс-платформу в России! <a href="https://rz-work.ru" rel="nofollow" target="_blank">https://rz-work.ru</a></p> mybb@mybb.ru (Аматор) Tue, 31 Mar 2026 15:35:06 +0300 https://plana.mybb.ru/viewtopic.php?pid=11940#p11940 https://plana.mybb.ru/viewtopic.php?pid=11938#p11938 <div class="quote-box answer-box"><cite>rabotnic написал(а):</cite><blockquote><p>витамины для памяти</p></blockquote></div><p>Этой рекламой Скайнет троллит кожаных мешков.</p> mybb@mybb.ru (NuShaman) Mon, 30 Mar 2026 06:10:04 +0300 https://plana.mybb.ru/viewtopic.php?pid=11938#p11938 https://plana.mybb.ru/viewtopic.php?pid=11936#p11936 <div class="quote-box answer-box"><cite>rabotnic написал(а):</cite><blockquote><p>в Тайланде.</p></blockquote></div><p>Я щас с китаянками наращиваю мосты любви и дружбы.<br /><strong>До Тайланда ещё далеко</strong>.</p> mybb@mybb.ru (NuShaman) Thu, 26 Mar 2026 07:53:58 +0300 https://plana.mybb.ru/viewtopic.php?pid=11936#p11936 https://plana.mybb.ru/viewtopic.php?pid=11934#p11934 <p><a href="https://velykoross.ru/826/" rel="nofollow" target="_blank">https://velykoross.ru/826/</a></p> mybb@mybb.ru (Лис) Tue, 17 Mar 2026 20:27:27 +0300 https://plana.mybb.ru/viewtopic.php?pid=11934#p11934 https://plana.mybb.ru/viewtopic.php?pid=11932#p11932 <p>Какие языки программирования позволяют программировать гипотезы и абдукцию в явном виде?</p> <p>«В отличие от стандартных императивных или объектно-ориентированных языков, поддержка абдукции и работы с гипотезами обычно требует особой теоретической основы.»</p> <p>«теория ранжирования Шпона (Spohn's ranking theory)» - <strong>RankPL</strong>, это язык моделирования, который можно рассматривать как качественный вариант вероятностного языка программирования, это позволяет ему напрямую поддерживать абдукцию и вывод о причинах (causal inference).<br />В RankPL есть специальная инструкция observe, которая выполняет conditioning, аналогично вероятностным языкам, но в рамках теории ранжирования, что позволяет пересматривать ранги гипотез на основе наблюдений</p> <p>«<strong>HYPROLOG</strong> это расширение логического языка Prolog, интегрирующее в него механизмы абдукции и работу с предположениями (assumptions). Он особенно полезен для обработки естественного языка, где часто требуется выдвигать гипотезы о скрытых лингвистических структурах. Использует Constraint Handling Rules (CHR) для эффективной обработки ограничений целостности, что делает абдуктивный вывод очень эффективным»</p> <p>«<strong>Saul</strong>: Это объектно-функциональный язык, написанный на Scala, предназначенный для разработки систем, обучающихся на данных. Позволяет выполнять глобальный вывод, который уважает заданные ограничения (constraints), что является формой абдукции — поиск наиболее вероятного объяснения (набора значений переменных), удовлетворяющего всем ограничениям и данным.»</p> mybb@mybb.ru (Лис) Tue, 17 Mar 2026 14:55:28 +0300 https://plana.mybb.ru/viewtopic.php?pid=11932#p11932 https://plana.mybb.ru/viewtopic.php?pid=11929#p11929 <p>Привет Игнат!<br />Я - Дмитрий Анисимов.</p> <p>Мы с Вами виделись очень давно, во времена версии 0.4.0. Это было более 10 лет назад.</p> <p>С тех пор произошло много событий. Например, вышла версия prawda-1.0.0, которая сильно лучше, чем 0.4.0.<br />До гугло-переводчика, мне конечно далеко. Тяжело одному человеку состязаться с транс-национальной корпорацией.<br />Но кое-какие успехи есть и у меня. На них даже можно посмотреть на Ю-тубе:</p> <p><a href="https://www.youtube.com/watch?v=lqL45eVcGIg" rel="nofollow" target="_blank">https://www.youtube.com/watch?v=lqL45eVcGIg</a></p> <p>Кроме того, я выпустил книжку, в которой описываю методы и алгоритмы, которые использует &quot;Правда&quot;.<br />Там есть то, что может заинтересовать:<br />Извините за длинную ссылку, - другой нету:</p> <p><a href="https://docviewer.yandex.ru/view/642586693/?page=1&amp;*=T5WJkMo19ZRMK7TqZ1TqE%2F%2BYlTt7InVybCI6Imh0dHBzOi8vcnVzZm9ydXMucnUvZG93bmxvYWQvZmlsZS5waHA%2FaWQ9NDgyMSIsInRpdGxlIjoiZmlsZS5waHA%2FaWQ9NDgyMSIsIm5vaWZyYW1lIjp0cnVlLCJ1aWQiOiI2NDI1ODY2OTMiLCJ0cyI6MTc3MzUxMzQzMjA1NiwieXUiOiIzNjkwNzE2MDUxNzM1MzM2MDY2Iiwic2VycFBhcmFtcyI6InRtPTE3NzM1MTM0MTcmdGxkPXJ1Jmxhbmc9cnUmbmFtZT1maWxlLnBocD9pZD00ODIxJnRleHQ9JUQwJUIwJUQwJUJEJUQwJUI4JUQxJTgxJUQwJUI4JUQwJUJDJUQwJUJFJUQwJUIyKyVEMCVCRiVEMSU4MCVEMCVCMCVEMCVCMiVEMCVCNCVEMCVCMCslRDAlQkUrJUQwJUJDJUQwJUIwJUQxJTg4JUQwJUI4JUQwJUJEJUQwJUJEJUQwJUJFJUQwJUJDKyVEMCVCRiVEMCVCNSVEMSU4MCVEMCVCNSVEMCVCMiVEMCVCRSVEMCVCNCVEMCVCNStwZGYmdXJsPWh0dHBzJTNBLy9ydXNmb3J1cy5ydS9kb3dubG9hZC9maWxlLnBocCUzRmlkJTNENDgyMSZscj0xMDk3NjEmbWltZT1wZGYmbDEwbj1ydSZzaWduPWRmMzg4OTkyNWJiOGY2ZmMxNzc2NzM4NjJkMTNlNzVkJmtleW5vPTAifQ%3D%3D&amp;lang=ru" rel="nofollow" target="_blank">https://docviewer.yandex.ru/view/642586693/?page=1&amp;amp;*=T5WJkMo19ZRMK7TqZ1TqE/+YlTt7InVybCI6Imh0dHBzOi8vcnVzZm9ydXMucnUvZG93bmxvYWQvZmlsZS5waHA/aWQ9NDgyMSIsInRpdGxlIjoiZmlsZS5waHA/aWQ9NDgyMSIsIm5vaWZyYW1lIjp0cnVlLCJ1aWQiOiI2NDI1ODY2OTMiLCJ0cyI6MTc3MzUxMzQzMjA1NiwieXUiOiIzNjkwNzE2MDUxNzM1MzM2MDY2Iiwic2VycFBhcmFtcyI6InRtPTE3NzM1MTM0MTcmdGxkPXJ1Jmxhbmc9cnUmbmFtZT1maWxlLnBocD9pZD00ODIxJnRleHQ9JUQwJUIwJUQwJUJEJUQwJUI4JUQxJTgxJUQwJUI4JUQwJUJDJUQwJUJFJUQwJUIyKyVEMCVCRiVEMSU4MCVEMCVCMCVEMCVCMiVEMCVCNCVEMCVCMCslRDAlQkUrJUQwJUJDJUQwJUIwJUQxJTg4JUQwJUI4JUQwJUJEJUQwJUJEJUQwJUJFJUQwJUJDKyVEMCVCRiVEMCVCNSVEMSU4MCVEMCVCNSVEMCVCMiVEMCVCRSVEMCVCNCVEMCVCNStwZGYmdXJsPWh0dHBzJTNBLy9ydXNmb3J1cy5ydS9kb3dubG9hZC9maWxlLnBocCUzRmlkJTNENDgyMSZscj0xMDk3NjEmbWltZT1wZGYmbDEwbj1ydSZzaWduPWRmMzg4OTkyNWJiOGY2ZmMxNzc2NzM4NjJkMTNlNzVkJmtleW5vPTAifQ==&amp;amp;lang=ru</a></p> <p>Если встретимся лично, могу подарить бумажный вариант.</p> <p>Если Вы не потеряли интерес к этой теме...<br />Предлагаю для начала обновить исходники на гитхабе до prawda-1.0.0, и <br />положить книжку куда-нибудь на более заметный сайт.</p> mybb@mybb.ru (Prawda) Sat, 14 Mar 2026 21:45:56 +0300 https://plana.mybb.ru/viewtopic.php?pid=11929#p11929 https://plana.mybb.ru/viewtopic.php?pid=11922#p11922 <p>Залежь<br />&#160; &#160;Исходный код программы в файловой системе (текстовые файлы)<br />* Замачивание<br />&#160; &#160;Препроцессинг: обработка макросов, включение файлов, условная компиляция<br />Взвесь<br />&#160; &#160;Текст после препроцессинга, очищенный от макросов и директив<br />* Обогащение<br />&#160; &#160;Лексический анализ + синтаксический анализ (построение AST без типов)<br />Глина<br />&#160; &#160;Абстрактное синтаксическое дерево (AST) без типов<br />* Замешивание<br />&#160; &#160;Семантический анализ: проверка типов, разрешение имён, привязка семантических атрибутов<br />Раствор<br />&#160; &#160;AST с типами и семантическими атрибутами<br />* Лепка<br />&#160; &#160;Высокоуровневые оптимизации на AST (анализ потока, удаление недостижимого кода, свёртка констант)<br />Сырец<br />&#160; &#160;AST после высокоуровневых оптимизаций<br />* Просушка<br />&#160; &#160; Подготовка AST к генерации кода (преобразования, не меняющие сути, но упрощающие дальнейшие этапы)<br />Заготовка<br />&#160; &#160; Промежуточное представление, готовое к генерации машинного кода<br />* Обжиг<br />&#160; &#160; Преобразование заготовки в машинный код; результатом является множество функций (кирпичей)<br />Кирпич<br />&#160; &#160;Машинный код одной функции<br />* Упаковка<br />&#160; &#160;Сборка кирпичей в объектный модуль (пачку) с таблицей символов (экспорт/импорт)<br />Пачка<br />&#160; &#160;Объектный модуль, готовый к линковке (объектный файл или библиотека)<br />* Кладка<br />&#160; &#160; Линковка пачек в исполняемый файл (здание)</p> mybb@mybb.ru (Лис) Wed, 11 Mar 2026 09:38:21 +0300 https://plana.mybb.ru/viewtopic.php?pid=11922#p11922 https://plana.mybb.ru/viewtopic.php?pid=11921#p11921 <p>Лис знал, что использование красных букв поможет полностью<br />скрыть все остальные ценные мысли сообщения.</p> <p>Раскрытия тайн и идей можно не опасаться.</p><div class="quote-box spoiler-box"><div onclick="$(this).toggleClass('visible'); $(this).next().toggleClass('visible');">LLM</div><blockquote><p>Реплика «Не жизнь, а человечий СРАЧ!» не добавляет аргументов, не развивает тему, а лишь даёт негативную оценку. В контексте содержательной дискуссии о Википедии и новых идеях это выглядит как неконструктивный комментарий, снижающий уровень обсуждения. Поэтому «неумно» здесь более уместно, чем «иронично».<br />Но нужно объяснить, почему. В первом сообщении в этой ветке он тоже отвечал довольно поверхностно, сводя сложную лингвистическую проблему к простому «достаточно словаря Даля». Это показывает его стиль общения — скорее упрощать и обесценивать. Поэтому его второе сообщение выглядит не как ироничный комментарий, а как пренебрежительное и нежелание (или неспособность) поддерживать разговор на предложенном уровне.</p></blockquote></div> mybb@mybb.ru (Лис) Tue, 10 Mar 2026 10:26:41 +0300 https://plana.mybb.ru/viewtopic.php?pid=11921#p11921 https://plana.mybb.ru/viewtopic.php?pid=11920#p11920 <div class="quote-box answer-box"><cite>Лис написал(а):</cite><blockquote><p>добровольцы выражают интерес к процедуре</p></blockquote></div><p>Вот когда мухи начнут выражать интерес к процедуре переноса разума в облако,<br /> тогда и стоит забеспокоиться.</p> mybb@mybb.ru (NuShaman) Tue, 10 Mar 2026 08:31:58 +0300 https://plana.mybb.ru/viewtopic.php?pid=11920#p11920 https://plana.mybb.ru/viewtopic.php?pid=11917#p11917 <p>Не умеет делать русские имена пользователей, что нарушает законодательство РФ:</p> <p><a href="https://upforme.ru/uploads/0018/41/1a/73/389845.png" rel="nofollow" target="_blank"><img class="postimg" loading="lazy" src="https://upforme.ru/uploads/0018/41/1a/73/t389845.png" alt="https://upforme.ru/uploads/0018/41/1a/73/t389845.png" /></a></p> mybb@mybb.ru (Лис) Mon, 09 Mar 2026 13:13:43 +0300 https://plana.mybb.ru/viewtopic.php?pid=11917#p11917 https://plana.mybb.ru/viewtopic.php?pid=11915#p11915 <p>Недостаточно просто высказать <del>ерунду</del> неочевидную мысль. Её надо ещё <a href="https://plana.mybb.ru/viewtopic.php?id=2196#p11916">аргументировать</a>.</p> mybb@mybb.ru (Лис) Wed, 04 Mar 2026 12:34:44 +0300 https://plana.mybb.ru/viewtopic.php?pid=11915#p11915 https://plana.mybb.ru/viewtopic.php?pid=11909#p11909 <p>&quot;Дела у прокурора, а у нас так: делишки&quot;<br />&quot;Нет тела, нет дела&quot;</p> mybb@mybb.ru (NuShaman) Tue, 03 Mar 2026 06:25:15 +0300 https://plana.mybb.ru/viewtopic.php?pid=11909#p11909 https://plana.mybb.ru/viewtopic.php?pid=11908#p11908 <p>gccorg.com/article/69/426.html</p> <p>Просит логин. Хотят членство в GCC.</p> <p>«Мне удалось его достать и посмотреть. 59 страниц мелким китайским шрифтом.»<br />«Обычный технический документ по виду. Много картинок и схем. Букв нет, вместо букв какие-то квадратные неповторяющиеся значки.»</p> mybb@mybb.ru (Лис) Tue, 03 Mar 2026 05:52:52 +0300 https://plana.mybb.ru/viewtopic.php?pid=11908#p11908 https://plana.mybb.ru/viewtopic.php?pid=11905#p11905 <p><a href="https://plana.mybb.ru/viewtopic.php?id=2327#p11904">Переписать браузер для гипертекста</a></p> <p><a href="https://plana.mybb.ru/viewtopic.php?id=2611">МЯСЦО</a></p> mybb@mybb.ru (Лис) Mon, 02 Mar 2026 11:49:06 +0300 https://plana.mybb.ru/viewtopic.php?pid=11905#p11905 https://plana.mybb.ru/viewtopic.php?pid=11904#p11904 <p>Концепция гипертекста реализована неправильно.</p> <p>Если бы мы рассматривали текст как объект в терминологии <a href="https://plana.mybb.ru/viewtopic.php?id=2448">ФАП. ФАП? ФАП!</a><br />то мы бы составили отдельную структуру, которая описывает данный нам исходно текст-объект.</p> <p>Вот так и надо было поступать в браузерах:<br />сначала высылать текст, затем высылать инструкции по разметке текста (гиперссылками или ещё как).</p> <p>MarkDown ничего в этом плане не меняет, он по-прежнему вторгается внутрь исходного данного.</p> <p>CSS в некотором смысле реализует близкий подход (текст отдельно, разметка отдельно),<br />но можно ли так делать гиперссылки?</p> <p>«Главный камень преткновения — это природа гиперссылок. Они не являются оформлением вроде цвета или жирности. Гиперссылка — это неотъемлемая часть смысловой структуры и функциональности документа.» (хм, так ли это?)</p> <p>Текущая реализация (ссылки внутри текста) — это исторический компромисс, а не архитектурный идеал.</p> <p>Сделать (прототип) по-другому можно уже сейчас, для этого вставку гиперссылок в текст прописывать в JavaScript (либо embedded, либо linked).</p> <p>Можно было бы комбинировать разные интерпретации текста<br />(добавлять разметки одновременно - например динамически включать раскраску примеров кода)</p> <p>Можно пока не переписывать браузер, а написать плагин (и возможно, что такой уже есть).<br />Или вообще<br />сделать скриптом альтернативное контекстное меню (вызываемое при нажатом shift)<br />которое будет накладывать на текст или снимать интерпретации.</p> <p>Можно не только гиперссылки накладывать, но и стили, например из линейной записи математической формулы сделать &quot;традиционную&quot;.</p> <p>Hypothesis — the market-leading social annotation platform (не для Firefox) = <a href="https://web.hypothes.is/" rel="nofollow" target="_blank">https://web.hypothes.is/</a><br />&#160; &#160;аннотации к веб-страницам и .pdf в виде chrome extension</p> <p>См. также:<br /><a href="https://plana.mybb.ru/viewtopic.php?id=2196#p11916">Фатальный недостаток Википедии</a></p> mybb@mybb.ru (Лис) Mon, 02 Mar 2026 10:32:56 +0300 https://plana.mybb.ru/viewtopic.php?pid=11904#p11904 https://plana.mybb.ru/viewtopic.php?pid=11901#p11901 <p><a href="https://search.rsl.ru/ru/record/01008535709" rel="nofollow" target="_blank">https://search.rsl.ru/ru/record/01008535709</a></p> mybb@mybb.ru (Лис) Wed, 25 Feb 2026 05:50:39 +0300 https://plana.mybb.ru/viewtopic.php?pid=11901#p11901 https://plana.mybb.ru/viewtopic.php?pid=11900#p11900 <p><a href="https://www.linux.org.ru/forum/development/18228674" rel="nofollow" target="_blank">оттуда</a></p> <p>Давайте создадим язык программирования.</p> <p><a href="https://pvs-studio.ru/ru/blog/training/courses/davajte-sozdadim-yazyk-programmirovaniya/" rel="nofollow" target="_blank">https://pvs-studio.ru/ru/blog/training/ &#8230; irovaniya/</a></p> mybb@mybb.ru (Лис) Wed, 25 Feb 2026 03:33:44 +0300 https://plana.mybb.ru/viewtopic.php?pid=11900#p11900 https://plana.mybb.ru/viewtopic.php?pid=11898#p11898 <p>LLM: «в культуре с падежами лучше развита логистика (точное указание направления)»</p> <p>«Огромные расстояния между поселениями &#8594; необходимость чётко описывать направления и расстояния («за лесом», «у реки», «на севере»).<br />Развитие пространственных значений падежей (локатив, аблатив) для точной ориентации на местности.»</p> <p>«Активное использование предложно&#8209;падежных конструкций для описания маршрутов:<br />&#160; &#160; по Днепру, к Волге, от Новгорода;<br />&#160; &#160; развитие дательного падежа для указания направления (идти к другу), предложного — для места (жить на Волге).»</p> <p>«География требовала точности в описании:<br />&#160; &#160; Родительный — источник/направление: из Новгорода, с Урала.<br />&#160; &#160; Дательный — цель движения: к морю, в Сибирь.<br />&#160; &#160; Винительный — конечный пункт: в город, на ярмарку.<br />&#160; &#160; Творительный — средство/путь: дорогой, рекой, лесом.<br />&#160; &#160; Предложный — место действия: на Руси, в степи.»</p> <p>В древнеанглийском (V–XI века) было 4 падежа (именительный, родительный, дательный, винительный) и<br />развитое склонение существительных, прилагательных и местоимений.<br />Морская навигация и торговля не требовали сложной падежной системы?</p> <p>В китайском вообще падежей нет, упор на стандартизацию. Это не из-за логистики, а из-за масштаба и длительности.</p> mybb@mybb.ru (Лис) Sun, 22 Feb 2026 13:38:58 +0300 https://plana.mybb.ru/viewtopic.php?pid=11898#p11898 https://plana.mybb.ru/viewtopic.php?pid=11897#p11897 <p>=^.^=</p> mybb@mybb.ru (Лис) Wed, 11 Feb 2026 17:06:07 +0300 https://plana.mybb.ru/viewtopic.php?pid=11897#p11897 https://plana.mybb.ru/viewtopic.php?pid=11896#p11896 <p><a href="https://search.rsl.ru/ru/record/01004108015" rel="nofollow" target="_blank">https://search.rsl.ru/ru/record/01004108015</a></p> <p><a href="https://habr.com/ru/articles/538168/" rel="nofollow" target="_blank">https://habr.com/ru/articles/538168/</a><br />«Я впервые принимал участие в проекте, где были заняты десятки программистов. Язык программирования – ПРОЛ-2 разработки ИПМ АН СССР. Вообще-то, девичья фамилия этого языка была «Пролог-Ц» от ПРОграммирования ЛОГики. А литера «Ц» - это, вероятно, ЦУП. Но поскольку в то время на слуху был японский Пролог с его транспьютерами, вероятно разработчикам надоело отвечать на вопросы о применении транспьютеров в «Буране», поэтому вторая версия языка вышла под таким скромным и безликим именем.»</p> <p>«Для повышения надежности в языке ПРОЛ-2 описание нелокальных переменных<br />должно было включать и права доступа в виде списка имен процедур,<br />которым разрешается к этой переменной обращаться.<br />Отдельный список прав на чтение и отдельный список прав на запись.»</p> <p>см. также<br /><a href="https://www.compiler.su/prava-dostupa-k-peremennym.php" rel="nofollow" target="_blank">https://www.compiler.su/prava-dostupa-k-peremennym.php</a></p> <p><a href="https://search.rsl.ru/ru/record/01002771258" rel="nofollow" target="_blank">https://search.rsl.ru/ru/record/01002771258</a><br />2005, Бебчик, Антон Михайлович, Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования : диссертация<br />«СИПРОЛ. Этот язык является упрощённой версией проблемно-ориентированного языка высокого уровня ПРОЛ2, разработанного в ИПМ им. Келдыша.»</p> <p><a href="https://www.dissercat.com/content/sintez-i-verifikatsiya-upravlyayushchikh-algoritmov-realnogo-vremeni-dlya-bortovykh-vychisli" rel="nofollow" target="_blank">https://www.dissercat.com/content/sinte &#8230; h-vychisli</a><br />2007, Тюгашев, Андрей Александрович, Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов</p> <p><a href="https://search.rsl.ru/ru/record/01013892425" rel="nofollow" target="_blank">https://search.rsl.ru/ru/record/01013892425</a></p> <p><a href="https://citforum.ru/programming/prg96/85.shtml" rel="nofollow" target="_blank">https://citforum.ru/programming/prg96/85.shtml</a><br />«<br />Krukov V.A., Petrenko A.K., Trunov Yu.V., Fedorov K.B. GRAPHIT-graphic in tegrated environment for real-time system development.- Тезисы межд. конференции &quot;Real-Time Data - RTD- 94&quot;, Дубна, июнь 1994.</p> <p>Крюков В.А., Максимов А.В., Петренко А.К., Полилова Т.А. Иерархическое конфигурационное управление.- Программирование, 2,1994.</p> <p>The RAISE Language Group. The RAISE Specification Language.- Prentice Hall, 1992.<br />»</p> mybb@mybb.ru (Лис) Wed, 11 Feb 2026 16:47:01 +0300 https://plana.mybb.ru/viewtopic.php?pid=11896#p11896 https://plana.mybb.ru/viewtopic.php?pid=11894#p11894 <p><a href="https://github.com/true-grue/Compiler-Development" rel="nofollow" target="_blank">https://github.com/true-grue/Compiler-Development</a></p> <p>&quot;Что читать о разработке компиляторов&quot;</p> <p>ещё по теме:<br /><a href="https://github.com/topics/compiler-construction?o=desc&amp;s=stars" rel="nofollow" target="_blank">https://github.com/topics/compiler-cons &#8230; mp;s=stars</a></p> mybb@mybb.ru (Лис) Wed, 11 Feb 2026 11:17:41 +0300 https://plana.mybb.ru/viewtopic.php?pid=11894#p11894 https://plana.mybb.ru/viewtopic.php?pid=11892#p11892 <p>1966, Логический язык для представления алгоритмов синтеза релейных устройств,<br />&#160; &#160; <a href="https://search.rsl.ru/ru/record/01006319496" rel="nofollow" target="_blank">https://search.rsl.ru/ru/record/01006319496</a></p> <p><a href="https://plana.mybb.ru/viewtopic.php?id=350">см. также</a></p> <p><a href="https://en.wikipedia.org/wiki/LYaPAS" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/LYaPAS</a><br />&#160; &#160; (нет русской статьи)</p> <p>А. Д. Закревский, Н. Р. Торопов. Система программирования ЛЯПАС-М. Мн.: Наука и техника, 1978, 220 с.</p> <p>Торопов Николай Романович ЯЗЫК ПРОГРАММИРОВАНИЯ ЛЯПАС // ПДМ . 2009. № 2. URL: <a href="http://cyberleninka.ru/article/n/yazyk-programmirovaniya-lyapas" rel="nofollow" target="_blank">http://cyberleninka.ru/article/n/yazyk- &#8230; iya-lyapas</a></p> <p>LYaPAS: a programming language for logic and coding algorithms, Gavrilov, M.A. Zakrevski&#301;, A.D., Academic Press 1969</p> <p>Закревский А. Д. ЛЯПАС — логический язык представления алгоритмов синтеза // Теория автоматов. Киев: ИК АН УССР, 1964. С. 3–29.</p> mybb@mybb.ru (Лис) Wed, 11 Feb 2026 10:43:47 +0300 https://plana.mybb.ru/viewtopic.php?pid=11892#p11892 https://plana.mybb.ru/viewtopic.php?pid=11890#p11890 <p><a href="https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%BF%D0%B8%D1%80%D0%B0_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)" rel="nofollow" target="_blank">https://ru.wikipedia.org/wiki/Рапира_(язык_программирования)</a></p> <p>построен на основе объединения возможностей языков Сетл и Поплан</p> mybb@mybb.ru (Лис) Wed, 11 Feb 2026 02:01:19 +0300 https://plana.mybb.ru/viewtopic.php?pid=11890#p11890