Alexander Kuklev's Journal

> recent entries
> calendar
> friends

> profile
> previous 20 entries

Friday, January 27th, 2012
11:46 pm - Смена эпохи
30 ноября 2009 года, около 7 вечера у меня порвался тапок. Тогда ему было около трёх лет. Подошва оторвалась от всего остального: [info]akuklev/820889. Сегодня, спустя два года и два месяца, оторвался шуруп. Сейчас я вкручу его в новом месте.

(3 comments | comment on this)

2:57 am
Что-то подсел на песню «Бледная Моль» Башни Rowan.
Ночь, болото, поговорить отчего-то не с кем.

(6 comments | comment on this)

Thursday, January 26th, 2012
4:40 pm - Распределение Стьюдента в контексте байесовского анализа
Пусть у вас есть случайная величина X с распределением P(x), про которое известно, что оно относится к некому семейству: в типовом случае известно, что это нормальное распределение P[µ, ε](x), где параметры µ и ε (среднее и дисперсия) заранее неизвестны.

Чтобы найти неизвестные параметры, вы делаете несколько измерений X, получаете в результате выборку чисел x1, …, x_n. Вы можете найти наиболее вероятные значения параметров исходя из имеющихся измерений: наиболее вероятное µ* = среднее выборки, наиболее вероятное ε* = дисперсия выборки (как корень среднеквадратичного отклонения от среднего выборки.
Теперь следующий вопрос: какова оценка распределения X исходя из имеющейся у нас информации (N семплов)?

Люди часто считают, что оценка — P[µ*, ε*](x), но это не так! Чтобы найти правильную оценку, следует взять P[µ', ε'](x) для всех возможных µ' и ε' и усреднить с весами соответствующими тому, насколько вероятна соответствующая пара (µ', ε') исходя из имеющейся у нас информации. Распределения µ' и ε' (выборочного среднего и выборочной дисперсии соответственно) зависят только от (µ*, ε*) и числа N измерений, которые мы используем. Таким образом, оценкой (исходя из N проделанных измерений) распределения X является некое распределение SP[µ*, ε*, N](x), называемое распределением Стьюдента для распределения P и быстро стремящееся к P[µ*, ε*](x) при увеличивающемся N.

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

На практике весьма полезно т.н. косонормальное (skew-normal) распределение, оно отвечает следующему физическому положению дел: пусть величина X распределена нормально, как будет распределена величина Y = f(X)? Если f линейная функция или близка к линейной локально, то Y тоже будет распределена нормально. Однако если нелинейностью f нельзя пренебречь, можно учесть ещё и вторую производную: тогда Y будет распределена косонормально. У косонормального распределения к параметрам матожидание и дисперсия добовляется косость. Альтернативно можно рассматривать матожидание, положительную дисперсию и отрицательную дисперсию (у последние всегда совпадают у нормального распределения). Для косонормального распределения рассчитано соответствующее косое распределение Стьюдента SP[µ*, ε*, γ*, N](x).

(2 comments | comment on this)

Thursday, January 19th, 2012
6:37 pm
В Пизанском дьютифри видел прекрасный маникюрный набор для детей в возрасте до полутора лет. “Ножницы и пилка для младых ногтей”.

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

(3 comments | comment on this)

1:23 pm
Хм, только сейчас заметил, что у новых комментов убрали поле заголовок. В принципе, поделом, раз мне захотелось им воспользоваться один раз за более чем 120 написанных с введения нового стиля комментов.

(24 comments | comment on this)

Wednesday, January 18th, 2012
4:47 pm - Pisa, башня, итальянцы
Я вернулся из Пизы от Темеревых, у них было очень хорошо, мы с Сашей весьма продуктивно поработали. Очень хорошо с ним программировать вместе.

Рентгенконтроль сумок в аэропорте им. Галилео Галилея приятно обрадовал: всё эталонно быстро и просто, никаких лишних вопросов, всем на всё наплевать. Так должно быть везде. Хотя с другой стороны, конечно, специфический итальянский бардак в аэропорту (да и в Италии в целом) поражает воображение. В аэропорту пассажиры идут к самолёту по лётному полю своим ходом. Дорожка до самолёта никак не ограждена, никаких указателей тоже нет, никто за пассажирами не следит, сотрудники на лётном поле заняты своими делами и бурным общением между собой. Международные рейсы (там, где паспортный контроль) никак не отделены от внутришенгенских (где документы не проверяют вовсе), паспортный контроль исключительно для сознательных граждан, которые честно пойдут по указателю "международные рейсы".

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

Одно из основных национальных качеств итальянцев — постоянное нетерпение. Видя человека, едущего действительно 50 в зоне 50, обгоняют его одновременно справа и по встречке. Мы выучили несколько национальных ругательств ("святая мария, куда ты прёшь, собачий потрох, разрази тебя диарея!") и жить стало немножко легче. Только за одну дорогу в Ливорно и обратно, нам встретились:
- мотоциклист, обгоняющий по встречке прямо нам в морду и уходящий от столкновения за пару метров;
- велосипедист, занимающий собою полностью полосу однополосной дороги (потому что он ехал по-центру полосы и вилял)
- легковые автомобили и грузовики, перестраивающиеся прямо на повороте не снижая скорости с 80 км/ч;
- дамочку, поворачивающую направо из крайнего левого ряда через две полосы без включения поворотника;
- пешехода, переходящего оживлённый перекрёсток по диагонали, не отводя от уха телефона;
- джигитов, которые никак не могут решить кто кого обгоняет, и превращающих однополосную дорогу в двухполосную с небольшим захватом пешеходной обочины.

И все они нагло куда-то прут, святая мария, и гудят и орут, разрази их понос!

(12 comments | comment on this)

4:09 pm - Future is now
Сейчас 16:08 CET, я нахожусь в ICE 723 Кёльн-Франкфурт, поезд летит 301 км/ч, превышая на 1 км/ч недавно поднятый на этой линии допуск по скорости. Это мой личный рекорд по скорости наземного транспорта, в котором я когда-либо находился. Надо сказать, по видам из окна скорость приятно чувствуется. А в плане шума и тряски, всё ОК: не трясёт вовсе, а шум на уровне, заметно уступающем московскому метро. Поезд довольно пустой, я сижу в просторном компартменте на четверых человек один. Просторный стол, розетка, хороший интернет. Программирую. Работать мне не менее удобно, чем у себя в кабинете. Ну разве только меловой доски не хватает. We live in the fucking future!

Upd: @16:22, 303 км/ч.

А ещё хочется попробовать настоящий маглев, чтобы не 300, а 600 км/ч.

(10 comments | comment on this)

Friday, January 13th, 2012
3:21 am - Internet media type: как нам реорганизовать рабкрин
Контентом (от англ. content = содержание/содержимое) называют информацию, приготовленную в доступном для восприятия человеком виде. Когда-то давно была разработана система классификации медиатипов контента (Internet Media Type): тексты (text), изображения (image), аудио (audio), видео (video) и прикладных программ (application). После медиатаксона через дробь записывают формат, например вот так: text/plain, image/jpeg, video/avi.

Со временем список таксонов добавили ещё model — статичные 3d-модели или сцены. Предлагалось также добавить по аналогии с video (= dynamic image + audio) добавить slideshow (= dynamic text + audio), и movement (= dynamic 3d + audio). Я бы добавил ещё таксон data для структурированных (напр. таблично или древовидно) данных: структурированные данные тоже можно рассматривать как контент, полезная информация статистического толка зачастую распространяется не в составе сопроводительного текстового документа, а сама по себе, и, стало быть, должна иметь отдельный таксон.

Далее можно заметить, что все указанные виды media характеризуют завершенные (finished, sealed, immutable) произведения. Нужен таксон для объектов "в работе" (work-in-progress, editable, mutable), для этого в IT-слэнге уже выработался довольно странный термин document, который логично использовать в качестве таксона. Далее было бы были таксоны более низкого уровня, позволяющие указывать медиатип с точностью до неважности конкретного формата, т.е. так что объекты одного медиатипа, но разных форматов, были большей частью взаимноконвертируемы.

Примеры:
text.rich/tex <-> text.rich/rtf <-> text.rich/html-restricted,
text.typeset/pdf <-> text.typeset/ps,
text.interactive/html <-> text.interactive/msxml.

Внутри image я вижу подтаксоны image.picture, image.photo, image.scan, image.medical.mri, ...
Внутри music — music.record и music.synth, внутри video — video.record и video.animation.
Внутри document: document.text.rich/docx, document.application-sources.java/jar, document.video.record, и так далее.

Форматы я бы разделил на readable и binary. Читабельные форматы начинать писать с буквы, а перед двоичными ставить например двоеточие:
– text.plain/plain, text.rich/rtf
– image.photo/:jpeg, image.picture/:png

Если формат контейнерный и может содержать много разного, в скобках нужно указывать схему того, что там находится или звёздочку, если схема не указана. Если у формата есть подформат (кодек), он (или список таковых) указывается в квадратных скобках.
- text.rich/:zip(odf)
- text.rich/xml(xhtml)
- data/xml(*)
- data.stats/xml(//stats.myapp.com)
- video.movie/:avi[xvid, mp3]

Наконец, следовало бы ввести форму записи для типов служебной информации (предназначенной для человеческого потребления), у которой есть формат, но нет медиатайпа. Естественный выбор на мой взгляд падает на прочерк в качестве медиатипа:
-/xml(//someapp.com/license/1.0)
-/:kryo(//someapp.com/measurement-persistence-data/1.0)

Система должна быть расширяемой, но в то же время допускать краткие имена. В качестве названий форматов и схем поэтому предлагается использовать либо (без всякой регистрации) url, по которому находится определение формата/схемы, либо (после регистрации оного) краткое имя:
– text.interactive/xml(xhtml) = text.interactive/xml(//w3c.org/xhtml/1.1)
– text.rich/:zip(odf) = text.rich/:zip(//oasis.org/opendocument.text)

Если бы было сделано так, никогда не вырасли бы монстры наподобие
“application/vnd.openxmlformats-officedocument.wordprocessingml.document”.

(3 comments | comment on this)

Sunday, January 8th, 2012
11:14 pm - Погода
В Кёльне было пасмурно и сыро, шел мелкий дождь. В самолёт почему-то заходили не через рукав, а через трапы с лётного поля, где дул ветер. Сели, поехали по рулёжке, вышли на ВПП и без остановки начали взлёт. И вот под нами мокрый лес, а через 30-40 секунд вокруг только яркая белая пелена, не видно ничего кроме крыльев, как будто в фотошопе фон вырезали, ощущение какое-то райское. А потом мы вылетели за кромку облаков, вокруг голубое небо и яркое, тёплое солнце, а под нами плотная пелена облаков до горизонта во все стороны, как будто снега, только очень рыхлые и неровные, завитушками. Очень хочется выйти и по ним попрыгать, в них поваляться, на таком-то солшынке!

Лечу в город Галилео Галилея.

Upd: Прилетел, у [info]sorhed с [info]fea_dreams отлично! Башня стоит. Криво.

(2 comments | comment on this)

Thursday, January 5th, 2012
1:43 pm - decidable?
Всем известно, что арифметика сложения (Presburger arithmetic) разрешима, т.е. существует (хоть и очень медленный) алгоритм, определяющий истиность или ложность любого заданного утверждения. Более того, арифметику сложения можно обобщить разными спосбами, не теряя разрешимости. Туда можно добавить инструментарий для вычисления двоичных разложений чисел и экзистенциальный фрагмент арифметики делимости.

Известно, что язык арифметики сложения как таковой слишком слаб для гёделева кодирования доказательств в эрбрандовой нормальной форме и тем более для кодирования утверждения Contradiction(p), означающего что доказательство с гёделевым кодом p доказывает противоречие. Но я не вижу причин, почему это нельзя было закодировать в одном из разрешимых обобщений. Утверждение Cons(a) = “∀ p : P(p). !Contradiсtion(p)”, естественно, выходило бы за пределы разрешимого фрагмента теории, и, таким образом, в теорему Гёделя мы бы не упирались, а инструмент для релативированной проверки непротиворечивости теорий имели. (Т.е. могли бы за конечное время убедиться, что для заданного n никакие доказательства длиной менее n в данной теории к противоречиям не приводят.)

Чёт я на эту тему искал-искал публикации, а не нашёл ничего.

Upd: Написал мейл Дану Ўилларду (крупному специалисту по этой тематике) — посмотрим, что ответит и ответит ли.

(2 comments | comment on this)

Wednesday, January 4th, 2012
11:12 pm - Грустьпичаль
Магазин Rewe, который работал до полуночи, теперь снова как все работает до 22. #ДеньгиЕстьЖратьНечего #цукишепутен

(4 comments | comment on this)

Tuesday, January 3rd, 2012
8:20 pm
Каждый раз после просмотра «Покровских ворот» меня накрывают размышления о границах ощущения современности. Расстояние между 2012 годом и серединой 50ых — 60 лет. Свежий юный Костик, такой свой — поколение моих бабушек с дедушками. Основные действующие лица — поколение прабабушек-прадедушек. Я отлично представляю себе их повседневную жизнь как если бы я там был, их образы знакомы и близки, быт не выглядит необычным, их ощущения легко применимы на себя.

Как-то сложно представить, что от поколения революционеров 1917 Пушкин с декабристами были не более далеки, чем от меня какой-нибудь Окуджава.

(19 comments | comment on this)

Thursday, December 29th, 2011
2:35 am - Пофантазируем...
Самая удачная покупка 2011 — MacBook Air, впервые я открываю ноут для работы или досуга не только дома, на работе, в гостях и в поездах дальнего следования, но и на остановках, в автобусах, в трамваях, в машинах, в такси. И всё в нём ладно, и таскать легко, и экрана для всего хватает — проверенно программированием, ТеХаньем и просмотром фильмов. Вот был бы ещё режим тачскрина и 3g встроенное...

* * *


Есть технологии, меняющие правила игры, превращающие вещи типа “это же целое дело” в нечто незатруднительное. Меня очень радует, что их всё больше и больше. Те же навигаторы в машинах, то же 3G повсюду, гугль с википедией “расширение мозга на внешнем носителе”, те же робопылесосы, билеты на любой транспорт, которые уже не обазательно даже распечатывать — можно покупать прямо перед посадкой или даже в пути и с сотового показывать, электронные почтовые "марки" — отсылаешь платную SMSку, получаешь цифровой код и пишешь туда, где на письме обычно клеят марку. Каршэринг, который тут стал просто прекрасен. И жалко проект Swissmetro, который мог бы стать такой технологией, превращая все крупные города одной отдельно взятой страны в один мегаполис (время проезда от Цюриха до Женевы на Swissmetro составляло бы минут 15, что ли). Жаль, очень жаль, что его зарубили. И грузовое автоматическое метро-маломерок по Германии не очень строят, хотя оно бы изменило правила игры на рынке доставки малогабаритных и развесных грузов, круглосуточная доставка без водителей, без диспетчеров, без сортировщиков в полностью автоматическом режиме удешевила бы доставку на порядок и существенно разгрузила бы автобаны.

А что ещё могло бы поменять правила игры и дать сходу больше свободы? Например лекарство от простуды, полностью излечивающее простуду через полчаса после приёма! Это ж сколько сразу бестолково проводимого времени освободится для полезного или приятного провождения. И таблетки-мотиваторы, чтобы всегда хотелось и моглось взять и начать работать, не раскачиваясь часами/месяцами. Они такие есть, но их нет в свободной продае и пока нет гарантий, что у них нет побочных эффектов, проявляющихся через годы. Ну конечно таблеточка, которую съел и сразу не голодный, без аппетита и снабжённый строго необходимым количеством жиров, белков, углеводов и витаминов. Раз и сразу решается проблема излишнего веса и исчезает необходимость по-нескольку раз в день тратить время на еду. Для вкусной и красивой еды своё время пару раз в неделю, а утолять аппетит лучше быстро и просто. Или вот мужские контрацептивы типа “достаточно одной таблэтки” (люто ненавижу презервативы). А, ну ещё можно лекарства от ВИЧ и рака заодно. Компактный источник чистой дешёвой электро энергии, эффективный аккумулятор (вроде литий-воздушного), экспресс-тесты на все инфекции (бактериальные, грибковые, паразитические и микропаразитические, вирусные и прионные), работающие моментально и применимые в домашних и походных условиях. Такси без водителя, вообще автомобили с автопилотом, общественный транспорт без водителя (соответственно, круглосуточный и частый даже на малоиспользуемых маршрутах), поезда и самолёты без машинистов/пилотов. Нешумный индивидуальный авиатранспорт с автоуправлением (where is my flying car?!).

А потом уж можно и космос осваивать. ;-)

(19 comments | comment on this)

1:15 am
Я правильно понимаю, что минархисты считают необходимыми следующие министерства?:
– финансов
– юстиции /прокуратура, приставы, исполнение наказаний etc/
– предотвращение и борьба с преступлениями /полиция/
– предотвращение и борьба с бедствиями /спасатели, пожарная и береговая охрана, надзор за опасными техническими объектами, мониторинг и прогнозирование стихийных бедствий, санитарно-эпидемиологический контроль и контроль за оборотом отравляющих, радиоактивных и сильновзрывчатых веществ/
– обороны /армия/
– иностранных дел

Ещё что-нибудь?

_____
Я бы в юстицию добавил информационную прокуратуру, чтобы журналистов и выпускающих редакторов излавливать на несостыковках, некомпетентности, лжи и неправомерной дискредитации имиджа чего-либо (профессий, технологий, стран), а по результатам отстранять от профессиональной деятельности на существенные сроки. А аргументация Тило Саррацина, ведёт к некому министерству обеспечения стабильности, которое бы занималось:
– стимулированием рождаемости среди развитых слоёв общества до уровня долгосрочного воспроизводства;
– просвещением неустроенных и интеграцией неинтегрированных людей, пропагандой конституционных ценностей, индивидуальной инициативы, востребованных профессий, качественного образования, здорового образа жизни и культурного досуга, противодействие понижению планки добротности в шоу-бизнесе, дизайне и архитектуре;
– анализированием демографии, ресурсопотребления, экономической и социальной динамики с целью заблаговременного оповещения о стратегических угрозах;
– природоохраной и охраной культурного достояния.

(4 comments | comment on this)

Tuesday, December 27th, 2011
8:31 pm - Saint-Saëns
Диарезис (выглядящий как немецкий умляут, но иного происхождения) служит для обозначения, что буквы не нужно сливать, т.е. букву, над которой стоит диарезис следует читать так, словно бы она стояла в начале слова. Особые пуристы используют его в словах coöperation и coördinate, чтобы они не читались как /куперейшн/ и /курдинейт/ соответственно. В немецком диарезис в этом смысле используется над e, стоящей после гласных a, o, u и i, чтобы показать, что сливать их в ä, ö, ü и i: не следует. Например, в фамилии Haën (Хаен).

К сожалению, диарезис в немецком используется только для гласных. А ведь ему есть применение и в случае согласных. Правила немецкого чтения гласят, что s следует читать как /ш/, в начале слова (отдельного или в составе составного слова), если за ним следует t или p. Это правило приводит к тому, что не зная языка, прочесть однозначно некоторые составные слова невозможно. Если бы в составных словах над s ставили в таком случае диарезис, это бы несколько упростило чтение. Графически меня такое написание на удивление не смущает: Weender Lands̈traße, Programmiers̈prache...

(4 comments | comment on this)

3:10 am - Сны
Однажды мне снилось, что сейчас 16 век, а я сапожник Шмуль Ройф и живу я в славном городе Шпире (Speyer), где жизнь бурлит и будто бы налаживается. Я делаю добрую обувь, у меня пахнет кожей и сапожным клеем. Люди вокруг занимаются торговлей и ремеслом, учат науки и смотрят на звёзды. Знакомятся, заводят семью, строят дома из камня и заводят детишек. Идёт торговля вблизь и в даль, приезжают разные люди, кто из Севильи, кто из Триполи, а кто и из Новгорода. Учёные равины ведут учёные споры и пишут странные книги, заезжие натурфилософы морщат им лоб и рассказывают небылицы о Копернике, Меркаторе, Галилее и каком-то новом континенте. Я езжу в гости к братьям Ашеру и Натану в Вормс и Майнц, там всё так же. Вода Майна чистая и вкусная, ворота пахнут дубом, улица пылью, библиотеки книгами, а перед моим домом стоит старый вяз. А мои дети уедут, и из будут звать уже не Ройфами, а Шапиро по славному городу, где они родились. Где нас сто раз убивали, где мы сто раз воскресали, колыбели ашкеназской культуры.

Хочу поехать туда гулять на каких-нибудь выходных.

(comment on this)

Monday, December 26th, 2011
2:45 am - Милая задачка на сон грядущий.
Задачка про кодирование чисел и пар лямбда-выражениями определённым красивым способом.
Ноль кодируется как тождественная функция, т.е. [x|x], остальные числа получаются из нуля последовательным применением лямбда-выражения succ:
0 = [x|x], 1 = succ [x|x], 2 = succ (succ [x|x]), ...

Кортежи кодируются лямба-выражениями, принимающими число и возвращающими соответствующий элемент кортежа.
[a] 0 = a
[a, b] 0 = a, [a, b] 1 = b
[a, b, c] 0 = a, [a, b, c] 1 = b, [a, b, c] 2 = c
...

Для формирования кортежа можно применять лямбда-выражение tuple, принимающее сперва длину n кортежа, а затем n элементов кортежа:
[a] = tuple 1 a
[a, b] = tuple 2 a b
...

Лямбда-выражение length вычисляет длину кортежа:
length [a] = 1
length [a, b] = 2
...

Лямбда-выражение append соединяет кортежи. Придумайте красивую реализацию совместимых между собой выражений succ, tuple, length и append. У меня есть одно решение, но кажется можно красивее.

(comment on this)

Friday, December 16th, 2011
8:55 am - Лунатизм-автоматизм
Что я могу во сне отвечать на вопросы (особенно о том, почему вставать ещё не пора) и вообще что-то говорит, совершенно этого не осознавая и не запоминая — это для меня не новость. Но вчера было нечто совершенно особенное: я во сне не приходя в сознание согласился сделать некоторое дело, сказал «да, хорошо». Это получается совсем плохо, потому что о своём обещании я узнал с чужих слов пост фактум. Это уже какой-то лунатизм.

Впрочем, форма автоматизма. Вот я 10 минут назад ехал с вокзала на велосипеде сонный: я не помню дороги, не помню светофоров, перекрёстков. Не помню как парковался. Всё на полном автомате, я по-дороге думал о другом. Но при этом совершенно нормально ведь ехал.

(3 comments | comment on this)

Thursday, December 15th, 2011
7:03 am - Оптическая фотолитография до упора в наноэлектронику!
Профессор Хелл (Гёттингенская лаборатория нанофотоники) снова отличился. На базе его STED-технологии в MIT смогли разработать методику быстрой фотолитографии с разрешением 1/8 длинны волны без использования multiple patterning. При помощи недорогого апгрейда существующих сейчас фабов это позволить делать 24nm-професс на совершенно стандартном 192nm ультрафиолете вообще без double patterning или 10 nm с multiple patterning, т.е. до упора технологии на базе кристаллического кремния — 10 нм это 20 атомов кремния, при регулярной химически-однородной структуре из меньшего количества атомных слоёв группы транзистор не сделать.

(4 comments | comment on this)

Wednesday, December 14th, 2011
5:51 am - У жабы тоже есть сердце — зелёное, но своё
Current mood: Башня Rowan — Жабий блюз.

Эксепшн из недр, длинный стектрейс, чорный фон лесорубой консоли. Вискаря из фляжки глыть. Полшестого утра, на улице нет снега, только мерзкий холодный мокрый ветер. Ещё темно. В аське уже никого. Виски горек и дымен. В версии «Жабьего блюза» скрипка как будто с того же скалистого северного острова семи холодных ветров, что и мой виски.

(5 comments | comment on this)


> previous 20 entries
> top of page
LiveJournal.com