Лучше, чем на телевизор…
22.11.2010 г. я и Федор Царев были в ETH (Цюрих) на конференции, посвященной шестидесятилетию Бертрана Мейера, который в то время начинал работать у нас в Университете по совместительству. На фотографиях, размещенных по адресу: https://vk.com/id1077823?z=album1077823_122563144, изображены: Никлаус Вирт, Эрих Гамма, Джозеф Сифакис, Давид Парнас, Юрий Гуревич, Андрей Терехов, Надя Поликарпова, Федя Царев и другие участники конференции.
Отмечу, что в свое время я попал в очень хорошую компанию – «Bertrand Meyer's gallery of computer scientists» (http://se.inf.ethz.ch/old/people/meyer/gallery/), в которой есть все упомянутые выше ученые, но потом «Бертранова любовь» ко мне вместе с моим портретом исчезла, как впрочем, и любовь к ИТМО. Многих из указанных выше ученых можно найти и в галерее Best Computer Science of All Time (https://rankly.com/list/best-computer-scientist-off-all-time).
Там произошла интересная история, начало которой я описал в коротком тексте еще в 2003 г. и назвал «Лучше, чем документация на телевизор» (http://is.ifmo.ru/reflections/mystories/): «Один мой студент, увидев документацию на проект создания программы, выполненный по Switch-технологии, сказал задумчиво: «Это лучше, чем документация на телевизор. Это, видимо, как документация на системы управления подводной лодкой».
Вот ее продолжение. Когда на конференции в Цюрихе, я показал одному из докладчиков – David Parnas (https://en.wikipedia.org/wiki/David_Parnas, https://vk.com/id1077823?z=photo1077823_457246347%2Fwall1077823_16528) – классно оформленную проектную документацию (http://is.ifmo.ru/projects/dg/) на программу (ошибочно названную мною «программной документацией», http://is.ifmo.ru/download/short_dg.pdf), он незамедлительно определил, что я связан с военно-промышленным комплексом, так как, по его мнению, в иных местах документация так хорошо не оформляется.
Мое отрицание факта, связанного с работой, он всерьез не воспринял, так как сам был оттуда и этого не скрывал. Да и как я мог «не попасться», если даже в указанной выше статье в Wikipedia о нем, есть такие слова: «He is also noted for his advocacy of precise documentation» – он пропагандировал точную (четкую, аккуратную) документацию.
Еще одна история, произошедшая там, состояла в том, что я хотел рассказать Джозефу Сифакису (одному из создателей метода верификации Model checking, за который они получили премию Тьюринга) о том, что их метод классно работает на автоматных программах (Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб.: Наука. 2011. 242 с., http://is.ifmo.ru/verification/velder_verification_posobie_nauka.pdf). Однако до его доклада я не смог его узнать – так сильно он изменился по сравнению с опубликованными ранее фотографиями, а после доклада – он сразу же исчез, так как, видимо, обиделся ... на юбиляра, который тоже его не узнал. Так Сифакис (https://vk.com/id1077823?z=photo1077823_193530404%2Falbum1077823_122563144%2Frev) остался в неведении об удобстве верификации их методом именно автоматных программ...
А еще мы там пили пиво в компании с Андреем Тереховым и с выдающимся ученым по Computer Science – Юрием Гуревичем (https://vk.com/id1077823?z=photo1077823_457246348%2Fwall1077823_16528).
19.06.2011.