Доделал свой итеративный вариант, он проходит без увеличения памяти и
стеков до N=10 (сто тысяч) за 1м40сек (100 сек).
1 (десять тысяч) проходит за 1 сек.
// Здесь строка eS еще не проверена на отсутствие повтора в ее начале
EX1 sN eS : {
// Goal!
0 e = eS;
// eS is unacceptable
sN
Сергей, там два $Iter-а: один во вспомогательной функции Unacceptable?
(распознает присутствие равных смежных подстрок), он действительно по
(половине) длины строк и соответствует моему образцу vA vA e, а другой -
внутри основной функции Extend?, он всего на 3 итерации и соответствует
моему клэшу:
Юра!
Ты нигде не написал, какой у тебя был аргумент. 1?
А ошибку я тоже у себя нашел, спасибо.
Арк
PS. У себя на Рефал6 нашел странности.
Для начала проверил, что отождествление vA vA e транслируется также как и
ta eA ta eA e.
Это нормально. Но поиск старого терма делается без оптимизаций, на
У меня на ноуте c Intel Core i7 3630 QM 2.4GHz на Рефале-6 для исходного
варианта EX1
(только ошибку исправил, то есть все как в Рефал+) такие результаты (в
секундах):
11.04
23.93
415.91
865.03
10 102.41
20 418.17
Рост чуть
Спасибо, Александр,
да, этот текст дает определенное представление о Вашей версии языка.
Думаю, можно и нужно сделать на него ссылку с сайта refal.net.
Там есть общий раздел "Диалекты", в котором под заголовком с названием
"диалекта" даются ссылки на возможно другие ресурсы.
Только для
пт, 1 мар. 2019 г. в 00:49, Anton Orlov orlovan_AT_gmail.com :
>
> А за счёт чего получается экономия при выносе первых термов?
> Что переставляется при движении по выражению один указатель (на терм), а
> не два (на конец левого подвыражения и на начало правого)? Я не думаю, что
> здесь можно
Спасибо, Антон.
Я ожидал меньшего (ускорения). Но может это пока аргумент относительно мал
(1, да?).
Для 10 будет, думаю, слабее. Число вызовов растет, грубо говоря,
линейно, а время квадратично.
Аркадий
сб, 2 мар. 2019 г. в 09:26, Anton Orlov orlovan_AT_gmail.com :
>
>
> On Fri, Mar 1,
Антон, спасибо,
я тоже решил на этом коде немного поупражняться в чтении и понимании
Рефала-Плюс, что дается мне нелегко. Вроде все разобрал, но при этом мне
показалось, что тут есть ошибка (в смысле, что результат не лучший). А
именно, что будет в результате
?
Я бы ожидал результат (VVAR), но
Идея интересная (сужу пока только по аннотации-письму), жаль, что так и не
опубликовали - это нужно ведь не только для автора. Можно представить
разные направления развития, а сослаться-то и не на что. А я так и не
понял, оно было реализована в рефале-7 (помимо курсовой Медведевой)?
Аркадий
пн, 4
Все это верно, но это же не имеет отношения к примеру о цепочках из
учебника по Р+. Рекурсия там - не хвостовая. И как писал Юра (26.02):
<<<
Пример с двумя iter из документации в приложении. Требует heap'а чуть
поменьше (1ГБ против 2ГБ). Считает 10.5 секунд.
>>>
Значит, все-таки требует ГБ
Чтобы понять, лучше ли iter чем рекурсия, я переделал последний вариант EX1
(хотя рекурсия там тоже не настоящая, хвостовая) через $iter. Антон или
Юра, сможете пропустить? А то я пока не умею этого.
Правда, вряд ли заметно ускорится, поскольку основное время здесь,
по-видимому, уходит все-таки на
Василий, Ваши результаты меня удивляют. Вроде для 1 время выполнения
ожидается в 100 раз меньше, чем для 10. А у Вас первый проходит "менее
чем за минуту", а последний - "более чем 5,5 минут". Формально, конечно,
нет противоречия. Вы не ошиблись? Замерьте, пожалуйста, еще раз для тех же
Я не только дочитал, наконец, но и внес свои правки-дополнения (в раздел по
Рефал-6, и чуток по Рефал Плюс), поместив этот замечательный текст в
doc-файл, который можно взять по ссылке:
https://www.dropbox.com/s/eq4yv9g7atu59d7/CompareRefals.doc?dl=0
Я подумал, что хорошо бы моему примеру
Спасибо, Александр,
Вы совершенно точно описали проблему, связанную с моим вопросом к авторам
реализации Р+.
Да, вопрос в том, как будут работать "дырки" вокруг образа, если выражение
"дышит": не только наращивается, но и сокращается иногда, а потом снова
наращивается по-новому.
Тут поведение
вт, 5 февр. 2019 г. в 18:00, Александр Коновалов a.v.konovalov87_AT_mail.ru
:
>
> И ещё вопрос: почему суперкомпилятор Николая Кондратьева называется
> «полусуперкомпилятором»?
>
> Наверно, потому же, почему вы свой называете "плохим".
Просто, чтобы не претендовать на полноценность.
Аркадий
>
>
Вы читали недавнюю переписку под заголовком "Синтаксический анализ в
рефале"? Там была некоторая информация о некоторых реализация. Например, в
моих письмах от 1 февраля.
пт, 8 февр. 2019 г. в 18:35, Александр Гусев gusev_aleksandr_AT_mail.ru <
refal@botik.ru>:
> Доброго времени суток всем!
>
>
Насколько я знаю, в каком-то законченно-оформленном виде такой информации
сейчас нет.
Сейчас у меня появилась мысль, и хочу всем апологетам того или иного
диалекта, написать небольшой текст в свободной форме на 2-3-5 страниц с
описанием особенностей их "любимых" версий языка и их реализаций - что
Здравствуйте, Александр!
Прошу прощения за некоторую задержку, пришлось немного повозиться, приводя
в порядок версию дистрибуции. В принципе, есть все на сайте refal.net, но
сильно старое, с тех пор довольно много было правок. Вот та страничка:
http://refal.net/~arklimov/refal6/index.html
То, о чем написал Сергей действительно полезно на практике. У меня написана
некая система работы с полиномами, и там обрабатываются неравенства вида
P(x,y,...) < K, где K - целое число, а P не содержит свободного члена. В
списке таких неравенств часто надо находить неравенства с общей левой
частью
Может ли кто ответить на такие вопросы по реализации Рефал+ на C++ (в
статье они не обсуждается - не тот уровень абстракции):
1.Какая организована работа с памятью? Какой менеджер памяти используется?
Свой или каждый новый чанк через malloc запрашивается?
2.Используются ли счетчики ссылок? Или
Вы правы, Александр. Что интересно, такой проект существовал (может вы уже
слышали о нем?), его инициировал Николай Кондратьев на рубеже 80/90-х, и я
немного лепты внес. Собственно, оттуда и пошел Рефал-6.
Но кроме собственно Рефала-6, который и сейчас активно используется (по
меньшей мере мной),
Интересно услышать, что практикующие (практиковавшие в прошлом)
рефал-программисты считают сложным в новых версиях языка (5-6-плюс-7).
Вложенные блоки? Откаты? Условия?
Сам я считаю лишними только разные экзотический элементы вроде
отсечений-заборов, отрицаний, $iter, двойного двоеточия.
Да наверно можно пользоваться любым из упомянутых, хотя лично я, конечно
же, привержен рефалу-6, как его соавтор в какой-то мере. Документацию
(подробное описание входного языка с примерами) можно посмотреть на сайте
refal.net:
http://refal.net/~arklimov/refal6/manual.htm
Там есть и дистрибутив,
Добрый вечер, Александр!
пт, 1 февр. 2019 г. в 18:56, Александр Коновалов a.v.konovalov87_AT_mail.ru
:
> Добрый вечер, Аркадий!
>
> *«Интересно услышать, что практикующие (практиковавшие в прошлом)
> рефал-программисты считают сложным в новых версиях языка (5-6-плюс-7).»*
>
> Интересный вопрос.
Машинные операции - мы сейчас обычно используем термин "встроенные функции"
- обычные более менее, распараллеливания нет. В явском варианте, наверно,
нетрудно сделать что-то через RPC (remote procedure call)
Есть ящики-вектора (модифицируемые), хранящие плотно упакованные выражения
по 4 байта на
Пересылаю в группу письмо Игоря. Он пишет, что писал в группу, но
безрезультатно.
Да, я оттуда тоже это письмо не получал. Может у Игоря что-то не так с
доступом?
Аркадий
-- Forwarded message -
From: Щенков Игорь
Date: сб, 2 февр. 2019 г. в 12:54
Subject: Re: Синтаксический
Хм, возможно Вам будет интересен вот этот проект
https://blockly-demo.appspot.com/static/demos/code/index.html?lang=en#znbt8h
Меня тоже оно заинтересовало, поскольку хочется в визуально-графовой форме
создавать и обрабатывать программы в некоем специальном представлении.
Пока думаю, что это
Александр, спасибо, что реанимировали старую дискуссию.
Считаю, эта тема по прежнему трепещет и требует внимания.
Поэтому я даже перенес тексты писем моего и Михаила в docx-файлы, которые
прилагаю.
Правил только форматирование, содержание сохранил вплоть до стилистики.
Тему вынес в имена файлов.
чт, 5 дек. 2019 г. в 21:51, Александр Коновалов a.v.konovalov87_AT_mail.ru <
refal@botik.ru>:
> Добрый вечер, Аркадий!
>
> *«Александр, спасибо, что реанимировали старую дискуссию.»*
>
> Некропостинг эпический. Реанимируем дискуссию 20-летней давности. Когда Вы
> писали то письмо, мне было 12
А я не понимаю, почему для совместимости с Р5 нужно было вводить в Р5λ
целые числа в том же уродливом формате, как в Р5. Вот например в Р6 целое
это всегда символ, но это не мешает для выполнения под Р6 программ на Р5
сделать переопределение нужных функций. В Р6 я так сделал все
переопределения в
вс, 1 дек. 2019 г. в 21:18, Александр Коновалов a.v.konovalov87_AT_mail.ru <
refal@botik.ru>:
>
> Статическая типизация Рефала обсуждалась в этой рассылке в незапамятные
> времена (KOI8-R):
>
> https://mazdaywik.github.io/direct-link/refal-botik-ru/refal/0005.html
>
О, спасибо! Получилось!
пн, 2 дек. 2019 г. в 21:07, Александр Коновалов a.v.konovalov87_AT_mail.ru <
refal@botik.ru>:
> Добрый вечер, Аркадий!
>
> Его можно читать. Открываете ссылку в Internet Explorer, щёлкаете правой
> кнопкой мыши, «Кодировка» → «Дополнительно» → «Кириллица (KOI8-R)».
>
> В
Александр, как же так, вы же писали что в синтаксисе вещественных констант
нет, как же это вы скомпилировали, и выполнили?
У меня это тоже не компилируется, точнее неправильно компилируется.
Но в самом рефале вещественные числа есть. Вопрос в том, как получить
первое число. Если вещественное
Как инструмент изготовления картинок SVG наверно вариант, но там была нужна
интерактивность, были также средства принимать сигналы от мышки, а это
можно делать только через экран.
Зачем это "нужно было мне"? Просто чтобы на рефале писать интерактивное
приложение с богатым графическим UI,
Александр, а можно попросить вас пропустить вариант для 176100 вместо 4
- тогда результаты (времена) будут сопоставимы.
Я подумал еще об одной оптимизации. Сейчас произведение простых формируется
сразу, а ведь оно может и не понадобиться.
То есть для последнего "поколения" эта работа лишняя.
чт, 10 окт. 2019 г. в 18:32, Sergei M. Abramov abram_AT_botik.ru <
refal@botik.ru>:
> День добрый, всем!
>
> > То есть для последнего "поколения" эта работа лишняя.
>
> А что такое последнее поколение, если я строю список всех простых
> чисел?
>
> Да, всех, но не сразу ведь.
Сначала весь
Немного встряну про параллелизм.
Имхо существенное ускорения получается там и тогда, когда единицы
распараллеливания достаточно крупны (при том, что их достаточно много).
Сегодня это не менее 10 мкс или 10 Кфлоп. Собственно, об этом упоминал
Леонид (проблемы функций с малыми временами, накладные
Я бы упомянул еще один вид параллелизма - ИЛИ-параллелизм. В строгом смысле
в рефале места для него сейчас нет.
Было бы, если бы кроме отождествления "слева" и "справа" добавить "любое" -
подходит любой вариант
длины открытой е-переменной. Или если ввести "машинную операцию" типа
=
применять tF к
Да, конечно, это непросто. Я обычно предполагал, что при порождении
ИЛИ-группы будет создаваться некий общий объект типа Bool, который
сбрасывается, когда кто-то закончит, и он всем по ссылке передается, чтобы
поглядывали, и если он сброшен, то пора отменяться. Насчет вложенности
особо не думал
Сообщаю интересующимся, что наконец залил презентацию своего доклада (в
формате pptx).
Надеюсь теперь будет понятнее, а то статья получилась сумбурная и потому
трудно читаемая.
Ее, как и статью, можно найти среди докладов (скажем, по фамилии автора) в
разделе *Доклады* сайта конференции
Отвечая на просьбу организаторов конференции, сообщаю коллегам о том, что
проводится в режиме заочного интернет-форума
Всероссийская с международным участием научно-техническая конференция
*"Проблемы разработки перспективных микро- и наноэлектронных систем"*
*МЭС-2020*
Зарегистрировавшись на
Форвардирую для информации
-- Forwarded message -
От: Arkady Klimov
Date: пн, 28 дек. 2020 г. в 21:05
Subject: Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve
meeting of the CS Interlaboratory Seminar Novosibirsk + Innopolis + ...
To:
Hello, Nikolai.
I wish to
Я тоже начал было писать про "настоящее выворачивание", но Александр меня
опередил.
Да, это оно самое. Мне такой стиль не нравится, и сам я так не пишу.
Возможно, потому, что Рефал-6 позволяет не экономить на копированиях, и я
предпочитаю рекурсивный стиль. Но хочу высказаться в защиту этой формы,
Александр, Вы же сами пишете, что частью языка Рефал Плюс являются форматы,
- это и есть то решение, которое и предполагалось, и осуществлено в Рефале
Плюс.
Что касается компиляции Рефала-5 в бэкенд Рефала Плюс, то именно
предполагалось, что форматы будут по возможности выявляться динамически, по
Александр, добрый день!
Очень интересная идея, спасибо!
Мне она не приходила в голову.
Аркадий
чт, 4 февр. 2021 г. в 11:23, Александр Коновалов a.v.konovalov87_AT_mail.ru
:
> Доброе утро, Аркадий!
>
> *«Есть и другой вариант — использовать модель стека в форме слова
> в некотором алфавите.
Александр, добрый день!
Тоже извиняюсь за задержку, затерялось Ваше письмо.
Вопрос хороший, я постоянно (время от времени) подумываю насчет реализации
Рефала в этой модели. Да, видимо тут нельзя предложить какой-то общей
интерпретации индексов. В обычных задачах у нас индексы имеют
содержательный
Александр, спасибо,
однако я пока не уверен, что понимаю, что это за штука такая. Не могли бы
Вы еще добавить в Ваш док небольшое описание возможных сценариев
использования, от начинающих изучать рефал до каких-то продвинутых
приложений. И немного подробнее по взаимодействию между задачами и
Добрый день, Василий!
Не знаю за других, но я сидел неделю в отпуске на даче и комп не включал.
Поэтому и молчал.
Я поддерживаю мысль о специфическом рефал-мышлении. Когда-то, не имея
рефала под рукой, приходилось писать на С алгоритмы логического вывода -
так я их просто записывал на рефале на
Добрый день, Василий!
Не знаю за других, но я сидел неделю в отпуске на даче и комп не включал.
Поэтому и молчал.
Я поддерживаю мысль о специфическом рефал-мышлении. Когда-то, не имея
рефала под рукой, приходилось писать на С алгоритмы логического вывода -
так я их просто записывал на рефале на
Не, не противоречит. Может я неточно выразился: "минимализм" тут как бы
относительный, это как "цена" в соотношении "цена-качество", где "качество"
- это богатство выразительных средств. Цена чуть больше, но качество много
больше. Но конечно, возникает вопрос: а что, собственно, мы получаем взамен
Попытаюсь тоже конкретизировать свое представление о рефал-мышлении.
1. Рекурсивный функциональный стиль - да, но это есть и в Лиспе (и многих
других языках).
2. А прежде всего - представление об элементарном шаге как о дереве
решений, причем не обязательно двоичном, где на ветвях - предикаты,
Да тоже плохо помню, могу сказать только вообще, что непрозрачность это как
бы дополнительная фишка, о которой надо еще позаботиться, а без нее все
проходит через стек переходов (вроде бы), который и так уже есть для
образцов со многими е-переменными.
К слову, хотел бы заметить про
Первая задача мне показалась весьма сложной, а вторая - наоборот, столь
простой, что я даже сначала подумал, нет ли какого подвоха, вроде не нашел
и успокоился. О первой думал долго (больше 5 минут, наверно), нашел простой
вариант с нарушением непрерывности в одной точке, и долго не мог понять,
Завтра, в среду, 26.5, мы с Андреем выступаем с докладами на XXII
Международной конференции Харитоновские Тематические Научные Чтения
"Суперкомпьютерное моделирование и искусственный интеллект", которая
проходит в регулярно в Сарове. Секция 2:
9.10 – 9.30 ДЕТЕРМИНИРОВАННОЕ ПАРАЛЛЕЛЬНОЕ
*"Данный суперкомпилятор умел повышать местность функций и распознавал
«параметры-призраки» — параметры, при передаче значений в которые не нужно
инкрементировать счётчики ссылок."*
Хочу уточнить, чтобы не было недоразумений, что "полусуперкомпилятор" из
Рефала в С состоял из двух отдельных
Мы ведь обычно проводим в начале апреля семинар памяти Турчина. Если в этот
раз получится (по Zoom), можем обкатать и рекомендовать что-то и на PSSV.
Надеюсь, еще не поздно будет?
Аркадий
вт, 16 февр. 2021 г. в 17:09, 'Shilov Nikolay' via Метавычисления и
специализация программ :
> (1) Вот
Да, написано с уважением, но без понимания (типа слышал звон ...). Написал
бы я коммент, да не нашел как.
А автор там указан - Антон Семин (справа вверху).
Аркадий
пн, 2 авг. 2021 г. в 10:29, Александр Гусев gusev_aleksandr_AT_mail.ru <
refal@botik.ru>:
> Добрый день, коллеги!
>
> Интересную
Спасибо, Бойко, это очень дельно.
Хочу только уточняюще спросить: что такое REPL?
пн, 20 февр. 2023 г. в 11:55, Boyko Bantchev boykobb_AT_gmail.com <
refal@botik.ru>:
> На теме живучести Рефала позволю себе вставить свои 2 копейки (или
> 2 стотинки).
>
> Живучесть языка зависит от привлечения к
А, понятно, спасибо. Я не знал такой аббревиатуры. С таким режимом знаком,
да, это удобно (python, sml, matlab). И в Рефале-6 я этим пользуюсь.
Функция ask его вызывает. Из командной строки: ri i+*ask. И дальше можно
набирать вызовы функций, скажем, . Однако тут можно только
вызывать только
Это видимо о том, что котик Шредингера может быть и жив и мертв
одновременно. Зависит от наблюдателя.
пт, 17 февр. 2023 г. в 18:21, Стеллецкий Василий sw710_AT_yandex.ru <
refal@botik.ru>:
> > И ничему-то нас Шредингер не научил...
> Виноват, Сергей Михайлович, не понял.
> А чему нас не научил
Я подумал, что ЧатГПТ будет правильным использовать как источник информации
по каким-то профессиональным темам. Решил начать с динамических частичных
вычислений, которые меня реально интересуют. Результаты меня потрясли. (К
сожалению, форматирование выдачи несколько кривое для вставки в письмо.
Мне кажется, было бы интересно задать ЕМУ вопрос, который когда-то самого
интересовал и до ответа на который когда-то с трудом докопался. Насколько
ОНО могло бы тогда помочь? Вот я вспомнил одну свою задачку.
Будем играть в такую игру (сам с собой). Перед нами 5 лунок, в которых
могут лежать
Даже чуть раньше - еще на словах
Так как диагональ ромба является диаметром окружности, то она равна 2R.
Тут ОНО перепутало ромб с прямоугольником (диагональ ромба с диагональю
прямоугольника).
пт, 7 апр. 2023 г. в 17:29, Andrei Klimov andrei_AT_klimov.net <
refal@botik.ru>:
> On Fri, 7 Apr
А вот еще задачка, теперь по школьной геометрии:
A rectangle is inscribed in a circle of radius R. The midpoints of the
sides of the rectangle are vertices of a rhombus. What is the side of the
rhombus?
-
Let ABCD be the rectangle inscribed in a circle of radius R, where
А ты какую модель использовал: GPT-3.5(turbo) или GPT-4? Пишут, что первая
в 20 раз дешевле и втрое быстрее, но менее точная.
Я пользовался https://chat.openai.com/chat, там не пишут про модель,
надеюсь четвертая, только за деньги (20$ в месяц) будет лучше с
приоритетом исполнения.
Только
А вот chat.openai.com вполне разумный дал ответ на тот же вопрос.
At what time of the year does twilight pass faster?
Twilight is the period of the day when the sun is below the horizon but its
rays illuminate the sky. It is divided into three stages: civil twilight,
nautical twilight, and
Мое первое впечатление было от этого примера, что этого ИИ как "студента"
или "научного сотрудника" можно охарактеризовать словами "наглый профан".
Наверно преподаватели сталкивались с такими типажами студентов и это
довольно неприятно. Они готовы нести всякую правдоподобную
наукообразную ахинею,
Всем добрый день!
Когда-то, еще в 80-е и даже 90-е "в воздухе висела" как бы задача
строить, улучшать, развивать реализации рефала, последний всплеск пришелся
на нулевые - Refal Plus, Refal-Java. Сейчас этого вроде бы нет, возможно
поэтому и возникает ощущение, что Рефал умер... Но: в том же
68 matches
Mail list logo
