Зимняя математическая школа 2018

10:00

Подъем

10:30

Глубокие нейронные сети и их практическое применение

Будет представлено краткое введение в глубокие нейронные сети и технологии их обучения. Будут рассмотрены примеры решения задач распознавания рукописных цифр, объектов на изображениях и определения человека по лицу. Также будет демонстрация практической реализации этих задач с помощью библиотек Keras и TensorFlow.

— Андрей Созыкин, к. т. н.

12:00

Запуск математической игры

14:30

Модели освещения в компьютерной графике. Дневная лекция

Расскажу о том, как работает освещение в видео играх и анимационных фильмах. Будут сформулированы основные принципы Physically Based Rendering, основной упор будет сделан на главенствующую ныне модель - Microfacet Model. Поговорим о ее плюсах, минусах и реализации.

— Руслан Кутдусов

17:00

Вечерняя блиц-лекция. Четыре доклада по 20 минут

η Киля и что её окружает

В прошлом году хотела рассказать вам про космос, но не придумала как, и не стала. Задумывались, сколько звезд на звездном небе? Я смогла выбрать одну, от которой можно начать путешествие по галактикам.

— Карина Тиничева

Год в Эсперанто

Лектор поделится опытом изучения языка Эсперанто и ситуации вокруг него.

— Сергей Кумков, к. ф.-м. н.

Бирюзовый – новый чёрный

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

— Алексей Зверев

Химия огня и взрыва

Будет дано представление о процессе горения с химической точки зрения. Расскажу о текущих применениях и проблемах пиротехнического искусства.

— Кирилл Чуркин

22:00

Вечер первого юмора

10:00

Подъем

10:30

Механика бильярда. Утренняя лекция

Как двигаются бильярдные шары и почему именно так, а не иначе.

— Павел Сосновских

12:00

Спартакиада ЗМШ

Работа зависящая от траектории, бег по простым замкнутым цепям в снегу, трение, транзитивность, идемпотентность.

— Глеб Багняк

14:30

Скедулинг в распределенных системах. Дневная лекция

К сожалению, любой компьютер имеет ограниченное количество ресурсов: конечное количество ядер, памяти, места на диске и т.д. Когда на компьютере надо выполнить несколько тасков, может получиться так, что на все таски одновременно ресурсов не хватит и придется делиться. И, как и в реальной жизни, делиться чем-то очень сложно, особенно когда не все равны, но кто-то равнее. Все было бы еще не так плохо, если бы компьютер был на всех один, но на самом деле компьютеров в мире много, и глупо было бы этим фактом не воспользоваться.

На лекции я расскажу, что делать, когда у вас есть много разных тасков и много разных компьютеров и надо выполнить первые на вторых максимально хорошо, что бы это ни значило.

— Михаил Вяцков

17:00

Из истории географических открытий. Часть вторая. Вечерняя лекция

Что ты наделал, Колумб?! Весёлые приключения европейцев в южных морях и землях Нового Света: как найти источник вечной молодости, хорошо ли в Эльдорадо, каковы шансы дожить до конца кругосветки и где на самом деле живут людоеды.

— Елена Петрова, к. ф.-м. н.

19:30

Интеллектуальный вечер

Нейронная смесь "Мозгобойни" и Алексея Зверева. Приглашаются все желающие быть интеллектуально униженными другими желающими.

21:30

Традиционная джазовая лекция

Нереальная альтернатива бане. Факультатив.

— Владислав Лехтик

10:00

Подъем

10:30

Биссектрально-пифагоровы треугольники (о задаче Шарыгина). Утренняя лекция

В журнале "Квант" номер 8 за 1983 год в статье "Вокруг биссектрисы" на странице 36 И.Ф.Шарыгин формулирует такую задачу (входящую также под номером 500 в его известный задачник): "Про данный треугольник известно, что треугольник, образованный основаниями его биссектрис - равнобедренный. Можно ли утверждать, что и данный треугольник равнобедренный?"

Ответ отрицательный, но в статье далее сказано: "К сожалению, автор не сумел построить конкретный пример треугольника (то есть точно указать величины всех его углов или длины сторон) со столь экзотическим свойством. Может быть, это удастся сделать читателям журнала?" Решая эту задачу вместе с Сергеем Маркеловым, я понял, как здесь выйти на теорию эллиптических кривых и операцию сложения точек. После этого мы с Игорем Нетаем применили технику анализа таких кривых и группы рациональных точек на них (относительно так определённой операции). Соответствующая техника позволяет доказать существование бесконечного семейства неподобных друг другу целочисленных треугольников, обладающих требуемым свойством. На докладе я расскажу, как выводится этот результат.

Школьная задача, таким образом, привела нас в самое сердце одной из красивейших ветвей современной математики. Первый целочисленный треугольник имеет стороны, равные 18800081, 1481089 и 19214131.

— Алексей Савватеев, д. ф.-м. н.

14:30

Дневная блиц-лекция. Четыре доклада по 20 минут

Как математики помогают биологам деревья строить.

Разберёмся с филогенией (и это не болезнь), выясним, был ли в действительности отец у LUCA и почему классификация живых организмов до сих пор актуальна

— Илария Тарасова

Information centric networking: наша теорема Ферма

Мы поговорим об одном из ключевых требований к сети, сформулированных ещё на заре интернета, даже до появления веба, которое оказалось весьма крепким орешком. На лекции вы узнаете, почему автор термина "гипертекст" считает всемирную паутину провалом, а один из отцов TCP van Jacobson считал этот протокол не лучшей идеей. И как так получилось, что веб работает правильно только для тех, кто платит.

— Виктор Грищенко, к. ф.-м. н.

Неанонимные биткоины

Многие думают, что за биткоины можно анонимно и безнаказанно покупать наркотики и прочие нелегальные товары в дарквебе. Это не так. Расскажу о том, какие недостатки есть у биткоина, и какие свежие математические результаты позволят криптовалютам исправить эти недостатки.

— Алексей Кирпичников

2D cтолкновения. Физика, математика и программирование

Три этюда про моделирование столкновения объектов в 2D с точки зрения физики, математики и программирования, объединённые одной темой — красотой решения!

— Павел Егоров

17:00

Зимняя комнатная биеннале (ЗКБ)

Инсталлируем современное искусство в наше жилище. Змшата превратят каждую комнату в арт-объект, исключающий мусорную грязь и разобранную мебель.

23:00

Блиц-концерт в честь Дня работника ЗМШ

В каждом выступлении участвуют ровно 3 человека. Каждое выступление длится меньше 5 минут. Появление одного и того же человека в нескольких номерах не допускается.

Дискотека.

10:00

Подъем

10:30

Paxos, или как договориться с людьми, если вы все немножко подтупливаете. Утренняя лекция

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

— Денис Мухаметьянов

14:30

Статистический анализ медицинских данных. Дневная лекция

За последние 10 лет я помогал врачам проводить анализ данных в 4 докторских и 7 кандидатских диссертациях. Эта совместная работа математика и врача была полна смешных и поучительных историй. Мы поговорим о тех "граблях", на которые наступают на всех этапах реального статистического исследования.

— Святослав Солодушкин, к. ф.-м. н.

17:00

История создания советской атомной бомбы. Вечерняя лекция

Краткая история создания советской атомной бомбы, какой вклад внесли данные об американской бомбе, полученные от разведки, какие более эффективные схемы были разработаны позднее. По воспоминаниям Ю.Б.Харитона и др.источникам.

— Юлия Гамзова, к. ф.-м. н.

21:30

Электроконцерт

Группа "Быстро и отстойно пистолз" дает финальный концерт. Не пропусти самый важный концерт этой зимы!

10:00

Подъем

10:30

Очень Сложная Лекция

Быстрорастущие функции: большое видится на расстоянии. Тетрация - жена патриция или жёсткая децимация? Неужели есть реальные задачи, имеющие ВОТ ТАКУЮ вычислительную сложность? (Спойлер: увы, да.) Небольшой экскурс в сложные задачи про простые объекты. Немножко доказательств: как долго можно избегать слов, которых нельзя избежать.

— Арсений Шур, д. ф.-м. н.

14:30

Гражданская война в России, часть IV. Лекция

Выборы, выборы… Кандидаты в члены Учредительного собрания – кто они? В оставшееся время – краткое перечисление временных правительств.

Очередная попытка осмыслить неразбериху, охватившую одну шестую часть суши.

— Максим Фёдоров

23:55

Новый год ЗМШ

Капустник и дискотека.

9:00

Завтрак

14:30

Компьютерно-лингвистические размышления. К вопросу о функциональных языках программирования. Дневная лекция

Что могут и что не могут чистые функциональные языки программирования (Haskell, Elm) и почему я морщусь от фраз типа: "А у нас в Скале/Шарпах/Котлине/... тоже есть функциональное программирование!"

— Сергей Кумков, к. ф.-м. н.

17:00

Вечерняя микс-лекция. Два доклада по 40 минут

Управление информацией, логика и научный метод

В этот раз мы поговорим о софте мозга: проблемы логических обработок, стремление к самообману, почему иногда опровергающие факты не опровергают всю теорию, и чему нас учит доказательство, что все треугольники равнобедренные.

— Даниил Калиниченко

КВН. Это вам не шуточки.

Расскажу про КВН то, что скрыто от глаз обычного телезрителя. Как устроена иерархия и сколько стоит играть в КВН. Поделюсь своим опытом участия в центральных лигах, на Голосящем КИВИНе и финале Высшей лиги КВН. Попробую ответить всем, и прежде всего себе, зачем вообще играть в КВН.

— Даниил Стебнев

20:00

Чемпионат по запрещенным играм

Запрещен в ЗМШ.

10:00

Подъем

10:30

Блокчейн и криптовалюты. Утренняя микс-лекция. Два доклада по 40 минут

Описание принципа работы блокчейна как структуры данных распределённой сети обработки. Обзор приложений на примере нескольких продуктов. Обсуждение особенностей разных реализаций и алгоритмов.

— Алексей Кофман, Константин Плотников

14:30

Топологическая семантика языков программирования. Дневная лекция

Одной из самых горячих тем среди разработчиков языков программирования является HoTT - гомотопическая теория типов. Казалось бы, какая может быть взаимосвязь между топологией и программированием? Об этом и поговорим. Лекция будет посвящена семантическим доменам Ершова-Скотта — специальным топологическим пространствам, на основе которых строится стандартная денотационная семантика современных языков программирования.

— Михаил Бахтерев

17:00

Матмех в образовательной трубе. Вечерняя лекция, диспут.

Есть разные типы вузов: работающих по советским стандартам или в формате открытого образования, со строгой или гибкой системой выбора курсов. Я хочу рассказать про эти форматы, привести несколько конкретных примеров, а затем обсудить, какой формат идеален для обучения математиков и программистов, и соответствует ли сегодняшний матмех этому формату.

- Алексей Зверев

19:30

Музыкальная лекция

- Сергей Сизый, д. т. н.

22:00

Вечер несмешных шуток

9:00

Подъем

10:30

Отъезд

Автобусы будут ровно в 10:30.