ИОИПР (ex-NoML)
الذهاب إلى القناة على Telegram
База знаний: github.com/noml-community/noml-kb www.youtube.com/@NoML_community dzen.ru/noml Чат: @noml_community Рекламы здесь нет, по всем другим вопросам вопросам - @pvsnurnitsyn
إظهار المزيد2 336
المشتركون
لا توجد بيانات24 ساعات
-27 أيام
-3630 أيام
جاري تحميل البيانات...
القنوات المماثلة
سحابة العلامات
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
سبتمبر '26سبتمبر '26
سبتمبر '26
+10
في 0 قنوات
أغسطس '26
+16
في 1 قنوات
Get PRO
يوليو '26
+14
في 1 قنوات
Get PRO
يونيو '26
+9
في 1 قنوات
Get PRO
مايو '26
+17
في 1 قنوات
Get PRO
أبريل '26
+19
في 1 قنوات
Get PRO
مارس '26
+22
في 1 قنوات
Get PRO
فبراير '26
+24
في 1 قنوات
Get PRO
يناير '26
+19
في 0 قنوات
Get PRO
ديسمبر '25
+22
في 1 قنوات
Get PRO
نوفمبر '25
+23
في 2 قنوات
Get PRO
أكتوبر '25
+37
في 1 قنوات
Get PRO
سبتمبر '25
+34
في 1 قنوات
Get PRO
أغسطس '25
+23
في 0 قنوات
Get PRO
يوليو '25
+12
في 0 قنوات
Get PRO
يونيو '25
+43
في 0 قنوات
Get PRO
مايو '25
+32
في 1 قنوات
Get PRO
أبريل '25
+49
في 1 قنوات
Get PRO
مارس '25
+98
في 1 قنوات
Get PRO
فبراير '25
+66
في 3 قنوات
Get PRO
يناير '25
+39
في 1 قنوات
Get PRO
ديسمبر '24
+43
في 2 قنوات
Get PRO
نوفمبر '24
+54
في 1 قنوات
Get PRO
أكتوبر '24
+57
في 3 قنوات
Get PRO
سبتمبر '24
+51
في 4 قنوات
Get PRO
أغسطس '24
+40
في 1 قنوات
Get PRO
يوليو '24
+102
في 6 قنوات
Get PRO
يونيو '24
+39
في 3 قنوات
Get PRO
مايو '24
+56
في 1 قنوات
Get PRO
أبريل '24
+85
في 0 قنوات
Get PRO
مارس '24
+81
في 6 قنوات
Get PRO
فبراير '24
+45
في 1 قنوات
Get PRO
يناير '24
+32
في 0 قنوات
Get PRO
ديسمبر '23
+54
في 1 قنوات
Get PRO
نوفمبر '23
+62
في 1 قنوات
Get PRO
أكتوبر '23
+73
في 1 قنوات
Get PRO
سبتمبر '23
+65
في 0 قنوات
Get PRO
أغسطس '23
+38
في 0 قنوات
Get PRO
يوليو '23
+48
في 0 قنوات
Get PRO
يونيو '23
+51
في 0 قنوات
Get PRO
مايو '23
+55
في 0 قنوات
Get PRO
أبريل '23
+51
في 0 قنوات
Get PRO
مارس '23
+81
في 0 قنوات
Get PRO
فبراير '23
+71
في 0 قنوات
Get PRO
يناير '23
+68
في 0 قنوات
Get PRO
ديسمبر '22
+88
في 0 قنوات
Get PRO
نوفمبر '22
+37
في 0 قنوات
Get PRO
أكتوبر '22
+81
في 0 قنوات
Get PRO
سبتمبر '22
+125
في 0 قنوات
Get PRO
أغسطس '22
+86
في 0 قنوات
Get PRO
يوليو '22
+121
في 0 قنوات
Get PRO
يونيو '22
+64
في 0 قنوات
Get PRO
مايو '22
+82
في 0 قنوات
Get PRO
أبريل '22
+27
في 0 قنوات
Get PRO
مارس '22
+21
في 0 قنوات
Get PRO
فبراير '22
+51
في 0 قنوات
Get PRO
يناير '22
+43
في 0 قنوات
Get PRO
ديسمبر '21
+62
في 0 قنوات
Get PRO
نوفمبر '21
+23
في 0 قنوات
Get PRO
أكتوبر '21
+40
في 0 قنوات
Get PRO
سبتمبر '21
+51
في 0 قنوات
Get PRO
أغسطس '21
+33
في 0 قنوات
Get PRO
يوليو '21
+77
في 0 قنوات
Get PRO
يونيو '21
+34
في 0 قنوات
Get PRO
مايو '21
+187
في 0 قنوات
| التاريخ | نمو المشتركين | الإشارات | القنوات | |
| 27 سبتمبر | 0 | |||
| 26 سبتمبر | 0 | |||
| 25 سبتمبر | +1 | |||
| 24 سبتمبر | 0 | |||
| 23 سبتمبر | 0 | |||
| 22 سبتمبر | 0 | |||
| 21 سبتمبر | +1 | |||
| 20 سبتمبر | 0 | |||
| 19 سبتمبر | 0 | |||
| 18 سبتمبر | 0 | |||
| 17 سبتمبر | 0 | |||
| 16 سبتمبر | 0 | |||
| 15 سبتمبر | +1 | |||
| 14 سبتمبر | +1 | |||
| 13 سبتمبر | 0 | |||
| 12 سبتمبر | 0 | |||
| 11 سبتمبر | 0 | |||
| 10 سبتمبر | +1 | |||
| 09 سبتمبر | +3 | |||
| 08 سبتمبر | +2 | |||
| 07 سبتمبر | 0 | |||
| 06 سبتمبر | 0 | |||
| 05 سبتمبر | 0 | |||
| 04 سبتمبر | 0 | |||
| 03 سبتمبر | 0 | |||
| 02 سبتمبر | 0 | |||
| 01 سبتمبر | 0 |
منشورات القناة
30 сентября 2026 г., 12:00 МСК, онлайн
Методы автоматического выставления ставок в рекламных аукционах
Андрей Дмитриевич Пудовиков (Институт ИИ МГУ)
Яндекс Телемост->
В докладе рассмотрим, как автоматически выбирать ставки в рекламных аукционах, чтобы максимизировать число конверсий при ограничениях на бюджет и стоимость клика. Разберём математическую постановку задачи и основные подходы к её решению — от оптимизации и методов теории управления до обучения с подкреплением. Отдельно обсудим, как учитывать ошибки прогнозов вероятностей клика и конверсии и оценивать качество алгоритмов на практике.
| 2 | Модулярные формы (спецкурс A-II) — литература
Недавно на летней школе по криптографии провёл сеанс облучения лунным светом и агитацию за вступление в секту свидетелей модулярных форм. А в конце весеннего спецкурса "Решетки и формы" обещал написать комментарий по литературе, но что-то затерялось...
Ниже список основной литературы по теме, разбитый по уровням сложности.
Начинающий
• Первые главы в W. Stein, Modular Forms: A Computational Approach. 2007 — Мягкий вход в теорию модулярных форм, сложные доказательства часто опущены, много примеров вычислений в SageMath, т.е. можно сразу "покрутить руками".
• Глава II в W. Ebeling, Lattices and Codes. 2013 — Введение ориентированное на приложения к решеткам, тета-функциям и кодам, следует изложению как в книге Серра, можно использовать и как первое чтение, и как дополнение к Серру. В первой главе краткое и хорошее введение в коды на решетках.
Продолжающий
• Глава VII в Ж.-П. Серр, Курс арифметики. 1972 (J.-P. Serre, Cours D’Arithmetique. 1970) — Классическое введение в модулярные формы, можно сразу открывать главу VII, она в целом самодостаточная, однако при первом знакомстве с темой текст может показаться достаточно плотным.
• Главы III-IV в Н. Коблиц, Введение в эллиптические кривые и модулярные формы. 1988 (N. Koblitz, Introduction to Elliptic Curves and Modular Forms. 1993) — Модулярные формы неразрывно связаны с эллиптическими кривыми (кстати по ЭК уже с большой вероятностью должен случиться наш спецкурс будущей весной). В главе III введение в модулярные формы для полной модулярной группы, а в главе IV раскрываются темы модулярных форм для конгруэнц-подгрупп и МФ полуцелых весов.
• Первый раздел в J.H. Bruinier, G. van der Geer, D. Zagier, The 1-2-3 of Modular Forms. 2008 — Здесь более широкий контекст МФ и их математических приложений, а в последующих разделах раскрыты другие объекты и конструкции мира модулярных форм (МФ Гильберта, МФ Зигеля, МФ Якоби, …)
• П. Сарнак, Модулярные формы и их приложения. 1998 (P. Sarnak, Some Applications of Modular Forms. 1990) — Модулярные формы имеют много приложений в самых разных областях, несколько красивых примеров приложений раскрыты в этой небольшой книжке.
Продвинутый
• Дж. Конвей, Н. Слоэн, Упаковки шаров, решётки и группы. 1990 (J.H. Conway, N.J.A. Sloane, Sphere Packings, Lattices and Groups. 1999) — Книга в целом пропитана объектами из мира модулярных форм, но это точно не текст для первого чтения.
• T. Gannon, Moonshine Beyond the Monster. 2007 — А эта книга в сторону физики, для тех, кто либо уже продвинулся в целом в математике (не только в части МФ), либо готов воспринимать многие вещи на веру, как данность.
Полный список литературы и содержание спецкурса можно найти тут: A-II "Решетки и формы". Спецкурс снова будет проходить в весеннем семестре. | 541 |
| 3 | П.В. Снурницын (ВМК МГУ), Лунный свет модулярных форм: арифметика, кибернетика, физика
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 567 |
| 4 | 16 сентября 2026 г., 12:00 МСК, онлайн
Лунный свет модулярных форм: арифметика, кибернетика, физика
Павел Владимирович Снурницын, к.ф.-м.н, старший научный сотрудник кафедры ИБ ВМК МГУ имени М.В. Ломоносова
Яндекс Телемост->
Мартину Эйхлеру приписывают следующие слова: «Существует пять фундаментальных операций в математике: сложение, вычитание, умножение, деление и модулярные формы». Действительно, модулярные формы изначально возникли в контексте решения задач теории чисел, но постепенно стали одним из центральных объектов современной математики. Именно они стоят за доказательством великой теоремы Ферма, объясняют рекорды упаковки шаров в высоких измерениях, проникают в конструкции постквантовых криптографических схем, а также имеют фундаментальную связь с теорией струн в физике. При этом модулярные формы редко появляются даже в университетских курсах, а над ними незаслуженно витает ореол сложности и высокого порога входа. В докладе попытаемся развеять этот миф, познакомимся с модулярными формами через конкретные примеры и увидим, как один и тот же объект связывает задачи, которые принято считать далёкими друг от друга. В конце концов, границы между дисциплинами — это артефакт учебных программ, а не устройства математики и мира. | 888 |
| 5 | Д.В. Федрушков (Университет ИТМО), Методы оценки синтезированного программного кода и управления его генерацией с применением языковых моделей
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 1 370 |
| 6 | Фонд поддержки ВМК МГУ
Всех с Днём знаний!
Наверняка здесь много выпускников ВМК МГУ (и не только ВМК или МГУ, а просто неравнодушных к науке). Хотим поделиться информацией, что для поддержки факультета ВМК создан новый фонд: Фонд развития прикладной математики и информационных технологий имени академика А.Н. Тихонова.
www.tikhonovfoundation.ru | 1 471 |
| 7 | 2 сентября 2026 г., 12:00 МСК, онлайн
Методы оценки синтезированного программного кода и управления его генерацией с применением языковых моделей
Дмитрий Витальевич Федрушков, аспирант, Университет ИТМО
Яндекс Телемост->
При генерации программного кода с помощью больших языковых моделей зачастую отсутствует эталонное решение, с которым можно было бы сравнить полученный результат, а существующий набор тестов может быть неполным или вовсе отсутствовать. Поэтому для практического использования таких систем необходимы методы оценки качества, способные работать непосредственно с сгенерированным кодом, не опираясь на референс и выполнение тестов. В докладе будет рассмотрен подход к многокритериальному безреференсному оцениванию, объединяющий формально проверяемые свойства кода с вероятностными и семантическими оценками языковых моделей. Будет показано, как различные оценочные сигналы дополняют друг друга и позволяют получить более устойчивую и интерпретируемую оценку качества. Отдельно будет рассмотрено использование такой оценки в качестве обратной связи для управления генерацией. | 2 694 |
| 8 | Созвон: Состояние адаптации LLM и GenAI в бизнесе
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 1 247 |
| 9 | Мероприятия осенью
С сентября продолжит работу семинар ИОИПР (Исследование Операций и Интеллект Принятия Решений). Доклады будут проходить также в онлайн формате по средам, по умолчанию в 12:00 МСК (но иногда будут небольшие смещения). Следите за детальными анонсами предстоящих докладов в @noml_digest или @noml_community и сохраняйте в календари интересные темы:
2 сентября | Дмитрий Витальевич Федрушков (Университет ИТМО), Методы оценки синтезированного программного кода и управления его генерацией с применением языковых моделей.
16 сентября | Павел Владимирович Снурницын (ВМК МГУ), Лунный свет модулярных форм: арифметика, физика, кибернетика.
30 сентября | Андрей Дмитриевич Пудовиков (Институт ИИ МГУ), Методы автоматического выставления ставок в рекламных аукционах.
14 октября | Сергей Павлович Строев (ФМИТ ОГУ), О некоторых задачах теории массового обслуживания и имитационного моделирования.
28 октября | Глеб Владимирович Фёдоров (Университет Сириус), Об одной задаче моделирования Монте-Карло.
11 ноября | [Тема будет объявлена позже].
25 ноября | Александр Андреевич Петров (ФКИ МГУ), Определение множества достижимости в динамических системах с помощью нейронных сетей.
9 декабря | Дарья Александровна Горбань (ФКИ МГУ), Дмитрий Игоревич Королёв (ФКИ МГУ), Совместная оптимизация конфигурации и поведения: обзор simulation-based optimization для пространственно-процессных систем.
23 декабря | [Тема будет объявлена позже]. | 1 491 |
| 10 | 26 августа 2026 г., 12:00 МСК, онлайн
Созвон про состояние адаптации LLM и GenAI в бизнесе
Яндекс Телемост->
Денис Афанасьев из Клуба CDO @cdo_club недавно делился исследованием: Состояние клиентских GenAI-агентов в финансовых услугах.
Решили с Денисом собрать созвон для обсуждения следующих вопросов:
• Какие сейчас в целом есть бизнес-кейсы на базе LLM и GenAI? Что реально работает, а что остаётся на уровне идей и пилотов?
• Почему после трёх лет хайпа LLM/GenAI лицом к клиенту — всё ещё редкость, а не норма?
• Во сколько обходится страх галлюцинаций? И как контролировать процессы на базе LLM/GenAI?
• Строить свой стек или покупать готовое? Почему у разных организаций ответы диаметрально противоположные?
• Что мешает доводить пилоты и идеи на базе LLM/GenAI до прода?
• Наконец, кто в организации должен отвечать за риски связанные с ИИ?
Как обычно, формат открытый и свободный, приглашаются все желающие и послушать, и высказаться по теме! | 2 244 |
| 11 | Еще про PET
Во-первых, ссылка на ПНСТ, о котором говорили на созвоне: Серия ПНСТ «Синтез данных»
Во-вторых, два текстовых резюме созвона (Денис Афанасьев и я)
В-третьих, слегка обновленная заметка про PET/PPML в нашей базе знаний-> | 1 085 |
| 12 | Созвон: Проблемы адаптации технологий конфиденциальных вычислений и PET
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 1 030 |
| 13 | 15 июля 2026 г., 16:00(!!) МСК, онлайн
Созвон про проблемы адаптации технологий конфиденциальных вычислений и PET
Яндекс Телемост->
Технологии конфиденциальных вычислений (и в более широком смысле PET, Privacy-Enhancing Technologies) и потенциальные бизнес-кейсы их применения в контексте задач данных и аналитики мы обсуждаем уже давно.
В этот раз решили поговорить подробнее о вызовах на пути их массового внедрения. Ключевые барьеры сейчас лежат не в технологической, а в организационной и методологической плоскости.
Коллеги из Ассоциации больших данных поделятся своим видением проблем и подходами к их решению:
• Как считать риски при использовании PET?
• Кто берёт эти риски на себя: бизнес, регулятор, оператор данных, вендор технологии?
• Как выглядит пайплайн митигации рисков и что нужно, чтобы ввести его в правовое поле?
Далее проведём широкое обсуждение указанных и смежных вопросов с участием других экспертов данной области.
Сохраняйте ссылку в свои календари и пересылайте коллегам, которым релевантно! | 2 505 |
| 14 | А.С. Тарасов (TarasovMath), Задача Таммеса для 13 точек (сильная проблема тринадцати сфер)
Кстати запись прошедшего семинара от 13 мая:
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 1 663 |
| 15 | Про сети очередей
В теории массового обслуживания (ТМО) есть такая интересная область как сети очередей. Если кратко: это обобщение классической системы массовго обслуживания (СМО) на случай, когда заявка/клиент после обслуживания не покидает систему, а маршрутизируется дальше в другой узел сети (детерминированно, вероятностно, в зависимости от состояния системы и т.д.). Получается граф из взаимосвязанных СМО, где выход одного узла становится входом для другого. Такими моделями можно описывать производственные и логистические цепочки, движение пациентов в больнице или посетителей в музее, вычислительные системы и маршрутизацию пакетов в компьютерной сети, ... практически любую систему с несколькими последовательными или параллельными стадиями обслуживания/обработки. Обычно с помощью таких моделей оценивают сквозные характеристики сети: среднее время прохождения заявки от входа до выхода, длины очередей и время ожидания на отдельных узлах, загрузку и простой серверов, вероятности блокировки из-за переполненных буферов, а также общую пропускную способность системы.
Примером классического результата являются так называемые сети Джексона: при ряде условий стационарное распределение поведения всей сети раскладывается в произведение распределений отдельных узлов, как будто узлы независимы друг от друга. То есть задача решается аналитически и это сильно облегчает анализ системы. Но стоит отойти от этих условий (добавить ограниченную ёмкость буферов и блокировки, приоритеты, не-марковсть, ...) и аналитическое решение уже невозможно, тогда надо применять приближённые численные методы и имитационное моделирование (ИМ).
Пара источников по которым можно познакомиться с областью подробнее:
• J.F. Shortle, J.M. Thompson, D. Gross, C.M. Harris, Fundamentals of Queueing Theory, 2018. Хорошая вводная книга по ТМО, от простых очередей, до сетевых моделей (сети Джексона), фокус прежде всего на аналитические методы, но упоминается также ИМ и численные методы.
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi, Queueing Networks and Markov Chains, 2006. Отличная книга в качестве второй по ТМО, уже с фокусом на сетевые модели. В ней же очень хорошая глава 2 про марковские цепи. Плюс рекомендую (может быть даже в первую очередь) почитать разделы 1.1-1.2 про таксономию задач, методов решения и так называемых концептуализаций/формализаций, то есть как описывать системы различными парадигмами.
С практической точки зрения можно посмотреть на туториалы открытых фреймворков:
• Ciw
• queueing-tool
• LINE
• JMT
Более полный список материалов по ТМО и ИМ ведется в нашей базе знаний->. | 1 039 |
| 16 | Про VLSI
Ниже материалы от докладчика Михаила Шеблаева.
Во-первых, для всех интересующихся темой: сейчас проходит хакатон Траектория САПР 2026, регистрируйтесь и участвуйте!
Во-вторых, очень хорошая книга с систематическим изложеним задач VLSI: A.B. Kahng, J. Lienig, I.L. Markov, J. Hu, VLSI Physical Design From Graph Partitioning to Timing Closure, 2011
И в-третьих, пара инструментов, которые упоминались на семинаре:
• The OpenROAD Project
• iEDA | 676 |
| 17 | М.В. Шеблаев (ФКИ МГУ, Аквариус), Задачи дискретной оптимизации в проектировании микроэлектроники
Запись прошлого семинара от 29 апреля:
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 687 |
| 18 | 13 мая 2026 г., 12:00 МСК, онлайн
Задача Таммеса для 13 точек (сильная проблема тринадцати сфер)
Алексей Сергеевич Тарасов, к.ф.-м.н, TarasovMath
Яндекс Телемост->
Как плотно упаковать 13 шаров вокруг единичного шара? Этот вопрос уходит корнями в знаменитый спор Ньютона и Грегори 1694 года: могут ли 13 равных шаров одновременно касаться центрального? Ньютон утверждал, что нет, Грегори — что да. Правота Ньютона была строго доказана лишь в 1953 году (Шютте и ван дер Варден). Но сразу возник следующий, более тонкий вопрос: какого максимального радиуса должны быть 13 шаров, чтобы уместиться вокруг единичного? Это и есть задача Таммеса для N=13, известная также как сильная проблема тринадцати сфер, и она оставалась открытой вплоть до недавнего времени. В докладе будет представлено решение этой задачи. Ключевым инструментом стала нелинейная оптимизация в сочетании с перебором так называемых неприводимых графов — комбинаторных объектов, кодирующих структуру допустимых конфигураций. | 1 660 |
| 19 | 29 апреля 2026 г., 12:00 МСК, онлайн
Задачи дискретной оптимизации в проектировании микроэлектроники
Михаил Владимирович Шеблаев (ФКИ МГУ, Аквариус)
Яндекс Телемост-> (ссылка будет завтра)
В докладе речь пойдет о принципах проектирования и этапах разработки современных сверхбольших интегральных схем, а такж о задачах оптимизации, возникающих на каждом этапе. | 1 064 |
| 20 | Н.А. Лутовинова (ИПУ РАН), Классические задачи теории расписаний
YouTube->
Дзен->
RuTube->
Файл->
Презентация-> | 3 729 |
