Расписание ЗМШ 2020!
Воскресенье, 2 февраля
10:00
10:00
Отправление автобусов от Ленина 51
в Исетские зори
12:00
12:00
Расселение в Исетских Зорях
Ответственная: Карина Тиничева. Ей и карту в руки.
13:30
13:30
Обед
14:00
14:00
Вступление и заключение
Сергей Викторович Сизый , к. ф.-м. н., д. т. н., Папа
Открытие и закрытие.
Начало и конец.
Старт и финиш.
Пусть и что и требовалось доказать.
14:30
14:30
Simultaneous Localization And Mapping
Михаил Вяцков, VR engineer
Обзор проблемы одновременной локализации и построения карты (SLAM), некоторые алгоритмы ее решения и направления исследований.
17:00
17:00
Разбиения: от Эйлера до современности
Андрей Старовойт, разработчик JetBrains
19:00
19:00
Ужин
21:00
21:00
Вечер знакомств
Новый формат: быстрые свидания между новичками и старичками.
В этом году без анекдотов!
Понедельник, 3 февраля
09:00
09:00
Завтрак
10:00
10:00
Подъём
10:30
10:30
Гражданская война, 20-й год
Максим Фёдоров, знаток сериалов
12:10
12:10
Запуск математической игры!
13:30
13:30
Обед
14:30
14:30
Дневные блиц-лекции
Bloom-фильтр по диапазону
Мария Кискачи, разработчик базовой инфраструктуры Контура
Расскажу на реальном примере, что в работе программиста может пригодиться умение читать научные статьи по Computer science. Ключевые слова: фильтрация, префиксные деревья, байтовые массивы.
Глубокое обучение в медицине
Константин Ушенин, младший научный сотрудник
В докладе пойдет речь о том, как глубокое обучение нейронных сетей меняет медицинскую диагностику. Я расскажу о том, какую информацию могут обрабатывать нейронные сети; про основные проблемы внедрения нейронных сетей при разработке нового медицинского оборудования. Коснусь основных архитектур для классификации сигналов и изображений, сегментации данных на 2D и 3D картинках, расскажем о задачах типа super resolution и artifact removal. Затрону тему персонализированного предсказания результатов лечения и выделения из данных новых знаний с помощью методов обучения без учителя.
17:30
17:30
Урок географии
Арсений Шур, д. ф.-м. н., профессор, прекрасно разбирается в картах
Настоящий математик должен иметь определенные познания в географии. Например, он должен уметь не путать Лас-Вегас с Монте-Карло, несмотря на наличие дефиса и казино в обоих. Чтобы помочь обрести эти познания, мы поговорим о вероятностных алгоритмах, принципе Яо и других интересных вещах.
19:00
19:00
Крайний приём пищи
19:30
19:30
ИТ Квиз от Контура
Сложный и суровый. Наличие Контуровца и программиста в команде — +10 к силе
Вторник, 4 февраля
09:00
09:00
Завтрак
10:00
10:00
Подъём
10:30
10:30
Квадратичный закон взаимности Гаусса и его следствия
Алексей Савватеев, д. ф.-м. н., ректор Университета Дмитрия Пожарского
Введение для начинающих
13:30
13:30
Обед
14:00
14:00
Комбинаторика парламентской республики на примере Кнессета
Михаил Рубинчик, читатель википедии со стажем 10 лет, тренер УрФУ по ACM
Кнессет — парламент Израиля. В Израиле есть левые и правые; Арабы, евреи и "русские"; Ультрарелигиозные, традиционные и светские; очень богатые и совсем бедные; военные и пацифисты; А ещё сионисты, лгбт-сообщество, жители коммун. Всем им нужно договориться, чтобы сформировать правительство. А это интересная комбинаторная задачка!
17:30
17:30
Вечерние блиц-лекции
Проект и Менеджер
Сергей Черных, pm, po, sm
Расскажу, что такое проект и кто такой менеджер.
Чувство вкуса
Андрей Пушин, продуктовый дизайнер в Контуре
Хороший вкус и как его развивать.
19:00
19:00
Крайний приём пищи
20:00
20:00
Джазовый вечер
Владислав Лехтик, ЗМШ-ископаемое (1980 — наши дни)
Нереальная альтернатива бане. Факультатив.
Среда, 5 февраля
09:00
09:00
Завтрак
10:00
10:00
Подъём
10:30
10:30
Раскраски графа
Андрей Райгородский, д. ф.-м. н., Директор Физтех-школы прикладной математики и информатики МФТИ
Задачи о раскрасках являются классическими и основополагающими в теории графов. Достаточно вспомнить о покраске карты, например. Я расскажу и об истории, и о современных вызовах. В том числе речь пойдет об особых классах графов, о некоторых вариантах раскраски, не являющихся традиционными, и о том, как все это устроено для случайного графа.
13:30
13:30
Обед
14:00
14:00
Математика в биоинформатике
Олег Шпынов, JetBrains Research Biolabs
В рамках доклада будут рассмотрены несколько математических идей и их применений в биоинформатике. Например, как можно функционально аннотировать последовательность генома, открывать новые популяции клеток и даже предсказывать возраст.
17:30
17:30
Биоинформатика
Илария Тарасова, PhD student at WEHI (University of Melbourne, Australia)
Что получится, если смешать иммунологию и статистику?
19:00
19:00
Крайний приём пищи
22:00
22:00
Блиц-концерт в честь дня работника ЗМШ
Для начинающих — по шаблону.
Четверг, 6 февраля
09:00
09:00
Завтрак
11:00
11:00
Подъём
11:30
11:30
Как научить компьютер побеждать в играх
Александр Берсенёв, победитель Telegram-игры на ЗМШ 2018
На примере шахмат и го будет рассказано о том, как люди пытались научить компьютер играть лучше людей: от идей Шеннона 1950-х годов до AlphaZero. По пути встретится дерево поиска Монте-Карло и совсем немного машинного обучения. В конце расскажу как обучал на кластере бота для игры в «Проект 5-100», которая была на прошлой ЗМШ.
13:30
13:30
Обед
14:00
14:00
Спартакиада ЗМШ
От создателей «пистолетиков».
Физическая активность против вялости, -30 против 36,6.
17:30
17:30
Математическая логика = Программирование
Виталий Брагилевский, разработчик JetBrains
Математика и программирование, которые когда-то были очень близки, уже давно разошлись в разные стороны. Есть, однако, область, которая их объединяет и даже превращает в нечто единое — это соответствие Карри—Ховарда. В его рамках математическая логика соотносится с типами в языках программирования. Выясняется, что логическое утверждение соответствует типу функции, а его доказательство — коду этой функции. В этой лекции будет рассказываться о том, как устроено это соответствие и как им можно пользоваться для написания корректных программ с одной стороны и доказательства математических теорем с другой.
19:00
19:00
Крайний приём пищи
20:00
20:00
Все чемпионаты по всем запрещённым играм
Пятница, 7 февраля
09:00
09:00
Завтрак
10:00
10:00
Подъём
10:30
10:30
Как общаться с инопланетянами по-научному?
Павел Егоров, руководитель образовательной программы ФИИТ УрФУ и отдела обучения СКБ Контур
Рассмотрим совершенно произвольный внеземной разум. Например, разумную плазму, рой наноботов или хотя бы разумную планету Солярис. Представили? Теперь попробуйте с ним о чём-нибудь поговорить. Нет, без волшебных переводчиков с любого языка на любой. И без телепатии. Не получается? И тем не менее, человечество с десяток раз отправляло содержательные послания к звездам, адресованные внеземному разуму. Причём составленные так, чтобы этот самый внеземной разум смог их понять.
На лекции и разберёмся, как с этой задачкой справляются настоящие учёные астрофизики, а как — учёные-лингвисты из фильмов Голивуда :)
13:30
13:30
Обед
14:00
14:00
Дневные блиц-лекции
Худший язык программирования
Георгий Рылов (разработчик Яндекса, студент и преподаватель) и Андрей Бородин (Glück für Menschen und Maschinen)
Вместе с аудиторией построим худший грабле-язык! Писать больно, читать невозможно! Будем рассказывать пополам. Соберем грабли отовсюду и явим публике. Лекция носит познавательно-развлекательный характер, тяжелых доказательств и серьезной математики не предвидится.
Модель Блэка-Шоулза
Марина Медведева, математик и аналитик данных
Как модель, которая должна была привести к богатству, привела к краху экономики.
17:30
17:30
Вечерние блиц-лекции
Уточняется
Криптография на клеточных автоматах
Владимир Черепанов, студент мат-меха
Наверное, нет такого раздела математики, который не пытались использовать в криптографии. Покажу на примере угадайте-чего.
Случайная лекция
Алина Полупанова, КНщица, 2 курс
Посмотрим, к чему может привести неаккуратное бросание кубика в треугольнике.
Треугольник жертвы: как выйти из него или как стать взрослым
Наталья Корякова, клинический психолог всея Урала, руководитель психологического центра «Обыкновенное чудо»
Фундаментальное психологическое явление должно разъясняться прямо на школьной или университетской скамье. Очень полезная информация кому-то пригодится сразу, кто-то вспомнит позже в сложной ситуации.
19:00
19:00
Крайний приём пищи
20:00
20:00
Возможно, что-то будет
По традиции начнётся с двухчасовым опозданием.
Суббота, 8 февраля
09:00
09:00
Завтрак
10:00
10:00
Подъём
10:30
10:30
Математика кубика Рубика
Андрей Гейн, разработчик Яндекс.Облака, преподаватель, сын Гейна
Кубик Рубика. Что непонятного?
12:00
12:00
Поход за ёлкой
Пушин, Тиничева и Мастюгин, но это не точно (:
Если хочешь помогать — просто скажи!
14:00
14:00
Обед
16:00
16:00
Юмористическая лекция со скрытой моралью...
Алексей Кирпичников, руководитель отдела разработки средств эксплуатации, СКБ Контур
...во время которой мы будем писать программу на Хаскеле, а потом вместе решим, стоит ли ее запускать.
19:00
19:00
Последний ужин
В этом году
23:55
23:55
Новый год ЗМШ
Поздравления, выступления и дискотека
Воскресенье, 9 февраля
09:00
09:00
Новогодний завтрак
12:00
12:00
Дневные блиц-лекции
Инъекция греческой культуры в мир
Илья Цуп, простой парень
Разберёмся, как греческая культура проникла в мир. Узнаем, какое отношение к этому имеет Alexander the Great и Древняя Персия. Оценим вклад Македонии и её конкретных личностей в такое развитие событий.
Какими должны быть тротуары в удобном городе
Александр Багно, выпускник мат-меха, математик ИММ УрО РАН, сооснователь сообщества «Удобный город»
Будут приведены принципы проектирования тротуаров за границей, описано их применение в условиях российских норм и законов и дана инструкция общения с чиновниками на примере того, как добиться ремонта тротуара.
VR игры
Евгений Штин, программист, инди-разработчик
Расскажу, как появился VR шлем, то что он из себя представляет сейчас и как все это работает в играх.
60 FPS Запрещенные приемы разработчиков игр
Глеб Багняк, очень клевый, и геймдизайнер.
Как на самом деле происходит процесс оптимизации современной игры для ПК. В чем сложность портирования игр на консоли. Что полезнее для игры: отложенное освещение и затенение или оптимизация кода? И другие грязные приемы, которые ты не замечаешь.
14:00
14:00
Обед
14:30
14:30
Возвращение корпусов
К первоначальному состоянию
17:30
17:30
Вечерние блиц-лекции
Введение в портфельную теорию
Василий Семёнов, старший преподаватель, Институт экономики и управления УрФУ
Как лучше разложить яйца, или нужно ли ковыряться в ковариациях.
Под капотом покупки авиа билетов
Ольга Игошева, заместитель коммерческого директора по ИТ-решениям, авиакомпания «Уральские Авиалинии».
Как формируется цена, почему она разная в разные дни, как, находясь в условном Кургане, можно легко купить билет на перелет Саньтяго де Чили — Рио де Жанейро. И как всё это, черт побери, устарело. Какие изменения происходят прямо сейчас и при чем здесь математика.
19:00
19:00
Ужин
19:30
19:30
Музыкальная лекция
Сергей Викторович Сизый
22:00
22:00
Вечер не смешных шуток
«У Уробороса»
Понедельник, 10 февраля
09:00
09:00
Подъём
10:30
10:30
Отъезд
Автобусы будут ровно в 10:30