?

Log in

No account? Create an account
Alexander Kuklev's Journal

> recent entries
> calendar
> friends

> profile
> previous 20 entries

Saturday, January 17th, 2015
2:17 pm
Delayed Настоящим объявляю, что все мои персональные данные, тексты, фотографии, рисунки, переписка и т.п. являются объектами моего авторского права (согласно Бернской Конвенции), и оповещаю «ЖЖ» (LiveJournal, Inc / SUP Media) о том, что разглашение, копирование, распространение моей личной информации в коммерческих целях равно как и любые другие противоправные действия по отношению к моему профилю в социальной сети строго запрещены.

Для коммерческого использования всех вышеупомянутых объектов авторского права в каждом конкретном случае необходимо мое письменное разрешение.

Гёттинген
17 января 2015 г.
Александр Куклев

(5 comments | comment on this)

Sunday, August 12th, 2018
12:51 am - Математическая номенклатура
А вот почему нет специального названия для алгебраической структуры с тремя ассоциативно-коммутативными операциями, совместимыми как ‹min›, + и ‹max› на натуральных числах, ‹нод›, · и ‹нок› на положительных целых и, в общем случае, как объединение, произведение и пересечение идеалов коммутативного кольца (два первых примера являются частными случаями последнего)?

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

Upd: Это не названия нет, а я неграмотный. Residuated lattice это называется. Точнее, для коммутативных колец, как я выше хотел, это называется commutative residuated lattice. А для колец общего вида идеалы образуют как раз residuated lattice.

(2 comments | comment on this)

Wednesday, July 11th, 2018
6:53 pm - Печали
Вернулся я тут из микроотпуска, зашёл в твиттер, а там... Вот мне интересно, в какой момент русскоязычное сообщество функциональщиков (теоретиков и практиков в области функционального программирования и теорий типов) стало настолько колючим?

Во всём русскоязычном сообществе человек 20-25 что-то интересное и новое делают в области теорий типов, отчего же одни из этих людей клюют других из этих людей? Конкретно я, конечно, говорю про maxim, который вполне успешно формализует интересные куски математики на языке, основанном на кубической теории типов, и ведёт некоторую просветительскую деятельность на эту тему (курсы), а его клюют.

Ребята, давайте жить дружно!

(27 comments | comment on this)

Thursday, June 28th, 2018
7:04 pm - Поездатое
А прикольные в новых ICE4 в первом классе полу-купе. Вроде как просто группы сидений по два со столом посерёдке, ну как обычно. Но вокруг такие симпатичные уютные загородочки до уровня голов из дерева со стеклянными просветами и стеклянной сдвижной дверью. И вроде нет ощущения слишком маленького замкнутого пространства, как в полноценном купе, но внутри уютно, приватненько и тихо (реально очень тихо, тише чем в обычном купе второго класса и тише чем когда на собственной машине по автобану рулишь). И какая-то клёвая система вентиляции там, что вообще не дует и при этом свежий (не просто прохладный, а свежий) воздух. Если бы они ещё сделали сидения так, чтобы на них лежать удобно было, цены бы им не было.

Впрочем, цена там и так какая-то забубенная, а сижу я тут исключительно потому, что у меня было забронировано место в вагоне с таким номером, которого физически не оказалось в поезде, и я пошёл ругаться.

(P. S. А вообще, с тех пор как год или сколько там назад в ICEшках сделали совершенно бесплатный быстрый и хороший беспроводной интернет, жить стало лучше. Можно прямо совещания из ICE нормально проводить.)

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

А вот ещё технические мыслиCollapse )

(2 comments | comment on this)

Wednesday, June 27th, 2018
3:09 pm - IBAN и удобство
Вот хорошо же придумали страны ЕС (и пара десятков присоединившихся к системе), чтобы были международные номера счетов и банковские реквизиты сводились к одному удобному идентификатору. Только почему-то удобные идентификаторы сделали в одних только Нидерландах. Если у тебя счёт в Нидерландах, то всё, что нужно знать об этом счёте, имеет вид NL91 INGB 0417 1643 00. Впереди NL означает Нидер-Ланды, потом две контрольных циферки, потом говорящее сокращение название банка (INGB = ING-Bank), потом стандартные 10 цифр банковского счёта. Ну отлично же, а?

Для деловых и целевых счетов многие банки делают себе отдельное адресное пространство. Многие банки реально используют его для отдельных адресных пространств для деловых счетов, счетов для пожертвований и счетов для возврата кредитов (т.е. там не номер счета, а номер кредита фактически — так удобнее, чем писать номер кредита в назначение платежа, т.к. в назначении платежа и ошибиться можно, а в IBAN'ах контрольная сумма имеется). Я проверил европейскую базу данных SWIFT-кодов банков и обнаружил, что ни один банк не использует больше 5 адресных пространств. Говорящее название лучше неговорящего, поэтому лучше отмечать адресные подпространства буквами, причём одной буквы с пятикратным запасом достаточно. Это очень логично превратить в опцию IBAN'ов, чтобы первый символ “номера счёта” мог быть на самом деле буквой, выделяющей адресное подпространство специальных счетов.

И всем хватит всего десяти символов адресного пространства одного банка, которое состоит таким образом из десяти миллиардов обычных счетов, и ещё 25 сортов специальных счетов по миллиарду каждого типа — деловых таких, деловых сяких, счетов для приёма пожертвованих, счетов для возврата кредитов, сберегательных счетов, счетов, ассоциированных с кредитными картами. По факту для любой страны мира, кроме Китая и Индии, такое адресное пространство имеет более чем стократный запас прочности с учётом не только населения, но потенциальных счетов иностранцев. В Китае и Индии, наверно, можно добавить одну цифру.

Но почему-то у всех, кроме Нидерландов, Бельгии и Норвегии, IBANы содержат не менее 14 цифр (не считая контрольной суммы), а это уже сложно не только запомнить, но даже разом ухватить взглядом, чтобы напечатать на компьютере разом, а не по частям. Ну куда это? Кому это? Нахера в Великобритании и Германии предусмотрена возможность, чтобы в каждом банке каждый человек земного шара мог открыть по десять тысяч счетов, и остатка хватило бы, чтобы открыть по 50 тысяч счетов для каждого юрлица (legal entity)?

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

(28 comments | comment on this)

Wednesday, June 20th, 2018
3:16 am - [в продолжение] Доктрины
В первом приближении, можно сказать, что доктрины определяют, как именно выражения алгебраической теории можно компоновать из подвыражений, и соответственно какие у выражений бывают сигнатуры.

В привычной нам доктрине классических алгебраических теорий сигнатура выражения выражается неотрицательным целым числом (арностью, то есть количеством свободных переменных в выражении), а комбинировать выражения можно в точностью так, как переходы Mn -> M в категории с декартовыми произведениями. Эта доктрина так и называется — доктрина категорий с декартовыми произведениями.

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

Давайте рассмотрим пример групп. В стандартном определении используется одна константа (нейтральный элемент), один унарный оператор (обращение) и один бинарный (композиция). Во всякой группе можно определить оператор a/b := a∘b-1. Если в группе есть хоть один элемент, то нейтральный элемент можно извлечь из этой операции как e := x/x, затем получить операцию извлечения обратного через x-1 := e/x, и теперь уже извлечь композицию через x/y-1. Как видите, в качестве базиса всех групповых операций группы можно использовать {/} состоящий из ровно одной бинарной операции. (Есть тонкость, что среди алгебр тогда окажется кроме всех обычных групп, ещё и пустое множество, но это сейчас несущественно.)

Но это в рамках классической доктрины, в которой при компоновке выражений допустимо использовать одну переменную несколько раз. А мы можем взять доктрину, в которой клонировать значения воспрещено, тогда выражение x/x нельзя построить, соответственно ничего путного из такого базиса не выйдет. На самом деле, определение группы вообще не выйдет, какой базис не бери, т.к. правило x∘x-1 = e нельзя сформулировать. Зато можно взять доктрину, где допустимы не только собирающие операции Mn -> M, но и размножающие операции M -> Mn, и совмещать размножающие и совмещающие операции можно переставляя произвольным образом их входы и выходы — такая доктрина называется доктриной симметричных моноидальных категорий. В ней можно описать алгебраическую структуру, где к стандартным групповым операциям (единица, взятие обратного и композиция) добавляются двойственная композиции операция дупликации аргумента, и двойственная единице операция отбрасывания аргумента. Эта структура называется алгеброй Хопфа. Классические категории с произведением являются частным случаем симметричных моноидальных категорий, и, алгебра Хопфа, будучи проинтерпретированна в таких категориях вырождается в обыкновенную группу.

(2 comments | comment on this)

Tuesday, June 19th, 2018
3:52 am - Про кубики с симплексами просили?
(Линк на предыдущую публикацию серии: https://akuklev.livejournal.com/1281591.html)

Помните, что такое булева алгебра? Это такая штука с операторами “и”, “или” и “не”, удовлетворяющими всяким там законам, например что не (не X) = X. И в частности есть там такой занятный закон, закон де Моргана, что (не X ‹и› не Y) = не (X ‹или› Y) и наоборот (не X ‹или› не Y) = не (X ‹и› Y). Таким образом, чтобы определить все операции булевой алгебры, достаточно базиса из двух операций — {или, не} или {и, не}. Отметим, что при помощи этих операций можно задать не только оставшуюся бинарную операцию, но и булевы константы 0 и 1: X ‹или› (не X) = 1, а ноль получается отрицанием единицы.

А можно вообще обойтись одной бинарной операцией {не-или} или {не-и}. Потому что из них можно восстановить операцию “не”:
   X ‹не-или› X = не X = X ‹не-и› X,
а дальше можно восстановить исходную операцию, приставив к ней слева “не”.

А алгебраических структурах, где бинарные операции не приводятся друг к другу при помощи унарной или констант, например в кольцах, в “базисе операций” одной бинарной операцией не обойтись, зато можно разменять две бинарные на одну тетрарную. Для кольца, например, нестандартным базисом является {1, mulsub}, где mulsub(a, b, c) = ab - c.

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

Чтобы получить базисонезависимое (по-английски его называют unbiased, непредвзятое) представление, рассматривать все определимые операторы на равных, не выделяя среди них “элементарные операторы” и “составные выражения”. Для каждой арности операторов нужно выписать все возможные классы эквивалентности выражений, и в явном виде выписать таблицу композиции выражений. Структура, кодирующая такую информацию, называется свободной категорией-с-произведениями с одним объектом. Т.е. в этой категории есть выделенный объект M, и все объекты этой категории должны иметь форму M^n для какого-то неотрицательного целого M. А переходы из M^n в M в этой категории — это в точности классы эквивалентности выражений интересующей нас теории с n переменными.

Проще всего это понять на примере моноида. Традиционно моноид (M, _∘_, ε) определяют как алгебраическую структуру с одной ассоциативной бинарной операцией _∘_ : M² -> M, и одним выделенным элементом ε : M, который является нейтральным для этой операции: ε ∘ x = x = x ∘ ε. С непредвзятой точки зрения у моноида есть ровно по одному оператору каждой арности n, начиная с нулевой: compose-stringn: Mn -> M, которое мы для простоты будем обозначать просто [a1, a2,..., an], определяя индекс операции по количеству элементов внутри скобки. Композицией пустой строки является ε, композицией строки из двух элементов a и b — a ∘ b. Композицией трёх элементов – a ∘ b ∘ c. Ассоциативность ∘ как раз позволяет нам не думать, как расставить скобки в таком выражении. Информация о том, как должна быть устроена композиция [...] выражается очень просто: в любом выражении следует просто опустить все внутренние скобки. Например,
   [a, [], [b, [], c], d, [e, f]] = [a, b, c, d, e, f].

Категория, которая играет роль непредвзятого представления структуры операций моноида, имеет специальное название — она называется категорией симплексов Δ. (Симплексами называются обобщения ряда “точка – отрезок – треугольник – тетраэдр – ....” на произвольные размерности. Дело в том, что эта категория комбинаторно описывает симплексы, но сейчас речь не об этом.)

Конкретные теоретико-множественные моноиды теперь можно рассматривать, как функторы из этой категории Δ в категорию множеств Set. Ведь функтор — это что? Это штука, которая сопоставит объекту M объект Set (то есть множество, это будет наш носитель), потом она должна сопоставить всем операциям compose-stringn функции из n-ной степени носителя в носитель, так что все законы композиции выполняются. А это и есть та информация, которая задаёт моноид.

* * *


Иногда элементы какой-то алгебраической структуры обладают структурой сами. Вот например на множествах можно определить декартово произведение: если A и B множества, то A × B множество пар объектов первого и второго множества. Операция пары на множествах “как будто” задаёт моноид, причём даже коммутативный. Но только не в строгом смысле, а с точностью до канонической биекции на множествах. Т.е. закон ассоциативности (A × B) × C = A × (B × C) строго говоря не выполняется, зато вместо этого мы можем определить операцию — ассоциатор, который для любых множеств A, B и C выдаёт биективную функцию, которая превращает ((a, b), c) в (a, (b, c)). Множества с операцией _×_ не образуют моноида, но образуют то, что называется моноидальной структурой на категории множеств.

Выясняется, что если мы просто превратим все аксиомы моноида, заданного при помощи стандартного базиса {ε, _∘_}, в операции получения биекций, этого не достаточно, чтобы просто забыть про порядок скобок в произведении, т.к. часто от одного выражения к другому “эквивалентному” можно прийти разными последовательностями применения аксиом. Вот например
A × B ≅ (A × 1) × B ≅ A × (1 × B) ≅ A × B.

В таких случаях нужно убедиться, что композиция последовательности изоморфизмов, которые реализуют соответствующие аксиомы, не зависит от того, каким путём пойти. Такие “аксиомы второго порядка” называются соотношениями когерентности. Для моноида, заданного при помощи стандартного базиса операций, достаточно указать две таковых, и остальные будут следовать из них (что, кстати, нетривиальная теорема).

А что если для обобщения на множества (точнее, произвольные объекты с внутренней структурой) взять представление моноида с другим базисом?
1) Может ли оказаться, что там понадобится бесконечное количество законов когерентности? — Да, может.
2) Может ли получится, что информации, которая требуется при использовании одного базиса, недостаточно для использования другого базиса? — Конкретно в случае моноидов нет, но вообще говоря — да! Если бы мы работали, скажем, со штуковинами навроде булевых алгебр, запросто могло бы быть так, что в одном базисе мы можем подобрать все канонические изоморфизмы для переходов так, чтобы отношения когерентности выполнялись, в а в другом — нет.

Используя непредвзятое представление моноидов, мы можем описать, какие данные потребны, чтобы можно было задать моноидальную структуру, используя любой базис (тогда говорят, что задали строгую моноидальную структуру), а какие чтобы задать моноидальную структуру, используя хоть какой-нибудь базис (тогда говорят, что задали слабую моноидальную структуру). Как раз в случае моноида такое везение, что слабая моноидальная структура эквивалентна строгой — доказательство этого факта (за авторством одного из отцов-основателей теорката МакЛейна) очень нетривиально, и является архитипическим примером теоремы о глобальной когерентности.

Однако для множества других алгебраических и обобщённо-алгебраических структур это не так. Важнейшим примером такого свойства являются высшие категории (это такие категории, у которых “множества” переходов между любыми двумя объектами A и B на самом деле не множества, а снова высшие категории; да, определение рекурсивно).

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

Поэтому на практике очень часто используют определения с использованием какого-то конкретного бесконечного базиса операций, выражаемого какой-то категорией “комбинаторных геометрических форм” — глобул, симплексов, кубов, обобщённых многогранников, ..., и так до максимального базиса, т.е. непредвзятого представления, соответствующие комбинаторные геометрические формы называются диаграммами склеивания. На основе этого подхода получаются полустрогие определения высших категорий. Тут имеется спектр строгости — если использовать глобулы, то без искусственных ослаблений выходят строгие высшие категории, а если диаграммы склеивания — как раз слабые высшие категории. Сегодня имеется довольно много теорем об эквивалентности, показывающих, что разные формы полустрогости эквивалентны. Гипотеза Симпсона (в пользу которой говорят практически все имеющиеся данные) вообще предполагает, что никакой промежуточной строгости не бывает, и что если в строгом определении ослабить унитальность единиц, сразу получится штука эквивалентная слабым высшим категориям, и весь спектр схлопнется.

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

(4 comments | comment on this)

Friday, June 15th, 2018
6:39 pm - О когерентности и унивалентности
Если лектор сообщает некий факт, скажем, “земля круглая” целой аудитории людей, то каждый человек в зале получает информацию о том, что
– Земля круглая
– Все присутствующие в зале знают, что земля круглая.
– Все присутствующие в зале знают, что все присутствующие в зале знают, что земля круглая.
– Все присутствующие в зале знают, что все присутствующие в зале знают, что все присутствующие в зале знают, что земля круглая.
·
·
·

В целом это бесконечная башня фактов, но она вся порождается тем фактом, что “земля круглая” было сказано всем людям в аудитории разом во всеуслышанье. В некоторых разделах математики очень часто приходится конструировать одну башню фактов из семейства других башен фактов. Это можно делать путём выстраивания сложных комбинаторных конструкций (“n-ный уровень результирующей башни получается путём такого-то комбинирования таких-то диапазонов уровней таких-то других башен”) и доказательства их корректности по индукции (такие доказательства имеют тенденцию очень часто содержать очень сложно-выявляемые ошибки, поэтому их хочется уметь проверять на компьютере). А можно иногда найти остроумную конструкцию, которая выдаёт все уровни башни автоматически, по построению.

Гомотопическая теория типов — это как раз система, пользующаяся тем что там все башенки возникают по построению из одного удачного постулата (аксиомы унивалентности Воекодского), которую можно использовать для того, чтобы верифицировать математические доказательства на компьютере, и в первую очередь это как раз нужно именно для доказательств про башенки.

(20 comments | comment on this)

Wednesday, June 6th, 2018
5:10 pm - Реабилитационный центр
Аня (моя жена) после удаления позвоночной грыжи ходит на амбулаторную реабилитацию в один из местных реабилитационных центров — это такое место, где три недели полдня по индивидуальному расписанию с нею занимаются лечебной гимнастикой, лечебной гимнастикой в воде, лечебной гимнастикой для позвоночника, лечебной гимнастикой на тренажёрах и ещё массажем и электростимуляцией мышц и нервов. Реабилитационный центр нам посоветовали отличный, он входит в верхнюю пятёрку Нижней Саксонии по отзывам и оценкам, и лучший в округе 50 километров от нас, не считая одного реабилитационного центра in the middle of nowhere (на озере в горах в Гарце, поросшем лесом) с собственным отелем (около 300 евро за ночь). Совершенно удивительно, что туда нету никаких особых очередей, при том что это покрывается стандартной медицинской страховкой после операций, ттт. Нет, вообще какая-то минимальная доплата есть, типа 10 евро в день или там 20 евро в день. При том, что пациентов там бесплатно кормят вкусной и полезной (в основном средиземноморской направленности) едой. Сколько это стоит медстраховке я не знаю, но подозреваю что более 200 евро в день.

Работники реабилитационного центра колоритны. Повар говорит по-русски и его зовут Александр Блок. Попавшийся Ане в начале (и, к сожалению, ушедший в отпуск по-середине) физиотерапевт-массажист-ЛФКшник — первоклассный профессионал с польской фамилией Качмарек, он, кстати, тоже немножко говорит по-русски и отлично понимает по-русски. Тренеров в тренажёрке очень много и они очень разные, особенно колоритен совсем молоденький практикант симпатичной блондинистой немецкой-пренемецкой наружности с практически полностью вымершим исконно гёттингенским диалектным произношением немецкого, я погуглил его имя — судя по всему, он сын потомственного плотника из близлежащей деревни, владельца строительной мастерской со 150-летней историей. А другая инструкторша — внезапно баронесса фон Таубе. Таубе — старинный род балтийских немцев, огромная семья, насчитывающая сейчас много сотен людей.

Пациенты очень разные. Некоторые еле передвигаются, некоторые прыгают как электроёжики, много людей с протезами, много пожилых людей, но много и совсем молодых, младше 25, они тут в основном по случаю спортивных травм. Одна девушка в футболке олимпийского резерва (очень бодро двигается) вообще несовершеннолетняя. Одному деду, постоянно занимающемуся кардиотренировками на велотренажёре и беговой дорожке — 92 года. Один мужик лет 50 рассказывал, что ему, к сожалению, медицинская страховка это не оплачивает, но это вполне справедливо, потому что сам виноват — неаккуратно посадил свой частный самолёт, получил травму шеи. Другой мужик тоже лет 50 работает грузчиком в магазине и жалуется, что теперь не понимает, что ему в жизни делать, потому что с такой спиной грузчиком ему больше работать будет нельзя.

(comment on this)

Friday, June 1st, 2018
2:01 am - Обобщённые мультикатегории
Ходячей моделью финитарной алгебраической теории, как известно, является мультикатегория. Объекты мультикатегории — типы теории, а морфизмы — выражения (т.е. композиции операций) теории. Ходячая модель ещё называется “непредвзятым представлением”, потому что тут не разделяются “базовые операции и композиции базовых операций” и “непредвзятое представление” остаётся одним и тем же независимо от того, какие операции взять за базовые, если порождаемая система операций одна и та же. Собственно эта “система операций” в точности и есть мультикатегория.

Напомню, что мультикатегория — это как категория, только стрелочки у нас не Ob -> Ob, а List[Ob] -> Ob.

Я думал-думал и понял, что если в “алгебраическую” теорию добавить типы типов и полиморфизм (полиморфизм оказывается стратифицированным частным случаем зависимостей внутри контекста), то ходячей моделью будет обобщённая мультикатегория со стрелками вида Ctx[Ob] -> Ob, где Ctx — обобщённая мультикатегория, представляющая алгебру типов данной алгебры, а обозначение Ctx[Ob] обозначает порождения свободной Ctx-алгебры над Ob. В случаи зависимых теорий типов без стратификации выходит некий гордиев узел — обобщённая мультикатегория, обобщённая над самой собой. Но эта штуковина оказывается корректной, если сигнатуры всех операций можно представить в форме bi-directional type checking/inference.

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

(3 comments | comment on this)

Friday, May 18th, 2018
2:52 pm - Bujhm
С концерта Игоря Белого и Паши Крикунова прошло всего четыре дня, а мы уже в машине до дыр заслушали добытый там новый альбом D# (Ре-диез). Вообще очень здорово, что Игорь Борисыч перешёл с дисков на флешки, флешки гораздо удобнее во всех отношениях.

А концерт (мы были на концерте в Касселе, к нам это ближе всего) был замечательный. Программа очень цельная и многоплановая. Вообще мне подумалось, что благодаря клавишным звучание выходит за привычные рамки жанра — это уже не то, что принято считать авторской песней даже в очень расширенном толковании. В какой-то момент я поймал себя на том, что углубился в игру конкурирующих ритмов содержательного инструментального соло. Это уже вообще не “стихи под гитару” или “стихи, поддерживаемые музыкой” — это именно композиция нетривиальной музыки с многопланово взаимодействующим с нею текстом и риторической драматургией.

А ещё Игорь с Павлом после концерта сказали где взять записи Звукоукладочной Артели (так называются Игорь с Павлом и ещё несколькими людьми, так что в сумме получается три голоса, гитара, соло-гитара, бас-гитара, клавишные, виолончель и местами, насколько я понимаю, скрипка), я накопал и пребываю в восторге.

Вот, кстати, запись самой «Фантазии Ре-диез» в исполнении Звукоукладочной Артели (с сайта Игоря).

(comment on this)

Wednesday, May 2nd, 2018
10:30 am - 33
33, полёт нормальный. :-)

Главное событие года, конечно же, рождение дочки Айлин.

(25 comments | comment on this)

Wednesday, April 25th, 2018
2:37 am - Антикоррупционное
Помните историю с тремя прекрасными высоченными елями на нашей улице, которые были спилены после урагана, после того как одна из них сильно накренилось, якобы из-за того, что корневые системы у оставшихся двух стали временно слишком ненадёжны?

Рядом с тем местом, где они были, расширяют жилой дом. Пристраивают к существующему дому дополнительный блок. Там уже не только фундамент сделали, но и стены первого этажа уже полностью стоят, хоть ещё и трёх месяцев не прошло.

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

Просто потому что подозрительно спиленные деревья оказались спилены к большой финансовой выгоде собственника прилежащего земельного участка, и этот собственник оказался подозрительно скор на действия по монетизации своей неожиданной удачи. В общем, поговорил я об этой мысли сперва с certusом, а затем и с одним соседом — крайне обстоятельным джентльменом медицинского сословия.

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

(comment on this)

Sunday, April 22nd, 2018
1:42 pm - Технические параллели
Пока сидел пять минут с младеницей, задумался, что для удобных моторизованных тележек «доставщиков и перевозчиков» и удобных моторизованных инвалидных кресел нужны ровно одинаковые технологии: оно должно уметь балансировать на двух колёсах, и должно уметь подниматься и спускаться по лестнице на гусеничной тяге. Погуглил, и что бы вы думали?

Нашёлся прототип инвалидной коляски //scewo.ch (видео: //youtu.be/CzsnByh9c7w) и (увы, немоторизованную, но с гусеничной штукой для спуска и подъёма по лестницам) Magliner Glyde® Hand Truck (youtu.be/c41Y65u5RNU).

P. S. Конечно, поражает воображение, что эта вот немоторизированная тележка стоит почти тысячу долларов. Но совершенно ясно, что моторизировать её и снизить цены до уровня, обеспечивающего массовый спрос — the way to go. А прототип инвалидной коляски, как мне кажется, очень хорош. Единственное, что гораздо удобнее и безопаснее подниматься передом, а не задом. Ну и добавить возможность поднимать выше кресло в любом из положений (т.е. и когда оно балансирует на двух колёсах, и когда передвигается на гусеницах), чтобы можно было что-то с полки достать или общаться с людьми на уровне глаз.

(3 comments | comment on this)

Saturday, April 21st, 2018
12:14 pm - Грамматики
Я много лет подробно не интересовался вопросами формальных грамматик. С тех пор как появился Perl6 и библиотеки парсерных комбинаторов для Хаскела и Агды, писать парсеры для формальных языков (даже такой сложности как, собственно, Agda) стало удобно, и я как-то перестал интересоваться формальной стороной дела.

Однако же, там за последние годы многое произошло. Меня всегда интересовали естественные обобщения контекстно-свободных грамматик. Контекстно-свободные грамматики являются крайне элегантным формализмом, потому что сочетают в себе как генеративный, так и аналитический подход. Но они, увы, слишком слабы и для естественных и для формальных языков. Для формальных языков нужны “расширимые контекстно-свободные грамматики” (они позволяют работать с ситуациями, когда пользователь определяет в ходе программы новые переменные и операторы, причём если с по части переменных возможен хак, укладывающий их в рамки контекстно-свободных грамматик, то с операторами так уже не выйдет). И про прорывы на этом поприще я пока не слышал, пока с этим действительно удобнее всего работать при помощи парсерных комбинаторов. Тут мне интересна возможность красивого математического формализма и возможность создания эффективных парсеров. Для контекстно-свободных языков-то с парсерами всё с недавних пор совершенно прекрасно. Около 2010-2011 года был разработан парсер Marpa (сильно усовершенствованный парсер Earley 60ых годов), который умеет за линейное время разбирать языки широчайшего класс однозначных грамматик (в том числе, включающий все LL(*) и LR(*)), а всё остальное парсить не хуже чем за n^3. Причём Marpa отлично совместим с ad Hoc расширениями, что позволяет делать отличный хендлинг грамматических ошибок (писать разумные сообщения об ошибках и выдавать очень разумные предложения о том, что пользователь, возможно, имел в виду) и парсить отдельные расширимо-контекстносвободные штуки типа XML. Очень хотелось бы иметь красивый формализм для таких расширимых штук и иметь парсер, который сможет производить разбор за квазилинейное время. Ещё вот недавно для парсеров такого типа придумали штуку под названием Local Lexing (https://arxiv.org/abs/1702.03277), которая позволяет описывать цельно языки с кастомными литералами внутри и элегантно встраивать error handling прямо в спецификацию языка.

Что нужно естественных языков мне, разумеется, непонятно, т.к. я не эксперт, но известно, что в рамки контекстно-свободных языков естественные языки не лезут вообще. Мне всегда казалось, что формализм Tree-adjoining grammars крайне элегантен — это как контекстно-свободные языки, где единицей манипулирования являются не строки, но грамматические деревья. Таким образом можно определить более общий класс языков, чем при помощи контекстно-свободных грамматик, но при этом сохраняются возможности эффективного разбора и понимаемость как в геренативных, так и в аналитических терминах. Но ещё с конца 1980ых известно, что есть синтаксические языковые феномены, которые не укладываются в рамки этого подхода. Пять классических случаев — особенности порядка слов в глагольно-наречных группах в немецком и корейском языках и в именных группах в турецком, наложение падежей в старогрузинском, а также числительные в китайском. Ну и ещё грамматические системы из мира лексикографов, Head-driven phrase structure grammars в эту систему как-то плохо укладывались.

И вот недавно придумали формализм Tree Wrapping Grammar (и лингвистическую парадигму Role and Reference Grammar, обобщающую Head-driven phrase structure grammars и реализуемую грамматическим формализмом Tree Wrapping Grammars). Это красивый слабо-контекстно-зависимый (mildly context-sensitive) формализм, который умеет все эти корейские, немецкие и турецкие извращения.
Видимо, нужно теперь делать эффективные парсеры Affix Tree Wrapping Grammars, сопряженные с Deep Learning AI (для разрешения неоднозначностей).

Поправка: Пока является открытым вопросом, умеет ли TWG _все_ нужные корейские, немецкие и турецкие извращения. k-TWG для конечного k не умеет.

P. S. А вот когда проверяют состоятельность "больших" грамматик для целых языков на корпусах литературы этих языков, как там обращаются с эрративами, диалектизмами, сленгом и сокращениями, которых уймы в художественной литературе и разговорной письменной речи?

(2 comments | comment on this)

10:07 am - Лифт для посылок
Когда я последний раз ездил заправлять машину, слушал по радио, что нынче в некоторых новостройках стали делать лифт для посылок. Это маленький грузовой лифт с площадкой размера 120 × 80 (стандартные габариты европалет ISO 6780/EPAL) и толкалкой для автоматической выгрузки товара на лестничную клетку на нужном этаже. Загружается снаружи дома почтальоном со специальным ключом или любым из жильцов дома. По-моему, прикольная штука, можно тяжелые ящики с покупками по лестнице не носить.

(comment on this)

9:49 am - Центральные пылесосные станции
Интересно, почему так мало прижились центральные пылесосные станции в домах? Всё-таки мощный пылесос (особенно, если он ещё и совместим с влажной уборкой) — это крайне шумный прибор и он практически неизбежно пылит в дом. А когда используется центральная пылесосная станция, она шумит в подвале и не пылит вообще (отсутствие ограничений на габариты и вес позволяют качественно промывать выхлоп водой), а в квартире просто ”розетки для пылесосного шланга”, куда подключается собственно шланг с насадкой (электрощёткой для сухой уборки или электрошваброй для влажной), и можно прибираться без шума и пыли. И чистить ничего не надо, разумные модели этих самых пылесосов самоочищаются в канализацию.

Но система настолько мало распространена, что, например, имеется дефицит насадок для влажной уборки. Для сухой можно подключать обычную турбощётку Miele, а вот аналогов электрошвабры Kärcher FC5 нет.

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

(28 comments | comment on this)

9:20 am - Алеф 2018
После годового перерыва в 2018 снова будет наша прекрасная физико-математическо-биологическая летняя школа Алеф! На том же месте (Мюнхен, культурный центр GOROD), примерно в то же самое время — с 19 августа по 1 сентября. Записывайтесь срочно!

Нужно заполнить анкету по адресу http://aleph-registration.tk/ и решить вступительное задание, которое мы вам пришлём.

Подробный анонс читайте по ссылке: http://aleph2018.tk/

(2 comments | comment on this)

Thursday, April 19th, 2018
11:42 am - Сlește
Щипцы, клещи, пассатижи, плоскогубцы, круглогубцы, острогубцы, длинногубцы, тонкогубцы, кривогубцы, кусачки, бокорезы, стрипперы, опрессовки, кабелерезы, болторезы, газовые ключи, струбцины, зажимы/кронцанги и разжимы — вот неполный список слов, содержащих на немецком корень -zange.

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

(4 comments | comment on this)

Monday, April 2nd, 2018
1:00 am - Мои друзья делают клёвую летнюю школу!
Кроме Дельты (которую я всем советую), хочу анонсировать ещё одну школу, которые делают мои друзья в Мюнхене всё в том же центре Город! Это не по математике, а по информатике. В организации участвует Саша Воронцов, которого те из вас, кто бывал в нашей школе “Алеф”, знают лично.

Цитирую анонс целиком:

UniverSum — летняя школа для будущих программистов
В этом году школа будет проходить в Мюнхене с 27 июня по 11 июля

Команда Универсума — преподаватели сильных московских школ («Интеллектуал», 1543, «Летово»), сотрудники крупных IT-компаний (Яндекс, Google). Многие занимались организацией и преподавали в летних школах: ЛКШ, ЛЭШ, ЗПШ, Алеф. В этом году мы решили создать новую школу — UniverSum. Это будет школа, посвященная программированию в широком смысле, нацеленная на практические навыки.

Мы зовем школьников старше 12-ти лет, тех, кто хотя бы немного умеет программировать, и тех, кто программирует хорошо. Мы хотим показать, что мир программирования разнообразен и интересен, поэтому в нашей школе много разных направлений: веб-программирование, алгоритмы, мобильные приложения, машинное обучение, безопасность, виртуальная реальность. Можно изучать несколько разных или углубиться во что-то одно.

Кроме учебы у нас будут прогулки по городу, экскурсии в музеи — в Мюнхене есть что посмотреть.

Чтобы поступить, надо подать заявку: рассказать нам о своих успехах или, если успехов пока нет, выполнить небольшую вступительную работу.
Подать заявку

Даты: 27 июня — 11 июля.

Место: Германия, Мюнхен, культурный центр GOROD.

Язык: русский.

Стоимость: 78 000 рублей (1120 евро), без проезда и визы.
Сайт школы http://www.univer-sum.ru
Телеграм-канал @univer_sum_news

(2 comments | comment on this)

> previous 20 entries
> top of page
LiveJournal.com