おきしみみ (oxij) wrote,
おきしみみ
oxij

Восставший

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

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

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

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 4 comments