The Catcher in the Rye

( пруфвидео )

Спасибо за наводку Эху Москвы.

В последнее время каждый раз, когда я слышу слово «замыкание» в рамках какого-нибудь раздела информатики, я вздрагиваю и думаю, а какую топологию даёт данный оператор замыкания. Оказывается, во-первых, такая паранойя преследует не только меня, во-вторых, иногда ответ может быть «никакую» (как свидетельство того, что науки разные, следовало бы ожидать такой ответ часто).

Сегодня наткнулся на статью в Архиве: Closures in Formal Languages and Kuratowski's Theorem by J. Brzozowski, E. Grant, J. Shallit. ( А там такое... )

ЗЫ Шаллит этот интересный товарищ. В своей книжке A Second Course in Formal Languages and Automata Theory приводит высказывание «одного профессора» про второе издание книги Хопкрофта и компании «Введение в теорию автоматов...» (известной в народе как Книга золушки): «они выбросили всё самое интересное» (по сравнению с первым изданием). Выбрасывалось, кстати, для того, чтобы студентам несчастным попроще было. А мы в результате в таком положении: первое издание на русский вроде не переводилось и на английском не видно (1979 год всё-таки).

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

И получилось! Поставил smbfs, smbclient, winbind (чтобы не поднимать DNS на десктопе и не коннектиться по IP, которого я и не знаю вообще-то, а по win-имени десктопа). Подредактировал /etc/samba/smb.conf (прописал win-«рабочую группу») и /etc/nsswitch.conf (дописал в hosts значение wins с той же целью, что и ставил winbind).

Принтер создался совсем просто: в стандартом диалоговым окне Принтеры — Создать есть пункт «сетевой принтер через Самбу». В качестве пробной страницы распечатал текст упомянутой песни.

Под Виндовс нужно добавить в share диски, папки и принтеры: это всё делается одинаково просто: правый клик — Свойства — Доступ и там ставить все возможные галочки.

Учитывая полную мою серость в вопросах компьютерных сетей, я просто-таки горжусь собой!

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

Пародоксально, но факт: оценки мехмата сильно напоминают то, что происходит у нас. Как я понял, в общем пессимистически настроен уважаемые сотрудник мехмата МГУ, _wep_. Помимо прочего затрагиваются излюбленные вопросы про качество абитуриентов, количество халявы, войны преподавателей с учебной частью и усталость от оных войн.

Короче, рекомендую к прочтению всем небезразличным к математике. И подписывайтесь на новые комменты!

upd: вот, кажется, продолжение. Особенно интересное от dmitry_pavlov (теперь хоть немножко яснее, почему новый матфак ВШЭ прочат в могильщики мехмата).

Eclipse RCP использует конвенцию именования, в соответствии с которой имена интерфейсов начинаются с I. (Это по модулю SWT, писавшегося приличными людьми из IBM, которые до такого опуститься не могли.)

По меньшей мере, ближайшую ночь я в трауре!

Я чуть не впал в депрессию, пока нашёл, что дурацкая автозамена на дату при вводе чисел в таблицах отключается через Сервис — Параметры — OpenOffice.org Writer — Таблица.

Вообще, 3.0 оставляет худшее впечатление, чем 2.4, сильней подглючивает. Я ещё попытался установить 3.1, но у меня ничего не вышло. В deb-версии какая-то жуткая куча пакетов, я их и раньше видел (в 3.0, например), но жизнь не принуждала к такого рода героическим поступкам: брать и устанавливать их поштучно. Сейчас вот прижало (это в качестве вышеупомянутого процесса впадения в депрессию). Но эффекта никакого не увидел.

Ругать софистов — общее место. Все приличные исследователи же отмечают, что влияние софистов неоднозначно. Например, А. Ф. Лосев сказал: «греческая софистика, несомненно, есть греческое Просвещение». Следующее высказывание я привожу не для того, чтобы в очередной раз поругать софистов.

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

П. П. Гайденко, История греческой философии в её связи с наукой.

А теперь подумайте, как надо рассматривать университетских преподавателей, которые имеют «малую способность к самостоятельному творчеству».

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

В предисловии к своей «Алгебраической топологии» пишет, что девять глав книги можно разделить на три части по три главы: фундаментальная группа, гомологии, гомотопии. О, как красиво, думаю, почти что Барендрегт... Потом пишет, по каким главам какие учебные курсы делать можно: вся книга несколько не умещается в годовой курс, пара вариантов для семестрового курса... А для «вводного курса» по АТ можно почитать главу 4. Здорово, думаю! Одна всего глава. Да ещё и первая в части гомологий получается. Открываю, и через пару страниц начинается использование под разными соусами и в разных ракурсах симплициальных комплексо́в, которые обсеждались в главе 3. Долго плевался...

А определение гомологии у него хорошее. Желаю такое Википедии. Штука вот в чём: он перед тем как это определение дать, вводит штук семь вспомогательных определений. И даже без примеров каких-то, просто подряд определения. Но после этого вся конструкция гомологии очень хорошо воспринимается. Показали тебе, как она из кубиков складывается и в каком порядке. А не просто вывалили эту махину сразу, как в Википедии.

По поводу такого разложения в маленькие определения мне пришли на ум грамматики Хомского (сейчас много с ними вожусь). Когда знаешь вывод предложения грамматики, уже знаешь многое и многое можешь. Синтаксическая структура (определённая выводом) несёт немало смысла. Возьмите хоть схему синтаксически управляемой трансляции, хоть что...

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

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

Обновился!

На ноуте. Час назад. Полёт нормальный.

Из замеченного пока: стал работать скроллинг мышкой в окне Nautilus в области файлов, а не только при наведении на полосу прокрутки. Кроме того, „компактный вид“ ведёт себя более прилично при наличии длинных имён: автоматически не скроллится к концу имени, хотя по-прежнему подёргивается при нажатии стрелочек.

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

UPD: сломался LaTeX-плагин к gEdit, которым пробавлялся в последнюю неделю (я по идее должен написать за это время страниц 40 магистерской диссертации). TeXMaker заглючил ещё сильнее, чем в 8.10. Так что по старинке: написал маленький скриптик для сборки (творчески переработал настройки того же плагина) и редактирую в gEdit (подсветка там есть), а запускаю из консоли. Хотел скрипт запускать через плагин запуска внешних тулзов gEdit, но не осилил: почему-то пишут, что не найдены переменные окружения (для имени текущего файла и т.п.), которые, однако, документированы в справке.

Познакомили с аспиранткой первого года с кафедры Высшей алгебры мехмата МГУ — по телефону. Почти закончила НМУ (один курс что ли сдать осталось). Оказывается, такие люди бывают, и с ними можно даже поговорить (по телефону), если повезёт. И голос очень приятный.

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

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

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

Контрпример там в Википедии, правда, не до конца понял: почему если 0 есть в прообразе, то и окрестность быть должна.

Уже можно заказать себе CD Ubuntu 9.04 по почте (бесплатно). Официально релиз через 5 дней (23-го). Я заказал — будет второй после 8.04 (да и новые наклейки не помешают: старые ещё не все расклеил, а они куда-то запропастились...).

Все видели уже, наверное, но на всякий случай: Что любят наши девушки. Достаточно точно, кажется.

Ко мне пришло посредством muromasa.

Что-то большое сдохлоСвершилось чудо, друг спас жизньна мехмате открывается кофейный автоматсеминар по информатике! Которая computer science. Которая «не-наука»©. Под началом, что характерно, зав. каф. информатики (что характерно для наших широт, математика). Будет идтить по понедельникам раз в две недели, начало — в ближайший, в 16-30.

Все фанаты bravit'а имеют прекрасную возможность послушать своего любимца: первый доклад — его, тема: «Теория типов и её приложения». И если вас пугает название — то так и должно бытьне пугайтесь! Можете быть уверены, что знакомых с этой темой людей на мехмате кроме bravit'а, может, и не найдётся совсем. А если и найдётся, то они будут в явном меньшинстве. А уж мы знаем, что bravit всегда старается быть максимально доступным для окружающих.

В общем, до встречи на семинаре!

Благодаря пинкам bravit'a, а также любезно предоставленному им в его новой обители вай-фаю в качестве испытательного полигона, разобрался с этим самым вай-фаем под Ubuntu для моей ноутбучной карточки Atheros. Всё как написано тут (кроме того, что после распаковки архива с драйвером, имя папки, в которую нужно cd'иться, чуть другое). Мехматовский вай-фай пока не поймался — ловил около гардероба, может в „читалке“ повезёт...

Судя по тому, что написано в том же блоге, 9.04 надо ждать с замиранием...

UPD: в ММ-3,4 вай-фай ловится.

>> Ксения Ларина
Список отщепенцев поистине впечатляет. Приличных людей в стане Михалкова я не знаю: не Михалков, не Ливанов. Вот Ларина спрашивает про Смирнова (для меня это Иван Бунин из «Дневник его жены») — ну, не знаю. Я, в принципе, не спешу приписывать тех или других в число приличных или неприличных, потому и про Смирнова выводов делать не буду (про двух упомянутых выше товарищей уже давно мнение сформировалось).

Ещё ссылка в качестве флеш-моба: открытое письмо Ливанову и Володарскому от одной участницы нынешнего съезда.

Upd: вот про Смирнова написали.

Сегодня, наконец, получил на почте тоненькую книжку Богопольского „Введение в теорию групп“, которая разбита на две равные части: первая излагает изрядное количество общих базовых фактов, а вторая посвящена комбинаторной теории групп или же геометрической теории групп. Как учит нас Википедия, перерождением первой во вторую мы обязаны французскому математику Михаилу Громову (учился и вроде бы заканчивал аспирантуру в ЛГУ) и его теории „гиперболических групп“.

Сегодня же стало известно, что Михаил Громов получает Премию Абеля 2009 года „за его выдающийся вклад в геометрию“.