НОВОСТИ: Свободный софт в теории и на практике

Автор: Илья Щуров

Если следить за одной темой несколько лет подряд, она, в конце концов, приедается: я давно ловлю себя на мысли, что свободное ПО, за развитием которого я с интересом наблюдал с 2004 года, по мере того как становится мейнстримом во множестве областей, дает все меньше и меньше поводов для содержательного обсуждения. Однако вопросы, которые поднимались на конференции quot;Свободное ПО в Высшей школеquot; (Переславль-Залесский), традиционно организуемой ALT Linux совместно с рядом институтов, являются приятным исключением: актуальность затрагиваемых там тем уменьшаться, похоже, не собирается.

В то время как с высоких трибун звучат победные реляции о quot;самых лучших программистахquot;, ситуация с ИТ-образованием в нашей стране весьма непроста. По словам профессора Н. Н. Непейводы, остаточные знания по математике у первокурсников за последние несколько лет стремительно сокращаются, что влечет за собой снижение базовых навыков самостоятельного мышления, без которых ни о каком высшем образовании говорить просто нельзя. Более общая проблема, обсуждавшаяся, в частности, на первой конференции quot;Свободное ПО в Высшей школеquot; три года назад1: недостаток фундаментальной базы и привязка на этапе обучения к конкретным технологиям, доступным в данный момент, нередко приводят к тому, что знания студента устаревают раньше, чем он покидает стены alma mater. Тем не менее впадать в другую крайность тоже нежелательно: отсутствие практических навыков делает выпускника вуза неконкурентоспособным на рынке труда. Проблему усугубляет и то, что зачастую образовательная программа состоит из набора плохо согласованных курсов, причем попытки увязать их друг с другом даже не предпринимаются (в частности, отсутствуют так называемые интегрирующие курсы).

На конференции обсуждалась ситуация в Удмуртском ГУ, где на протяжении длительного времени эти проблемы успешно преодолевались, однако накопленный опыт, во многом завязанный на конкретных людей, не слишком просто quot;тиражироватьquot;. Для реализации такого подхода требуется централизованное планирование, а значит, нужен авторитетный лидер, нужно время и силы на согласование и quot;подгонкуquot; курсов разных преподавателей. Ситуация осложняется еще и quot;политическимиquot; вопросами - современная российская система образования оставляет мало возможностей для реализации подобных проектов. Так вот: одной из таких возможностей Непейвода считает технологию дистанционного образования и предлагает организовать при МГУ quot;виртуальную кафедруquot; для подготовки ИТ-специалистов.

Грамотная организация производственной практики, которая бы позволила студенту получить необходимые в жизни навыки, - отдельный вопрос. Участие в свободных проектах здесь выглядит удачной идеей: благодаря децентрализации прозрачность и документированность процесса разработки в этом случае является quot;условием выживанияquot; для проектов, что существенно упрощает подключение студентов к работе, если сравнивать с компаниями, разрабатывающими софт в закрытых моделях. (Где, по словам одного из докладчиков, процесс quot;вхождения в темуquot; может занимать до полугода.) К тому же открытость разработки позволяет легко контролировать работу студента. Но и тут не следует обольщаться: участники сообщества решают свои задачи, они обычно готовы помочь новичку (например, предоставив ссылки на соответствующую документацию), однако quot;за ручкуquot; никто практиканта вести не будет, и на первый план выходит личная мотивация и интерес. Также отмечалось, что в ходе практики приобретаются навыки не столько программирования, сколько командной работы, - что, впрочем, тоже очень важно в современном мире.

Программное обеспечение, используемое в образовательном процессе, можно условно разделить на две категории: специализированное ПО, ориентированное на обучение, и quot;обычныйquot; софт. К первому классу, безусловно, относится система программирования quot;КуМирquot; (quot;Комплект учебных мировquot;). Разработанная еще в 80-х годах, она широко применялась для преподавания основ программирования в школах и вузах (в частности, на мехмате МГУ). Некоторые читатели, наверное, помнят, как в школьные или студенческие годы с помощью необычного quot;русскогоquot; языка программирования писали программы, например, проводившие виртуального робота по лабиринту. (Фраза, вынесенная в заголовок этой секции - вовсе не политический призыв, а отрывок из такой программы, процитированный на конференции одним из главных создателей quot;КуМираquot; А. Г. Кушниренко). Однако исходная DOS-реализация системы безнадежно устарела, и было решено переписать ее с нуля, сделать кроссплатформной и выпустить как свободное ПО под GPL. В настоящий момент доступны версии под Windows и Linux.

Следует отметить, что проблемы выбора языка программирования для обучения основам алгоритмики - это вечный вопрос, и два преподавателя по этому поводу могут иметь три мнения. Но, пожалуй, нет сомнений в том, что использовать для этой цели мощную промышленную среду разработки не стоит - если школьник или студент, плохо понимающий разницу между циклом с постусловием и циклом с предусловием, столкнется с необходимостью проектирования интерфейса и написания обработчиков событий, - черепно-мозговая травма на всю жизнь ему обеспечена. quot;КуМирquot; в этом смысле безопасен, поскольку заточен под решение конкретной задачи и обладает рядом специальных возможностей для упрощения жизни учащегося и учителя. Например, процесс анализа программ с ошибками здесь устроен особым образом, чтобы давать ученику оптимальное количество информации (на русском языке!) для самостоятельного поиска и исправления своей ошибки, - компиляторы, ориентированные на профессиональное использование, обычно quot;не задумываютсяquot; над такими проблемами, а для учителя необходимость подойти к каждому из тридцати учеников в классе и объяснить, на что quot;ругнулсяquot; компьютер в этот раз, сильно снижает эффективность работы.

Говоря о специализированном обучающем ПО, нельзя не упомянуть проект OLPC, в рамках которого, помимо уникальных с quot;железнойquot; точки зрения недорогих ноутбуков, разрабатывается принципиально новая программная среда, ориентированная на детей и при этом довольно далекая от привычных нам интерфейсных стереотипов. (Подробнее о среде OLPC Sugar см. quot;И пусть никто не уйдет обиженныйquot;, quot;КТquot; #684.) Участники проекта OLPC из Медиалаборатории НГПУ рассказывали о летнем экологическом лагере, проведенном в августе прошлого года, где разные модели нетбуков (в том числе OLPC XO-1) использовались как основной творческий и рабочий инструмент школьников, а беспроводная сеть - как средство (само)организации небольшого исследовательского сообщества (quot;стаиquot;). Для совместного сбора и анализа информации применялись вики-среды, система разработки Scratch, ориентированная на детей, а также средства mindmapping’а (VYM) и анализа онтологий (Metamind).

Стоит отметить и некоторые примеры успешного использования ПО quot;общего назначенияquot; для организации учебных курсов. Например, А. В. Хорошилов из ИСП РАН представил практикум по аналитической верификации программного обеспечения. Студенты учатся использовать инструменты, которые позволяют по тексту программы и ее формальным спецификациям строго доказать, что результат работы программы будет всегда правильным. В частности, в курсе использовалось семейство свободных инструментов верификации Why и система автоматизированного доказательства математических теорем PVS. Проверить таким образом весь код, скажем, ядра Linux совсем не просто (на верификацию нескольких десятков строк кода уходят недели, если не месяцы), но в критически важных областях подобные технологии иногда применяются, и навыки, полученные в ходе такого курса, весьма полезны.

Еще один пример: разработка курса по анализу данных, в котором для практических занятий использовалась система Weka. Авторы подчеркивают, что подобный курс считается сложным и требующим серьезных начальных знаний, а им приходилось ориентироваться на студентов с не слишком хорошей базовой математической подготовкой. Однако возможность quot;поигратьсяquot; с уже готовыми базовыми алгоритмами на практике, а затем использовать их для создания собственных, более сложных программ, не отвлекаясь на технические подробности, позволила быстро подготовить курс и сделать его понятным для студентов.

В контексте миграции на свободное ПО целых образовательных (и не только) организаций стоит отметить usability-исследование, проведенное А. М. Дербенем из Сибирского государственного аэрокосмического университета. В ходе анализа практики работы в разных графических окружениях стало ясно, что на удобство и эффективность работы сильно влияют такие, казалось бы, мелочи, как цвета элементов интерфейса или наличие привычных иконок для разного типа документов. Многие действия с компьютером совершаются пользователями на уровне рефлексов - поэтому, например, изменение оформления кнопки quot;закрыть окноquot; с привычного quot;красного крестикаquot; может привести к существенному замедлению работы (люди просто quot;промахиваютсяquot; мимо этой кнопки, поскольку не смотрят на нее в момент клика, ориентируясь только на боковое зрение). В результате время на освоение новой системы, интерфейс которой максимально приближен к привычному варианту, уменьшается с 30–40 до 1–3 дней. В то же время прямое копирование графических элементов оформления из проприетарных ОС может привести к нарушению авторских прав разработчиков, так что встает вопрос о создании идентичных по своему эффекту, но при этом независимых с точки зрения авторского права тем оформления.

Впрочем, интерфейс - не единственная проблема. Есть и формальные препятствия: зачастую для выполнения требований контролирующих органов необходимо использовать quot;навязанноеquot; сверху ПО, нуждающееся в проприетарной платформе. Впрочем, участники конференции сознательно отказались quot;плакаться друг другу в жилеткуquot; по этому поводу и обсуждали такие вопросы конструктивно - в большинстве случаев эти проблемы имеют различные решения, как правового характера (например, сейчас школы, присоединившиеся к эксперименту по апробации пакета свободного программного обеспечения, могут законно требовать, чтобы весь навязываемый софт работал под этой системой), так и технического (использование Wine, терминальных решений и т. д.), которые позволяют если не преодолеть все трудности, то по крайней мере существенно ослабить их влияние (например, минимизировать число закупаемых лицензий на проприетарные ОС).

Пожалуй, именно так можно сформулировать главную мысль прошедшей конференции: любая проблема имеет решение, нужно лишь немного подумать - и немного поработать.