ЕВГЕНИЙ ЯСИН: Я бы, честно Вам скажу, если бы мне было сегодня 23 или 24 года, с удовольствием поехал бы лет на 5 в США для того, чтобы получить степень доктора наук американского и пят лет поучиться и покрутиться в среде интеллектуальной хорошего американского университета. Они самые лучшие в мире. Для того, чтобы все это привезти с собой. Но как ( Read more... )

Открывается какой-то вал статей по TCS: логика и CS, категории и CS, логика и категории (для CS ;)), теория типов (которая, конечно, использует логические исчисления). Все эти бёрды, миртенсы, уодлеры, рейнольдсы, жирары, не говоря уже о многих неизвестных ( Read more... )

05.13.17: ... Разработка методов обеспечения высоконадежной обработки информации и обеспечения помехоустойчивости информационных коммуникаций для целей передачи, хранения и защиты информации...

Однако я практически поступил в аспу по 05.13.11 (количество набранных на экзаменах баллов максимально).

Сегодня Б.Я. Штейнберг рассказывал про «теорию операторов в теории компиляторов». В общем, было мало нового: как считать ленточные СЛАУ параллельно, как измерять сложность (не количеством операций, а количеством обращений к памяти), как определить устойчивость преобразования, выполняемого оптимизирующим компилятором. Операторов было мало. Почти ( Read more... )

Сейчас за краешек сознания зацепилась простая мысль, бродившая, верно, уже давно, но где-то под спудом (Очень радуюсь таким моментам: куча всяких полезных вещей долгое время не осознаётся ( Read more... )

Вот тут некоторые товарищи обращали внимание на „ нечистоплотность“ гражданина по фамилии ван дер Варден в связи с тем, что его небезызвестная книжка по алгебре была написана по мотивам лекций господина Э. Артина (который для алгебры сделал довольно много ( Read more... )

Сегодня за один вечер узнал:

1. Как у людей появляются комплексы относительно Мехмата и каким образом этому способствует Пилиди.
   
2. Как Михалкович протестует против превращения «ИТ» в инженерную специальность на конкретных примерах, несмотря на то что сам подтверждает её «инженерность» в более абстрактных диспутах.
   
3. Почему дискретная математика на ( Read more... )

Назвал «Гэндальф» Гельфандом. Причём долго не мог понять, что не так и ещё какое-то время вспоминал, как же правильно. Вообще, Гельфандов как-то слишком много, а если к ним ещё присовокупить одного Гельфонда (с седьмой проблемой Гильберта), совсем тяжко получается.

Сегодня в маршрутке слушал Гельфанда с Корчевателем. Говорят, скоро отменят список ( Read more... )