Победитель конкурса тревел-грантов «School» (по математике) – студент 6 курса механико-математического факультета МГУ имени М.В. Ломоносова Пшеницын Тихон – принял участие в работе Международной школы в Словении «34th European Summer School on Logic, Language and Information» («34-я Европейская летняя школа по логике, языку и информации»).
Школа проходила в г. Любляна (Словения) с 31 июля 2023 по 11 августа 2023 года.
Организаторы:Darja Fiser (University of Ljubljana) (chair), Phokion Kolaitis (University of California, Santa Cruz) (vice-chair), Roman Kuznets (TU Wien), Petya Osenova (Bulgarian Academy of Sciences and Sofia University) (secretary), Jakub Szymanik (University of Amsterdam).
«Школа ESSLLI известна большим разнообразием курсов на стыке математики, логики, лингвистики, теоретической информатики и философии. Я в основном выбирал курсы с логическим содержанием, включающие в себя технические конструкции и результаты. Так, очень актуален для меня был курс “Proof theory of arithmetic”, поскольку одной из тем моих исследований является анализ инфинитарных исчислений, а также курс по пропозициональным кванторам в модальных логиках», - рассказал Тихон.
«Также я с большим интересом посещал курсы, которые находятся на стыке логики и лингвистики. На них не только рассказывалась теоретическая, математическая база, но и – много – о применениях теории на практике; слушателям курсов часто предлагалось поработать с программным обеспечением, созданным для лингвистических приложений. Скажем, на курсе “Tree-Adjoining Grammars: Theory and implementation” авторы рассказали о tree-adjoining grammars, одном из распространённых в формальной лингвистике видов формальных грамматик. После теоретической, математической части (которая мне, конечно, наиболее любопытна) на лекциях мы познакомились и поработали с приложением XMG, разработанным одним из авторов курса. Оно позволяет применять на практике tree-adjoining grammars для разных человеческих языков.
Наиболее важным для меня был курс “Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus”, где было рассказано о моделировании синтаксиса и семантики естественных языков с помощью исчисления Ламбека с модальностями; было дано введение в векторную семантику, рассказано о попытках совместить теоретический, логический подход с инструментами машинного обучения и нейронных сетей. На одном из занятий лектор предложила открытую задачу, которая меня сильно заинтересовала, и мы несколько дней обсуждали её в перерывах; сейчас я продолжаю над ней думать.
Помимо лекций, я принял участие в воркшопе “Modalities in substructural logics: applications at the interfaces of logic, language and computation”. На нём присутствовали учёные, на работы которых я опирался в своих исследованиях. Семинар стал отличной возможностью представить собственное исследование, поддержанное фондом, а также узнать о других работах в этом направлении и пообщаться в неформальной обстановке с профессорами. Во время моего доклада Michael Moortgat дал ценный комментарий касательно того, можно ли в гиперграфовом исчислении Ламбека, которое я исследую, моделировать структурные правила, обеспечивающие взаимодействие мультипликативной конъюнкции и модальностей – эти правила часто используются в лингвистических приложениях», - поделился студент 6 курса Мехмата МГУ Пшеницын Тихон.
Фонд «БАЗИС», предоставляя тревел-гранты на участие молодых ученых в работе лучших международных школ по фундаментальной математике, рассчитывает на активное развитие научно-исследовательской деятельности российских ученых и их интеграцию в мировое научное сообщество.
Ознакомиться с текущим списком финалистов конкурса «School» (тревел-гранты) можно в разделе «Список победителей» 2023 года.
