October 10th, 2009

|, me, hikki, ok

Восставший

Я восстал из почти мёртвого состояния, в котором пребывал последние два дня.
В этой вашей Москве меня как-то очень удачно продуло, на обратном пути (в ночь со среды на четверг) в поезде обдалбывался лекарствами, а с поезда сразу попёр на военку, где до конца как-то пребывал в сознании, пожёвывая таблетки. Зато через три-четыре часа после входа в дом я потерялся до сегодняшнего утра. Сейчас температуры вроде нет, горло не болит, но слабость, в остальном ооок.

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

За два дня удалось развиртуалить: товарища Комбинатора (которому спасибо за гидство, терпение меня и прочие плюшки), cyber_lyric и red_buttons.
Также передаю привет violentlyshine, которую я донимал смсками и в жжтолке.