kotopes | Reading

Вынесу из комментов, где

chaource предложил реализацию на Хаскеле.

В исходной статье Робинсона алгоритм звучит не особо ясно.

The following process, applicable to any finite nonempty set A of well-formed expressions, is called the Unification Algorithm:
Step 1. Set σ₀ = ε and k = 0, and go to step 2.
Step 2. If Aσₖ is not a singleton, go to step 3. Otherwise, set σ_A = σₖ, and terminate.
Step 3. Let Vₖ be the earliest, and Uₖ the next earliest, in the lexical ordering of the disagreement set Bₖ of Aσₖ. If Vₖ is a variable, and does not occur in Uₖ, set σₖ₊₁ = σₖ {Uₖ / Vₖ}, add 1 to k, and return to step 2. Otherwise, terminate.

Переведём на современный язык.

Step 1. Initialization
Start with a substitution σ₀ = ∅.
Let k = 0.
Continue to Step 2.
Step 2. Check Whether Unification Is Complete
Apply the current substitution σₖ to the entire set A, producing Aσₖ.
If all resulting expressions in Aσₖ are identical, the algorithm stops and returns σₖ as the most general unifier.
Otherwise proceed to Step 3.
Step 3. Find a Disagreement
Identify the first position (in a left-to-right, top-down scan) where two expressions in Aσₖ differ.
Let the disagreeing subexpressions be p and q.
Step 4. Process the Disagreement
Depending on the form of p and q:
1. If one is a variable and it does not occur inside the other term (occurs-check in modern terminology):

Construct a substitution that maps that variable to the other term.
Compose this substitution with the current one to produce Aσ_k+1.
Increment k; return to Step 2.
2. If both are variables but different:

Substitute one variable with the other, compose as above, and repeat Step 2.
3. If both are compound expressions with different functors or different arity:
Unification fails; the set has no unifier, and the algorithm terminates unsuccessfully.
4. If both are compound expressions with the same functor and arity:

Add their corresponding arguments to the set of expressions being unified.
Return to Step 2.

Бегая глазами по исходникам unify.gisp и по описанию, вроде всё однозначно соответствует, разве нет? Дело же не в количестве строк, а в лёгкости понимания.

avva

Миша Вербицкий написал очень интересное (для меня по крайней мере) о сомнительном основании у некоторых частей современной математики:

"...есть целые области математики, у которых отсутствует фундамент, начисто, то есть никакого способа обосновать результаты нет. Научиться им очень трудно, потому что в силу отсутствия корпуса фундаментальных текстов, можно узнать, что верно или что нет, только в личном общении. Например, выучить симплектическую геометрию, не имея адвайзора, который ею занимается, невозможно (я знал одного студента, который сие не понимал, и пытался освоить симплектическую геометрию самостоятельно; то ли дурак, то ли аутист, а скорее всего и то и другое. Поболтался в Израиле и вернулся в сраную, сейчас работает в школе, в общем результат предсказуем).

Вот тут чудесные очерки крестового похода, который
ведет знаменитый математик Алекс Зингер, разоблачая
попытки обосновать пачку фундаментальных результатов
симплектической геометрии:
https://www.math.stonybrook.edu/~azinger/

Вот еще статья, про другую проблему, с аналогичным статусом:
https://www.quantamagazine.org/the-fight-to-fix-symplectic-geometry-20170209/

(несколько коллективов весьма великих ученых заявляют, что они-то все строго построили, при этом разоблачают аналогичные утверждения конкурентов; по факту, какая-то степень строгости есть у каждого, но до настоящего доказательства им очень далеко).

Вот тут это обсуждают
https://www.reddit.com/r/math/comments/kwp2de/controversy_in_symplectic_geometry_zinger_ruan_li/
https://www.reddit.com/r/math/comments/5t3n48/a_fight_to_fix_symplectic_geometrys_foundations/

Сами результаты, конечно, верны, а ученые, которые эти тексты написали, люди весьма уважаемые и квалифицированные, несмотря на ошибки, местами неприличные; но фундамент у сей науки осутствует и по сей день. Куча народу заявляет, что у них оно есть, но по факту что-то доказано только в весьма ограниченной ситуации, либо вообще толком не доказано. Знающие люди знают, чем можно пользоваться, а чем нет, и существенных противоречий в математике доселе не накопали. Но в принципе, могут, конечно, накопать, и тогда какие-то из статей придется переписывать."

Я почитал некоторые из полемик Зингера по ссылке, это действительно эпично выглядит - и достаточно неприглядно.

Есть знаменитый в истории математики случай с "итальянской школой алгебраической геометрии", где в начале 20 века была похожая ситуация, результаты были мягко говоря не строго доказаны, и постепенно из "нет точных доказательств, но результаты верны" перешло в "сами результаты неверны" и весь этот карточный домик схлопнулся.

Но я не знал, что есть что-то похожее в наше время (кроме спора о гипотезе ABC, но это немного другое).

avva

Понравилось рассуждение Николая Власова в ФБ про "учителя и гидру". Процитирую часть его поста:

"Беседуя со студентами о когнитивных искажениях, я неизменно привожу один хорошо знакомый им пример, который условно называю «учитель и гидра». Представьте себе: класс, в который пришло всего пять человек из двадцати. И педагог, который приходит в этот класс и вываливает на головы немногих присутствующих все свое возмущение этой ситуацией.

Знакомо? – спрашиваю я студентов. И большинство неизменно кивает.

В чем смысл действий педагога? Ведь весь негатив выливается не на тех, кто прогулял занятие, а на тех, кто дисциплинированно пришел. Именно им приходится чувствовать себя без вины виноватыми, пока вызвавшие гнев педагога спокойно сидят дома. В этом нет ни справедливости, ни логики. Казалось бы, гораздо правильнее похвалить тех, кто пришел, сделать им хорошо, а не плохо. Но педагоги сплошь и рядом поступают ровно наоборот.

Мне могут ответить, что педагог в этой ситуации не думает о рациональном, а просто дает волю своим эмоциям. Отчасти это так. Но заметьте: ругает-то он (или она) не отсутствующих, а присутствующих! Редко кто скажет: «ОНИ опять прогуляли, у НИХ будут проблемы». Обычно звучит: «ВЫ плохо ходите, ВЫ совершенно не уважаете мой труд, у ВАС ужасный класс!» Как будто присутствующие виноваты в том, что другие не пришли.

Разгадка в том, что педагог действительно подсознательно считает их виноватыми. Потому что воспринимает – подчеркну еще раз, подсознательно воспринимает - класс (или группу) не как набор индивидов, а как единое целое. Своего рода гидру с двадцатью головами, из которых пришло только пять, и если этим пяти сделать больно, то больно станет всей гидре, и она в следующий раз придет в полном составе."

Очень метко, по-моему!

voblya_river

Если можно нарубить на вторую хату в Мацква-Сити - то надо рубить! И нехуй тут...

Зеленский отказался обсуждать план по украинскому урегулированию, передает Axios
Спецпосланник США Уиткофф отменил встречу с Зеленским, когда выяснилось, что тот не хочет обсуждать план по украинскому урегулированию

Пока Одессу, Николаев и все, что до Днепра не проебёт - не будет сливаться, как пить дать. Хотя Пыпа уже явно пригорюнися с этой движухи.

trim_c_feed

https://trim-c.livejournal.com/5710654.html

Это тезисное изложение статьи обозревателя Холмана Дженкинса для The Wall Street Journal. Главный комментарий заранее дала американская журналистка Джилл Догерти: «Путин идет в одном направлении. Я не уверена, что американская администрация понимает, что для Путина значит “перемирие” или “мир”, что для него значит “конец войны”». Мне вот тоже кажется что Трамп этого не понимает. А чего не понимает Трамп, того не понимает американская администрация - такая вот у нас теперь демократия, которая "допускает небольшую долю диктатуры и называется подлинной" (почти по Жванецкому). В общем смотрите, читайте и радуйтесь
----------------------------------------------------------

▪️Пора признать, что Владимир Путин, вероятно, считает, что любое реалистичное прекращение войны на Украине на условиях переговоров поставит под угрозу его правление.

▪️Такова суть нового заключения американской разведки, которое распространяется в Капитолии. Путин не может оправдать гибель людей и растрату средств, поэтому они должны продолжаться.

▪️То же самое утверждает и эксперт по экономике России Андерс Аслунд: «Россия больше не пытается выиграть войну. Она стремится к длительной войне, которую она сможет продолжать».

▪️Историк Марк Галеотти считает Путина «стариком в бункере», парализованным неопределенностью предложений Трампа, которые могли бы позволить ему выйти из дорогостоящей и бесполезной кампании.

▪️Елизавета Фохт из Би-би-си утверждает, что Путин упустил возможность в самом начале, когда Дональд Трамп был готов оказать давление на Украину в его интересах. Каскадные последствия включают перевооружение Европы и нежелание Трампа участвовать в решении проблем Путина.

▪️Как дело могло дойти до такой точки? Давайте посмотрим на это с точки зрения консеквенциализма.

▪️Экономика учит, что решения принимаются на пределе возможностей — каковы затраты и риски следующего выбора? Если война закончится, 700 000 солдат, подписавших бессрочные контракты (и до сих пор живых), вернутся домой после долгой изоляции на фронте, измученные и травмированные, многие из них — преступники, которых вытащили из тюрьмы. Средства, поступающие в бедные регионы в виде надбавок за вступление в армию и пособий в случае смерти, иссякли бы.

▪️Путин допустил ошибку 24 февраля 2022 года и с тех пор не может найти ответ. Он не знает, что делать.

▪️Сегодня это крылатая ракета с ядерным двигателем и ядерной боеголовкой. Завтра — гигантская торпеда, призванная уничтожить порт не ядерным взрывом, а, по какой-то причине, радиоактивным цунами (в чём смысл?).

▪️Неофициальные толмачи Путина обходят вниманием западных лидеров и объясняют: «Учитывая серьезную угрозу со стороны ядерного арсенала России, США в конечном итоге придется уважать власть Москвы и вести переговоры — нравится им это или нет».

▪️Но НАТО и администрация Трампа не впечатлены. Эта война — экзистенциальная для Путина, а не для России. Путин не нажимает на курок всеобщего призыва, который сэкономил бы ему миллиарды, потому что это может ускорить его собственное свидание с фонарным столбом.

▪️В ответ Трамп заявил, что США возобновят собственные ядерные испытания. Это вызвало вопли технократов, которые заявили, что это непрактично и излишне. Они упускают суть. Это послание было прямо противоположным: давайте умиротворим Россию, чтобы избежать Третьей мировой войны.

▪️Лишить самолюбия обладателя ядерного оружия — дело опасное. Но у Путина нет достойного ответа на ситуацию, которую он сам себе создал. Россия все еще не обладает силами, необходимыми для достижения решающих успехов на поле боя.

▪️Среднестатистический американец слышит постоянные разговоры о мирных переговорах и думает, что всё под контролем. Но это не так. Трамп оказался в ситуации Джо Байдена. У него нет другого выбора, кроме как поддерживать Украину (пусть и косвенно, чтобы умиротворить свой электорат), «до тех пор», пока в Москве что-то не изменится.

▪️Конечно, консеквенциалистский анализ палка о двух концах. Почему бы просто не позволить Украине потерпеть неудачу? Ответ придется отложить на другой день.

https://t.me/brieflyru/39364
-------------------------------------
Именно консеквенциалистский анализ отчетливо показывает, почему Трамп не может на это пойти. По сегодняшней ситуации это приведет к неизбежному поражению на ближайших выборах. Этого следствия такой политики вполне достаточно, чтобы Трамп не пошел по этому пути.

НО есть и другие последствия. Европа не может допустить такого результата, по этой причине война все равно продолжится, но отношения с Европой будут испорчены. Это может толкнуть Европу к дальнейшему сближению с Китаем, а Китай толкнуть к попыткам силовым способом решить проблему Тайваня, учитывая уже проявленную слабость США и отсутствие у США надежных союзников. А этого следствия не может допустить уже не толь ко Трамп - оно неприемлемо для всего американского истеблишмента.

Так что как раз консеквенциалистский анализ указывает на то, что Америка может угрожать Украине таким решением, может сделать в этом направлении еще пару шагов (несколько шагов в этом направлении Трамп уже сделал), но далеко пройти по этой дорогие Трампу скорее всего не удастся.

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

А без его дуновения дело не пойдет далеко. Вот пример Путина, он поверил в силу армий, а не силу духа, а теперь не может остановить процесс и движется к неизбежному финалу.

Я так думаю, как любил говаривать один шофер-армянин, большой друг летчика-грузина.

https://trim-c.livejournal.com/5710654.html

scif_yar

Полечился электричеством. 250$, бля.

Морально неприятно. ФИзически терпимо - намазали кремом с анастетиком и лазером пыш пыш.
Но где новые методы?
Желаю лечиться крисп касп и прочим ГМО!

avva

Из текстов нам известно, что в туалетах древнего Рима была такая штука, ксилоспонгий, буквально "губка на палке".

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

СЯУ, что в 2009-м году вышла ученая статья историка-античника, убедительно это опровергающая. Она проходится по всему небольшому числу текстов, где упоминается xylospongium (самый знаменитый - у Сенеки, где описывается, как гладиатор покончил жизнь самоубийством, затолкав себе эту губку в горло), и показывает, что нигде прямо не говорится, что этим вытирали зад. Альтернативная теория, что это было устройство для очистки самого туалета, гораздо более логично выглядит.

В эпическом комментарии на Реддите (англ.) пересказывают основные пункты статьи. Не буду цитировать подробные обсуждения источниках, ограничусь только здравым смыслом, мне понравилось:

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

jack_kipling

Майна нвшего, так сказать, Рида понимаешь, что велик могучим английского языка. Можно вывести парня из североирландского Баллирони, но британское образование, причем неоконченное высшее, не выведешь никакими годами войн и приключений в Техасе и Мексике среди дикси, а потом в Нью-Йорке с янками включая самого По.

В детстве несколько удивляла цветистость и пурпурность стиля, особенно в описании природы, но в оригинал ееще круче. Имключительное богатство языка и непомерная щедрость в использовании синонимов, что сразу напомнило собственные школьные годы и требования к сочинениям по русскому и литературе с требованием избегания смертного шреха тавтологий и повторов.

Но, знаете, стоит немного вчитаться и уже настоящая магия майнридовского увлекает за собой, и, все меньше хочется выделять и переводить непонятные слова и теримны, потому как уже приноравливаешься и даже вспоминаешь перевод.
Если одолею этот сборник то и думаю Диккенс будет не страшен

don_katalan

у ХІІІ столітті один трубадур сочинив пьєсу названу "Рубєно і Маріон".
Це була весела оперета, можливо навіть перша в світі оперета (бо стала дуже популярна і її почали наслідувати).
Але контекст вас шокує, якщо ви не середньовічна людина.
Отже, лицар на ім'я Ой-Берт їде на полювання. губить сокола і замість птаха знаходить чудову селяночку на ім'я Маріон. Він намагається її звабити, певний що вона погодиться. Маріон фліртує, але запевняє що любить пасторального хлопця на ім'я Рубєн (пишеться окситанською як Робін).
Лицар їде собі далі, збираються селюки, приходить Рубєн, всі весело танцюють. Потім лицар таки знайшов сокола, їда назад і знову бачить Маріон. Він вдруге повторює пропозицію - мовляв, ну ладно, не хочеш в замок до мене, то давай просто тут це зробимо. Маріон знову кокетує і каже що ні, не можна.
Тоді лицар хапає Маріон через сідло та просто везе лісом. Ібо нефиг.
На пусту галявину збираються селюки, весело танцюють, тільки Рубєн засмучений. а де поділася Маріон?( Read more... )

pargentum

Вычитал на педивикии:

Бонус-трек «Козлы» записан на одном из квартирных концертов середины 1980-х годов. В записи участвуют только Гребенщиков и Титов. После исполнения Гребенщиков говорит: «Всегда было интересно, почему этой песне так радуются…».

Current Music: А вот идут мои корефаны - козлы!

pargentum

https://avva.livejournal.com/3809288.html

Почему-то много народу в комментах считают нужным отметить что "не мое" или даже "не читал но осуждаю".

У аввы прокомментировать не могу, его рекаптча с моим VPN сильно не дружит.

Да, первая официальная публикация "Волшебника Земноморья" была в "Науке и жизни" в 1991 году, но самиздатские переводы явно ходили раньше.
Мне именно ле Гуин не попадалась, но у "Аквариума" в "Кад Годдо" целый куплет отсылок, причем к "Левой руке тьмы" просто несомненный, а к "Земноморью"... ну, в другом контексте можно было бы и не заметить.

Watch on YouTube

don_katalan

❗️У Тернополі продовжує збільшуватися кількість жертв внаслідок російської атаки — наразі відомо про 20 загиблих, серед яких двоє дітей, та понад 60 постраждалих.
=====
Ігаль Левін
Каждый день р*сские у*бки убивают мирных жителей в Украине.
Это уже превратилось в страшную рутину, настолько привычную миру, что мировые СМИ все чаще просто обходят такие новости стороной.( Read more... )
И если вы напряжетесь и попробуете вообразить что-то максимально у*бищное и отвр*тное, то все равно перед вами встанет Россия и скажет: "Нет, посмотри на меня".

pargentum

Один дяденька жил один в лесу, а потом подобрал девочку, думал что она просто сирота. А потом оказалось что она вовсе никакая не девочка.

Варианты для разминки:

1. Дяденька жил не один и не в лесу, но девочка-сирота все равно оказалась никакая не девочка
2. Дяденька жил в лесу с мальчиком, а девочка, которая не девочка, с ними не жила, и с самого начала было понятно, что она совсем не девочка.
3. Вариант 2 практически один в один, только вместо мальчика была девочка, а вместо девочки коза.

don_katalan

Пять лет прошло. А люди до сих пор думают, что всё было про здоровье. Смешно, честно. Если копнуть глубже — там совсем другая история. История про то, как за два года мир изменился так, что даже Оруэлл бы охренел.
ПЕРВОЕ. Пока все сидели дома в страхе, крупнейшие корпорации увеличили капитализацию на 40–60%:
• Amazon, Apple, Microsoft вышли из этого в 2 раза богаче…
• Мелкий бизнес обанкротился массово…
• Средний класс стал беднее на треть…
Совпадение? Ага, и Земля плоская.
ВТОРОЕ. Внедрили то, о чём раньше только мечтали:
• QR-коды…
• Цифровой контроль…
• Слежка через приложения…
Раньше за такое по голове дали бы. А тут — «ради вашей же безопасности». И народ сам бежал скачивать всё это дерьмо.
ТРЕТЬЕ. Проверили, насколько люди управляемы. Оказалось — очень:( Read more... )

don_katalan

Ihor Lutsenko
Найбільше, що мені огидно у цій всій історії з Міндічем і його численною компанією - це відсутність уваги до війни, ось що для мене є їх найгіршим гріхом. Але в тому-той й справа, що міндічі тут, на жаль, не одинокі.
Втратити 100 млн під час бойових дій - це справа декількох годин. Це болісно, але це не смертельно. Смертельно, коли люди на найвищих щаблях нашого державного організму і на самій вершині неформальної ієрархії живуть у байдужості до збройної боротьби, яка зараз точиться.
Вони крадуть у нас не стільки гроші, вони крадуть дещо набагато цінніше.
Вони мають формальні повноваження, але їх не застосовують для того, щоб зробити ту ж енергетику - скелет нашого тилу - захищенішою та витривалішою. Що це є, як не прихованим дезертирством зі своєї ділянки фронту?
Вони мають найдорожчий ресурс: зараз це доступ до вуха Верховного головнокомандуючого, якому підпорядкований і тил, і фронт. І вони цей золотий ресурс витрачають для того, щоб шкодити, а не щоб допомагати. Що це є як не диверсією у одній із найнебезпечніших форм?
( Read more... )

trim_c_feed

https://trim-c.livejournal.com/5710534.html

Основатель Amazon Джефф Безос, много лет остававшийся центральной фигурой мировой технологической индустрии, начал новый амбициозный проект — создание ИИ-стартапа Project Prometheus. Название стартапа отсылает к мифологическому герою, который принёс людям огонь. В индустриальном контексте «огонь» безоса — это искусственный интеллект, меняющий способы производства, проектирования и взаимодействия техники с физическим миром.
По мнению NZZ, выбор имени отражает намерение Безоса запускать не просто технологический бизнес, а концептуально новую «промышленную революцию».

Согласно данным The New York Times, на которые ссылается NZZ, стартовый капитал Project Prometheus составляет около 6,2 млрд долларов — часть средств вложил сам Безос. Для молодого стартапа такие суммы беспрецедентны: это один из самых дорогих запусков в ИИ-отрасли.

После ухода с поста CEO Amazon в 2021 году многие считали, что Безос сосредоточится на космической программе Blue Origin и инвестициях в перспективные AI-проекты. Но, по мнению NZZ, его решение занять пост со-гендиректора Project Prometheus говорит о возвращении к активной роли в технологическом бизнесе.

Партнёром Безоса стал учёный Вик Баджадж — специалист по физике и химии, ранее работавший в Google X и Verily. Он известен как одна из ключевых фигур, продвигающих ИИ для промышленного применения.

Курс на индустриальный ИИ, а не на массовые чатботы

Большинство новых ИИ-компаний конкурируют на поле разговорных моделей. Project Prometheus идёт противоположным путём: его цель — искусственный интеллект, который работает в реальном производстве, в инженерных процессах и в сложных технических системах.

По мнению NZZ, ключевые направления стартапа будут включать:

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

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

По мнению NZZ, стартап уже нанял почти 100 сотрудников, среди которых специалисты, переманенные из OpenAI, DeepMind и Meta. Это свидетельствует о стратегии не постепенного развития, а стремительного захвата позиций на новом технологическом фронтире. Безос агрессивно вступил в гонку.

Джефф Безос уже изменил экономику один раз: Amazon превратил интернет-торговлю в глобальный стандарт, а AWS стал фундаментом значительной части цифрового мира — от Netflix до Reddit.

Сегодня перед ним стоит новая задача — революционизировать производство и инженерные системы через искусственный интеллект.
По мнению NZZ, Project Prometheus может стать крупнейшим и наиболее амбициозным проектом Безоса после Amazon, если ему удастся соединить капитал, инженерные ресурсы и стратегическое видение в единую систему.

Настоящая статья была подготовлена на основе материалов, опубликованных Neue Zürcher Zeitung. Автор не претендует на авторство оригинального текста, а представляет своё изложение содержания для ознакомительных целей.

https://briefly-news.com/project-prometheus-smozhet-li-dzheff-bezos-sovershit-novuyu-tehnologicheskuyu-revolyucziyu/
----------------------------------------------

Джефф Безос отправился в новое увлекательное приключение.
А я уже привычно пытаюсь привлечь внимание публики к ИИ. Нет я все понимаю, но я вот сильно сомневаюсь, что естественным ограничениям (потребляемая энергия, трудности контроля, понятные угрозы и пр., и др., и т.п.) удастся остановить или хотя бы сильно притормозить наступление ИИ.

Хотелось бы прожить еще хотя бы 10 лет в полном сознании, чтобы увидеть как оно будет развиваться. Да, и чтобы отметить тупость русских патриотов - они всерьез полагают, что идет война за величие России. И совершенно не понимают, что они страну хоронят, что она отправляется туда, в компанию ХАМАС, Иран, С,Корея - к вечнотупым.

Вот хочется дожитьдо дня, когда до них начнет доходить смысл. Хотя есть смутные подозрения, что люди столько не живут

https://trim-c.livejournal.com/5710534.html

vak

Представьте что у нас имеется два выражения, состоящие их переменных и констант. Ну или два дерева, ведь выражения однозначно представляются деревьями. И нам хочется сравнить эти два выражения или дерева. Это одно и тоже или разные вещи? В том смысле, что при каких-то значениях переменных выражения совпадают.

Такой алгоритм сопоставления назвали унификацией. Когда-то на нём строили экспертные системы: помните язык Пролог? Алгоритм унификации пытается сделать два символических выражения равными, вычисляя объединяющую подстановку для этих выражений. Подстановка — это функция, заменяющая переменные другими выражениями. Очень важно, что она действует одинаково на все вхождения одной и той же переменной: если подстановка меняет одно вхождение переменной x на a, она должна заменить все вхождения x на a.

Объединяющая подстановка (или унификатор) для двух выражений e1 и e2 — это подстановка σ, такая что применение σ делает e1 и e2 структурно одинаковыми. Рассмотрим на примерах.

Пример 1: простая унификация. Выражения f(x) и f(y) можно унифицировать, заменив y на x (или наоборот).
Тогда унификатор σ действует так:

σ(y) = x

σ оставляет остальные переменные без изменений.

Пример 2: неудачная унификация. Выражения x + 1 и y + 2 нельзя унифицировать. Может показаться, будто можно подставить 3 вместо x и 2 вместо y, чтобы оба выражения стали равны 4. Но унификация требует символического равенства, а выражения 3 + 1 и 2 + 2 — всё ещё разные синтаксические структуры, хотя и дают одинаковое числовое значение.

Пример 3: несколько возможных унификаторов. Для выражений f(x, y) и f(1, y) возможны разные унификаторы:

σ₁ = { x ↦ 1 } даёт результат f(1, y).
σ₂ = { x ↦ 1, y ↦ 5 } даёт f(1, 5).

Оснований менять y нет, поэтому σ₁ предпочтительнее.

Алгоритмы унификации обычно стремятся получить наиболее общий унификатор (most general unifier, MGU). Это когда делаются только необходимые подстановки. Все остальные унификаторы получаются из MGU путём добавления новых замен. В примере выше σ₁ — MGU, а σ₂ — его частный случай.

Красивая реализация унификации приведена как пример в книжке The Scheme Programming Language: Section 12.10. A Unification Algorithm. Меньше сотни строчек с комментариями, но понять непросто: unify.ss.

А давайте перепишем на смешной язык Gisp. Который внутри тот же Scheme, но с синтаксисом Go. Мне кажется, гораздо яснее выходит.

( исходный код )

don_katalan

Aleksey Kopytko
Заметил, что немало комментариев «а зачем Украине 500+ самолётов?».
Напоминаю, что, по данным Министерства обороны России, с 2022 года уничтожено 688 украинских самолётов и 283 вертолёта.
Т.е., речь идёт всего лишь о частичном восстановлении бывшей группировки.
Минобороны РФ не будет же врать, не так ли?
Соответственно, это на упреждение снимает все претензии, что мы там что-то якобы милитаризируем.
=====
Otto W. Schmidt
Ленина и Сталина в очках никто не видел.( Read more... )=====
❗💔 Ледь не щохвилини оновлюються дані щодо наслідків теракту росіян у Тернополі
Станом на 10:00 стало відомо про вже 10 загиблих та 37 поранених, серед яких 12-ро дітей, - МВС.

don_katalan

💔Ворог поцілив прямо у житловий будинок в Тернополі і забрав життя щонайменше 9 мешканців. Також рятувальники шукають людей під завалами.

( Read more... )

don_katalan

Зараз всесильний і незамінний глава ОП А. Єрмака, «не перша, але й не друга людина у державі» за всю свою феєричну політично-адміністративну кар’єру знаходиться найближче до потенційної відставки.
І тут не має значення, чи закодований Єрмак на плівках Міндіча під псевдо Алі-Баба, чи спільники взагалі намагалися не згадувати його у розмовах, як злого духа. Важливо, що Єрмак гранично дістав надто багатьох як у середині країни, так і за її межами. Майже усіх, окрім В. Зеленського. Ну, і хиба що рф практично не висловлює на адресу Єрмака нічого негативного.
Незадоволеність тінню президента, яка впливає в Україні абсолютно на все, а зараз ще й у міжнародні відносини просочилася, досягла такого градусу, що можливий навіть офіційний розпад монобільшості у Раді з наступним формуванням уже більшості антиофіснопрезидентської. Принаймні, частина депутатів з СН готова виходити з картонками з відомим революційним написом «Дістало!».
У ЗМІ називаються можливі кандидатури на заміну глави ОП — О. Маркарова або Ю. Свириденко (це, якщо уряд піде у відставку повністю), тобто, жінки, які за планом будуть знаходиться під вичерпним впливом Єрмака. А він продовжить керувати всім і всіма в Україні вже з бек-офісу, тобто, перетвориться на чергового Міндіча (може, треба просто посаду таку створити?).( Read more... )

Profile

catdog

November 2025

S	M	T	W	T	F	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30

Page Summary

vak - Унификация по Робинсону
avva - симплектическая геометрия
avva - о гидре
voblya_river - А Зеля-то - не пальцем деланный!
trim_c_feed - Искусство Путина не договариваться.
scif_yar - Подарки от дедушки-2
avva - губка на палке
jack_kipling - Читая "The Guerrilla Chief and other Tales" by Mayne Reid
don_katalan - Алі Татар-заде · життя персонажів.
pargentum - И про Када Годдо
pargentum - Про "Земноморье"
don_katalan - Каждый день р*сские у*бки убивают мирных жителей в Украине.
pargentum - Литературная загадка из серии "один мальчик..."
don_katalan - если так легко это сделали один раз, что помешает повторить?
don_katalan - Усі ці VIP-СЗЧшники, парламентські дезертири та масові поп-ухилянти
trim_c_feed - Прометей
vak - Унификацию помните?
don_katalan - (no subject)
don_katalan - (no subject)
don_katalan - Alexandr Kochetkov · ОТРУЙНИЙ ФЕНОМЕН ЄРМАКА

Style Credit

Style: Neutral Good for Practicality by timeasmymeasure

Expand Cut Tags

No cut tags

Page generated Nov. 20th, 2025 12:01 am

catdog

Reading

Унификация по Робинсону

симплектическая геометрия

о гидре

А Зеля-то - не пальцем деланный!

Искусство Путина не договариваться.

Подарки от дедушки-2

губка на палке

Читая "The Guerrilla Chief and other Tales" by Mayne Reid

Алі Татар-заде · життя персонажів.

И про Када Годдо

Про "Земноморье"

Каждый день рсские убки убивают мирных жителей в Украине.

Литературная загадка из серии "один мальчик..."

если так легко это сделали один раз, что помешает повторить?

Усі ці VIP-СЗЧшники, парламентські дезертири та масові поп-ухилянти

Прометей

Унификацию помните?

(no subject)

(no subject)

Alexandr Kochetkov · ОТРУЙНИЙ ФЕНОМЕН ЄРМАКА

Profile

November 2025

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags