Конференция по качеству в цифровой индустрии в Орле: общаемся с участниками

В списке участников конференции — вызывающие интерес имена: Фёдор Ткачёв, координатор проекта «Информатика-21», ведущий научный сотрудник Института ядерных исследований РАН, Дмитрий Дагаев — главный эксперт АО «РАСУ», Росатом, Алексей Недоря — руководитель направления Languages and Frameworks, Huawei Russian Research Institute и ряд других экспертов.

Мы решили расспросить о конференции её организаторов и участников.

— Скажите, чему посвящена конференция и почему её участники второй год собираются именно в Орле?

Илья Ермаков, координатор мероприятия, проектный центр Ermakov Systima:

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

— Он из китайской корпорации Huawei?

— Да, Алексей Евгеньевич возглавляет сейчас направление инструментов программирования в исследовательском институте китайской корпорации Huawei в Санкт-Петербурге. Заметьте, что китайцы отлично понимают, куда надо идти для создания технологического прорыва в программировании — ряд отечественных школ, в частности, в Санкт-Петербурге, являются ведущими в мире в решении наиболее сложных задач, требующих математической подготовки и системного подхода. Сейчас перед Недоря стоит задача создать инструментарий программирования нового поколения, о чём он рассказал нам в своём докладе (видео докладов мы опубликуем в ближайшем времени). В прошлом же Алексей известен как создатель в СССР персонального компьютера «Кронос», а позднее — компиляторов и инструментов разработки на базе языков Модула-2 и Оберон, которые до сих пор, в изменённом виде, используются для программирования российских спутников ГЛОНАСС и связи.

— Скажите, а почему Орёл стал местом проведения такой конференции?

— Наша орловская группа (Ермаков, Рюмшин, Темиргалеев) с 2005 года стала ведущим центром развития и поддержки Оберон-инструментария в России. Мы создали интернет-проект OberonCore, форум которого стал основной площадкой общения для профессионалов-единомышленников из России и бывшего СССР. Собственно, из этого сетевого общения потом выросли ежегодные Оберон-дни, которые мы проводили в Москве в Институте ядерных исследований РАН с 2013 года. Ну а когда мы в Орле создали региональный ИТ-кластер, то получили возможность организовывать при поддержке Центра кластерного развития такие конференции в Орле.

— А какова роль Орловского государственного университета?

— Университет второй год любезно предоставляет свои стены для проведения мероприятия. В прошлом году прошла встреча нашего почётного гостя из Швейцарии профессора Юрга Гуткнехта с ректором Ольгой Васильевной Пилипенко, на которой обсуждалась проблематика подготовки программистов. В этом году мы, кругом участников мероприятия, встретились с врио ректора Александром Анатольевичем Федотовым и провели очень предметное обсуждение о том, как могут быть организованы базовые дисциплины в подготовке программистов. Основная проблема в том, что весь первый курс уходит на «подтягивание» поступивших, и на базовую подготовку программиста остаётся второй курс. Необходимо, чтобы к третьему году основная масса студентов умела создавать программные компоненты на языке программирования по поставленным спецификациям — тогда остаётся ещё два года, чтобы развернуть проектную деятельность, познакомиться с реальной промышленной разработкой, включиться в исследовательскую и грантовую работу, а, может быть, и запустить свой стартап. У нас, участников проекта «Информатика-21», накоплен большой опыт и методические материалы для этой задачи. Фёдор Васильевич Ткачёв, например, за много лет отшлифовал курсы программирования, начиная с 5 класса школы и до физического факультета МГУ. У меня большой опыт и корпус материалов, отработанный в Технологическом институте Поликарпова с 2008 по 2014 год на студентах среднего профессионального образования. Валерий Лаптев, имеющий огромный промышленный опыт программирования, создал свою «кузницу кадров» на базе Астраханского государственного технического университета. Лев Чернышов и Владимир Лукин готовят кадры в Московском авиационном институте, отдельно занимаются подготовкой для «Сухого». Могу сказать, что на встрече с с врио ректора ОГУ мы обсудили конкретные перспективы пересадки этого опыта на орловскую почву.

Отдельно хотел бы сказать, что с 2005 года мы говорим о надёжном, ответственном программировании (и показываем, как это делается). Однако только в последнее время это стало находить массовый отклик. Мы теперь окружены множеством устройств — от микроволновки и браслета до автомобиля — в которых работает программное обеспечение. Изолированные системы управления техникой замыкаются в глобальные сети. Если посмотреть на новости мира ИТ, то событие за событием — обнаружения уязвимостей и критических ошибок в таком ПО. И все понимают, что так дальше продолжаться не может. Ну а что касается импортозамещения в сфере ПО, то кому-то казалось, что это «блажь», но сегодня, в 2019 году все видят развернувшиеся цифровые и торговые войны между государствами и корпорациями. И именно поэтому китайская компания Huawei формирует исследовательские подразделения в Санкт-Петербурге. К сожалению, реальной — а не имитационной — практики цифрового импортозамещения в России пока совершенно недостаточно...

Мы подошли к участникам конференции и задали им простой вопрос: «Что вы можете сказать жителям города Орла о том, зачем вы с коллегами здесь собрались?»

Дмитрий Дагаев, АО «РАСУ», Росатом:

— Вопрос, с одной стороны, очень простой, с другой — очень сложный. Мы определяем стратегические направления развития отрасли. Вот недавно состоялся форум наших «ведущих», так сказать, экономистов, где Анатолий Борисович Чубайс, Герман Оскарович Греф обсуждали вопрос, куда движется наша экономика. Люди, которые и определяли долгое время это движение, обсуждали его. И совершенно точно было показано, что не только стратегии, но и тактики движения у них нет, они одновременно и на газ, и на тормоз нажимают — и неизвестно, куда машина при этом поедет. То есть известно, что она никуда не поедет. Мы — люди как бы из другого лагеря. Мы не обладаем материальными ресурсами, которыми можно в масштабах страны управлять, но мы можем определять траекторию стратегического развития отрасли в плане создания таких продуктов, которые позволят Российской Федерации быть конкурентоспособной не только на своём, но и на мировом рынке. Это так называемые Оберон-технологии. Чем они характеризуются? Они опираются на научную основу. То есть на то, о чём мечтали Дейкстра, Хоар, Вирт — и им удалось создать инженерную школу. И если бизнес ушёл, скажем так, под патронаж американских компаний, то мы — те люди, которым удалось подхватить это знамя, которое оказалось волею судеб брошено. Большая удача и честь, что мы взялись это развивать и приумножать. И в этом плане как раз орловский проект OberonCore, который уже много лет существует и имеет большое количество последователей, и проект «Информатика-21» являются флагманами это движения. Если у нас есть люди, которые могут воспроизводить и делать такие [самостоятельные технологии], то нужно это усиливать, организовывать, развивать это. Потому что у людей, которые не знают, куда ехать, скорее всего, ничего не получится в стратегическом плане.

Валерий Лаптев, Астраханский государственный технический университет:

— На мой взгляд, в Орле сейчас единственная собирается группа в Российской Федерации, которая занимается реальным импортозамещением в области информационных технологий — на базе европейской школы. Подчёркиваю — не американской, которая сейчас считается мейнстримом, а на базе европейской школы Никлауса Вирта. Люди, собирающиеся на эту конференцию, пытаются создать и создают собственные российские технологии в самых разных областях: в атомной промышленности, в системах реального времени, в обучении, в компиляторостроении и так далее. Я очень надеюсь, что эта традиция — собираться здесь в Орле — будет у нас ещё долгие годы, и в конечном итоге от этой пока ещё небольшой группы разойдутся круги по всей России, и мы, наконец, получим реальные отечественные программные продукты и реальные информационные технологии, разработанные именно в России, на российской почве и для российской действительности. Мне этого очень хочется. Поэтому я буду стараться приезжать каждый год.

Владимир Лукин, Московский авиационный институт:

— Для меня есть два повода приезжать в Орёл. Я занимаюсь надёжным программированием. Качество программирования — это, можно сказать, очень серьёзная часть моей научной работы. А тематика этой конференции очень точно попадает на это самое качество программного обеспечения за счёт качества языка программирования. А второй повод: мы были в прошлом году, посчитали, что здесь вполне нормальная научная школа, поэтому имеет смысл сюда приехать ещё раз.

Лев Чернышов, Московский авиационный институт:

— Ну и проблема образования всех волнует. Мы тоже работаем в высшем образовании. И подготовка специалистов сейчас — очень актуальная и важная задача. К сожалению, не всё так хорошо у нас в образовании. И какие-то идеи как раз здесь обсуждались. Мы надеемся, что будет какое-то продвижение в этом. Обязательно должны какие-то сдвиги последовать из наших встреч и обсуждений. Тут принято решение, что Оберон-технологии будут продвигаться в Орловском государственном университете. Будем помогать.

Алексей Недоря, Huawei Russian Research Institute, Санкт-Петербург:

— Им [тем, кто приехал на конференцию] хотелось бы сделать что-то лучше в этой стране. Я и в прошлом году собирался приехать. Мне интересно посмотреть на людей, которые здесь собираются — чем они занимаются. В этой теме [Оберон-технологии] я давно.

Рифат Сабирзянов, ООО «ДжиДиСи Сервисез», Казань:

— Мы собираемся обсуждать язык программирования Оберон и всё, что с этим связано. Язык программирования Оберон я считаю отличным языком программирования, незаслуженно малораспространённым. Другие, более плохие языки, получили распространение благодаря финансовой подпитке и рекламе крупных корпораций, а язык программирования, который вышел из академической среды, научно обоснованный, чистый, надёжный, не получил такой подпитки от корпораций, которые получают выгоду от избыточной сложности, от ошибок, которые в связи с этой избыточной сложностью возникают. Поэтому мы стараемся продвигать этот язык программирования. Соответственно, наши встречи помогают нам обмениваться информацией по поводу того, что нового происходит в той области, которая нам интересна.

Иван Денисов, ФИЦ КНЦ СО РАН, Красноярск:

— Собрались для обмена опытом с ведущими разработчиками надёжного программного обеспечения в России, с теми, кто продвигает идеологию борьбы со сложностью в мире ИТ, чтобы жить нам всем в будущем было веселее и разрабатывать правильное ПО. Как-то так.