Source: Novosibirsk State University – Новосибирский государственный университет –
Хакатон «Тезис Чёрча» впервые проходил в Новосибирском государственном университете. Он ориентирован на всех, кто интересуется математической логикой и её применением в информационных технологиях. В пилотных соревнованиях приняли участие как студенты всех курсов Факультета информационных технологий (ФИТ) и Механико-математического факультета (ММФ) НГУ, так и школьники. Всего зарегистрировалось более 20 команд.
С приветственными словами выступили Гульнара Эркиновна Яхъяева, доцент кафедры общей информатики ФИТ НГУ, лектор курса «Логические основы программирования», и Александр Александрович Власов, заведующий лабораторией разработки программного обеспечения и систем на кристалле, доцент кафедры систем информатики ФИТ НГУ. Они поделились современными вызовами, с которыми сталкиваются специалисты в области логики и программирования.
Хакатон состоял из двух этапов: теоретического, который дал участникам возможность исследовать, как логика применима в повседневной жизни; и практического, в ходе которого ребята решали прикладные задачи: от верификации программ до алгоритмов оптимизирующих компиляторов. Конкуренция была высокой, все команды продемонстрировали высокий уровень подготовки.
О том, как появилась идея провести хакатон, рассказал Антон Чумак, организатор хакатона, «Любитель математической логики», студент 3 курса Факультета информационных технологий НГУ:
— Когда я учился на первом курсе, то слышал возмущения от однокурсников «Зачем нужна математическая логика?» или «Матлог — это предмет, оторванный от остальной математики и каких-либо реальных задач». На втором курсе я вёл дополнительные пары по данному предмету и заметил, что общее настроение первокурсников примерно такое же. «Непонятный и бесполезный предмет», — думала часть из них. И, хотя курс математической логики и теории алгоритмов более абстрактный, чем линал или матан, он также имеет множество практических приложений, особенно в IT. Среди таких сфер — парсеры, верификация программ, базы знаний, искусственный интеллект, экспертные системы, оптимизирующие компиляторы и много другое. Проблема заключается в том, что первокурсники не видят этих приложений, когда им нужно изучать доказательство ТОСМ (теоремы о существовании модели), и не многим хватает мотивации качественно пройти курс. Поэтому мне показалось правильным решением познакомить ребят с задачами, которые появляются в передовых компаниях и требуют знания математической логики для решения. Надеюсь, это изменит их отношение к курсу и дисциплине в целом.
Как отмечают организаторы, основная сложность подготовки хакатона заключалась в составлении задач. Поскольку по формату соревнования ограничены одним днём, то у команды, пусть даже состоящей из трёх человек, мало времени, чтобы решить сложную комплексную задачу. При этом важно было показать многогранность приложений, поэтому нужно было предложить командам как можно больше разных задач. В итоговый список вошли теоретические и практические задачи. Теоретические задачи были посвящены применению математической логики в повседневной жизни программиста. В практическом туре командам предлагалось написать свою машину Тьюринга, алгоритм оптимизации для компилятора, спецификации для верификации алгоритмов в распределённых системах и даже свою базу знаний.
— С радостью могу отметить, что почти все задачи были решены хотя бы одной командой! — добавил Антон Чумак.
Финалом стало торжественное награждение лучших команд. Победители получили памятные призы благодаря поддержке партнёров: особую благодарность организаторы выразили деканату ФИТ НГУ, Управлению молодёжной политики и воспитательной работы НГУ, а также компаниям-партнёрам Факультета информационных технологий — Postgres Professional, YADRO, Ledas и Школе анализа данных — за вклад в организацию и проведение хакатона.
В соревнованиях было 2 зачёта: для школьников и первого курса, а также общий зачёт. В каждом из зачётов было 3 команды-победителя.
Булат Назаров, капитан команды-победителя «Барэбушки», студент 4 курса Факультета информационных технологий НГУ, поделился впечатлениями:
— Да, это мы такие молодцы — взяли хакатон! Если честно, сами не ожидали, что так круто выступим, но очень рады, что в итоге заняли 1 место. На старте немного нервничали — в теоретической части решили ровно столько, чтобы не ударить в грязь лицом. Но потом началась практическая часть, и всё пошло веселее: первыми были задачки на Си, потом переключились на TLA+ (опыт кодинга на этом языке: как будто инопланетян учили человеческому языку, но в итоге заработало). А вот база знаний — наша гордость! Там мы всех обставили по баллам. Наш поиск по данным работал так чётко, что даже мы сами этим гордимся. Особенно приятно было видеть, как наши решения получают высокую оценку. Большое спасибо Антону за рекомендацию, мы искренне рады возможности поделиться нашим опытом.
Денис Елдов, студент 1 курса Факультета информационных технологий, участник команды-победителя «Хотдог мастер» в зачете первокурсников, рассказал о том, как проходил хакатон:
— На первом, теоретическом этапе в принципе было реально успеть решить почти все задания, если их поделить между участниками команды, что мы и сделали. Поэтому не было сильно сложно. Во втором туре были практические задачи, часть из которых была составлена студентами ФИТ, а часть — ведущими IT-компаниями. Мы опять же поделили задачи в команде, но, когда что-то не получалось, обращались друг к другу за помощью. Это было весело, обстановка не была напряженной. Однако у нас постоянно был стимул делать задачи быстрее, так как на экране был выведен рейтинг, который обновлялся в онлайн-режиме. Задачи были как средней сложности, так и сложные, некоторые из них нужно было писать на абсолютно новом языке программирования, что и было одной из основных проблем.
И организаторы, и участники отмечают, что соревнования отличались доброжелательной атмосферой. Помимо собственно турнира были предусмотрены перерывы, когда команды общались в неформальной обстановке.
— Я крайне рад, что участие приняли студенты ФИТ и ММФ, а также школьники. Атмосфера на соревнованиях была очень доброй, домашней. Мне кажется, так и должно быть, когда собираются люди, близкие по духу. Надеюсь, в следующем году к нам присоединится еще больше участников и партнёров, — подытожил Антон Чумак.
Обратите внимание; Эта информация является необработанным контентом непосредственно из источника информации. Это точно соответствует тому, что утверждает источник, и не отражает позицию MIL-OSI или ее клиентов.