SEWiki - Вклад участника [ru]

Метки

2018-05-05T15:21:52Z

Xamgore: /* Баги (на 05.05) */

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус и презентации, тимлид
* Александра Орищенко — пилит web-app
* Данила Лапко — распознаёт видео

===== Баги (на 05.05) =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

* В распознавании слайдов на видео есть ошибки в определении слайдов, из-за примитивной фильтрации одиночных ложно определенных кадров с плохим коэффициентом соответствия.

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

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

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

Метки

2018-05-05T15:21:31Z

Xamgore: /* Баги (на 05.05 11:23) */

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус и презентации, тимлид
* Александра Орищенко — пилит web-app
* Данила Лапко — распознаёт видео

===== Баги (на 05.05) =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

* В распознавании слайдов на видео есть ошибки в определении слайдов, из-за примитивной фильтрации одиночных ложно определенных кадров с плохим коэффициентом соответствия.

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

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

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

Метки

2018-05-05T14:24:12Z

Xamgore:

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус и презентации, тимлид
* Александра Орищенко — пилит web-app
* Данила Лапко — распознаёт видео

===== Баги (на 05.05 11:23) =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

* В распознавании слайдов на видео есть ошибки в определении слайдов, из-за примитивной фильтрации одиночных ложно определенных кадров с плохим коэффициентом соответствия.

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

* Фикус несъедобный

Метки

2018-05-05T08:27:41Z

Xamgore:

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус и презентации, тимлид
* Александра Орищенко — пилит web-app
* Данила Лапко — распознаёт видео

===== Баги (на 05.05 11:23) =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

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

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

Метки

2018-05-05T08:27:26Z

Xamgore:

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус, тимлид
* Александра Орищенко — пилит web-app
* Данила Лапко — распознаёт видео

===== Баги (на 05.05 11:23) =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

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

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

Метки

2018-05-05T08:23:55Z

Xamgore: /* Баги */

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус, тимлид
* Александра Орищенко — фронтендит
* Данила Лапко — распознаёт видео

===== Баги (на 05.05 11:23) =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

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

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

Метки

2018-05-05T08:23:30Z

Xamgore:

Страница проекта «Метки» для DevDays (весна 2018)

[https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на текущее состояние задач]

[https://github.com/xamgore/au-camera-timestamps Ссылка на проект]

==== Учатники/роли ====
* Игорь Стребежев — ест фикус, тимлид
* Александра Орищенко — фронтендит
* Данила Лапко — распознаёт видео

===== Баги =====

* В распознавании слайдов на видео при переключении слайдов в метках фиксируется не тот слайд, например, при переключении с 24 на 25: <code>{"1.0": 24, "2.08": 24, "3.28": 24, "7.2": 35, "13.2": 25, "14.2": 25}</code>

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

* Алгоритм, который обрабатывает метки одной лекции от нескольких пользователей мобильного приложения, работает очень плохо (пока что выбирается случайный результат одного из пользователей).

* Скрипт, который извлекает заголовки слайдов не извлекает многострочные заголовки (но этого и не нужно для генерации описания к видео).

Devdays Весна 2018

2018-05-03T09:31:21Z

Xamgore: /* Метки */

Чтобы править эту страницу, нужно залогиниться в Sewiki. Тогда сверху будет кнопочка "править". Если у вас нет учётной записи — напишите Игорю желаемый логин.

Редактировать wiki одновременно нескольким людям стоит осторожно: после внесения правки проверьте, что она действительно сохранилась.

== Пример ==

Описание

== Квест-бот для телеграмма ==

Есть культовая серия игр конца 90-х - первой половины 00-х "Космические рейнджеры". Один из компонентов игры - текстовые квесты, очень увлекательная и разнообразная штука от простых логических задач в стиле загадки Эйнштейна до симуляторов дальнобойщика и зэка. Было бы здорово портировать эти квесты в телегу, неплохая такая развлекаловка. [https://yadi.sk/i/jb88tQju3UhBMS Презентация проекта в формате pdf]

Кодим на питоне.

Предложил: Чернышев Ярослав

== Opus Magnum на Android ==

Есть замечательная игрушка Opus Magnum ([https://store.steampowered.com/app/558990/Opus_Magnum/ страница в Steam]). Цель игры -- программировать реакторы, которые преобразуют одни химические соединения в другие. Каждый уровень игры представляет из себя бесконечное гексагональное поле на котором можно размещать манипуляторы, которые можно программировать, размещая на поле различные команды (подхватить атом, повернуть атом, двигаться в другом направлении, объединить атомы и другие).

Для управления всем, что происходит в игре достаточно одной мыши, на прохождение уровня уходит от нескольких минут до нескольких часов (в зависимости от сложности поставленной задачи), что делает игру подходящей для мобильных платформ (можно посидеть подумать, пока едешь из Парнаса в Автово).

[https://www.youtube.com/watch?v=Uj689znjxpg/ ссылка на видео]

Идея: портировать Opus Magnum на Android.

Технологии: Android, Java/Kotlin

Предложил: Новожилов Дмитрий

== Игрушка RogueLike на Python ==

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

Предложил: Никулин Данил

== Coverage App ==

Карты путешествий это здорово, но что делать, если ты путешествуешь только не дальше своей страны/города? (Грустно, но бывает.)

Есть ряд приложений, в которых отмечаешь, в каких странах ты был и какие хотел бы посетить. Можно сделать аналог, но в пределах города. Появится возможность отмечать места, где уже был (с комментариями/оценками) и куда хотел бы сходить, а также следить за статистикой в виде процента изучения города -- часть города, где ты когда-либо бывал (мб с градацией по количеству посещений), в масштабе улиц, площадей, домов.

Предложила: Валерия Горячева

== /bin/init на Rust ==

systemd -- ужасающий кусок софта, но он уже захватил все крупные дистрибутивы Линукса. И это объяснимо: его подход к организации сервисов в самом деле довольно удобный по сравнению с теми ad-hoc-решениями, которые принимались раньше.

Можно попытаться сделать легковесный init без ужасных частей systemd, но умеющий разбирать service-файлы. В дополнение к этому, можно его написать на Rust, чтобы не было глупейших уязвимостей с переполнением буфера, которыми славен systemd.

Халанский.

== Парсер dts-файлов на Haskell ==

В ядре Linux для ARM для описания набора доступных на системе устройств используются dts-файлы (Device Tree Source File). Но с ними есть такая проблема, что инструментальной поддержки у них немного. dtc (Device Tree Compiler) откровенно аскетичный, и если в dts синтаксическая ошибка, он скажет что-то не сильно более содержательное, чем "error". Логические же ошибки он и вовсе не проверяет. Предложение такое: задействовать монадические парсеры и показать суровым ядрописателям, что даже Хаскелль на что-то годен.

Халанский.

== surf с клавиатурой ==

All software sucks. Кроме, конечно, софта от https://suckless.org/. В частности, утверждается, что крохотный браузер https://surf.suckless.org/ does not suck. В самом деле, в подходе suckless есть какая-то логика: чем меньше софта, тем меньше что может suck.

Но понятно также и то, что всё, чем можно управлять только мышкой, -- если это не инструмент рисования диаграмм или пользовательских интерфейсов -- фундаментально sucks. Хочется исправить surf так, чтобы он заслуживал звание suckless и поддерживал базовые keybinding'и, знакомые любому любителю vimperator и иже с ними, а не только мышекликанье.

Уже имеются наработки от сообщества surf, и найти их можно прямо на странице surf, но они обладают рядом важных ограничений, из-за которых без мышки нельзя обойтись даже близко: к примеру, нельзя с клавиатуры переводить фокус на поля ввода; или открывать ссылки в новом окне; продолжать можно долго.

Халанский.

== Консольный stepik ==

[[http://mit.spbau.ru/sewiki/index.php/Devdays_Весна_2018/stepik Страничка проекта]]

Stepik -- сайт с хорошими курсами, это у него не отнять. Но веб-интерфейс у него довольно неудобный. Он очень медленный и ведёт себя местами странно. И многие вещи приятнее делать прямо у себя дома, в родной консоли. К примеру, отсылать задания. Или читать комментарии. Зачем для всего этого нужно ждать, пока все страницы Степика соизволят прогрузиться?

Stepik предоставляет API: https://github.com/StepicOrg/Stepik-API

Оно, на первый взгляд, более-менее полное, раз на нём работают даже мобильные приложения платформы. Также с его помощью уже создали несколько удобных вещей, к примеру, тот же отсылатель кода: https://github.com/StepicOrg/SubmissionUtility. Но всё же хотелось бы вылезать в веб-интерфейс ещё реже. Кажется вполне реальным скачивать видео, отсылать задания, получать комментарии, вообще не пользуясь браузером.

Халанский.

== J на GPU ==

Есть язык J, идейный последователь APL.

APL -- язык, на котором Conway's Game of Life записывается так (надеюсь, я случайно не взломаю wiki, напечатав этот текст):

life←{ ⍝ John Conway's "Game of Life".
↑1 ⍵∨.∧3 4=+/,¯1 0 1∘.⊖¯1 0 1∘.⌽⊂⍵ ⍝ Expression for next generation.
}

J -- язык, на котором эта игра записывается так:

l=:[:+/(3 4=/[:+/(,/,"0/~i:1)|.])*.1,:]

Суть этих языков в том, что они ориентированы на массивы данных -- как numpy, или R, или GNU Octave, но более радикально и/или консистентно: массивы данных являются *фундаментальной* сущностью в этих языках, такой же фундаментальной, как, к примеру, функции. Более подробно о массиво-ориентированных языках можно почитать тут: http://www.ccs.neu.edu/home/shivers/papers/rank-polymorphism.pdf, но вот базовый пример.

a =: 5 5 $ i.25 NB. Just a 5x5 matrix
a
0 1 2 3 4
5 6 7 8 9
10 11 12 13 14
15 16 17 18 19
20 21 22 23 24
< a NB. Put the whole matrix into a box
┌──────────────┐
│ 0 1 2 3 4│
│ 5 6 7 8 9│
│10 11 12 13 14│
│15 16 17 18 19│
│20 21 22 23 24│
└──────────────┘
< "2 a NB. Do it for two dimensions (matrix, basically the same as before)
┌──────────────┐
│ 0 1 2 3 4│
│ 5 6 7 8 9│
│10 11 12 13 14│
│15 16 17 18 19│
│20 21 22 23 24│
└──────────────┘
< "1 a NB. Do it for one-dimensional arrays (rows)
┌─────────┬─────────┬──────────────┬──────────────┬──────────────┐
│0 1 2 3 4│5 6 7 8 9│10 11 12 13 14│15 16 17 18 19│20 21 22 23 24│
└─────────┴─────────┴──────────────┴──────────────┴──────────────┘
< "0 a NB. Do it for zero-dimensional arrays (scalars)
┌──┬──┬──┬──┬──┐
│0 │1 │2 │3 │4 │
├──┼──┼──┼──┼──┤
│5 │6 │7 │8 │9 │
├──┼──┼──┼──┼──┤
│10│11│12│13│14│
├──┼──┼──┼──┼──┤
│15│16│17│18│19│
├──┼──┼──┼──┼──┤
│20│21│22│23│24│
└──┴──┴──┴──┴──┘

То есть map (и, на самом деле, многие другие концепции) получаются естественным образом.

Сейчас на APL пишут мало. На J тоже, но всё же побольше. При этом APL на GPU умеют выполнять, а J -- нет, о чём сообщество J сильно жалеет: в конце концов, ориентированные на массивы языки -- самый очевидный кандидат для выполнения на GPU.

Давайте попробуем исполнять на GPU какое-то подмножество J. Всё не получится: язык слишком крупный http://www.jsoftware.com/docs/help806/dictionary/vocabul.htm и с большим количеством граничных случаев, которые за несколько дней не выйдет покрыть. Но если язык будет парситься по синтаксису J и некоторые операторы будут работать, это уже хорошее начало. Технологии -- C, Rust или их помесь, а также что-нибудь для работы с GPU.

Халанский.

== Игра под NES ==

Иногда так устаёшь сидеть за компьютером, что хочется его выключить и пойти заняться чем-нибудь другим, забыть про все технологии, ощутить единство с природой и отдалиться от любых достижений технологического прогресса. К примеру, поиграть в Денди (aka NES/Famicom). Но, за неимением телевизора, это недостижимо -- остаётся только довольствоваться отголосками мечты.

Отголосок может, в частности, заключаться в создании своей собственной игры, которую можно хотя бы запустить в эмуляторе. Хотя бы, скажем, вот такой: https://www.youtube.com/watch?v=71JNREDtUQM

Технологии: Си, hex-редактор, терпение и спокойствие перед лицом чистого ужаса.

Халанский.

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

Предложил: Егоров Антон

== Эмулятор собеседования ==
[[Try your skills]]

Написать десктопное приложение, эмулирующее прохождение собеседования.

Перед пользователем ставится задача и дается время на ее решение (не больше 30 минут). При этом код необходимо писать в чем-то похожем на Google Docs, то есть нет никакой подсветки синтаксиса либо автодополнения.

Так же есть чат, в котором будет проходить взаимодействие с собеседущим, например, он может спросить о асимптотики решения или может задать вопрос по теории алгоритмов (необходимо ввести название алгоритма, его асимптотику, либо выбрать правильный вариант ответа в тесте).

При этом учитывается, что во время прохождения собеседования пользователь должен постоянно что-либо делать: если пользователь не пишет всевдокод/код, то должен отвечать на вопросы.

Будет возможность скомпилировать решение и проверить на тестах. Задачи можно взять из книги Cracking the Coding Interview, Gayle Laakmann.

Предложила: Мурычева Наталья

== Читалка формул из латеховских исходников ==

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

Идея: переводить формулы в текст (желательно не слишком формальный, чтобы слушать было приятно), и потом передавать это какой-либо читалке для озвучивания.

Предложила: Колесниченко Лара

== Читалка с навигацией ==

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

Предложил: Кузнецов Александр

== Download Hell ==

Часто мы качаем что-то с интернета и оно попадает в папку Downloads, и эта папка со временем превращается в помойку, но при этом часть файлов может быть всё-таки нужной, но искать их среди кучи хлама - не всегда приятно.
Давайте попробуем "умным" образом автоматизировать это дело -- программа будет пытаться автоматически распихивать новые файлы по директориям, основываясь на истории предыдущих перемещений (хотелось бы чуть менее тривиально, чем просто группировать по формату файла - существующие известные мне решения так и делают).

Предложил: Макеев Владимир

== Благотворительность 2.0 ==

[http://mit.spbau.ru/sewiki/index.php/Paywell Страница с описанием]

Люди постоянно тратят деньги на всякий виртуальный стаф. Давайте поможем людям тратить деньги на более полезные вещи.
Я предлагаю написать небольшое android-приложение, где пользователи в пару кликов смогут пожертвовать на наиболее понравившийся им проект.

Технологии: Java/Kotlin, android

Предложил: Кузиванов Николай.

== Smart-contract authorization module ==

Сейчас модно говорить о блокчейне и смарт-контрактах, как это круто и полезно, что за этим будущее, и что технология имеет кучу применений в различных сферах.
Одним из полезных и жизненных применений смарт-контакта является аутентификация пользователей - абсолютно анонимно и практически неугоняемо злоумышленниками.
Так как технология относительно новая, все пилят свой велосипед.
Было бы здорово сделать готовый модуль (например, для Django), который позволял бы из коробки сделать на сайте смарт-авторизацию.

Технологии: Python, Javascript, Solidity

Предложила: Шеметова Екатерина

== Password patterns ==

Известный факт - если пароль составлен по какому-либо правилу (даты, имена, 3 буковки + 4 цифры и т.д.), то можно существенно облегчить перебор и соответственно быстрее взломать аккаунт.
С точки зрения "светлой стороны" - при соответствии пароля паттерну можно сообщить пользователю о ненадёжности такого пароля.
Давайте используем наши новые знания по ML, проанализируем базы слитых паролей разных ресурсов и попробуем поискать такие паттерны.

Предложила: Шеметова Екатерина

== Public Channel Viewer ==

Страничка проекта [http://mit.spbau.ru/sewiki/index.php/PublicChannelViewer]

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

Собственно идея: создать сайт/приложение, который по ссылке на публичный канал будет отображать все записи и изображения оттуда без регистрации и смс.

Предложила: Орищенко Александра

== Метки ==

'''[http://mit.spbau.ru/sewiki/index.php/%D0%9C%D0%B5%D1%82%D0%BA%D0%B8 Страница проекта]'''

Мы снимаем видео занятий. Но нам нужно научиться фиксировать время, когда преподаватель переключает слайды или переходит к другой теме. Тогда научимся:

* генерировать «contents» в описании на ютюбе
* объединять снятую лекцию с презентацией в одном видео

Тогда станет проще использовать видео-материалы, например, при подготовке к сессии.

Игорь

== Загрузка ==

И магистры, и бакалавры снимают видео занятий, но пока что у всех групп одинаковая проблема — уходит много времени на заливку и пост-обработку видосов. Что мы делаем:

* Группируем файлы с карты памяти (руками)
* Конвертируем, делаем пост-обработку (руками)
* Заливаем на ютюб (руками)
* Указываем заголовки, описания, плейлисты (руками)
* Отправляем в телеграмм

Хочется минимизировать количество рук, чтобы можно было вставить флешку в ноутбук, а дальше вся грязная работа произошла сама собой.

Игорь

== Голосование ==

Когда мы группой устраиваем опросы в телеграме, то используем <code>@vote</code> и <code>@pollrBot</code>, которые позволяют выбрать только один вариант. Но что если половина группы хочет Пепси, половина — Колу. Но все не против чая?

[https://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%A8%D1%83%D0%BB%D1%8C%D1%86%D0%B5 Метод Шульце] более точно отразит, чего мы хотим — в этом примере победит чай, который всех устраивает. Предлагается попить чаёк, поразбирать математику и написать нового бота.

Игорь

[[Файл:Schulze.jpg]]

== Ar shooter ==

Предлагается написать шутер с дополненной реальностью.
Есть библиотека Openpose, позволяющая распозновать узловые точки тела человек, работает достаточно быстро и точно, но не достаточно быстро что бы работать на мобильных устройствах.
Предлагается написать мобильное приложение и серверную часть, которая будет разворачиваться на локальной машине игроков и обрабатывать потоковое видео/картинки с мобильных приложений.

Openpose: https://github.com/CMU-Perceptual-Computing-Lab/openpose

Лапко Данила

== Умные Звонки ==

Когда мы разговариваем по телефону, иногда бывают ситуации, когда мы забываем какие-то детали. Предлагаю написать приложение, которое конспектирует весь разговор в текстовый документ и (возможно) выделяет какие-то ключевые моменты и ставит напоминания.

Калинин Владислав

== Visual bytecode ==
[http://mit.spbau.ru/sewiki/index.php/Visual_bytecode Ссылка на страницу проекта]

Все знают, что jvm — stack based vm, т.е. при выполнении байткода оперирует с регистрами, а со стеком, хотелось бы этот стек визуализировать, чтобы можно было легче и быстрее понимать, что делает данный байткод

Алексей Зубаков

== Распознавание графа из рисунка ==

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

Предлагается сделать инструмент, который по рисунку графа сможет сгенерировать код (например, код tikz-а), рисующий похожий граф.

Голышев Роман

== StickFighter ==
Предлагается написать fighter исполюзуя в качестве персонажей stickman

Гостевский Дмитрий

Метки

2018-05-03T09:30:05Z

Xamgore: Новая страница: «Страница проекта «Метки» для DevDays (весна 2018) [https://github.com/xamgore/au-camera-timestamps/projects/1 Ссылка на т…»

Devdays Весна 2018

2018-04-27T00:34:45Z

Xamgore:

Чтобы править эту страницу, нужно залогиниться в Sewiki. Тогда сверху будет кнопочка "править". Если у вас нет учётной записи — напишите Игорю желаемый логин.

Редактировать wiki одновременно нескольким людям стоит осторожно: после внесения правки проверьте, что она действительно сохранилась.

== Пример ==

Описание

== Квест-бот для телеграмма ==

Есть культовая серия игр конца 90-х - первой половины 00-х "Космические рейнджеры". Один из компонентов игры - текстовые квесты, очень увлекательная и разнообразная штука от простых логических задач в стиле загадки Эйнштейна до симуляторов дальнобойщика и зэка. Было бы здорово портировать эти квесты в телегу, неплохая такая развлекаловка. [https://yadi.sk/i/jb88tQju3UhBMS Презентация проекта в формате pdf]

Кодим на питоне.

Предложил: Чернышев Ярослав

== SpaceChem на Android ==

Есть замечательная игрушка SpaceChem ([http://store.steampowered.com/app/92800/SpaceChem/ страница в Steam]). Цель игры -- программировать реакторы, которые преобразуют одни химические соединения в другие. Каждый уровень игры представляет из себя реактор -- поле 10x8, на котором есть два манипулятора, которые можно программировать, размещая на поле различные команды (подхватить атом, повернуть атом, двигаться в другом направлении, объединить атомы и другие).

Для управления всем, что происходит в игре достаточно одной мыши, на прохождение уровня уходит от нескольких минут до нескольких часов (в зависимости от сложности поставленной задачи), что делает игру подходящей для мобильных платформ (можно посидеть подумать, пока едешь из Парнаса в Автово).

Идея: портировать SpaceChem на Android.

Технологии: Android, Java/Kotlin

Предложил: Новожилов Дмитрий

== Игрушка RogueLike на Python ==

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

Предложил: Никулин Данил

== Coverage App ==

Карты путешествий это здорово, но что делать, если ты путешествуешь только не дальше своей страны/города? (Грустно, но бывает.)

Есть ряд приложений, в которых отмечаешь, в каких странах ты был и какие хотел бы посетить. Можно сделать аналог, но в пределах города. Появится возможность отмечать места, где уже был (с комментариями/оценками) и куда хотел бы сходить, а также следить за статистикой в виде процента изучения города -- часть города, где ты когда-либо бывал (мб с градацией по количеству посещений), в масштабе улиц, площадей, домов.

Предложила: Валерия Горячева

== /bin/init на Rust ==

systemd -- ужасающий кусок софта, но он уже захватил все крупные дистрибутивы Линукса. И это объяснимо: его подход к организации сервисов в самом деле довольно удобный по сравнению с теми ad-hoc-решениями, которые принимались раньше.

Можно попытаться сделать легковесный init без ужасных частей systemd, но умеющий разбирать service-файлы. В дополнение к этому, можно его написать на Rust, чтобы не было глупейших уязвимостей с переполнением буфера, которыми славен systemd.

Халанский.

== Парсер dts-файлов на Haskell ==

В ядре Linux для ARM для описания набора доступных на системе устройств используются dts-файлы (Device Tree Source File). Но с ними есть такая проблема, что инструментальной поддержки у них немного. dtc (Device Tree Compiler) откровенно аскетичный, и если в dts синтаксическая ошибка, он скажет что-то не сильно более содержательное, чем "error". Логические же ошибки он и вовсе не проверяет. Предложение такое: задействовать монадические парсеры и показать суровым ядрописателям, что даже Хаскелль на что-то годен.

Халанский.

== surf с клавиатурой ==

All software sucks. Кроме, конечно, софта от https://suckless.org/. В частности, утверждается, что крохотный браузер https://surf.suckless.org/ does not suck. В самом деле, в подходе suckless есть какая-то логика: чем меньше софта, тем меньше что может suck.

Но понятно также и то, что всё, чем можно управлять только мышкой, -- если это не инструмент рисования диаграмм или пользовательских интерфейсов -- фундаментально sucks. Хочется исправить surf так, чтобы он заслуживал звание suckless и поддерживал базовые keybinding'и, знакомые любому любителю vimperator и иже с ними, а не только мышекликанье.

Уже имеются наработки от сообщества surf, и найти их можно прямо на странице surf, но они обладают рядом важных ограничений, из-за которых без мышки нельзя обойтись даже близко: к примеру, нельзя с клавиатуры переводить фокус на поля ввода; или открывать ссылки в новом окне; продолжать можно долго.

Халанский.

== Консольный stepik ==

Stepik -- сайт с хорошими курсами, это у него не отнять. Но веб-интерфейс у него довольно неудобный. Он очень медленный и ведёт себя местами странно. И многие вещи приятнее делать прямо у себя дома, в родной консоли. К примеру, отсылать задания. Или читать комментарии. Зачем для всего этого нужно ждать, пока все страницы Степика соизволят прогрузиться?

Stepik предоставляет API: https://github.com/StepicOrg/Stepik-API

Оно, на первый взгляд, более-менее полное, раз на нём работают даже мобильные приложения платформы. Также с его помощью уже создали несколько удобных вещей, к примеру, тот же отсылатель кода: https://github.com/StepicOrg/SubmissionUtility. Но всё же хотелось бы вылезать в веб-интерфейс ещё реже. Кажется вполне реальным скачивать видео, отсылать задания, получать комментарии, вообще не пользуясь браузером.

Халанский.

== J на GPU ==

Есть язык J, идейный последователь APL.

APL -- язык, на котором Conway's Game of Life записывается так (надеюсь, я случайно не взломаю wiki, напечатав этот текст):

life←{ ⍝ John Conway's "Game of Life".
↑1 ⍵∨.∧3 4=+/,¯1 0 1∘.⊖¯1 0 1∘.⌽⊂⍵ ⍝ Expression for next generation.
}

J -- язык, на котором эта игра записывается так:

l=:[:+/(3 4=/[:+/(,/,"0/~i:1)|.])*.1,:]

Суть этих языков в том, что они ориентированы на массивы данных -- как numpy, или R, или GNU Octave, но более радикально и/или консистентно: массивы данных являются *фундаментальной* сущностью в этих языках, такой же фундаментальной, как, к примеру, функции. Более подробно о массиво-ориентированных языках можно почитать тут: http://www.ccs.neu.edu/home/shivers/papers/rank-polymorphism.pdf, но вот базовый пример.

a =: 5 5 $ i.25 NB. Just a 5x5 matrix
a
0 1 2 3 4
5 6 7 8 9
10 11 12 13 14
15 16 17 18 19
20 21 22 23 24
< a NB. Put the whole matrix into a box
┌──────────────┐
│ 0 1 2 3 4│
│ 5 6 7 8 9│
│10 11 12 13 14│
│15 16 17 18 19│
│20 21 22 23 24│
└──────────────┘
< "2 a NB. Do it for two dimensions (matrix, basically the same as before)
┌──────────────┐
│ 0 1 2 3 4│
│ 5 6 7 8 9│
│10 11 12 13 14│
│15 16 17 18 19│
│20 21 22 23 24│
└──────────────┘
< "1 a NB. Do it for one-dimensional arrays (rows)
┌─────────┬─────────┬──────────────┬──────────────┬──────────────┐
│0 1 2 3 4│5 6 7 8 9│10 11 12 13 14│15 16 17 18 19│20 21 22 23 24│
└─────────┴─────────┴──────────────┴──────────────┴──────────────┘
< "0 a NB. Do it for zero-dimensional arrays (scalars)
┌──┬──┬──┬──┬──┐
│0 │1 │2 │3 │4 │
├──┼──┼──┼──┼──┤
│5 │6 │7 │8 │9 │
├──┼──┼──┼──┼──┤
│10│11│12│13│14│
├──┼──┼──┼──┼──┤
│15│16│17│18│19│
├──┼──┼──┼──┼──┤
│20│21│22│23│24│
└──┴──┴──┴──┴──┘

То есть map (и, на самом деле, многие другие концепции) получаются естественным образом.

Сейчас на APL пишут мало. На J тоже, но всё же побольше. При этом APL на GPU умеют выполнять, а J -- нет, о чём сообщество J сильно жалеет: в конце концов, ориентированные на массивы языки -- самый очевидный кандидат для выполнения на GPU.

Давайте попробуем исполнять на GPU какое-то подмножество J. Всё не получится: язык слишком крупный http://www.jsoftware.com/docs/help806/dictionary/vocabul.htm и с большим количеством граничных случаев, которые за несколько дней не выйдет покрыть. Но если язык будет парситься по синтаксису J и некоторые операторы будут работать, это уже хорошее начало. Технологии -- C, Rust или их помесь, а также что-нибудь для работы с GPU.

Халанский.

== Игра под NES ==

Иногда так устаёшь сидеть за компьютером, что хочется его выключить и пойти заняться чем-нибудь другим, забыть про все технологии, ощутить единство с природой и отдалиться от любых достижений технологического прогресса. К примеру, поиграть в Денди (aka NES/Famicom). Но, за неимением телевизора, это недостижимо -- остаётся только довольствоваться отголосками мечты.

Отголосок может, в частности, заключаться в создании своей собственной игры, которую можно хотя бы запустить в эмуляторе. Хотя бы, скажем, вот такой: https://www.youtube.com/watch?v=71JNREDtUQM

Технологии: Си, hex-редактор, терпение и спокойствие перед лицом чистого ужаса.

Халанский.

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

Предложил: Егоров Антон

== Эмулятор собеседования ==
Написать десктопное приложение, эмулирующее прохождение собеседования.

Перед пользователем ставится задача и дается время на ее решение (не больше 30 минут). При этом код необходимо писать в чем-то похожем на Google Docs, то есть нет никакой подсветки синтаксиса либо автодополнения.

Так же есть чат, в котором будет проходить взаимодействие с собеседущим, например, он может спросить о асимптотики решения или может задать вопрос по теории алгоритмов (необходимо ввести название алгоритма, его асимптотику, либо выбрать правильный вариант ответа в тесте).

При этом учитывается, что во время прохождения собеседования пользователь должен постоянно что-либо делать: если пользователь не пишет всевдокод/код, то должен отвечать на вопросы.

Будет возможность скомпилировать решение и проверить на тестах. Задачи можно взять из книги Cracking the Coding Interview, Gayle Laakmann.

Предложила: Мурычева Наталья

== Читалка формул из латеховских исходников ==

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

Идея: переводить формулы в текст (желательно не слишком формальный, чтобы слушать было приятно), и потом передавать это какой-либо читалке для озвучивания.

Предложила: Колесниченко Лара

== Download Hell ==

Часто мы качаем что-то с интернета и оно попадает в папку Downloads, и эта папка со временем превращается в помойку, но при этом часть файлов может быть всё-таки нужной, но искать их среди кучи хлама - не всегда приятно.
Давайте попробуем "умным" образом автоматизировать это дело -- программа будет пытаться автоматически распихивать новые файлы по директориям, основываясь на истории предыдущих перемещений (хотелось бы чуть менее тривиально, чем просто группировать по формату файла - существующие известные мне решения так и делают).

Предложил: Макеев Владимир

== Благотворительность 2.0 ==

Люди постоянно тратят деньги на всякий виртуальный стаф. Давайте поможем людям тратить деньги на более полезные вещи.
Я предлагаю написать небольшое android-приложение, где пользователи в пару кликов смогут пожертвовать на наиболее понравившийся им проект.

Технологии: Java/Kotlin, android

Предложил: Кузиванов Николай.

== Public Channel Viewer ==

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

Собственно идея: создать сайт/приложение, который по ссылке на публичный канал будет отображать все записи и изображения оттуда без регистрации и смс.

Предложила: Орищенко Александра

== Метки ==

Мы снимаем видео занятий. Но нам нужно научиться фиксировать время, когда преподаватель переключает слайды или переходит к другой теме. Тогда научимся:

* генерировать «contents» в описании на ютюбе
* объединять снятую лекцию с презентацией в одном видео

Тогда станет проще использовать видео-материалы, например, при подготовке к сессии.

Игорь

== Загрузка ==

И магистры, и бакалавры снимают видео занятий, но пока что у всех групп одинаковая проблема — уходит много времени на заливку и пост-обработку видосов. Что мы делаем:

* Группируем файлы с карты памяти (руками)
* Конвертируем, делаем пост-обработку (руками)
* Заливаем на ютюб (руками)
* Указываем заголовки, описания, плейлисты (руками)
* Отправляем в телеграмм

Хочется минимизировать количество рук, чтобы можно было вставить флешку в ноутбук, а дальше вся грязная работа произошла сама собой.

Игорь

== Голосование ==

Когда мы группой устраиваем опросы в телеграме, то используем <code>@vote</code> и <code>@pollrBot</code>, которые позволяют выбрать только один вариант. Но что если половина группы хочет Пепси, половина — Колу. Но все не против чая?

[https://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%A8%D1%83%D0%BB%D1%8C%D1%86%D0%B5 Метод Шульце] более точно отразит, чего мы хотим — в этом примере победит чай, который всех устраивает. Предлагается попить чаёк, поразбирать математику и написать нового бота.

Игорь

[[Файл:Schulze.jpg]]

Файл:Schulze.jpg

2018-04-27T00:13:04Z

Xamgore:

Типы в языках программирования весна 2018

2018-04-19T12:41:30Z

Xamgore:

Преподаватель: Москвин Денис Николаевич <code>dmoskvin@gmail.com</code>

== Лекции ==

[[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]

[[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]

[[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]

[[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]

[[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]

[[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]

Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)

[[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]

[[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]

[[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]]

== Практика ==

[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]

'''[https://docs.google.com/spreadsheets/d/1Nw39sim23x9sQ-odIjLK3NgJhp1VqD7rYvARbbVb3kg/edit?usp=sharin Таблица с результатами]'''

Java 5SE весна 2018

2018-04-18T10:48:27Z

Xamgore:

== Лекции ==
Кузнецов Антон Михайлович <code>anton.m.kuznetsov@gmail.com</code>

[https://www.dropbox.com/sh/cc8cp10q4whpyfw/AABV413nWwIi41XSd9GcTdmra?dl=0 Материалы лекций]<br/>

'''[https://docs.google.com/spreadsheets/d/1B2rjNXF_xJbiqUB7EPpiihGkl950h2D4ODQuQHKXyxY/edit?usp=sharing Таблица с результатами]'''

== Практика Саввинов ==

Саввинов Дмитрий <code>dsavvinov@gmail.com</code>

'''[https://docs.google.com/spreadsheets/d/e/2PACX-1vRIuc2qQAxqgfS3JvxD75cx_y8kXDxVM5vRtqP80in_t4RTe44nxE77oCkuEooTrSxIg22bI_A4Nz8I/pubhtml?gid=677743982&single=true Таблица с результатами]'''

# [https://docs.google.com/presentation/d/14jVg-zqWG6YgQn66NlOSyUVhuNieJtUPwfEz8sOID2A/edit?usp=sharing Практика №1. Введение]
# [https://docs.google.com/presentation/d/1L7HFW8ZjKA-LVLkLnwG0vLjZ_mK4BBfqzaAjJMSteHs/edit?usp=sharing Практика №2. Java tooling]
# [https://docs.google.com/presentation/d/13kikUYqbMNq9rMdJoytipJxZUmQU0wT1LcGDtywySk8/edit?usp=sharing Практика №3. Мини-разбор ДЗ, code quality]
# [https://docs.google.com/presentation/d/1GlpWVUZAh9PIZRZqces4FkpTgJLqFNRppGcHQJPn4WA/edit?usp=sharing Практика №4. Git]
# [https://github.com/dsavvinov/java-1-au-course Практика №5. Generics, задание]

== Практика Прошев ==

Прошев Семен <code>s-proshev@ya.ru</code>

# Практика №2. [https://www.dropbox.com/sh/rpoguqmrc08j5fq/AADtDAmzlqPHP6VvbelBQutNa?dl=0]
# Практика №3. [https://www.dropbox.com/sh/9fxn7g5ur3nt2zw/AADp47Tmpfy_CZFNEO-tREqda?dl=0]
# КР №1. [https://www.dropbox.com/sh/8ag0vp3ljm098ay/AACiXdBAdxGv-J-oIN9_1p6Ba?dl=0]
# Практика №6. [https://www.dropbox.com/sh/7xicb9x0p8az1pf/AACCc4Vhdi3rV_ei1p80867La?dl=0]
# Практика №7. [https://www.dropbox.com/sh/hci459nbfjniuui/AADuf6X9mzUtNHfm-W5gBnFGa?dl=0]

Математическая логика 5SE весна 2018

2018-04-18T10:38:36Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')

[[Медиа:Mlc01_2018.pdf|Лекция 1. Логика высказываний]]

[[Медиа:Mlc02_2018.pdf|Лекция 2. Полные системы связок]]

[[Медиа:Mlc03_2018.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]]

[[Медиа:Mlc04_2018.pdf|Лекция 4. Исчисление высказываний генценовского типа]]

[[Медиа:Mlc05_2018.pdf|Лекция 5. Интуиционистское исчисление высказываний]]

[[Медиа:Mlc06_2018.pdf|Лекция 6. Логика предикатов первого порядка]]

[[Медиа:Mlc07_2017.pdf|Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)]]

[[Медиа:Mlc08_2018.pdf|Лекция 8. Исчисление предикатов гильбертовского типа]]

== Практика ==

Жаворонков Эдгар: [mailto:edzhavoronkov+au-logic-spring2018@gmail.com почта] / [https://t.me/EdgarZhavoronkov telegram]

'''[https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Таблица результатов]'''

=== Материалы с занятий и домашние задания: ===

* [[Медиа:Logic01.pdf|Задание 1]] ([[Медиа:Logic01.zip|tex]]) до '''20.03.2018 23:59''' (мягкий)
* [[Медиа:Logic02.pdf|Задание 2]] ([[Медиа:Logic02.zip|tex]]) до '''03.04.2018 23:59''' (мягкий)
* [[Медиа:Logic03.pdf|Задание 3]] ([[Медиа:Logic03.zip|tex]]) до '''18.04.2018 23:59''' (мягкий)

=== Правила игры ===
==== Сдача домашних заданий ====

* На почту с указанием темы (без неё игнорируются)
* В виде PDF-файлов (желательно из LaTeX'a)

==== Дедлайны ====

* До мягкого дедлайна — можно отправлять исправления, постараюсь ответить
* После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления
* После жёсткого дедлайна — не оцениваются

==== Зачет ====

* Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов

MediaWiki:Common.css

2018-04-18T10:27:40Z

Xamgore:

/* Размещённый здесь CSS будет применяться ко всем темам оформления */

.mw-body a.external[href^='https://stepik.org'],
.mw-body a.external[href^='https://github.com'],
.mw-body a.external[href^='https://yadi.sk'],
.mw-body a.external[href^='https://t.me'] {
background: 0;
padding-right: 0;
}

.mw-body a.external[href^='https://stepik.org']::after,
.mw-body a.external[href^='https://github.com']::after,
.mw-body a.external[href^='https://yadi.sk']::after,
.mw-body a.external[href^='https://t.me']::after {
content: '';
padding-right: 1.4em;
background-size: contain;
background-repeat: no-repeat;
background-position-x: right;
}

.mw-body a.external[href^='https://stepik.org']::after {
background-image: url(https://stepik.org/static/classic/ico/favicon_57.png);
}

.mw-body a.external[href^='https://github.com']::after {
background-image: url(https://assets-cdn.github.com/favicon.ico);
background-image: url(https://assets-cdn.github.com/pinned-octocat.svg);
}

.mw-body a.external[href^='https://yadi.sk']::after {
background-image: url(https://yadi.sk/favicon.ico);
}

.mw-body a.external[href^='https://t.me']::after {
background-image: url(http://mit.spbau.ru/sewiki/images/7/7d/Telegram-icon.png);
}

MediaWiki:Common.css

2018-04-18T10:24:42Z

Xamgore:

/* Размещённый здесь CSS будет применяться ко всем темам оформления */

.mw-body a.external[href^='https://stepik.org'],
.mw-body a.external[href^='https://github.com'],
.mw-body a.external[href^='https://yadi.sk'],
.mw-body a.external[href^='https://t.me'] {
background: 0;
padding-right: 0;
}

.mw-body a.external[href^='https://stepik.org']::after,
.mw-body a.external[href^='https://github.com']::after,
.mw-body a.external[href^='https://yadi.sk']::after
.mw-body a.external[href^='https://t.me']::after {
content: '';
padding-right: 1.4em;
background-size: contain;
background-repeat: no-repeat;
background-position-x: right;
}

.mw-body a.external[href^='https://stepik.org']::after {
background-image: url(https://stepik.org/static/classic/ico/favicon_57.png);
}

.mw-body a.external[href^='https://github.com']::after {
background-image: url(https://assets-cdn.github.com/favicon.ico);
background-image: url(https://assets-cdn.github.com/pinned-octocat.svg);
}

.mw-body a.external[href^='https://yadi.sk']::after {
background-image: url(https://yadi.sk/favicon.ico);
}

.mw-body a.external[href^='https://t.me']::after {
background-image: url(http://mit.spbau.ru/sewiki/images/7/7d/Telegram-icon.png);
}

Файл:Telegram-icon.png

2018-04-18T10:24:21Z

Xamgore:

Типы в языках программирования весна 2018

2018-04-18T10:09:41Z

Xamgore:

Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''')

== Лекции ==

[[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]

[[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]

[[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]

[[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]

[[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]

[[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]

Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)

[[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]

[[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]

== Практика ==

[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]

Devdays Весна 2018

2018-04-16T14:43:36Z

Xamgore:

Файл:Java05 generics 2018.pdf

2018-04-09T14:26:10Z

Xamgore:

Алгоритмы и структуры данных 5SE весна 2018

2018-04-06T13:33:30Z

Xamgore: /* Лекции */

== Лекции ==
Преподаватель: Смаль Александр Владимирович ('''avsmal@gmail.com''')

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

*[[Медиа:Algorithms-2015-12-11.pdf| "Splay-дерево"]]
*[[Медиа:Algorithms-2016-10-27.pdf| "RMQ и LCA"]]
*[[Медиа:Algorithms-2016-02-24.pdf| "Хеширование"]]
*[[Медиа:Algorithms-2016-03-16.pdf| "Числовые алгоритмы. Генерация простых чисел. RSA"]]
*[[Медиа:Algorithms-09-04-2015.pdf| "Быстрое преобразование Фурье"]]

== Практика ==
[http://acm.spbgu.ru/tsweb/ Контесты]

[http://mit.spbau.ru/sewiki/images/1/19/Algo_20180503.pdf Домашнее задание (на 05.03.2018)]

<h3>Мишунин</h3>

Преподаватель: Мишунин Александр ('''alexander.mishunin@gmail.com''')

[https://docs.google.com/spreadsheets/d/1n_7ITKJax1WkWtwkpndAFAIS3mnWEZBs_WvSc9Gfp5w Таблица с результатами]

<h3>Давыдов</h3>

Преподаватель: Давыдов Алексей ('''adavydow@gmail.com''')

<h3>Слабодкин</h3>

Преподаватель: Слабодкин Михаил ('''slabodkinm@gmail.com ''')

[https://docs.google.com/spreadsheets/d/1Q_6aco730btPuLAJnTZ_-SvFqzYj1kUDylFjBsRjI1Y/edit#gid=1316643056 Таблица с результатами]

Машинное обучение 5SE весна 2018

2018-04-03T20:23:15Z

Xamgore:

Преподаватель: Шпильман Алексей Александрович (<code>alexey@shpilman.com</code>)

* [https://docs.google.com/spreadsheets/d/1CNwS-XjgcB7u_vSSuXbK1g0gWffUAFQf1d1oTlenneg/edit#gid=0 Баллы за квизы]

* [https://docs.google.com/spreadsheets/d/1Igk1zTJ2icnUk7zbxlIQMBBf2-KtxiHVNM7HcVEM4ew/edit#gid=0 Баллы за домашки]

* [https://drive.google.com/drive/folders/1tNVgO-5QXXSJod8mZX-F3g3V3jTVIZWE Материалы курса]

Машинное обучение 5SE весна 2018

2018-04-03T20:23:04Z

Xamgore:

== Лекции ==
Преподаватель: Шпильман Алексей Александрович (<code>alexey@shpilman.com</code>)

* [https://docs.google.com/spreadsheets/d/1CNwS-XjgcB7u_vSSuXbK1g0gWffUAFQf1d1oTlenneg/edit#gid=0 Баллы за квизы]

* [https://docs.google.com/spreadsheets/d/1Igk1zTJ2icnUk7zbxlIQMBBf2-KtxiHVNM7HcVEM4ew/edit#gid=0 Баллы за домашки]

* [https://drive.google.com/drive/folders/1tNVgO-5QXXSJod8mZX-F3g3V3jTVIZWE Материалы курса]

Файл:Java04 io 2018.pdf

2018-04-02T11:42:50Z

Xamgore:

SE Wiki

2018-03-29T15:58:42Z

Xamgore:

= Учебная информация =
* [https://docs.google.com/spreadsheets/d/1ptfSS41rO5LyCCUhdhyS0sO1Zmacn1pLZQwWj6NFOOE/edit?usp=sharing Программа обучения. 1-3 курсы (набор 2014)]
* [https://docs.google.com/spreadsheets/d/11qKdUZ1UCS2YbMQI8rvCFmpiigWLCh5dWqqufBPMUQQ/edit?usp=sharing Программа обучения. 1-2 курсы (набор 2015)]

* [https://docs.google.com/spreadsheets/d/e/2PACX-1vSLftvjBdYRmSLcIC-Fb50tfxdz5VJDZa8O58MPaN50wZVwzANttUAGKq-mN13EpMsi_DZTshqcIxEb/pubhtml?gid=1520624374&single=true Расписание бакалавриат (весна 2018)]
* [https://docs.google.com/spreadsheets/d/e/2PACX-1vSLftvjBdYRmSLcIC-Fb50tfxdz5VJDZa8O58MPaN50wZVwzANttUAGKq-mN13EpMsi_DZTshqcIxEb/pubhtml?gid=1657630138&single=true Расписание магистратура (весна 2018)]

== 1 курс ==

[https://docs.google.com/document/d/1bCTXQSemGX9Owdb_XEyTqvnBxV_xLapfPZ_cZrhzdpE/edit?usp=sharing Распределение по группам, математика]

[https://docs.google.com/document/d/1yRhAlqBRNVReAE4Zh1rDMKNzvvaeVAMRqwadyIRWQmI/edit?usp=sharing Распределение по группам, С++]

[https://docs.google.com/document/d/1brWQ7gS_8jXiragOKjizv7zYnzR6EmZ5Ytt8wNK4Elk/edit?usp=sharing Распределение по группам, алгоритмы]

# [[С++_1MIT_весна_2018|С++]]
# [[Unix_1MIT_весна_2018|Unix]]
# [[Алгебра_1MIT_весна_2018|Алгебра]]
# [[Алгоритмы_1MIT_весна_2018|Алгоритмы]]
# [[Математический_анализ_1MIT_весна_2018|Математический анализ]]
# [[Разное|Разное]]

# [[Алгебра_phys_1_весна_2018|Алгебра (для студентов-физиков)]]

== 2 курс ==

# [[Java_2MIT_весна_2018| Java]]
# [[Введение_в_биоинформатику_2MIT_весна_2018|Введение в биоинформатику]]
# [[Дискретная_математика_2MIT_весна_2018|Дискретная математика]]
# [[Математический_анализ_2MIT_весна_2018|Математический анализ]]
# [[ОС_2MIT_весна_2018|Операционные системы]]
# [[Теория алгоритмов_2MIT_весна_2018|Теория алгоритмов]]
# [[Теория_вероятностей_2MIT_весна_2018|Теория вероятностей]]
# [[Формальные_языки_2MIT_весна_2018|Формальные языки]]

== 3 курс ==

# [[Software_Design_3MIT_весна_2018|Software Design]]
# [[Машинное_обучение_2018|Введение в машинное обучение]]
# [[Компиляторы_весна_2018|Компиляторы]]
# [[Container_Virtualization_3MIT_весна_2018|Контейнерная виртуализация]]
# [[Обучение_с_подкреплением_весна_2018|Обучение с подкреплением]]
# [[Параллельное_программирование_3MIT_весна_2018|Параллельное программирование]]
# [[Параметризованные_алгоритмы_весна_2018|Параметризованные алгоритмы]]
# [[Теоретико-сложностные_основы_криптографии_весна_2018|Теоретико-сложностные основы криптографии]]
# [[Тестирование_ПО_весна_2018|Тестирование ПО]]
# [[Технологии_компьютерных_сетей_весна_2018|Технологии компьютерных сетей]]
# [[Типы_в_языках_программирования_весна_2018|Типы в языках программирования]]
# [[Численные_методы_весна_2018|Численные методы]]

== 4 курс ==

# [[Big_Data_Software_Engineering_весна_2018|Big Data Software Engineering]]
# [[Анализ_изображений_весна_2018|Анализ изображений]]
# [[Анализ_программ_4MIT_весна_2018|Анализ программ]]
# [[Безопасность_ICO_контрактов_весна_2018|Безопасность ICO контрактов]]
# [[Вычислительная_геометрия_2_весна_2018|Вычислительная геометрия-2]]
# [[Мобильная_разработка_весна_2018|Мобильная разработка]]
# [[Обработка_естественного_языка_весна_2018|Обработка естественного языка]]
# [[Параметризованные_алгоритмы_весна_2018|Параметризованные алгоритмы]]
# [[Распознавание_и_генерация_речи_весна_2018|Распознавание и генерация речи]]
# [[Теоретико-сложностные_основы_криптографии_весна_2018|Теоретико-сложностные основы криптографии]]
# [[Теория_категорий_весна_2018|Теория категорий]]
# [https://sites.google.com/view/tiskin/teaching/academic-university-spring-2018 Философия (Тискин)]

== 5 курс ==

# [[C++_5SE_весна_2018|С++]]
# [[Java_5SE_весна_2018|Java]]
# [[Software_Design_5SE_весна_2018|Software Design]]
# [[Алгоритмы_и_структуры_данных_5SE_весна_2018|Алгоритмы и структуры данных]]
# [[Математическая_логика_5SE_весна_2018|Математическая логика]]
# [[Машинное_обучение_5SE_весна_2018|Машинное обучение]]
# [[Типы_в_языках_программирования_весна_2018|Типы в языках программирования]]
# [[Формальные_языки_5SE_весна_2018|Формальные языки]]

== 6 курс ==

# [[Big_Data_Software_Engineering_весна_2018|Big Data Software Engineering]]
# [[Анализ_изображений_весна_2018|Анализ изображений]]
# [[Безопасность_ICO_контрактов_весна_2018|Безопасность ICO контрактов]]
# [[Вычислительная_геометрия_2_весна_2018|Вычислительная геометрия-2]]
# [[Компиляторы_весна_2018|Компиляторы]]
# [[Мобильная_разработка_весна_2018|Мобильная разработка]]
# [[Обработка_естественного_языка_весна_2018|Обработка естественного языка]]
# [[Обучение_с_подкреплением_весна_2018|Обучение с подкреплением]]
# [[Распознавание_и_генерация_речи_весна_2018|Распознавание и генерация речи]]
# [[Теория_категорий_весна_2018|Теория категорий]]
# [[Тестирование_ПО_весна_2018|Тестирование ПО]]
# [[Технологии_компьютерных_сетей_весна_2018|Технологии компьютерных сетей]]
# [[Численные_методы_весна_2018|Численные методы]]

= Всякая информация =

Открытые исходящие порты в AcademFree/WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242

= Важные ссылки =

* [[Практики и НИР|Практики и НИР]]
* [[Дипломные работы|Дипломные работы]]
* [[Devdays_Весна_2018|Дни разработчика (Весна 2018)]]

= Архив =

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:hide}}" style="width:45em;">
===Учебная информация за прошлые семестры===
<div class="mw-collapsible-content">
* [[Весна_2018|Весенний семестр 2018]]
* [[Осень_2017|Осенний семестр 2017]]
* [[Весна_2017|Весенний семестр 2017]]
* [[Осень_2016|Осенний семестр 2016]]
* [[Весна_2016|Весенний семестр 2016]]
* [[Осень_2015|Осенний семестр 2015]]
* [[Весна_2015|Весенний семестр 2015]]
* [[Осень_2014|Осенний семестр 2014]]
* [[Весна_2014|Весенний семестр 2014]]
* [[Осень_2013|Осенний семестр 2013]]
* [[Весна_2013|Весенний семестр 2013]]
* [[Осень_2012|Осенний семестр 2012]]
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]
</div>
</div>

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:show}}" style="width:45em;">

===Дни разработчика===
<div class="mw-collapsible-content">
* [[Devdays2h2012| Дни разработчика (Осень 2012)]]
* [[Devdays1h2013| Дни разработчика (Весна 2013)]]
* [[devdays_fall_2013| Дни разработчика (Осень 2013)]]
* [[devdays_spring_2014| Дни разработчика (Весна 2014)]]
* [[prpojects_fall_2013|Странички проектов (Осень 2013)]]
* [[prpojects_spring_2014|Страничка проектов (Весна 2014)]]
* [[devdays_fall_2014|Дни разработчика (Осень 2014)]]
* [[projects_fall_2014|Страничка проектов (Осень 2014)]]
* [[devdays_spring_2015|Дни разработчика (Весна 2015)]]
* [[Devdays_Весна_2017|Дни разработчика (Весна 2017)]]
* [[Devdays_Осень_2017|Дни разработчика (Осень 2017)]]
</div>
</div>

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:hide}}" style="width:45em;">
===Студенты===
<div class="mw-collapsible-content">
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]
* [[2013|Набор 2013-го года]]
* [[2014|Набор 2014-го года]]
* [[2015|Набор 2015-го года]]
* [[2016|Набор 2016-го года]]
</div>
</div>

=== Дополнительно ===
* [[Q&A]]
* [[Мероприятия]]

SE Wiki

2018-03-29T15:52:58Z

Xamgore: /* Важные ссылки */

= Учебная информация =
* [https://docs.google.com/spreadsheets/d/1ptfSS41rO5LyCCUhdhyS0sO1Zmacn1pLZQwWj6NFOOE/edit?usp=sharing Программа обучения. 1-3 курсы (набор 2014)]
* [https://docs.google.com/spreadsheets/d/11qKdUZ1UCS2YbMQI8rvCFmpiigWLCh5dWqqufBPMUQQ/edit?usp=sharing Программа обучения. 1-2 курсы (набор 2015)]

* [https://docs.google.com/spreadsheets/d/e/2PACX-1vSLftvjBdYRmSLcIC-Fb50tfxdz5VJDZa8O58MPaN50wZVwzANttUAGKq-mN13EpMsi_DZTshqcIxEb/pubhtml?gid=1520624374&single=true Расписание бакалавриат (весна 2018)]
* [https://docs.google.com/spreadsheets/d/e/2PACX-1vSLftvjBdYRmSLcIC-Fb50tfxdz5VJDZa8O58MPaN50wZVwzANttUAGKq-mN13EpMsi_DZTshqcIxEb/pubhtml?gid=1657630138&single=true Расписание магистратура (весна 2018)]

== 1 курс ==

[https://docs.google.com/document/d/1bCTXQSemGX9Owdb_XEyTqvnBxV_xLapfPZ_cZrhzdpE/edit?usp=sharing Распределение по группам, математика]

[https://docs.google.com/document/d/1yRhAlqBRNVReAE4Zh1rDMKNzvvaeVAMRqwadyIRWQmI/edit?usp=sharing Распределение по группам, С++]

[https://docs.google.com/document/d/1brWQ7gS_8jXiragOKjizv7zYnzR6EmZ5Ytt8wNK4Elk/edit?usp=sharing Распределение по группам, алгоритмы]

# [[С++_1MIT_весна_2018|С++]]
# [[Unix_1MIT_весна_2018|Unix]]
# [[Алгебра_1MIT_весна_2018|Алгебра]]
# [[Алгоритмы_1MIT_весна_2018|Алгоритмы]]
# [[Математический_анализ_1MIT_весна_2018|Математический анализ]]
# [[Разное|Разное]]

# [[Алгебра_phys_1_весна_2018|Алгебра (для студентов-физиков)]]

== 2 курс ==

# [[Java_2MIT_весна_2018| Java]]
# [[Введение_в_биоинформатику_2MIT_весна_2018|Введение в биоинформатику]]
# [[Дискретная_математика_2MIT_весна_2018|Дискретная математика]]
# [[Математический_анализ_2MIT_весна_2018|Математический анализ]]
# [[ОС_2MIT_весна_2018|Операционные системы]]
# [[Теория алгоритмов_2MIT_весна_2018|Теория алгоритмов]]
# [[Теория_вероятностей_2MIT_весна_2018|Теория вероятностей]]
# [[Формальные_языки_2MIT_весна_2018|Формальные языки]]

== 3 курс ==

# [[Software_Design_3MIT_весна_2018|Software Design]]
# [[Машинное_обучение_2018|Введение в машинное обучение]]
# [[Компиляторы_весна_2018|Компиляторы]]
# [[Container_Virtualization_3MIT_весна_2018|Контейнерная виртуализация]]
# [[Обучение_с_подкреплением_весна_2018|Обучение с подкреплением]]
# [[Параллельное_программирование_3MIT_весна_2018|Параллельное программирование]]
# [[Параметризованные_алгоритмы_весна_2018|Параметризованные алгоритмы]]
# [[Теоретико-сложностные_основы_криптографии_весна_2018|Теоретико-сложностные основы криптографии]]
# [[Тестирование_ПО_весна_2018|Тестирование ПО]]
# [[Технологии_компьютерных_сетей_весна_2018|Технологии компьютерных сетей]]
# [[Типы_в_языках_программирования_весна_2018|Типы в языках программирования]]
# [[Численные_методы_весна_2018|Численные методы]]

== 4 курс ==

# [[Big_Data_Software_Engineering_весна_2018|Big Data Software Engineering]]
# [[Анализ_изображений_весна_2018|Анализ изображений]]
# [[Анализ_программ_4MIT_весна_2018|Анализ программ]]
# [[Безопасность_ICO_контрактов_весна_2018|Безопасность ICO контрактов]]
# [[Вычислительная_геометрия_2_весна_2018|Вычислительная геометрия-2]]
# [[Мобильная_разработка_весна_2018|Мобильная разработка]]
# [[Обработка_естественного_языка_весна_2018|Обработка естественного языка]]
# [[Параметризованные_алгоритмы_весна_2018|Параметризованные алгоритмы]]
# [[Распознавание_и_генерация_речи_весна_2018|Распознавание и генерация речи]]
# [[Теоретико-сложностные_основы_криптографии_весна_2018|Теоретико-сложностные основы криптографии]]
# [[Теория_категорий_весна_2018|Теория категорий]]
# [https://sites.google.com/view/tiskin/teaching/academic-university-spring-2018 Философия (Тискин)]

== 5 курс ==

# [[C++_5SE_весна_2018|С++]]
# [[Java_5SE_весна_2018|Java]]
# [[Software_Design_5SE_весна_2018|Software Design]]
# [[Алгоритмы_и_структуры_данных_5SE_весна_2018|Алгоритмы и структуры данных]]
# [[Математическая_логика_5SE_весна_2018|Математическая логика]]
# [[Машинное_обучение_5SE_весна_2018|Машинное обучение]]
# [[Типы_в_языках_программирования_весна_2018|Типы в языках программирования]]
# [[Формальные_языки_5SE_весна_2018|Формальные языки]]

== 6 курс ==

# [[Big_Data_Software_Engineering_весна_2018|Big Data Software Engineering]]
# [[Анализ_изображений_весна_2018|Анализ изображений]]
# [[Безопасность_ICO_контрактов_весна_2018|Безопасность ICO контрактов]]
# [[Вычислительная_геометрия_2_весна_2018|Вычислительная геометрия-2]]
# [[Компиляторы_весна_2018|Компиляторы]]
# [[Мобильная_разработка_весна_2018|Мобильная разработка]]
# [[Обработка_естественного_языка_весна_2018|Обработка естественного языка]]
# [[Обучение_с_подкреплением_весна_2018|Обучение с подкреплением]]
# [[Распознавание_и_генерация_речи_весна_2018|Распознавание и генерация речи]]
# [[Теория_категорий_весна_2018|Теория категорий]]
# [[Тестирование_ПО_весна_2018|Тестирование ПО]]
# [[Технологии_компьютерных_сетей_весна_2018|Технологии компьютерных сетей]]
# [[Численные_методы_весна_2018|Численные методы]]

= Всякая информация =

Открытые исходящие порты в AcademFree/WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242

= Важные ссылки =

* [[Практики и НИР|Практики и НИР]]
* [[Дипломные работы|Дипломные работы]]
* [[Devdays_Весна_2018|Дни разработчика (Весна 2018)]]

= Архив =

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:hide}}" style="width:45em;">
==Учебная информация за прошлые семестры==
<div class="mw-collapsible-content">
* [[Весна_2018|Весенний семестр 2018]]
* [[Осень_2017|Осенний семестр 2017]]
* [[Весна_2017|Весенний семестр 2017]]
* [[Осень_2016|Осенний семестр 2016]]
* [[Весна_2016|Весенний семестр 2016]]
* [[Осень_2015|Осенний семестр 2015]]
* [[Весна_2015|Весенний семестр 2015]]
* [[Осень_2014|Осенний семестр 2014]]
* [[Весна_2014|Весенний семестр 2014]]
* [[Осень_2013|Осенний семестр 2013]]
* [[Весна_2013|Весенний семестр 2013]]
* [[Осень_2012|Осенний семестр 2012]]
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]
</div>
</div>

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:show}}" style="width:45em;">

==Дни разработчика==
<div class="mw-collapsible-content">
* [[Devdays2h2012| Дни разработчика (Осень 2012)]]
* [[Devdays1h2013| Дни разработчика (Весна 2013)]]
* [[devdays_fall_2013| Дни разработчика (Осень 2013)]]
* [[devdays_spring_2014| Дни разработчика (Весна 2014)]]
* [[prpojects_fall_2013|Странички проектов (Осень 2013)]]
* [[prpojects_spring_2014|Страничка проектов (Весна 2014)]]
* [[devdays_fall_2014|Дни разработчика (Осень 2014)]]
* [[projects_fall_2014|Страничка проектов (Осень 2014)]]
* [[devdays_spring_2015|Дни разработчика (Весна 2015)]]
* [[Devdays_Весна_2017|Дни разработчика (Весна 2017)]]
* [[Devdays_Осень_2017|Дни разработчика (Осень 2017)]]
</div>
</div>

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:hide}}" style="width:45em;">
==Студенты==
<div class="mw-collapsible-content">
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]
* [[2013|Набор 2013-го года]]
* [[2014|Набор 2014-го года]]
* [[2015|Набор 2015-го года]]
* [[2016|Набор 2016-го года]]
</div>
</div>

= Дополнительно =
* [[Q&A]]
* [[Мероприятия]]

SE Wiki

2018-03-29T15:44:59Z

Xamgore:

= Учебная информация =
* [https://docs.google.com/spreadsheets/d/1ptfSS41rO5LyCCUhdhyS0sO1Zmacn1pLZQwWj6NFOOE/edit?usp=sharing Программа обучения. 1-3 курсы (набор 2014)]
* [https://docs.google.com/spreadsheets/d/11qKdUZ1UCS2YbMQI8rvCFmpiigWLCh5dWqqufBPMUQQ/edit?usp=sharing Программа обучения. 1-2 курсы (набор 2015)]

* [https://docs.google.com/spreadsheets/d/e/2PACX-1vSLftvjBdYRmSLcIC-Fb50tfxdz5VJDZa8O58MPaN50wZVwzANttUAGKq-mN13EpMsi_DZTshqcIxEb/pubhtml?gid=1520624374&single=true Расписание бакалавриат (весна 2018)]
* [https://docs.google.com/spreadsheets/d/e/2PACX-1vSLftvjBdYRmSLcIC-Fb50tfxdz5VJDZa8O58MPaN50wZVwzANttUAGKq-mN13EpMsi_DZTshqcIxEb/pubhtml?gid=1657630138&single=true Расписание магистратура (весна 2018)]

== 1 курс ==

[https://docs.google.com/document/d/1bCTXQSemGX9Owdb_XEyTqvnBxV_xLapfPZ_cZrhzdpE/edit?usp=sharing Распределение по группам, математика]

[https://docs.google.com/document/d/1yRhAlqBRNVReAE4Zh1rDMKNzvvaeVAMRqwadyIRWQmI/edit?usp=sharing Распределение по группам, С++]

[https://docs.google.com/document/d/1brWQ7gS_8jXiragOKjizv7zYnzR6EmZ5Ytt8wNK4Elk/edit?usp=sharing Распределение по группам, алгоритмы]

# [[С++_1MIT_весна_2018|С++]]
# [[Unix_1MIT_весна_2018|Unix]]
# [[Алгебра_1MIT_весна_2018|Алгебра]]
# [[Алгоритмы_1MIT_весна_2018|Алгоритмы]]
# [[Математический_анализ_1MIT_весна_2018|Математический анализ]]
# [[Разное|Разное]]

# [[Алгебра_phys_1_весна_2018|Алгебра (для студентов-физиков)]]

== 2 курс ==

# [[Java_2MIT_весна_2018| Java]]
# [[Введение_в_биоинформатику_2MIT_весна_2018|Введение в биоинформатику]]
# [[Дискретная_математика_2MIT_весна_2018|Дискретная математика]]
# [[Математический_анализ_2MIT_весна_2018|Математический анализ]]
# [[ОС_2MIT_весна_2018|Операционные системы]]
# [[Теория алгоритмов_2MIT_весна_2018|Теория алгоритмов]]
# [[Теория_вероятностей_2MIT_весна_2018|Теория вероятностей]]
# [[Формальные_языки_2MIT_весна_2018|Формальные языки]]

== 3 курс ==

# [[Software_Design_3MIT_весна_2018|Software Design]]
# [[Машинное_обучение_2018|Введение в машинное обучение]]
# [[Компиляторы_весна_2018|Компиляторы]]
# [[Container_Virtualization_3MIT_весна_2018|Контейнерная виртуализация]]
# [[Обучение_с_подкреплением_весна_2018|Обучение с подкреплением]]
# [[Параллельное_программирование_3MIT_весна_2018|Параллельное программирование]]
# [[Параметризованные_алгоритмы_весна_2018|Параметризованные алгоритмы]]
# [[Теоретико-сложностные_основы_криптографии_весна_2018|Теоретико-сложностные основы криптографии]]
# [[Тестирование_ПО_весна_2018|Тестирование ПО]]
# [[Технологии_компьютерных_сетей_весна_2018|Технологии компьютерных сетей]]
# [[Типы_в_языках_программирования_весна_2018|Типы в языках программирования]]
# [[Численные_методы_весна_2018|Численные методы]]

== 4 курс ==

# [[Big_Data_Software_Engineering_весна_2018|Big Data Software Engineering]]
# [[Анализ_изображений_весна_2018|Анализ изображений]]
# [[Анализ_программ_4MIT_весна_2018|Анализ программ]]
# [[Безопасность_ICO_контрактов_весна_2018|Безопасность ICO контрактов]]
# [[Вычислительная_геометрия_2_весна_2018|Вычислительная геометрия-2]]
# [[Мобильная_разработка_весна_2018|Мобильная разработка]]
# [[Обработка_естественного_языка_весна_2018|Обработка естественного языка]]
# [[Параметризованные_алгоритмы_весна_2018|Параметризованные алгоритмы]]
# [[Распознавание_и_генерация_речи_весна_2018|Распознавание и генерация речи]]
# [[Теоретико-сложностные_основы_криптографии_весна_2018|Теоретико-сложностные основы криптографии]]
# [[Теория_категорий_весна_2018|Теория категорий]]
# [https://sites.google.com/view/tiskin/teaching/academic-university-spring-2018 Философия (Тискин)]

== 5 курс ==

# [[C++_5SE_весна_2018|С++]]
# [[Java_5SE_весна_2018|Java]]
# [[Software_Design_5SE_весна_2018|Software Design]]
# [[Алгоритмы_и_структуры_данных_5SE_весна_2018|Алгоритмы и структуры данных]]
# [[Математическая_логика_5SE_весна_2018|Математическая логика]]
# [[Машинное_обучение_5SE_весна_2018|Машинное обучение]]
# [[Типы_в_языках_программирования_весна_2018|Типы в языках программирования]]
# [[Формальные_языки_5SE_весна_2018|Формальные языки]]

== 6 курс ==

# [[Big_Data_Software_Engineering_весна_2018|Big Data Software Engineering]]
# [[Анализ_изображений_весна_2018|Анализ изображений]]
# [[Безопасность_ICO_контрактов_весна_2018|Безопасность ICO контрактов]]
# [[Вычислительная_геометрия_2_весна_2018|Вычислительная геометрия-2]]
# [[Компиляторы_весна_2018|Компиляторы]]
# [[Мобильная_разработка_весна_2018|Мобильная разработка]]
# [[Обработка_естественного_языка_весна_2018|Обработка естественного языка]]
# [[Обучение_с_подкреплением_весна_2018|Обучение с подкреплением]]
# [[Распознавание_и_генерация_речи_весна_2018|Распознавание и генерация речи]]
# [[Теория_категорий_весна_2018|Теория категорий]]
# [[Тестирование_ПО_весна_2018|Тестирование ПО]]
# [[Технологии_компьютерных_сетей_весна_2018|Технологии компьютерных сетей]]
# [[Численные_методы_весна_2018|Численные методы]]

= Всякая информация =

Открытые исходящие порты в AcademFree/WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242

= Важные ссылки =

== [[Практики и НИР|Практики и НИР]] ==
== [[Дипломные работы|Дипломные работы]] ==
== [[Devdays_Весна_2018|Дни разработчика (Весна 2018)]] ==

= Архив =

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:hide}}" style="width:45em;">
==Учебная информация за прошлые семестры==
<div class="mw-collapsible-content">
* [[Весна_2018|Весенний семестр 2018]]
* [[Осень_2017|Осенний семестр 2017]]
* [[Весна_2017|Весенний семестр 2017]]
* [[Осень_2016|Осенний семестр 2016]]
* [[Весна_2016|Весенний семестр 2016]]
* [[Осень_2015|Осенний семестр 2015]]
* [[Весна_2015|Весенний семестр 2015]]
* [[Осень_2014|Осенний семестр 2014]]
* [[Весна_2014|Весенний семестр 2014]]
* [[Осень_2013|Осенний семестр 2013]]
* [[Весна_2013|Весенний семестр 2013]]
* [[Осень_2012|Осенний семестр 2012]]
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]
</div>
</div>

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:show}}" style="width:45em;">

==Дни разработчика==
<div class="mw-collapsible-content">
* [[Devdays2h2012| Дни разработчика (Осень 2012)]]
* [[Devdays1h2013| Дни разработчика (Весна 2013)]]
* [[devdays_fall_2013| Дни разработчика (Осень 2013)]]
* [[devdays_spring_2014| Дни разработчика (Весна 2014)]]
* [[prpojects_fall_2013|Странички проектов (Осень 2013)]]
* [[prpojects_spring_2014|Страничка проектов (Весна 2014)]]
* [[devdays_fall_2014|Дни разработчика (Осень 2014)]]
* [[projects_fall_2014|Страничка проектов (Осень 2014)]]
* [[devdays_spring_2015|Дни разработчика (Весна 2015)]]
* [[Devdays_Весна_2017|Дни разработчика (Весна 2017)]]
* [[Devdays_Осень_2017|Дни разработчика (Осень 2017)]]
</div>
</div>

<div class="mw-collapsible mw-collapsed" data-expandtext="{{int:show}}" data-collapsetext="{{int:hide}}" style="width:45em;">
==Студенты==
<div class="mw-collapsible-content">
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]
* [[2013|Набор 2013-го года]]
* [[2014|Набор 2014-го года]]
* [[2015|Набор 2015-го года]]
* [[2016|Набор 2016-го года]]
</div>
</div>

= Дополнительно =
* [[Q&A]]
* [[Мероприятия]]

Devdays Весна 2018

2018-03-29T15:43:16Z

Xamgore: Новая страница: «= Темы проектов = Чтобы править эту страницу, нужно залогиниться в Sewiki. Тогда сверху буде…»

= Темы проектов =

Чтобы править эту страницу, нужно залогиниться в Sewiki. Тогда сверху будет кнопочка "править". Если у вас нет учётной записи — напишите Игорю желаемый логин.

Редактировать wiki одновременно нескольким людям стоит осторожно: после внесения правки проверьте, что она действительно сохранилась.

== Пример ==

Описание

Формальные языки 5SE весна 2018

2018-03-11T09:51:39Z

Xamgore:

== Лекции ==
Преподаватель: Дворкин Михаил Эдуардович (<code>mikhail.dvorkin@gmail.com</code>)

==== Ссылки ====

* Важная книга: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.
* [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков neerc.ifmo.ru]
* [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]
* [http://www.eecs.wsu.edu/~ananth/CptS317/]
* [http://users.utu.fi/jkari/automata/fullnotes.pdf]
* [http://yeputons.net/spbau/term4/formal_languages-lectures.pdf]

== Практика ==

=== Слабодкин Михаил ===

Контакты: <code>slabodkinm@gmail.com</code>

=== Вербицкая Екатерина ===

Контакты: <code>kajigor@gmail.com</code>

[https://docs.google.com/spreadsheets/d/1n6EkI7WZkAc9bNBnr4VtqxqOUodPaHn7A81qGjOzulc/edit#gid=111213337 Таблица с результатами]

[https://drive.google.com/drive/folders/1yBgcf2yIvxV7NTmm08nWBdu5GcqbeMh5 Домашние задания]

'''Важно''': префикс для темы писем с домашками: <code>[FL_SPbAU] HWxx</code>

Комбинаторика и теория графов 5SE осень 2017

2017-12-19T14:53:51Z

Xamgore: /* Лекции */

== Лекции ==
Преподаватели:

* Омельченко Александр Владимирович
* Близнец Иван Анатольевич

[https://yadi.sk/d/oLhN_xPf3QkrE6 Конспект] (19 декабря)

== Практика Толстоганов ==

Домашние задания можно отправлять на [mailto:itolstoganov@gmail.com itolstoganov@gmail.com] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=128688863 Таблица с результатами]

=== Домашние задания ===

* [http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf Домашнее задание 1] Срок сдачи: до 21 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf Домашнее задание 2] Срок сдачи: до 28 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf Домашнее задание 3] Срок сдачи: до 5 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf Домашнее задание 4] [[:File:AU_hw_5_4.tex|(tex-исходник)]] Срок сдачи: до 12 октября 14.30

* [http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf Домашнее задание 5] [[:File:Ha5.tex | (tex-исходник)]] Срок сдачи: до 19 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf Домашнее задание 6] [[:File:Hw_6_trees.tex | (tex-исходник)]] Срок сдачи: до 26 октября 14.30

* [http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf Домашнее задание 7] [[:File:AU_hw_5_7.tex | (tex-исходник)]] Срок сдачи: до 9 ноября 14:30 '''Задание изменилось 23.10'''

* [http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf Домашнее задание 8] [[:File:Ha8.tex | (tex-исходник)]] Срок сдачи: до 16 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf Домашнее задание 9] ([[:File:Hw_9_connectivity.tex |tex-исходник]], [http://mit.spbau.ru/sewiki/images/9/9e/I15.PNG рисунок]) Срок сдачи: до 23 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf Домашнее задание 10] ([[:File:AU_hw_5_10.tex |tex-исходник]], [http://mit.spbau.ru/sewiki/images/d/dd/5_10_3.png рисунок 1] [http://mit.spbau.ru/sewiki/images/3/38/5_10_4.png рисунок 2]) Срок сдачи: до 30 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf Домашнее задание 11] [[:File:Ha11.tex | (tex-исходник]]) Срок сдачи: до 7 декабря 14.30

* [http://mit.spbau.ru/sewiki/images/1/13/Hw_12_kun.pdf Домашнее задание 12] [[:File:Hw_12_kun.tex | (tex-исходник]]) Срок сдачи: до 14 декабря 14.30

* [http://mit.spbau.ru/sewiki/images/f/f2/AU_hw_5_13.pdf Домашнее задание 13] [[:File:AU_hw_5_13.tex | (tex-исходник]]) Срок сдачи: до 21 декабря 14.30

* [http://mit.spbau.ru/sewiki/images/c/c5/Ha14.pdf Домашнее задание 14] [[:File:Ha14.tex | (tex-исходник]]) Срок сдачи: до 24 декабря 23.59

[http://mit.spbau.ru/sewiki/images/f/f3/2_3.pdf Разбор третьей задачи с второго семинара]

== Практика Палецких ==
Домашнее задание от 7 сентября:
http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf

Сдавать 14-го сентября лично или до занятия 21-го на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами.

Домашнее задание от 14 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Домашнее задание от 21 сентября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Домашнее задание от 28 сентября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Домашнее задание от 5 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Домашнее задание от 12 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Домашнее задание от 19 октября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Домашнее задание от 26 октября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Домашнее задание от 9 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

Домашнее задание от 16 ноября:
http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf

Домашнее задание от 23 ноября:
http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf

Домашнее задание от 30 ноября:
http://mit.spbau.ru/sewiki/images/1/13/Hw_12_kun.pdf

Домашнее задание от 7 декабря:
http://mit.spbau.ru/sewiki/images/f/f2/AU_hw_5_13.pdf

Домашнее задание от 14 декабря:
http://mit.spbau.ru/sewiki/images/c/c5/Ha14.pdf '''Срок сдачи: до 24 декабря 23.59'''

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

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=484335910 Таблица с результатами]

== Практика Гордон ==

Домашние задания можно отправлять на [mailto:joseph-gordon@yandex.ru joseph-gordon@yandex.ru] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

Работа в классе 14 сентября:
http://mit.spbau.ru/sewiki/images/8/8c/%285%29_list_2.pdf
Домашнее задание до 28 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Работа в классе 21 сентября:
http://mit.spbau.ru/sewiki/images/3/3b/%285%29_list_3.pdf
Домашнее задание до 5 октября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Работа в классе 28 сентября:
http://mit.spbau.ru/sewiki/images/d/d6/AU_cw_5_4.pdf
Домашнее задание до 12 октября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Работа в классе 5 октября:
http://mit.spbau.ru/sewiki/images/1/12/%285%29_list_5.pdf
Домашнее задание до 19 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Работа в классе 12 октября:
http://mit.spbau.ru/sewiki/images/7/7a/%285%29_list_6.pdf
Домашнее задание до 26 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Работа в классе 19 октября:
http://mit.spbau.ru/sewiki/images/3/3e/AU_cw_5_7.pdf
Домашнее задание до 9 ноября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Работа в классе 26 октября:
http://mit.spbau.ru/sewiki/images/4/47/AU_cw_5_8.pdf
Домашнее задание до 16 ноября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Работа в классе 9 ноября:
http://mit.spbau.ru/sewiki/images/3/32/%285%29_list_9.pdf
Домашнее задание до 23 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

Работа в классе 16 ноября:
http://mit.spbau.ru/sewiki/images/a/a9/AU_cw_5_10.pdf
Домашнее задание до 30 ноября:
http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf

Работа в классе 23 ноября:
http://mit.spbau.ru/sewiki/images/4/49/Seminar11.pdf
Домашнее задание до 7 декабря:
http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf

Работа в классе 30 ноября:
http://mit.spbau.ru/sewiki/images/e/eb/%285%29_list_12.pdf
Домашнее задание до 14 декабря:
http://mit.spbau.ru/sewiki/images/1/13/Hw_12_kun.pdf

Работа в классе 7 декабря:
http://mit.spbau.ru/sewiki/images/3/33/AU_cw_5_13.pdf
Домашнее задание до 21 декабря:
http://mit.spbau.ru/sewiki/images/f/f2/AU_hw_5_13.pdf

Работа в классе 14 декабря:
http://mit.spbau.ru/sewiki/images/1/10/Seminar14.pdf
Домашнее задание до 24 декабря:
http://mit.spbau.ru/sewiki/images/c/c5/Ha14.pdf

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=311571438 Таблица с результатами]

== Дополнительные материалы ==
Рекуррентные соотношения с примерами: https://goo.gl/b9FQRs

Комбинаторика и теория графов 5SE осень 2017

2017-12-19T13:58:28Z

Xamgore: /* Лекции */

== Лекции ==
Преподаватели:

* Омельченко Александр Владимирович
* Близнец Иван Анатольевич

[https://yadi.sk/i/6nb1MZxs3QkjW4 Конспект] (7 декабря)

== Практика Толстоганов ==

Домашние задания можно отправлять на [mailto:itolstoganov@gmail.com itolstoganov@gmail.com] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=128688863 Таблица с результатами]

=== Домашние задания ===

* [http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf Домашнее задание 1] Срок сдачи: до 21 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf Домашнее задание 2] Срок сдачи: до 28 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf Домашнее задание 3] Срок сдачи: до 5 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf Домашнее задание 4] [[:File:AU_hw_5_4.tex|(tex-исходник)]] Срок сдачи: до 12 октября 14.30

* [http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf Домашнее задание 5] [[:File:Ha5.tex | (tex-исходник)]] Срок сдачи: до 19 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf Домашнее задание 6] [[:File:Hw_6_trees.tex | (tex-исходник)]] Срок сдачи: до 26 октября 14.30

* [http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf Домашнее задание 7] [[:File:AU_hw_5_7.tex | (tex-исходник)]] Срок сдачи: до 9 ноября 14:30 '''Задание изменилось 23.10'''

* [http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf Домашнее задание 8] [[:File:Ha8.tex | (tex-исходник)]] Срок сдачи: до 16 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf Домашнее задание 9] ([[:File:Hw_9_connectivity.tex |tex-исходник]], [http://mit.spbau.ru/sewiki/images/9/9e/I15.PNG рисунок]) Срок сдачи: до 23 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf Домашнее задание 10] ([[:File:AU_hw_5_10.tex |tex-исходник]], [http://mit.spbau.ru/sewiki/images/d/dd/5_10_3.png рисунок 1] [http://mit.spbau.ru/sewiki/images/3/38/5_10_4.png рисунок 2]) Срок сдачи: до 30 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf Домашнее задание 11] [[:File:Ha11.tex | (tex-исходник]]) Срок сдачи: до 7 декабря 14.30

* [http://mit.spbau.ru/sewiki/images/1/13/Hw_12_kun.pdf Домашнее задание 12] [[:File:Hw_12_kun.tex | (tex-исходник]]) Срок сдачи: до 14 декабря 14.30

* [http://mit.spbau.ru/sewiki/images/f/f2/AU_hw_5_13.pdf Домашнее задание 13] [[:File:AU_hw_5_13.tex | (tex-исходник]]) Срок сдачи: до 21 декабря 14.30

* [http://mit.spbau.ru/sewiki/images/c/c5/Ha14.pdf Домашнее задание 14] [[:File:Ha14.tex | (tex-исходник]]) Срок сдачи: до 24 декабря 23.59

[http://mit.spbau.ru/sewiki/images/f/f3/2_3.pdf Разбор третьей задачи с второго семинара]

== Практика Палецких ==
Домашнее задание от 7 сентября:
http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf

Сдавать 14-го сентября лично или до занятия 21-го на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами.

Домашнее задание от 14 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Домашнее задание от 21 сентября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Домашнее задание от 28 сентября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Домашнее задание от 5 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Домашнее задание от 12 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Домашнее задание от 19 октября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Домашнее задание от 26 октября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Домашнее задание от 9 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

Домашнее задание от 16 ноября:
http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf

Домашнее задание от 23 ноября:
http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf

Домашнее задание от 30 ноября:
http://mit.spbau.ru/sewiki/images/1/13/Hw_12_kun.pdf

Домашнее задание от 7 декабря:
http://mit.spbau.ru/sewiki/images/f/f2/AU_hw_5_13.pdf

Домашнее задание от 14 декабря:
http://mit.spbau.ru/sewiki/images/c/c5/Ha14.pdf '''Срок сдачи: до 24 декабря 23.59'''

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

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=484335910 Таблица с результатами]

== Практика Гордон ==

Домашние задания можно отправлять на [mailto:joseph-gordon@yandex.ru joseph-gordon@yandex.ru] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

Работа в классе 14 сентября:
http://mit.spbau.ru/sewiki/images/8/8c/%285%29_list_2.pdf
Домашнее задание до 28 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Работа в классе 21 сентября:
http://mit.spbau.ru/sewiki/images/3/3b/%285%29_list_3.pdf
Домашнее задание до 5 октября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Работа в классе 28 сентября:
http://mit.spbau.ru/sewiki/images/d/d6/AU_cw_5_4.pdf
Домашнее задание до 12 октября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Работа в классе 5 октября:
http://mit.spbau.ru/sewiki/images/1/12/%285%29_list_5.pdf
Домашнее задание до 19 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Работа в классе 12 октября:
http://mit.spbau.ru/sewiki/images/7/7a/%285%29_list_6.pdf
Домашнее задание до 26 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Работа в классе 19 октября:
http://mit.spbau.ru/sewiki/images/3/3e/AU_cw_5_7.pdf
Домашнее задание до 9 ноября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Работа в классе 26 октября:
http://mit.spbau.ru/sewiki/images/4/47/AU_cw_5_8.pdf
Домашнее задание до 16 ноября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Работа в классе 9 ноября:
http://mit.spbau.ru/sewiki/images/3/32/%285%29_list_9.pdf
Домашнее задание до 23 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

Работа в классе 16 ноября:
http://mit.spbau.ru/sewiki/images/a/a9/AU_cw_5_10.pdf
Домашнее задание до 30 ноября:
http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf

Работа в классе 23 ноября:
http://mit.spbau.ru/sewiki/images/4/49/Seminar11.pdf
Домашнее задание до 7 декабря:
http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf

Работа в классе 30 ноября:
http://mit.spbau.ru/sewiki/images/e/eb/%285%29_list_12.pdf
Домашнее задание до 14 декабря:
http://mit.spbau.ru/sewiki/images/1/13/Hw_12_kun.pdf

Работа в классе 7 декабря:
http://mit.spbau.ru/sewiki/images/3/33/AU_cw_5_13.pdf
Домашнее задание до 21 декабря:
http://mit.spbau.ru/sewiki/images/f/f2/AU_hw_5_13.pdf

Работа в классе 14 декабря:
http://mit.spbau.ru/sewiki/images/1/10/Seminar14.pdf
Домашнее задание до 24 декабря:
http://mit.spbau.ru/sewiki/images/c/c5/Ha14.pdf

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=311571438 Таблица с результатами]

== Дополнительные материалы ==
Рекуррентные соотношения с примерами: https://goo.gl/b9FQRs

Алгоритмы и структуры данных 5SE осень 2017

2017-12-12T14:16:20Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Смаль Александр Владимирович

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

== Практика ==

Контесты: http://acm.spbgu.ru/tsweb/

Домашние задания:
<ol>
<li>[https://yadi.sk/i/R_gXqeLL3Mu5xD Асимптотика]</li>
<li>[https://yadi.sk/d/zDvqOV7J3Mv2sb Разделяй и властвуй] / [https://yadi.sk/d/YGvy37LC3Mv2ix tex]</li>
<li>[https://yadi.sk/i/kfxjQM-a3NBCt3 Линейные алгоритмы] / [https://yadi.sk/d/adyIi8Pr3NE7mq tex]</li>
<li>[https://yadi.sk/d/bPhgldgJ3NNgJV Сортировки и кучи] / tex</li>
<li>[https://yadi.sk/i/C898eTns3NYsP9 Qsort] / tex</li>
<li>[https://yadi.sk/i/ZBbXAuWb3Nqegt Порядковые статистики] / [https://yadi.sk/d/GBgyvJDf3Nqese tex]</li>
<li>[https://yadi.sk/d/LT_hFNku3NxTYT Деномическое программирование] / [https://yadi.sk/d/6l-n8Y3Y3NxTa5 tex]</li>
<li>[https://yadi.sk/i/2eDnhls13PFQ99 Динамика 2] / tex</li>
<li>[https://yadi.sk/d/RD8xiFjy3PZ9PM DFS] / [https://yadi.sk/d/Y4sXDy4c3PZ9bU tex]</li>
<li>[https://yadi.sk/i/qWLScfhz3Pvn4H Кратчайшие пути] / [https://yadi.sk/d/ukebkLws3PvqML tex]</li>
<li>[https://yadi.sk/i/AjQC9Mi83Q8wRu Кратчайшие пути 2] / [https://yadi.sk/d/iLfjrCs73Q8wU6 tex]</li>
<li>[https://yadi.sk/i/uDCKzFzP3QYoSQ Остовные деревья] / [https://yadi.sk/d/KYa33qie3QYoVH tex]</li>
</ol>

<h3>Мишунин</h3>

Контакты: <code>alexander.mishunin[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1fVlT8gk2ErFU24U0TBD1JG8hNhy_8fAbwZLKvcr0jDY Табличка с результатами]

<h3>Давыдов</h3>

Контакты: <code>adavydow[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=1856332192 Таблица с результатами]

<h3>Слабодкин</h3>

Контакты: <code>slabodkinm[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=2140916252 Таблица с результатами]

OS 5SE осень 2017

2017-12-10T02:11:47Z

Xamgore:

Преподаватель: Кринкин Кирилл Владимирович

Контакты: <code>[mailto:os-au@osll.ru os-au@osll.ru]</code>

Live: https://slides.com/kirillkrinkin/deck/live

* '''[https://github.com/OSLL/os-au-2017 Репозиторий курса на гитхабе]'''
** [https://github.com/OSLL/os-au-2017/tree/master/docs Презентации]
** [https://docs.google.com/spreadsheets/d/1dERdQc56nA9FXQKO6xW11bQ6osA41NofZSQbmU_i86o/edit Успеваемость]

* '''[https://stepik.org/course/3636/syllabus Лабораторные работы]'''
** [http://mit.spbau.ru/sewiki/images/d/da/Os-dev-jos.pdf Русскоязыяное описание лабораторных работ]
** [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/lecture-notes-and-readings/ Задания лабораторных работ]:
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab1.pdf C, Assembly, Tools, and Bootstrapping]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab2.pdf Memory Management]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab3.pdf User Environments]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab4.pdf Preemptive Multitasking]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab5.pdf Spawn and Shell]

* '''Учебные материалы''' (дополнительные модули содержат хорошие источники):
** [https://stepik.org/course/1780/syllabus «Операционные системы»]
** [https://stepik.org/course/253/syllabus «Введение в архитектуру ЭВМ. Элементы операционных систем»]
** [https://stepik.org/course/548/syllabus «Основы программирования для Linux»]

----
<div class="mw-collapsible mw-collapsed">

<h5>Как запустить vagrant, qemu, и запатчить решение</h5>

----
<div class="mw-collapsible-content">

sudo vagrant up --provider=docker
sudo vagrant ssh default

Содержимое <code>conf/env.mk</code>

QEMU=/usr/bin/qemu-system-i386
QEMUEXTRA=-curses

Параметр <code>QEMUEXTRA</code> можно не ставить (и так даже лучше); вместо этого нужно запускать <code>QEMU</code> с помощью <code>make qemu-nox</code> - тогда <code>QEMU</code> запустится прямо в вашей консоли и вы не будете страдать.

----
Если вам не хочется потом каждый раз удалять переменную <code>QEMUEXTRA</code> из гит-диффа, можете создать линку на исполняемый файл под именем <code>qemu</code>:

sudo ln /usr/bin/qemu-system-i386 /usr/bin/qemu

После этого все будет находиться.

----

При проблемах с gdb (типа <code>warning: File "/home/vagrant/lab/.gdbinit" auto-loading has been declined by your `auto-load safe-path' set to "$debugdir:$datadir/auto-load:/vagrant/lab/.gdbinit".</code>) действовать так, как он укажет: добавить в файл <code>/home/vargant/.gdbinit</code> одну из двух строк:

add-auto-load-safe-path /home/vagrant/lab/.gdbinit
set auto-load safe-path /

И так, и так работает.

----

Если у вас проблемы с дублированием букв внутри <code>QEMU</code>, не паникуйте - просто проверьте команды <code>help</code> и <code>kerninfo</code> - скорее всего удваивание букв будет проигнорировано, и команды выполнятся.

Для выхода из <code>QEMU</code> используюйте сочетание клавиш <code>ctrl-a x</code>.

----

Для создания файла с патчем работает следующая схема:

sudo touch patch
sudo chmod a+rw patch
git diff > patch

----

Совы не то, чем кажутся или The desc field contains the line number and the value contains the code address for the start of that source line:
http://www.sourceware.org/gdb/onlinedocs/stabs.html#Line-Numbers

----
При отправке патчей проверять сначала на своих репозиториях и следить за тем, чтобы концы строк были не ос-специфичными (типа \r\n на винде). С такими различиями патчи не применяются и падают с ошибкой

Можно избежать проблемы с концами строк, если трансферить патч следующим образом:

vagrant ssh -c "cat /home/vagrant/lab/patch" | dos2unix > patch

----

Если вам лень вручную переносить изменения из виртуальной машины в файлы в вашем форкнутом репозитории, можете воспользоваться утилитой <code>patch</code>:

cd solutions/${вставь_свою_фамилию}/lab1
patch < your_patch_file

Скорее всего, программа не поймет, где именно лежат ваши измененные файлы, и попросит указать пути к ним. Но это всяко лучше, чем руками копировать все это.
</div>
</div>

<div class="mw-collapsible mw-collapsed">

<h5>Как припилить CLion и дебаггер</h5>

----
<div class="mw-collapsible-content">

Потребуется немного модифицировать Vagrantfile: нужно прокинуть порты (можно и директорию между хостовой и гостевой системами, но необязательно). Порт должен совпадать с тем, что указано в файле <code>lab/.gdbinit</code>, в строке <code>target remote localhost:26000</code>.

<syntaxhighlight lang="ruby">
# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure(2) do |config|
config.vm.network :forwarded_port, guest: 26000, host: 26000, host_ip: "127.0.0.1", protocol: "tcp", auto_correct: true
config.vm.synced_folder "lab", "/home/vagrant/lab"
config.vm.provider "docker" do |d|
d.has_ssh = true
d.image = "osll/os_mooc:v1"
end

end
</syntaxhighlight>

Также следует уничтожить существующий образ с помощью команды <code>vagrant destroy <id></code> (id можно подсмотреть в <code>vagrant global-status</code>) и создать заново как обычно. Убедитесь, что вы не оставили в контейнере ничего супер-важного (напрмер почти сделанной лабы или домашки по плюсам).

[[Файл:Clion debug os.png|300px|thumb|caption|Run → Edit configuration → «+»]]

Далее нужно настроить сам Clion как на картинке справа + добавить CMakeLists.txt со следующим содержимым (список файлов придётся изменять с каждой новой лабой):

<syntaxhighlight lang="cmake">
cmake_minimum_required(VERSION 3.9)
project(kernel)

set(CMAKE_C_STANDARD 11)

set(SOURCE_FILES
boot/main.c
inc
kern
lib
fs
)

include_directories(.)
add_executable(kernel ${SOURCE_FILES})
target_include_directories(kernel PRIVATE ${CMAKE_SOURCE_DIR})
</syntaxhighlight>

Папку <code>obj</code> можно пометить как "Excluded", чтобы она не мешала анализатору кода.

Дальше нужно запускать <code>make qemu-nox-gdb</code>, ставить точку останова в clion и запускать debug. Если нет подключения к GDB, то неправильно настроены порты или неверно указан <code>Symbol file</code> (он указывает на скомпилированный образ ядра). Если GDB запускается, но ничего не выводит, то можно приостновить дебаггер (pause), во вкладке "GDB" запустить <code>list cprintf</code>, и GDB покажет, какой файл он ищет и не может найти; в соответствии с этим нужно настроить маппинг.

</div>
</div>

Комбинаторика и теория графов 5SE осень 2017

2017-11-28T21:46:08Z

Xamgore: /* Лекции */

== Лекции ==
Преподаватели:

* Омельченко Александр Владимирович
* Близнец Иван Анатольевич

[https://yadi.sk/d/GDlxktDT3Q8wV5 Конспект] (29 ноября)

=== Элементарная комбинаторика ===

<ol>
<li>Основные правила перечислительной комбинаторики</li>
<li>Подсчет k-сочетаний из n элементов. Биномиальные коэффициенты</li>
<li>k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам</li>
<li>Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода</li>
</ol>

== Практика Толстоганов ==

Домашние задания можно отправлять на [mailto:itolstoganov@gmail.com itolstoganov@gmail.com] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=128688863 Таблица с результатами]

=== Домашние задания ===

* [http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf Домашнее задание 1] Срок сдачи: до 21 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf Домашнее задание 2] Срок сдачи: до 28 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf Домашнее задание 3] Срок сдачи: до 5 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf Домашнее задание 4] [[:File:AU_hw_5_4.tex|(tex-исходник)]] Срок сдачи: до 12 октября 14.30

* [http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf Домашнее задание 5] [[:File:Ha5.tex | (tex-исходник)]] Срок сдачи: до 19 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf Домашнее задание 6] [[:File:Hw_6_trees.tex | (tex-исходник)]] Срок сдачи: до 26 октября 14.30

* [http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf Домашнее задание 7] [[:File:AU_hw_5_7.tex | (tex-исходник)]] Срок сдачи: до 9 ноября 14:30 '''Задание изменилось 23.10'''

* [http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf Домашнее задание 8] [[:File:Ha8.tex | (tex-исходник)]] Срок сдачи: до 16 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf Домашнее задание 9] ([[:File:Hw_9_connectivity.tex |tex-исходник]], [http://mit.spbau.ru/sewiki/images/9/9e/I15.PNG рисунок]) Срок сдачи: до 23 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf Домашнее задание 10] ([[:File:AU_hw_5_10.tex |tex-исходник]], [http://mit.spbau.ru/sewiki/images/d/dd/5_10_3.png рисунок 1] [http://mit.spbau.ru/sewiki/images/3/38/5_10_4.png рисунок 2]) Срок сдачи: до 30 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf Домашнее задание 11] [[:File:Ha11.tex | (tex-исходник]]) Срок сдачи: до 7 декабря 14.30

[http://mit.spbau.ru/sewiki/images/f/f3/2_3.pdf Разбор третьей задачи с второго семинара]

== Практика Палецких ==
Домашнее задание от 7 сентября:
http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf

Сдавать 14-го сентября лично или до занятия 21-го на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами.

Домашнее задание от 14 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Домашнее задание от 21 сентября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Домашнее задание от 28 сентября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Домашнее задание от 5 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Домашнее задание от 12 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Домашнее задание от 19 октября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Домашнее задание от 26 октября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Домашнее задание от 9 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

Домашнее задание от 16 ноября:
http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf

Домашнее задание от 23 ноября:
http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf

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

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=484335910 Таблица с результатами]

== Практика Гордон ==

Домашние задания можно отправлять на [mailto:joseph-gordon@yandex.ru joseph-gordon@yandex.ru] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

Работа в классе 14 сентября:
http://mit.spbau.ru/sewiki/images/8/8c/%285%29_list_2.pdf
Домашнее задание до 28 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Работа в классе 21 сентября:
http://mit.spbau.ru/sewiki/images/3/3b/%285%29_list_3.pdf
Домашнее задание до 5 октября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Работа в классе 28 сентября:
http://mit.spbau.ru/sewiki/images/d/d6/AU_cw_5_4.pdf
Домашнее задание до 12 октября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Работа в классе 5 октября:
http://mit.spbau.ru/sewiki/images/1/12/%285%29_list_5.pdf
Домашнее задание до 19 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Работа в классе 12 октября:
http://mit.spbau.ru/sewiki/images/7/7a/%285%29_list_6.pdf
Домашнее задание до 26 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Работа в классе 19 октября:
http://mit.spbau.ru/sewiki/images/3/3e/AU_cw_5_7.pdf
Домашнее задание до 9 ноября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Работа в классе 26 октября:
http://mit.spbau.ru/sewiki/images/4/47/AU_cw_5_8.pdf
Домашнее задание до 16 ноября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Работа в классе 9 ноября:
http://mit.spbau.ru/sewiki/images/3/32/%285%29_list_9.pdf
Домашнее задание до 23 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

Работа в классе 16 ноября:
http://mit.spbau.ru/sewiki/images/a/a9/AU_cw_5_10.pdf
Домашнее задание до 30 ноября:
http://mit.spbau.ru/sewiki/images/c/ce/AU_hw_5_10.pdf

Работа в классе 23 ноября:
http://mit.spbau.ru/sewiki/images/4/49/Seminar11.pdf
Домашнее задание до 7 декабря:
http://mit.spbau.ru/sewiki/images/8/81/Ha11.pdf

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=311571438 Таблица с результатами]

== Дополнительные материалы ==
Рекуррентные соотношения с примерами: https://goo.gl/b9FQRs

Алгоритмы и структуры данных 5SE осень 2017

2017-11-28T21:44:35Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Смаль Александр Владимирович

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

== Практика ==

Контесты: http://acm.spbgu.ru/tsweb/

Домашние задания:
<ol>
<li>[https://yadi.sk/i/R_gXqeLL3Mu5xD Асимптотика]</li>
<li>[https://yadi.sk/d/zDvqOV7J3Mv2sb Разделяй и властвуй] / [https://yadi.sk/d/YGvy37LC3Mv2ix tex]</li>
<li>[https://yadi.sk/i/kfxjQM-a3NBCt3 Линейные алгоритмы] / [https://yadi.sk/d/adyIi8Pr3NE7mq tex]</li>
<li>[https://yadi.sk/d/bPhgldgJ3NNgJV Сортировки и кучи] / tex</li>
<li>[https://yadi.sk/i/C898eTns3NYsP9 Qsort] / tex</li>
<li>[https://yadi.sk/i/ZBbXAuWb3Nqegt Порядковые статистики] / [https://yadi.sk/d/GBgyvJDf3Nqese tex]</li>
<li>[https://yadi.sk/d/LT_hFNku3NxTYT Деномическое программирование] / [https://yadi.sk/d/6l-n8Y3Y3NxTa5 tex]</li>
<li>[https://yadi.sk/i/2eDnhls13PFQ99 Динамика 2] / tex</li>
<li>[https://yadi.sk/d/RD8xiFjy3PZ9PM DFS] / [https://yadi.sk/d/Y4sXDy4c3PZ9bU tex]</li>
<li>[https://yadi.sk/i/qWLScfhz3Pvn4H Кратчайшие пути] / [https://yadi.sk/d/ukebkLws3PvqML tex]</li>
<li>[https://yadi.sk/i/AjQC9Mi83Q8wRu Кратчайшие пути 2] / [https://yadi.sk/d/iLfjrCs73Q8wU6 tex]</li>
</ol>

<h3>Мишунин</h3>

Контакты: <code>alexander.mishunin[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1fVlT8gk2ErFU24U0TBD1JG8hNhy_8fAbwZLKvcr0jDY Табличка с результатами]

<h3>Давыдов</h3>

Контакты: <code>adavydow[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=1856332192 Таблица с результатами]

<h3>Слабодкин</h3>

Контакты: <code>slabodkinm[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=2140916252 Таблица с результатами]

Алгоритмы и структуры данных 5SE осень 2017

2017-11-22T14:08:05Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Смаль Александр Владимирович

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

== Практика ==

Контесты: http://acm.spbgu.ru/tsweb/

Домашние задания:
<ol>
<li>[https://yadi.sk/i/R_gXqeLL3Mu5xD Асимптотика]</li>
<li>[https://yadi.sk/d/zDvqOV7J3Mv2sb Разделяй и властвуй] / [https://yadi.sk/d/YGvy37LC3Mv2ix tex]</li>
<li>[https://yadi.sk/i/kfxjQM-a3NBCt3 Линейные алгоритмы] / [https://yadi.sk/d/adyIi8Pr3NE7mq tex]</li>
<li>[https://yadi.sk/d/bPhgldgJ3NNgJV Сортировки и кучи] / tex</li>
<li>[https://yadi.sk/i/C898eTns3NYsP9 Qsort] / tex</li>
<li>[https://yadi.sk/i/ZBbXAuWb3Nqegt Порядковые статистики] / [https://yadi.sk/d/GBgyvJDf3Nqese tex]</li>
<li>[https://yadi.sk/d/LT_hFNku3NxTYT Деномическое программирование] / [https://yadi.sk/d/6l-n8Y3Y3NxTa5 tex]</li>
<li>[https://yadi.sk/i/2eDnhls13PFQ99 Динамика 2] / tex</li>
<li>[https://yadi.sk/d/RD8xiFjy3PZ9PM DFS] / [https://yadi.sk/d/Y4sXDy4c3PZ9bU tex]</li>
<li>[https://yadi.sk/i/qWLScfhz3Pvn4H Кратчайшие пути] / [https://yadi.sk/d/ukebkLws3PvqML tex]</li>
</ol>

<h3>Мишунин</h3>

Контакты: <code>alexander.mishunin[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1fVlT8gk2ErFU24U0TBD1JG8hNhy_8fAbwZLKvcr0jDY Табличка с результатами]

<h3>Давыдов</h3>

Контакты: <code>adavydow[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=1856332192 Таблица с результатами]

<h3>Слабодкин</h3>

Контакты: <code>slabodkinm[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=2140916252 Таблица с результатами]

Алгоритмы и структуры данных 5SE осень 2017

2017-11-22T13:41:20Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Смаль Александр Владимирович

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

== Практика ==

Контесты: http://acm.spbgu.ru/tsweb/

Домашние задания:
<ol>
<li>[https://yadi.sk/i/R_gXqeLL3Mu5xD Асимптотика]</li>
<li>[https://yadi.sk/d/zDvqOV7J3Mv2sb Разделяй и властвуй] / [https://yadi.sk/d/YGvy37LC3Mv2ix tex]</li>
<li>[https://yadi.sk/i/kfxjQM-a3NBCt3 Линейные алгоритмы] / [https://yadi.sk/d/adyIi8Pr3NE7mq tex]</li>
<li>[https://yadi.sk/d/bPhgldgJ3NNgJV Сортировки и кучи] / tex</li>
<li>[https://yadi.sk/i/C898eTns3NYsP9 Qsort] / tex</li>
<li>[https://yadi.sk/i/ZBbXAuWb3Nqegt Порядковые статистики] / [https://yadi.sk/d/GBgyvJDf3Nqese tex]</li>
<li>[https://yadi.sk/d/LT_hFNku3NxTYT Деномическое программирование] / [https://yadi.sk/d/6l-n8Y3Y3NxTa5 tex]</li>
<li>[https://yadi.sk/i/2eDnhls13PFQ99 Динамика 2] / tex</li>
<li>[https://yadi.sk/d/RD8xiFjy3PZ9PM DFS] / [https://yadi.sk/d/Y4sXDy4c3PZ9bU tex]</li>
<li>[https://yadi.sk/i/qWLScfhz3Pvn4H Кратчайшие пути] / tex</li>
</ol>

<h3>Мишунин</h3>

Контакты: <code>alexander.mishunin[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1fVlT8gk2ErFU24U0TBD1JG8hNhy_8fAbwZLKvcr0jDY Табличка с результатами]

<h3>Давыдов</h3>

Контакты: <code>adavydow[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=1856332192 Таблица с результатами]

<h3>Слабодкин</h3>

Контакты: <code>slabodkinm[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=2140916252 Таблица с результатами]

Комбинаторика и теория графов 5SE осень 2017

2017-11-17T22:29:03Z

Xamgore: /* Лекции */

== Лекции ==
Преподаватель: Омельченко Александр Владимирович

[https://yadi.sk/d/VoTP5yEe3PoRce Конспект] (18 ноября)

=== Элементарная комбинаторика ===

<ol>
<li>Основные правила перечислительной комбинаторики</li>
<li>Подсчет k-сочетаний из n элементов. Биномиальные коэффициенты</li>
<li>k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам</li>
<li>Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода</li>
</ol>

== Практика Толстоганов ==

Домашние задания можно отправлять на [mailto:itolstoganov@gmail.com itolstoganov@gmail.com] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=128688863 Таблица с результатами]

=== Домашние задания ===

* [http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf Домашнее задание 1] Срок сдачи: до 21 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf Домашнее задание 2] Срок сдачи: до 28 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf Домашнее задание 3] Срок сдачи: до 5 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf Домашнее задание 4] [[:File:AU_hw_5_4.tex|(tex-исходник)]] Срок сдачи: до 12 октября 14.30

* [http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf Домашнее задание 5] [[:File:Ha5.tex | (tex-исходник)]] Срок сдачи: до 19 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf Домашнее задание 6] [[:File:Hw_6_trees.tex | (tex-исходник)]] Срок сдачи: до 26 октября 14.30

* [http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf Домашнее задание 7] [[:File:AU_hw_5_7.tex | (tex-исходник)]] Срок сдачи: до 9 ноября 14:30 '''Задание изменилось 23.10'''

* [http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf Домашнее задание 8] [[:File:Ha8.tex | (tex-исходник)]] Срок сдачи: до 16 ноября 14.30

* [http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf Домашнее задание 9] [[:File:Hw_9_connectivity.tex | (tex-исходник)]] Срок сдачи: до 23 ноября 14.30

[http://mit.spbau.ru/sewiki/images/f/f3/2_3.pdf Разбор третьей задачи с второго семинара]

== Практика Палецких ==
Домашнее задание от 7 сентября:
http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf

Сдавать 14-го сентября лично или до занятия 21-го на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами.

Домашнее задание от 14 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Домашнее задание от 21 сентября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Домашнее задание от 28 сентября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Домашнее задание от 5 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Домашнее задание от 12 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Домашнее задание от 19 октября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Домашнее задание от 26 октября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Домашнее задание от 9 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

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

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=484335910 Таблица с результатами]

== Практика Гордон ==

Домашние задания можно отправлять на [mailto:joseph-gordon@yandex.ru joseph-gordon@yandex.ru] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

Работа в классе 14 сентября:
http://mit.spbau.ru/sewiki/images/8/8c/%285%29_list_2.pdf
Домашнее задание до 28 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Работа в классе 21 сентября:
http://mit.spbau.ru/sewiki/images/3/3b/%285%29_list_3.pdf
Домашнее задание до 5 октября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Работа в классе 28 сентября:
http://mit.spbau.ru/sewiki/images/d/d6/AU_cw_5_4.pdf
Домашнее задание до 12 октября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Работа в классе 5 октября:
http://mit.spbau.ru/sewiki/images/1/12/%285%29_list_5.pdf
Домашнее задание до 19 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Работа в классе 12 октября:
http://mit.spbau.ru/sewiki/images/7/7a/%285%29_list_6.pdf
Домашнее задание до 26 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Работа в классе 19 октября:
http://mit.spbau.ru/sewiki/images/3/3e/AU_cw_5_7.pdf
Домашнее задание до 9 ноября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Работа в классе 26 октября:
http://mit.spbau.ru/sewiki/images/4/47/AU_cw_5_8.pdf
Домашнее задание до 16 ноября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

Работа в классе 9 ноября:
http://mit.spbau.ru/sewiki/images/3/32/%285%29_list_9.pdf
Домашнее задание до 23 ноября:
http://mit.spbau.ru/sewiki/images/b/b5/Hw_9_connectivity.pdf

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=311571438 Таблица с результатами]

== Дополнительные материалы ==
Рекуррентные соотношения с примерами: https://goo.gl/b9FQRs

Комбинаторика и теория графов 5SE осень 2017

2017-11-09T20:38:16Z

Xamgore: /* Лекции */

== Лекции ==
Преподаватель: Омельченко Александр Владимирович

[https://yadi.sk/i/ejujaix73PZVvu Конспект] (5 окт.)

=== Элементарная комбинаторика ===

<ol>
<li>Основные правила перечислительной комбинаторики</li>
<li>Подсчет k-сочетаний из n элементов. Биномиальные коэффициенты</li>
<li>k-перестановки из n элементов. Урновые схемы и схемы раскладки предметов по ящикам</li>
<li>Подсчет количества отображений конечных множеств. Числа Стирлинга второго рода</li>
</ol>

== Практика Толстоганов ==

Домашние задания можно отправлять на [mailto:itolstoganov@gmail.com itolstoganov@gmail.com] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=128688863 Таблица с результатами]

=== Домашние задания ===

* [http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf Домашнее задание 1] Срок сдачи: до 21 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf Домашнее задание 2] Срок сдачи: до 28 сентября 14.30

* [http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf Домашнее задание 3] Срок сдачи: до 5 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf Домашнее задание 4] [[:File:AU_hw_5_4.tex|(tex-исходник)]] Срок сдачи: до 12 октября 14.30

* [http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf Домашнее задание 5] [[:File:Ha5.tex | (tex-исходник)]] Срок сдачи: до 19 октября 14.30

* [http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf Домашнее задание 6] [[:File:Hw_6_trees.tex | (tex-исходник)]] Срок сдачи: до 26 октября 14.30

* [http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf Домашнее задание 7] [[:File:AU_hw_5_7.tex | (tex-исходник)]] Срок сдачи: до 9 ноября 14:30 '''Задание изменилось 23.10'''

* [http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf Домашнее задание 8] [[:File:Ha8.tex | (tex-исходник)]] Срок сдачи: до 16 ноября 14.30

[http://mit.spbau.ru/sewiki/images/f/f3/2_3.pdf Разбор третьей задачи с второго семинара]

== Практика Палецких ==
Домашнее задание от 7 сентября:
http://mit.spbau.ru/sewiki/images/6/65/AU_hw_5_1.pdf

Сдавать 14-го сентября лично или до занятия 21-го на электронную почту [mailto:a.paletskikh@gmail.com a.paletskikh@gmail.com]. Также по этому адресу обращаться со всеми вопросами.

Домашнее задание от 14 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Домашнее задание от 21 сентября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Домашнее задание от 28 сентября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Домашнее задание от 5 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Домашнее задание от 12 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Домашнее задание от 19 октября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Домашнее задание от 26 октября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

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

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=484335910 Таблица с результатами]

== Практика Гордон ==

Домашние задания можно отправлять на [mailto:joseph-gordon@yandex.ru joseph-gordon@yandex.ru] или сдавать на паре.

Для получения зачёта по курсу нужно набрать больше нуля по каждому заданию и получить зачёт по всем темам. Для получения зачёта по теме, соответствующей домашнему заданию, нужно набрать указанное в задании количество баллов или решить задачу на зачётной неделе.

Работа в классе 14 сентября:
http://mit.spbau.ru/sewiki/images/8/8c/%285%29_list_2.pdf
Домашнее задание до 28 сентября:
http://mit.spbau.ru/sewiki/images/1/16/Ha2.pdf

Работа в классе 21 сентября:
http://mit.spbau.ru/sewiki/images/3/3b/%285%29_list_3.pdf
Домашнее задание до 5 октября:
http://mit.spbau.ru/sewiki/images/9/9e/Hw_3_recurrent.pdf

Работа в классе 28 сентября:
http://mit.spbau.ru/sewiki/images/d/d6/AU_cw_5_4.pdf
Домашнее задание до 12 октября:
http://mit.spbau.ru/sewiki/images/1/19/AU_hw_5_4.pdf

Работа в классе 5 октября:
http://mit.spbau.ru/sewiki/images/1/12/%285%29_list_5.pdf
Домашнее задание до 19 октября:
http://mit.spbau.ru/sewiki/images/d/d8/Ha5.pdf

Работа в классе 12 октября:
http://mit.spbau.ru/sewiki/images/7/7a/%285%29_list_6.pdf
Домашнее задание до 26 октября:
http://mit.spbau.ru/sewiki/images/1/1b/Hw_6_trees.pdf

Работа в классе 19 октября:
http://mit.spbau.ru/sewiki/images/3/3e/AU_cw_5_7.pdf
Домашнее задание до 9 ноября:
http://mit.spbau.ru/sewiki/images/2/2b/AU_hw_5_7.pdf '''Задание изменилось 23.10'''

Работа в классе 26 октября:
http://mit.spbau.ru/sewiki/images/4/47/AU_cw_5_8.pdf
Домашнее задание до 16 ноября:
http://mit.spbau.ru/sewiki/images/9/9c/Ha8.pdf

[https://docs.google.com/spreadsheets/d/1As499Zy79_FvI_F_Uy2SH2-UefmfrtA-tOh_PCyOKEI/edit?usp=sharing#gid=311571438 Таблица с результатами]

== Дополнительные материалы ==
Рекуррентные соотношения с примерами: https://goo.gl/b9FQRs

Алгоритмы и структуры данных 5SE осень 2017

2017-11-09T16:45:18Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Смаль Александр Владимирович

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

== Практика ==

Контесты: http://acm.spbgu.ru/tsweb/

Домашние задания:
<ol>
<li>[https://yadi.sk/i/R_gXqeLL3Mu5xD Асимптотика]</li>
<li>[https://yadi.sk/d/zDvqOV7J3Mv2sb Разделяй и властвуй] / [https://yadi.sk/d/YGvy37LC3Mv2ix tex]</li>
<li>[https://yadi.sk/i/kfxjQM-a3NBCt3 Линейные алгоритмы] / [https://yadi.sk/d/adyIi8Pr3NE7mq tex]</li>
<li>[https://yadi.sk/d/bPhgldgJ3NNgJV Сортировки и кучи] / tex</li>
<li>[https://yadi.sk/i/C898eTns3NYsP9 Qsort] / tex</li>
<li>[https://yadi.sk/i/ZBbXAuWb3Nqegt Порядковые статистики] / [https://yadi.sk/d/GBgyvJDf3Nqese tex]</li>
<li>[https://yadi.sk/d/LT_hFNku3NxTYT Деномическое программирование] / [https://yadi.sk/d/6l-n8Y3Y3NxTa5 tex]</li>
<li>[https://yadi.sk/i/2eDnhls13PFQ99 Динамика 2] / tex</li>
<li>[https://yadi.sk/d/RD8xiFjy3PZ9PM DFS] / [https://yadi.sk/d/Y4sXDy4c3PZ9bU tex]</li>
</ol>

<h3>Мишунин</h3>

Контакты: <code>alexander.mishunin[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1fVlT8gk2ErFU24U0TBD1JG8hNhy_8fAbwZLKvcr0jDY Табличка с результатами]

<h3>Давыдов</h3>

Контакты: <code>adavydow[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=1856332192 Таблица с результатами]

<h3>Слабодкин</h3>

Контакты: <code>slabodkinm[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=2140916252 Таблица с результатами]

AU-conspectus

2017-11-07T13:03:52Z

Xamgore: /* Авторы проекта */

== Идея ==

Хочется реализовать систему, которая позволяет, с одной стороны, вести студентам конспект по алгоритмам в удобном для написания формате markdown документов (писать LaTeX документы на лекции — это ужасно), а с другой стороны автоматически собирает содержимое написанных лекций в красивый и удобный сайт, с которым повторение прошедших лекций превращается в приятный и увлекательный процесс.

[https://xamgore.github.io/au-conspectus/ Посмотреть конспект]

=== Фичи ===

Запланировано и сделано:
* Поддержка сквозного содержания всех лекций
* Корректное отображение LaTeX символов на сайте
* Подсветка синтаксиса во вставках кода
* Мобильная версия сайта
* Система баг-репортов (выделил текст, нажал на кнопку -- в репозиторий отправилось issue)
* Telegram-bot, сообщающий о появлении новой лекции в репозитории
* Всплывающие подсказки к терминам, содержащие в себе информацию из википедии

Запланировано и не сделано:
* Подбор ссылок для каждой темы конспекта (neerc, wiki)
* Подбор подсказок на neerc.ifmo.ru/wiki (алгоритм был реализован, однако работал очень криво, и от его использования было решено отказаться)
* Искать ключевые слова, делать поиск, лёгкий NLP

Не запланировано, но сделано:
* Красивые превью ссылки в соцсетях (vk, twitter, facebook, telegram)

== Авторы проекта ==

* Стребежев Игорь: team-лидер; настройка сервиса непрерывной интеграции, реализация telegram-бота; верстка и логика UI
* Орищенко Александра: генерация AST и .md файлов, генерация .html файлов и извлечение метаинформации из AST; выделение подсказок у терминов
* Новожилов Дмитрий: поиск и генерация информации для подсказок к терминам, объединение отдельных .html файлов с мета-информацией в целостные, готовые к публикации html страницы, генерация содержания конспекта, генерация сообщений для telegram-бота

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

== Известные баги ==

* Подсказки к терминам не всегда генерируются корректно
* При генерации issue слетает разметка LaTeX формул

== Ссылки ==

Репозиторий: https://github.com/demiurg906/au-conspectus

Баг-трекер: https://github.com/xamgore/au-conspectus/issues

Конспект: https://xamgore.github.io/au-conspectus/

Видео: https://youtu.be/FAAeSM95ws0 (внимание, включите субтитры)

Презентация: https://goo.gl/CvcUcQ

AU-conspectus

2017-11-07T12:54:56Z

Xamgore: /* Авторы проекта */

== Идея ==

Хочется реализовать систему, которая позволяет, с одной стороны, вести студентам конспект по алгоритмам в удобном для написания формате markdown документов (писать LaTeX документы на лекции — это ужасно), а с другой стороны автоматически собирает содержимое написанных лекций в красивый и удобный сайт, с которым повторение прошедших лекций превращается в приятный и увлекательный процесс.

[https://xamgore.github.io/au-conspectus/ Посмотреть конспект]

=== Фичи ===

Запланировано и сделано:
* Поддержка сквозного содержания всех лекций
* Корректное отображение LaTeX символов на сайте
* Подсветка синтаксиса во вставках кода
* Мобильная версия сайта
* Система баг-репортов (выделил текст, нажал на кнопку -- в репозиторий отправилось issue)
* Telegram-bot, сообщающий о появлении новой лекции в репозитории
* Всплывающие подсказки к терминам, содержащие в себе информацию из википедии

Запланировано и не сделано:
* Подбор ссылок для каждой темы конспекта (neerc, wiki)
* Подбор подсказок на neerc.ifmo.ru/wiki (алгоритм был реализован, однако работал очень криво, и от его использования было решено отказаться)
* Искать ключевые слова, делать поиск, лёгкий NLP

Не запланировано, но сделано:
* Красивые превью ссылки в соцсетях (vk, twitter, facebook, telegram)

== Авторы проекта ==

* Стребежев Игорь: team-лидер; настройка сервиса непрерывной интеграции, реализация telegram-бота; верстка и логика UI
* Орищенко Александра: генерация AST и .md файлов, генерация .html файлов и извлечение метаинформации из AST; выделение подсказок у терминов
* Новожилов Дмитрий: поиск и генерация информации для подсказок к терминам, объединение отдельных .html файлов с мета-информацией в целостные, готовые к публикации html страницы, генерация содержания конспекта, генерация сообщений для telegram-бота

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

== Известные баги ==

* Подсказки к терминам не всегда генерируются корректно
* При генерации issue слетает разметка LaTeX формул

== Ссылки ==

Репозиторий: https://github.com/demiurg906/au-conspectus

Баг-трекер: https://github.com/xamgore/au-conspectus/issues

Конспект: https://xamgore.github.io/au-conspectus/

Видео: https://youtu.be/FAAeSM95ws0 (внимание, включите субтитры)

Презентация: https://goo.gl/CvcUcQ

AU-conspectus

2017-11-07T12:52:37Z

Xamgore:

== Идея ==

Хочется реализовать систему, которая позволяет, с одной стороны, вести студентам конспект по алгоритмам в удобном для написания формате markdown документов (писать LaTeX документы на лекции — это ужасно), а с другой стороны автоматически собирает содержимое написанных лекций в красивый и удобный сайт, с которым повторение прошедших лекций превращается в приятный и увлекательный процесс.

[https://xamgore.github.io/au-conspectus/ Посмотреть конспект]

=== Фичи ===

Запланировано и сделано:
* Поддержка сквозного содержания всех лекций
* Корректное отображение LaTeX символов на сайте
* Подсветка синтаксиса во вставках кода
* Мобильная версия сайта
* Система баг-репортов (выделил текст, нажал на кнопку -- в репозиторий отправилось issue)
* Telegram-bot, сообщающий о появлении новой лекции в репозитории
* Всплывающие подсказки к терминам, содержащие в себе информацию из википедии

Запланировано и не сделано:
* Подбор ссылок для каждой темы конспекта (neerc, wiki)
* Подбор подсказок на neerc.ifmo.ru/wiki (алгоритм был реализован, однако работал очень криво, и от его использования было решено отказаться)
* Искать ключевые слова, делать поиск, лёгкий NLP

Не запланировано, но сделано:
* Красивые превью ссылки в соцсетях (vk, twitter, facebook, telegram)

== Авторы проекта ==

* Стребежев Игорь: team-лидер; backend: настройка сервиса непрерывной интеграции, реализация telegram-бота; frontend: верстка и логика UI
* Орищенко Александра: backend: генерация AST и .md файлов, генерация .html файлов и извлечение метаинформации из AST; frontend: выделение подсказок у терминов
* Новожилов Дмитрий: backend: поиск и генерация информации для подсказок к терминам, объединение отдельных .html файлов с мета-информацией в целостные, готовые к публикации html страницы, генерация содержания конспекта, генерация сообщений для telegram-бота

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

== Известные баги ==

* Подсказки к терминам не всегда генерируются корректно
* При генерации issue слетает разметка LaTeX формул

== Ссылки ==

Репозиторий: https://github.com/demiurg906/au-conspectus

Баг-трекер: https://github.com/xamgore/au-conspectus/issues

Конспект: https://xamgore.github.io/au-conspectus/

Видео: https://youtu.be/FAAeSM95ws0 (внимание, включите субтитры)

Презентация: https://goo.gl/CvcUcQ

Devdays Осень 2017

2017-11-01T08:13:17Z

Xamgore:

= Общее =

[https://docs.google.com/spreadsheets/d/1VZr-beNDC437FnFNnh6Nrsj7GoTynWpdj9smb-iiqng/edit?usp=sharing Голосовалка]

= Темы проектов =

Чтобы править эту страницу, нужно залогиниться в Sewiki. Тогда сверху будет кнопочка "править". Если у вас нет учётной записи - напишите Игорю желаемый логин.

Редактировать wiki одновременно нескольким людям стоит осторожно: после внесения правки проверьте, что она действительно сохранилась.

== Depth map from single view ==

Матрица глубины (depth map) - это некоторая матрица, каждый элемент которой содержит дальность до объекта.
Другими словами, если имеется некотороые изображение, то матрица глубины говорит о том, какого расстояние до каждого нарисованного объекта.

Хочется строить матрицу глубины с '''одного''' изображения, без использования бинокулярного зрения или радаров.

Предложил: Никулин Данил

== Доработать децентрализованный мессенджер RetroShare ==

Децентрализованные мессенджеры представляют интерес тем (для любителей паранои :)), что не используют при своей работе подконтрольные третьим лицам центральные серверы. Для "регистрации" в сети пользователь создаёт пару открытый/закрытый ключ и передаёт открытый ключ тем, с кем хочет общаться. Находить IP собеседника достаточно эффективно можно с помощью [https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%91%D0%BD%D0%BD%D0%B0%D1%8F_%D1%85%D0%B5%D1%88-%D1%82%D0%B0%D0%B1%D0%BB%D0%B8%D1%86%D0%B0 DHT].

Мессенджеров, которые работаю по такому принципу, оказывается, не так и много -- я видел только [https://github.com/RetroShare RetroShare] и [https://tox.chat/ Tox] . Я Пробовал пользоваться RetroShare: там всё хорошо, но есть некоторые недоработки, например нет индикатора, дошло ли сообщение до собеседника, удобного диалога сохранения файла и т.д.

За три дня можно разобраться в исходниках и устранить подобные недостатки.

Предложил: Егоров Антон

== Умное сохранение музыки из ВКонтакте ==

В нынешний век стриминговых сервисов наверняка есть люди, которые до сих пор скачивают музыку на компьютер и перекидывают ее в телефон/плеер для прослушивания в оффлайне.

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

Все это очень неудобно, а также сложно каталогизировать музыку по жанрам (учитывая, что один пост может содержать музыку из смеси жанров). Хочется реализовать сервис, который позволит все это автоматизировать.

Как я это вижу: где-то в облаке крутится сервер. Пользователь может поставить расширение для браузера, которое добавляет ко всем постам с музыкой кнопку "загрузить в облако". Дальше пользователь с мобильного приложения коннектится к этому облаку, где хранятся все сохраненные посты, которые можно сортировать по исполнителям и жанрам, которые вытаскиваются из тегов внутри поста. Каждую песню или пост можно либо слушать с подключением к интернету, либо скачать, чтобы слушать в оффлайне (как в старом приложении контакта, только с удобной каталогизацией).

Технологии: Java/Kotlin (для облака и мобильного приложения), js для расширения (кажется, что оно будет маленьким, так что js по минимуму)

Предложил: Новожилов Дмитрий

== Квантовый форсаж ==

http://mit.spbau.ru/sewiki/index.php/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D0%B2%D1%8B%D0%B9_%D1%84%D0%BE%D1%80%D1%81%D0%B0%D0%B6

Квантовое лирическое отступление: в физике есть понятие: неопределенность Гейзенберга. Если не вдаваться в подробности, то существуют пары величин, которые нельзя измерить с идеальной точностью. Например, импульс и координата объекта. Можно написать формулу, которая будет утверждать, что произведение неопределенности координаты на неопределенность импульса должно быть больше некой константы, связанной с постоянной Планка.

Идея: написать простенькую 2D игру, где будет использоваться понятие неопределенности Гейзенберга.

Красивое описание для игроков: Далекое будущее. Технологии достигли такого уровня, что можно уменьшить космический корабль до размеров элементарных частиц. Однако такой корабль попадает под действие законов микромира. В этих условиях вам и предстоит управлять кораблем. Он должен пролететь через квантовые джунгли препятствий и не врезаться не во что. Сложность управления в неопределенности скорости корабля и его положения в пространстве. К счастью, есть специальные бонусы, чтобы контролировать эти величины.

Описание игры по существу: есть некий фон, на котором отрисовываются различные препятствия (геометрические объекты или подобие сталактитов и сталагмитов, на что фантазии хватит). Есть космический корабль, который летит вдоль этого фона. Корабль имеет два свойства: скорость и координату. Для простоты можно представить корабль в виде круга. Скорость и координата подчиняются неопределенности Гейзенберга.

Скорость может принимать значение из некоторого промежутка с какой-то вероятностью. По сути, скорость будет меняться скачками. Тоже самое с координатой. Есть некий ореол вокруг корабля в пространстве которого может случайно возникать корабль (само собой скачками). Чем сильнее меняется скорость, тем меньше меняется координата (ореол меньшего размера) и наоборот. Для изменения неопределенности будут появляться бонусы, которые можно съедать (но надо понимать, что меняя неопределенность одного свойства, мы автоматически меняем неопределенность другого).

Игрок управляет кораблем стрелками. Игра заканчивается в случае, если координата корабля совпала с координатой препятствия.

Технологии: какой-нибудь игровой движок, а вообще у меня опыта в разработке мало, поэтому, если кто-то предложит подходящий язык/технологию, то будет круто

Предложил: Тимашов Даниил
== Vassal online ==
Давайте напишем легковесный движок в вебе для разработки настольных игр.
Предложил: Кузиванов Николай

== DroidTuner ==
Есть программы, которые позволяют тонко настраивать телефон, например - при считывании NFC-метки менять аудиопрофиль, запускать приложения, отправлять сообщения, заказывать ужин в ресторане и так далее. Проблема в том, что они либо хорошие, красивые, и даже предлагают свой язык для описания сценариев использования, но платные, либо имеют мало возможностей и не особо развиваются/мертвы.
Давайте напишем бесплатную_без_смс_оупенсоурс версию такого приложения, и, конечно, не хуже, чем у алчных конкурентов. Предложил Макеев Владимир

== AnonyMesh ==
Предлагается реализовать аналог двача, но без использования сети интернет - то есть по Bluetooth или Wifi-Direct. Вы создаете чат, к которому подключаются другие устройства поблизости и вместе обсуждаете насущные проблемы без возможности идентифицировать себя. Пример использования - анонимное голосование при принятии какого-либо решения в группе людей в дали от интернет-инфраструктуры. Предложил Макеев Владимир

== Добрый CryptoLocker ==
Петя боится вирусов-вымогателей (ransomware). Но Петя при этом очень неосторожный человек и любит открывать письма с вложениями от неизвестных отправителей, поэтому уже выплатил злоумышленникам 10 биткойнов, чтобы расшифровать свои файлы.
А ещё Петя - параноик. Он хочет зашифровать свои файлы, чтобы хакеры не смогли узнать его секреты, но при этом он сам смог в нужный момент их расшифровать. Помогите Пете написать программу - аналог CryptoLocker-а, но только добрый, для динамического шифрования собственных документов.

Для справки:
CryptoLocker - это простейший вирус-вымогатель, который шифрует файлы с определёнными расширением (обычно офисные и pdf-ки) с помощью криптосистемы с открытым ключом. Закрытый ключ хранится на сервере злоумышленника.
После попадания в систему вирус связывается с сервером, и с помощью полученного от него открытого ключа шифрует файлы нужного расширения. Затем выводится окно со счастливой новостью о заражении и ссылкой на сайт, где после оплаты можно расшифровать свои файлы.

Задачи:
1) Собственно сам шифровальщик (лучше минимально защититься от простейшего реверс-инжиниринга, например, генерить имя домена командного сервера, а не хранить его в строке)
2) Командный сервер с бд + сервер с сервисом расшифровки.
3) Также нужно, чтобы шифровальщик делал некоторые действия с OS (автозапуск + сбор информации), но это в идеале

Технологии: Более актуально для Windows. Но под Linux тоже можно будет попробовать. Язык - я за Python).

Предложила: Шеметова Екатерина

== Коллективное предсказание продолжительности выполнения домашнего задания ==

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

Имеется хорошо изученный частный случай этой задачи: тот, когда все делают какие-то задачи сообща и при этом делают априорные оценки того, сколько времени на это уйдёт. Затем, когда задача выполнена и известно реальное количество затраченного времени, вычисляется отношение между временем ожидаемым и затраченным. Когда в следующий раз проводятся оценки того, сколько уйдёт времени, применяется этот коэффициент. Через несколько заходов, по-хорошему, оценки с некоторым коэффициентом приближаются к реальности. Почитать более развёрнуто можно тут:
https://en.wikipedia.org/wiki/Burn_down_chart

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

Упрощённый пример. Петя решает домашние задания по комбинаторике каждое за три часа, Вася -- за шесть. Но Вася решает алгоритмы (вместе с дополнительными задачами) за час, а Петя -- за восемь. И вот Вася выполнил очередной набор домашних заданий на этих выходных, затратив на алгоритмы полтора часа, а на комбинаторику -- четыре. Тогда Петя, зайдя в систему, обнаружит, что ему следует потратить около двух часов на комбинаторику и около десяти часов на алгоритмы.

Предложил Дмитрий Халанский.

== Графы как часть разметки веб-страницы ==

Есть много библиотек, которые позволяют использовать на веб-страницах шаблоны, которые затем заполняются через JavaScript. К примеру, текст "<nowiki>{{user.isLoggedIn}}</nowiki>", размещённый где угодно на веб-странице, может превратиться в сложное дерево DOM-объектов, которое будет обновляться каждый раз, когда будет меняться значение переменной user.isLoggedIn. Известные примеры таких библиотек -- React и Vue.js.

Этот же подход можно применять и к тому, чтобы расширять набор средств отображения сведений на веб-странице. Простой пример, который и предлагается в качестве работы, -- это описание в тексте веб-страницы графа, вершинами которого могут быть произвольные DOM-объекты. В текстовых браузерах должно быть видно текстовое представление графа, в графических -- интерактивный граф.

Уже есть некоторые разработки по генерации графов из текстовых описаний -- к примеру, http://ushiroad.com/jsviz/ -- но нигде не было обнаружено такое, чтобы можно было представлять граф в виде обычного текста и при этом иметь в качестве вершин произвольные объекты DOM.

Предложил Халанский Дмитрий.

== Плагин к Coq на kakoune / kakoune-mode к Emacs ==

Страница проекта: [[DevDays2017Fall-Cokoune]]

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

kakoune -- современный текстовый редактор, убийца vim, последователь vi, который создавался с целью исправить ставшие за многие годы очевидными ошибки остальных модальных текстовых редакторов. Я пересел на kakoune после трёх лет очень активного использования vim и не пожалел.
http://kakoune.org/

Coq -- самый популярный язык с зависимыми типами, который предназначен для доказательства математических утверждений с помощью компьютера, который запрещает пользователю доказать что-то, в чём компьютер не может быть уверен полностью.

При этом на Coq удобнее всего работать в emacs. Который после kakoune не кажется удобным вообще никак.

Возникает две возможные задачи. Первая -- написать для kakoune плагин, добавляющий поддержку Coq. Вторая -- написать для emacs плагин, который позволяет писать в нём так же, как в kakoune. Первая задача заключается в написании всеми любимых shell-скриптов (потому что kakoune управляется ими), вторая -- в написании кода на Emacs Lisp, который, пусть и в силу Emacs неудачный, всё же Lisp.

Предложил Халанский Дмитрий.

== CRM-система для преподавателей и студентов ==

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

Доступ к системе с помощью веб-интерфейса (и мобильного приложения?).

Предполагаемый стэк технологий: фронтенд Angular2, бекенд NodeJS + Sequelize+ PostgreSQL (или полуфабрикат типа Firebase)

Предложил Чернышев Ярослав.

== Синхронизация звукового потока ==

Часто возникает такая ситуация, когда вы хотите послушать музыку или посмотреть лекцию со Stepik’а со своими товарищами с одного телефона. Однако при этом не хотите мешать другим людям вокруг своим звуком или сидеть только с одним наушником. Поэтому я предлагаю разработать приложение для Android, которое будет синхронизировать звуковые потоки на нескольких устройствах.

По идее, всё должно работать так: одно из приложений будет некоторым сервером. Остальные, как клиенты, будут к нему подключаться (например по Bluetooth). После этого сервер будет передавать звуковой поток устройствам клиентов, каждый из которых сможет отдельно воспроизводить его.

Предложила Орищенко Александра.

== Конспект по алгоритмам ==

На данный момент мы с Димой Новожиловым пишем конспекты по алгоритмам в формате markdown документов (с вставкой latex формул) и это не очень:

* Нет синхронизации — каждый ведёт конспект у себя на своей машине
* Трудно читать сырой markdown, а сгенерированные PDF'ки слишком широкие
* Дима иногда отсутствует на парах по алгоритмам, а мне лень вести конспект

Хочется сделать так, чтобы мы (и другие люди) вели работу через git, а при выполнении <code>git push</code> автоматически из markdown документов генерировался сайт с мобильной версией и хостился где-то в интернете.

# [https://pandoc.org/ Pandoc] умеет конвертировать файлы (нужно научиться его настраивать)
# Git может запустить какой-нибудь скрипт, когда вы выполняете комманду <code>git commit</code> или <code>git push</code> (здесь генерируется структура сайта)
# Можно настроить github так, что когда в репозиторий делают push, происходит какая-нибудь полезная работа (здесь сайт выкладывается в публичный доступ)

Таким образом нам надо будет разобраться с Pandoc, Git hooks, Travis CI, HTML, CSS. Это всё довольно легко, за три дня можно управиться. Основная цель — поработать в команде, распараллелить задачи, получить рабочий проект.

Предложил Стребежев Игорь.

Ссылка на проект [[AU-conspectus]]

== "Горячий" поиск билетов ==

Всем иногда приходится покупать авиабилеты. Причем иногда приходится покупать их за один-два дня до предполагаемой даты вылета. Очевидно, что билетов в такой ситуации может и не быть (или они будут по не очень приемлемой цене). В такой ситуации среднестатистическому пользователю ПК приходится судорожно следить за любыми изменениями в списке доступных билетов на ближайший день т.к. существует ненулевая вероятность того, что появится билет "вашей мечты" (например, кто-нибудь сдаст билет и т.д.).

В связи с чем предлагается написать программу/бота который в фоновом режиме следил бы за доступными билетами и в случае появления подходящего билета информировал об этом на телефон/e-mail или выводил большущее сообщение прямо на рабочий стол.

Наверняка подобные штуки уже есть, но вновь изобретать велосипед никто не запрещал.)

Насчет технологий точно ничего не скажу, т.к. опыта в таких вещах по минимуму, а вернее его вообще нет. :)

Предложил: Милащенко Марк

== Модифицированный бильярд ==

Предлагается написать модифицированный бильярд. Отсутствуют лузы, но при соприкосновении битка с шарами их цвет/текстура меняется на пользовательский. Побеждает тот игрок, после хода которого все шары оказались покрашенными в его цвет.

Плюсы:
* можно играть целой компанией, а не только вдвоём;
* сложно предсказать результат игры, вполне возможно, что никто не победит и никто не расстроится, не обидится, не перестанет разговаривать;
* бильярд есть игра без активного участия, ее можно растянуть и доигрывать в любое удобное время. Можно спокойно прерваться и, например, оплатить заказ в столовой, или послушать информацию насчет толстовок.

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

Предложил Александр Кузнецов

== Codeforces bot ==

Светозар ''учится'' в АУ и усердно ''изучает'' алгоритмы. Он верит, что рано или поздно станет важной персоной в мире спортивного программирования, и сейчас его цель — продвинуться в топ на платформе Codeforces, на которой он зависает часами. Но есть одна проблема — Светозар очень много времени проводит в телеграме, так как постоянно либо общается на тему алгоритмов, либо спрашивает совет насчет операционных систем и питона, либо оценивает новые стикеры. Если на пк еще можно как-то быстро переключаться между приложениями, на телефоне это делать сложнее, поэтому ему было бы удобно, чтобы какие-то вещи, касаемые Codeforces, можно было делать прямо в телеграме. За те десять минут, которые Светозар смог выделить на поиск имеющихся решений, он не нашел ничего подходящего (все имеющиеся боты неактивны), и он пришел к выводу, что нужно написать бот самому.

Так как все мы немного Светозар (по крайней мере ''сейчас''), возможно, эта идея покажется интересной.

Предложил Александр Кузнецов

== Java(assembly? postgresql?) jupyter kernel ==
Все просто: берем какой-нибудь яп и делаем для него jupyter kernel. Отличная возможность узнать получше как работает jupyter внутри.

Предложил Алексей Зубаков

== Плагин для документации ==
Idea позволяет глянуть inline документацию для некоторых языков и этого зачастую достаточно для того, чтобы понять что делает метод. Но как быть с языками, для которых этой фичи нет?
Приходится лезть в документацию. Чтобы не открывать сайт с документацией, есть [ https://zealdocs.org zealdox] и [https://kapeli.com/dash dash], последним я пользуюсь сам. Но человек я очень ленивый и хотелось бы выгружать документацию прямо в IDE в один клик.

Предложил Алексей Зубаков

== Расшаривание ссылок на private репозитории ==
У всех есть приватные репозитории на GitHub/Bitbucket/GitLab и иногда их все-таки нужно показывать. Самый частый сценарий: вы устраиваетесь на работу, хочется показать какой-то pet-project, но добавлять каждого интервьюера в collaborators несколько накладно. Проще, наверное, было бы отправить ссылку, по которой только он может посмотреть ваш репозиторий.

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

Предложил Алексей Зубаков

== Just do eat ==

Если ты очень крутой (или наоборот) программист, то тебе некогда думать о своем рационе питания и о том, что ты ешь, насколько это полезно, сколько там витаминов и т.д. Но ТЫЖПРОГРАММИСТ, поэтому можно написать приложение, которое будет делать это за тебя.

Примерное описание: приложение должно быть в курсе, что из продуктов у тебя есть и что ты ешь. При запросе будет выдавать список блюд/продуктов из имеющихся, которые желательно съесть на данный момент, чтобы твое питание было наиболее сбалансированным. Если это блюдо - то можно сразу получить рецепт/ссылку на рецепт. Можно также создать режим для похудения/набора веса.

Возможно, это немного уменьшит наши страдания.

Можно реализовать как приложение на Android, можно как приложение на ПК.

Технологии: наверняка понадобится сервер, на котором будет лежать информация о БЖУ/калориях/составах продуктов + выход в интрнет для поиска рецептов.

Предложила: Валерия Горячева

== Поддержка дисциплины ==

Многим студентам СПбАУ сложно вставать по утрам, ложиться по вечерам, делать дз вовремя, находить время на поход в магазин и так далее (с чем то одним, наверняка, каждый встречался). Это большая проблема, и все решают ее по-разному, но в основном либо входят в некоторый режим, либо закрывают хвосты по учебе в последние часы перед дедлайнами. Многие пытаются отоспаться на выходных.

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

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

Приложение должно иметь минимальный необходимый функционал с возможностью подцепить полезные фичи, опять же не нагромождая велосипедов в сам код (например, я не хочу ботать алгоритмы конкретный день 4 часа подряд, а хочу разбить это домашнее задание на 6 часов с перерывами каждые полчаса - ок, цепляю модуль и ставлю галку "делать в режиме помидор"; python же наоборот - можно делать не отрываясь часа 2-3 - собственно некоторое дефолтное поведение). Также большой проблемой подобных приложений является предварительная настройка (я настраивал trello весь день, совмещая с другими делами). Для студентов можно сделать внешний модуль (или просто какой-нибудь JSON) со всем необходимым (расписание, мягкие/жесткие дедлайны, дополнительные активности, не вписывающиеся в еженедельный ритм, например devdays), чтобы в течении получаса можно было полностью откалибровать приложение под себя.

Технологии: вырисовывается мобильное приложение, чтобы всегда имелось под рукой, начальная идея с telegram ботом уже не кажется такой привлекательной.

Предложил: Тагир Гумеров

== Создание ликбеза по языкам программирования ==

Проблема: по большинству языков сложно вести конспект, иногда из-за интенсивного повествования, иногда из-за веры в рассылку pdf преподавателями после пар.
Происходит что-то в духе "у нас было 10 ipynb документов, 5 исходников на haskell, около сотни header и source файлов и целая россыпь pdf с семинаров, лекций и дз".
Несколько рабочих столов или вкладок решают, но глобальный поиск все равно не запустишь.

Задача: создать справочник по яп, которые мы проходим. Не документация, но и не stackoverflow. В точности то, что нам преподается.
Можно автоматизировать парсинг pdf файлов и так далее.

Реализация - все, что кажется в повседневном использовании удобнее, чем 3-4 файла pdf и парочка открытых папок с исходниками. Скорее всего десктоп, может веб.

Предложили: Тагир Гумеров, Наталья Мурычева

== Читалка для часов ==

Реализовать читалку на основе технологии Spritz для фитнесс-браслета.

Предложила : Мурычева Наталья

== Умный мессенджер ==

В современном мире практически каждый из нас зарегистрирован во многих мессенджерах и часто бывает непонятно в какой из них нужно отправлять сообщение, чтобы получатель как можно скорее увидел его. Неудобно самостоятельно выискивать в каком из мессенджерах получатель находится онлайн, поэтому предлагаю написать приложение, которое самостоятельно принимает решение в какой из мессенджеров отправлять сообщение (например туда, где получатель находится в режиме онлайн или, например, туда, где получатель был в самое ближайшее время). Можно реализовать как приложение под Android, IOS, так и под ПК.

Технологии: Java, Python (может что-то ещё).

Предложил: Калинин Владислав

== Рекомендательная система для ярлыков в почте ==

Если вы пользуетесь ярлыками (например в <code>GMail</code>-е), чтобы сортировать свою почту, вы наверное замечали, что сам клиент не очень помогает с их присваиванием новым письмам (он просто выдает полный список с поиском по названию). Можно настроить автоматическое присваивание на основании каких-то правил (адресат, тема, ключевые слова), но это долго и лениво.

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

Поскольку ярлыки можно присваивать и самому, плагин должен переобучаться на основании новых ярлыков и принятых/отвергнутых рекомендаций.

Тут нужно какое-нибудь машинное обучение, но за три дня наверное можно разработать простенький классификатор.

Предложил: Голышев Роман

== Публичный онлайн буффер обмена ==

[[Devdays_Осень_2017/shared_online_buffer | Страничка проекта]]

Когда на парах идет лайвкодинг, перепечатывать все с экрана бывает неудобно. Особенно когда ты неправильно расставил скобки где-то в Хаскеле, и пока ты искал ошибку, класс ушел очень далеко вперед и ты уже не понимаешь, о чем говорят эти люди.

Было бы удобно иметь веб-сайт вроде Pastebin, но не являющийся статическим, а например работающий на вебсокетах и отображающий изменения в размещённом тексте в реальном времени.

Работа с ним предполагается в таком ключе: преподаватель начинает пару, печатает и показывает что-то в своем редакторе текста, после чего копирует его содержимое и вставляет в текстовое поле в браузере. В начале пары он пишет на доске read-only-ссылку на данный текст. У всех студентов открыта эта ссылка, и в случае необходимости они могут просто скопировать код оттуда.

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

Технологии: можно сделать полностью на js (Node.js + какой-нибудь простенький фреймворк для фронтенда, чтобы руки не сильно пачкать). Насчет технологии для обновления текста у всех, кто наблюдает за пастой, не уверен, но это могут быть вебсокеты или что-то еще (в крайнем случае можно сделать и на обычном long-polling, но это не интересно).

Предложил: Голышев Роман

== Codemixer ==

У студента АУ бывают моменты когда просто не обойтись без заимствования чужого когда. Например, если в домашке как часть задания требуется написать простой mergesort, но вы начали решать домашку за 5 минут до дедлайна, то было бы разумно взять mergesort со stackoverflow и для повышения оригинальности хотя бы переименовать переменные.
Предлагается избавить студентов от работы по повышению оригиналоьности кода и автоматизировать этот процесс для языка Python.
Технологии: python, ast, pymorphy.

Предложил: Лапко Данила

AU-conspectus

2017-11-01T08:12:39Z

Xamgore: Xamgore переименовал страницу Au-conspectus в AU-conspectus

Система, генерирующая из набора markdown документов, сайт с конспектом по алгоритмам (слава Смалю), со следующими фичами:

Фичи:

# Оповещалка в telegram о новой главе в конспекте
# Система багрепортов (выделил текст — отправил issue)
# Подбор ссылок для каждой темы конеспекта (neerc, wiki)
# Искать ключевые слова, делать поиск, лёгкий NLP*
# Термины как в википедии: всплывающие определения*

Состав:
* Стребежев Игорь
* Орищенко Александра
* Новожилов Дмитрий

Репозиторий: https://github.com/demiurg906/au-conspectus

* — дополнительные фичи

Au-conspectus

2017-11-01T08:12:39Z

Xamgore: Xamgore переименовал страницу Au-conspectus в AU-conspectus

#перенаправление [[AU-conspectus]]

AU-conspectus

2017-11-01T08:09:55Z

Xamgore: Новая страница: «Система, генерирующая из набора markdown документов, сайт с конспектом по алгоритмам (слава…»

Алгоритмы и структуры данных 5SE осень 2017

2017-10-31T01:01:26Z

Xamgore: /* Практика */

== Лекции ==
Преподаватель: Смаль Александр Владимирович

Литература:
* [https://logic.pdmi.ras.ru/~kulikov/en/algorithms Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.]
* Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ.
* [https://www.mccme.ru/free-books/shen/shen-progbook.pdf А. Шень. Программирование: теоремы и задачи.]
* М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных.

== Практика ==

Контесты: http://acm.spbgu.ru/tsweb/

Домашние задания:
<ol>
<li>[https://yadi.sk/i/R_gXqeLL3Mu5xD Асимптотика]</li>
<li>[https://yadi.sk/d/zDvqOV7J3Mv2sb Разделяй и властвуй] / [https://yadi.sk/d/YGvy37LC3Mv2ix tex]</li>
<li>[https://yadi.sk/i/kfxjQM-a3NBCt3 Линейные алгоритмы] / [https://yadi.sk/d/adyIi8Pr3NE7mq tex]</li>
<li>[https://yadi.sk/d/bPhgldgJ3NNgJV Сортировки и кучи] / tex</li>
<li>[https://yadi.sk/i/C898eTns3NYsP9 Qsort] / tex</li>
<li>[https://yadi.sk/i/ZBbXAuWb3Nqegt Порядковые статистики] / [https://yadi.sk/d/GBgyvJDf3Nqese tex]</li>
<li>[https://yadi.sk/d/LT_hFNku3NxTYT Деномическое программирование] / [https://yadi.sk/d/6l-n8Y3Y3NxTa5 tex]</li>
<li>[https://yadi.sk/i/2eDnhls13PFQ99 Динамика 2] / tex</li>
</ol>

<h3>Мишунин</h3>

Контакты: <code>alexander.mishunin[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1fVlT8gk2ErFU24U0TBD1JG8hNhy_8fAbwZLKvcr0jDY Табличка с результатами]

<h3>Давыдов</h3>

Контакты: <code>adavydow[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=1856332192 Таблица с результатами]

<h3>Слабодкин</h3>

Контакты: <code>slabodkinm[at]gmail.com</code>

[https://docs.google.com/spreadsheets/d/1s-1dbk-tZuEZl83J1XfhNhMPhs4nsEIOY8Cby86I4WU/edit#gid=2140916252 Таблица с результатами]

Devdays Осень 2017

2017-10-26T23:34:51Z

Xamgore: Конспект по алгоритмам

= Темы проектов =

Чтобы править эту страницу, нужно залогиниться в Sewiki. Тогда сверху будет кнопочка "править". Если у вас нет учётной записи - напишите Игорю желаемый логин.

Редактировать wiki одновременно нескольким людям стоит осторожно: после внесения правки проверьте, что она действительно сохранилась.

== Depth map from single view ==

Матрица глубины (depth map) - это некоторая матрица, каждый элемент которой содержит дальность до объекта.
Другими словами, если имеется некотороые изображение, то матрица глубины говорит о том, какого расстояние до каждого нарисованного объекта.

Хочется строить матрицу глубины с '''одного''' изображения, без использования бинокулярного зрения или радаров.

Предложил: Никулин Данил

== Доработать децентрализованный мессенджер RetroShare ==

Децентрализованные мессенджеры представляют интерес тем (для любителей паранои :)), что не используют при своей работе подконтрольные третьим лицам центральные серверы. Для "регистрации" в сети пользователь создаёт пару открытый/закрытый ключ и передаёт открытый ключ тем, с кем хочет общаться. Находить IP собеседника достаточно эффективно можно с помощью [https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%91%D0%BD%D0%BD%D0%B0%D1%8F_%D1%85%D0%B5%D1%88-%D1%82%D0%B0%D0%B1%D0%BB%D0%B8%D1%86%D0%B0 DHT].

Мессенджеров, которые работаю по такому принципу, оказывается, не так и много -- я видел только [https://github.com/RetroShare RetroShare] и [https://tox.chat/ Tox] . Я Пробовал пользоваться RetroShare: там всё хорошо, но есть некоторые недоработки, например нет индикатора, дошло ли сообщение до собеседника, удобного диалога сохранения файла и т.д.

За три дня можно разобраться в исходниках и устранить подобные недостатки.

Предложил: Егоров Антон

== Умное сохранение музыки из ВКонтакте ==

В нынешний век стриминговых сервисов наверняка есть люди, которые до сих пор скачивают музыку на компьютер и перекидывают ее в телефон/плеер для прослушивания в оффлайне.

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

Все это очень неудобно, а также сложно каталогизировать музыку по жанрам (учитывая, что один пост может содержать музыку из смеси жанров). Хочется реализовать сервис, который позволит все это автоматизировать.

Как я это вижу: где-то в облаке крутится сервер. Пользователь может поставить расширение для браузера, которое добавляет ко всем постам с музыкой кнопку "загрузить в облако". Дальше пользователь с мобильного приложения коннектится к этому облаку, где хранятся все сохраненные посты, которые можно сортировать по исполнителям и жанрам, которые вытаскиваются из тегов внутри поста. Каждую песню или пост можно либо слушать с подключением к интернету, либо скачать, чтобы слушать в оффлайне (как в старом приложении контакта, только с удобной каталогизацией).

Технологии: Java/Kotlin (для облака и мобильного приложения), js для расширения (кажется, что оно будет маленьким, так что js по минимуму)

Предложил: Новожилов Дмитрий

== Квантовый форсаж ==

Квантовое лирическое отступление: в физике есть понятие: неопределенность Гейзенберга. Если не вдаваться в подробности, то существуют пары величин, которые нельзя измерить с идеальной точностью. Например, импульс и координата объекта. Можно написать формулу, которая будет утверждать, что произведение неопределенности координаты на неопределенность импульса должно быть больше некой константы, связанной с постоянной Планка.

Идея: написать простенькую 2D игру, где будет использоваться понятие неопределенности Гейзенберга.

Красивое описание для игроков: Далекое будущее. Технологии достигли такого уровня, что можно уменьшить космический корабль до размеров элементарных частиц. Однако такой корабль попадает под действие законов микромира. В этих условиях вам и предстоит управлять кораблем. Он должен пролететь через квантовые джунгли препятствий и не врезаться не во что. Сложность управления в неопределенности скорости корабля и его положения в пространстве. К счастью, есть специальные бонусы, чтобы контролировать эти величины.

Описание игры по существу: есть некий фон, на котором отрисовываются различные препятствия (геометрические объекты или подобие сталактитов и сталагмитов, на что фантазии хватит). Есть космический корабль, который летит вдоль этого фона. Корабль имеет два свойства: скорость и координату. Для простоты можно представить корабль в виде круга. Скорость и координата подчиняются неопределенности Гейзенберга.

Скорость может принимать значение из некоторого промежутка с какой-то вероятностью. По сути, скорость будет меняться скачками. Тоже самое с координатой. Есть некий ореол вокруг корабля в пространстве которого может случайно возникать корабль (само собой скачками). Чем сильнее меняется скорость, тем меньше меняется координата (ореол меньшего размера) и наоборот. Для изменения неопределенности будут появляться бонусы, которые можно съедать (но надо понимать, что меняя неопределенность одного свойства, мы автоматически меняем неопределенность другого).

Игрок управляет кораблем стрелками. Игра заканчивается в случае, если координата корабля совпала с координатой препятствия.

Технологии: какой-нибудь игровой движок, а вообще у меня опыта в разработке мало, поэтому, если кто-то предложит подходящий язык/технологию, то будет круто

Предложил: Тимашов Даниил
== Vassal online ==
Давайте напишем легковесный движок в вебе для разработки настольных игр.
Предложил: Кузиванов Николай

== DroidTuner ==
Есть программы, которые позволяют тонко настраивать телефон, например - при считывании NFC-метки менять аудиопрофиль, запускать приложения, отправлять сообщения, заказывать ужин в ресторане и так далее. Проблема в том, что они либо хорошие, красивые, и даже предлагают свой язык для описания сценариев использования, но платные, либо имеют мало возможностей и не особо развиваются/мертвы.
Давайте напишем бесплатную_без_смс_оупенсоурс версию такого приложения, и, конечно, не хуже, чем у алчных конкурентов. Предложил Макеев Владимир

== AnonyMesh ==
Предлагается реализовать аналог двача, но без использования сети интернет - то есть по Bluetooth или Wifi-Direct. Вы создаете чат, к которому подключаются другие устройства поблизости и вместе обсуждаете насущные проблемы без возможности идентифицировать себя. Пример использования - анонимное голосование при принятии какого-либо решения в группе людей в дали от интернет-инфраструктуры. Предложил Макеев Владимир

== Добрый CryptoLocker ==
Петя боится вирусов-вымогателей (ransomware). Но Петя при этом очень неосторожный человек и любит открывать письма с вложениями от неизвестных отправителей, поэтому уже выплатил злоумышленникам 10 биткойнов, чтобы расшифровать свои файлы.
А ещё Петя - параноик. Он хочет зашифровать свои файлы, чтобы хакеры не смогли узнать его секреты, но при этом он сам смог в нужный момент их расшифровать. Помогите Пете написать программу - аналог CryptoLocker-а, но только добрый, для динамического шифрования собственных документов.

Для справки:
CryptoLocker - это простейший вирус-вымогатель, который шифрует файлы с определёнными расширением (обычно офисные и pdf-ки) с помощью криптосистемы с открытым ключом. Закрытый ключ хранится на сервере злоумышленника.
После попадания в систему вирус связывается с сервером, и с помощью полученного от него открытого ключа шифрует файлы нужного расширения. Затем выводится окно со счастливой новостью о заражении и ссылкой на сайт, где после оплаты можно расшифровать свои файлы.

Задачи:
1) Собственно сам шифровальщик (лучше минимально защититься от простейшего реверс-инжиниринга, например, генерить имя домена командного сервера, а не хранить его в строке)
2) Командный сервер с бд + сервер с сервисом расшифровки.
3) Также нужно, чтобы шифровальщик делал некоторые действия с OS (автозапуск + сбор информации), но это в идеале

Технологии: Более актуально для Windows. Но под Linux тоже можно будет попробовать. Язык - я за Python).

Предложила: Шеметова Екатерина

== Коллективное предсказание продолжительности выполнения домашнего задания ==

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

Имеется хорошо изученный частный случай этой задачи: тот, когда все делают какие-то задачи сообща и при этом делают априорные оценки того, сколько времени на это уйдёт. Затем, когда задача выполнена и известно реальное количество затраченного времени, вычисляется отношение между временем ожидаемым и затраченным. Когда в следующий раз проводятся оценки того, сколько уйдёт времени, применяется этот коэффициент. Через несколько заходов, по-хорошему, оценки с некоторым коэффициентом приближаются к реальности. Почитать более развёрнуто можно тут:
https://en.wikipedia.org/wiki/Burn_down_chart

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

Упрощённый пример. Петя решает домашние задания по комбинаторике каждое за три часа, Вася -- за шесть. Но Вася решает алгоритмы (вместе с дополнительными задачами) за час, а Петя -- за восемь. И вот Вася выполнил очередной набор домашних заданий на этих выходных, затратив на алгоритмы полтора часа, а на комбинаторику -- четыре. Тогда Петя, зайдя в систему, обнаружит, что ему следует потратить около двух часов на комбинаторику и около десяти часов на алгоритмы.

Предложил Дмитрий Халанский.

== Графы как часть разметки веб-страницы ==

Есть много библиотек, которые позволяют использовать на веб-страницах шаблоны, которые затем заполняются через JavaScript. К примеру, текст "<nowiki>{{user.isLoggedIn}}</nowiki>", размещённый где угодно на веб-странице, может превратиться в сложное дерево DOM-объектов, которое будет обновляться каждый раз, когда будет меняться значение переменной user.isLoggedIn. Известные примеры таких библиотек -- React и Vue.js.

Этот же подход можно применять и к тому, чтобы расширять набор средств отображения сведений на веб-странице. Простой пример, который и предлагается в качестве работы, -- это описание в тексте веб-страницы графа, вершинами которого могут быть произвольные DOM-объекты. В текстовых браузерах должно быть видно текстовое представление графа, в графических -- интерактивный граф.

Уже есть некоторые разработки по генерации графов из текстовых описаний -- к примеру, http://ushiroad.com/jsviz/ -- но нигде не было обнаружено такое, чтобы можно было представлять граф в виде обычного текста и при этом иметь в качестве вершин произвольные объекты DOM.

Предложил Халанский Дмитрий.

== Плагин к Coq на kakoune / kakoune-mode к Emacs ==

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

kakoune -- современный текстовый редактор, убийца vim, последователь vi, который создавался с целью исправить ставшие за многие годы очевидными ошибки остальных модальных текстовых редакторов. Я пересел на kakoune после трёх лет очень активного использования vim и не пожалел.
http://kakoune.org/

Coq -- самый популярный язык с зависимыми типами, который предназначен для доказательства математических утверждений с помощью компьютера, который запрещает пользователю доказать что-то, в чём компьютер не может быть уверен полностью.

При этом на Coq удобнее всего работать в emacs. Который после kakoune не кажется удобным вообще никак.

Возникает две возможные задачи. Первая -- написать для kakoune плагин, добавляющий поддержку Coq. Вторая -- написать для emacs плагин, который позволяет писать в нём так же, как в kakoune. Первая задача заключается в написании всеми любимых shell-скриптов (потому что kakoune управляется ими), вторая -- в написании кода на Emacs Lisp, который, пусть и в силу Emacs неудачный, всё же Lisp.

Предложил Халанский Дмитрий.

== CRM-система для преподавателей и студентов ==

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

Доступ к системе с помощью веб-интерфейса (и мобильного приложения?).

Предполагаемый стэк технологий: фронтенд Angular2, бекенд NodeJS + Sequelize+ PostgreSQL (или полуфабрикат типа Firebase)

Предложил Чернышев Ярослав.

== Синхронизация звукового потока ==

Часто возникает такая ситуация, когда вы хотите послушать музыку или посмотреть лекцию со Stepik’а со своими товарищами с одного телефона. Однако при этом не хотите мешать другим людям вокруг своим звуком или сидеть только с одним наушником. Поэтому я предлагаю разработать приложение для Android, которое будет синхронизировать звуковые потоки на нескольких устройствах.

По идее, всё должно работать так: одно из приложений будет некоторым сервером. Остальные, как клиенты, будут к нему подключаться (например по Bluetooth). После этого сервер будет передавать звуковой поток устройствам клиентов, каждый из которых сможет отдельно воспроизводить его.

Предложила Орищенко Александра.

== Конспект по алгоритмам ==

На данный момент мы с Димой Новожиловым пишем конспекты по алгоритмам в формате markdown документов (с вставкой latex формул) и это не очень:

* Нет синхронизации — каждый ведёт конспект у себя на своей машине
* Трудно читать сырой markdown, а сгенерированные PDF'ки слишком широкие
* Дима забивает на пары по алгоритмам, а мне лень вести конспект

Хочется сделать так, чтобы мы (и другие люди) вели работу через git, а при выполнении <code>git push</code> автоматически из markdown документов генерировался сайт с мобильной версией и хостился где-то в интернете.

# [https://pandoc.org/ Pandoc] умеет конвертировать файлы (нужно научиться его настраивать)
# Git может запустить какой-нибудь скрипт, когда вы выполняете комманду <code>git commit</code> или <code>git push</code> (здесь генерируется структура сайта)
# Можно настроить github так, что когда в репозиторий делают push, происходит какая-нибудь полезная работа (здесь сайт выкладывается в публичный доступ)

Таким образом нам надо будет разобраться с Pandoc, Git hooks, Travis CI, HTML, CSS. Это всё довольно легко, за три дня можно управиться. Основная цель — поработать в команде, распараллелить задачи, получить рабочий проект.

Предложил Стребежев Игорь.

== "Горячий" поиск билетов ==

Всем иногда приходится покупать авиабилеты. Причем иногда приходится покупать их за один-два дня до предполагаемой даты вылета. Очевидно, что билетов в такой ситуации может и не быть (или они будут по не очень приемлемой цене). В такой ситуации среднестатистическому пользователю ПК приходится судорожно следить за любыми изменениями в списке доступных билетов на ближайший день т.к. существует ненулевая вероятность того, что появится билет "вашей мечты" (например, кто-нибудь сдаст билет и т.д.).

В связи с чем предлагается написать программу/бота который в фоновом режиме следил бы за доступными билетами и в случае появления подходящего билета информировал об этом на телефон/e-mail или выводил большущее сообщение прямо на рабочий стол.

Наверняка подобные штуки уже есть, но вновь изобретать велосипед никто не запрещал.)

Насчет технологий точно ничего не скажу, т.к. опыта в таких вещах по минимуму, а вернее его вообще нет. :)

Предложил: Милащенко Марк

== Кластеризация сигналов ==

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

Данных очень много поэтому обрабатывать их хочется автоматически. При этом хочется вначале разделить все множество сигналов на группы количество которых совпадает с количеством предполагаемых источников.

В связи с этим предлагается написать программу которая:
- умела бы обрабатывать множество входных данных (осциллограмм) и выделять из них полезные сигналы
- Кластеризировала бы полученные сигналы на заданное количество множеств (например, методом k-средних или каким-либо другим методом кластеризации)
- Либо сепарировала бы данные используя различные методы кластеризации, а потом выдавала вердикт по предполагаемому количеству источников

Для таких целей скорее подойдет python, но предполагается написать это на с++. Хотя можно на чем угодно, что подходит.
Задача скорее не совсем подходящего масштаба и содержания, но может быть кто-нибудь заинтересуется.

Предложил: Милащенко Марк

== Модифицированный бильярд ==

Предлагается написать модифицированный бильярд. Отсутствуют лузы, но при соприкосновении битка с шарами их цвет/текстура меняется на пользовательский. Побеждает тот игрок, после хода которого все шары оказались покрашенными в его цвет.

Плюсы:
* можно играть целой компанией, а не только вдвоём;
* сложно предсказать результат игры, вполне возможно, что никто не победит и никто не расстроится, не обидится, не перестанет разговаривать;
* бильярд есть игра без активного участия, ее можно растянуть и доигрывать в любое удобное время. Можно спокойно прерваться и, например, оплатить заказ в столовой, или послушать информацию насчет толстовок.

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

Предложил Александр Кузнецов

== Codeforces bot ==

Светозар ''учится'' в АУ и усердно ''изучает'' алгоритмы. Он верит, что рано или поздно станет важной персоной в мире спортивного программирования, и сейчас его цель — продвинуться в топ на платформе Codeforces, на которой он зависает часами. Но есть одна проблема — Светозар очень много времени проводит в телеграме, так как постоянно либо общается на тему алгоритмов, либо спрашивает совет насчет операционных систем и питона, либо оценивает новые стикеры. Если на пк еще можно как-то быстро переключаться между приложениями, на телефоне это делать сложнее, поэтому ему было бы удобно, чтобы какие-то вещи, касаемые Codeforces, можно было делать прямо в телеграме. За те десять минут, которые Светозар смог выделить на поиск имеющихся решений, он не нашел ничего подходящего (все имеющиеся боты неактивны), и он пришел к выводу, что нужно написать бот самому.

Так как все мы немного Светозар (по крайней мере ''сейчас''), возможно, эта идея покажется интересной.

Предложил Александр Кузнецов

== Java(assembly? postgresql?) jupyter kernel ==
Все просто: берем какой-нибудь яп и делаем для него jupyter kernel. Отличная возможность узнать получше как работает jupyter внутри.

Предложил Алексей Зубаков

== Плагин для документации ==
Idea позволяет глянуть inline документацию для некоторых языков и этого зачастую достаточно для того, чтобы понять что делает метод. Но как быть с языками, для которых этой фичи нет?
Приходится лезть в документацию. Чтобы не открывать сайт с документацией, есть [ https://zealdocs.org zealdox] и [https://kapeli.com/dash dash], последним я пользуюсь сам. Но человек я очень ленивый и хотелось бы выгружать документацию прямо в IDE в один клик.

Предложил Алексей Зубаков

== Расшаривание ссылок на private репозитории ==
У всех есть приватные репозитории на GitHub/Bitbucket/GitLab и иногда их все-таки нужно показывать. Самый частый сценарий: вы устраиваетесь на работу, хочется показать какой-то pet-project, но добавлять каждого интервьюера в collaborators несколько накладно. Проще, наверное, было бы отправить ссылку, по которой только он может посмотреть ваш репозиторий.

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

Предложил Алексей Зубаков

== Just do eat ==

Если ты очень крутой (или наоборот) программист, то тебе некогда думать о своем рационе питания и о том, что ты ешь, насколько это полезно, сколько там витаминов и т.д. Но ТЫЖПРОГРАММИСТ, поэтому можно написать приложение, которое будет делать это за тебя.

Примерное описание: приложение должно быть в курсе, что из продуктов у тебя есть и что ты ешь. При запросе будет выдавать список блюд/продуктов из имеющихся, которые желательно съесть на данный момент, чтобы твое питание было наиболее сбалансированным. Если это блюдо - то можно сразу получить рецепт/ссылку на рецепт. Можно также создать режим для похудения/набора веса.

Возможно, это немного уменьшит наши страдания.

Можно реализовать как приложение на Android, можно как приложение на ПК.

Технологии: наверняка понадобится сервер, на котором будет лежать информация о БЖУ/калориях/составах продуктов + выход в интрнет для поиска рецептов.

Предложила: Валерия Горячева

OS 5SE осень 2017

2017-10-24T12:41:28Z

Xamgore: Добавлена инфа как настроить clion и дебаггер.

Преподаватель: Кринкин Кирилл Владимирович

Контакты: <code>[mailto:os-au@osll.ru os-au@osll.ru]</code>

Live: https://slides.com/kirillkrinkin/deck/live

* '''[https://github.com/OSLL/os-au-2017 Репозиторий курса на гитхабе]'''
** [https://github.com/OSLL/os-au-2017/tree/master/docs Презентации]
** [https://docs.google.com/spreadsheets/d/1dERdQc56nA9FXQKO6xW11bQ6osA41NofZSQbmU_i86o/edit Успеваемость]

* '''[https://stepik.org/course/3636/syllabus Лабораторные работы]'''
** [http://mit.spbau.ru/sewiki/images/d/da/Os-dev-jos.pdf Русскоязыяное описание лабораторных работ]
** [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/lecture-notes-and-readings/ Задания лабораторных работ]:
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab1.pdf C, Assembly, Tools, and Bootstrapping]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab2.pdf Memory Management]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab3.pdf User Environments]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab4.pdf Preemptive Multitasking]
**# [https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/labs/MIT6_828F12_lab5.pdf Spawn and Shell]

* '''Учебные материалы''' (дополнительные модули содержат хорошие источники):
** [https://stepik.org/course/1780/syllabus «Операционные системы»]
** [https://stepik.org/course/253/syllabus «Введение в архитектуру ЭВМ. Элементы операционных систем»]
** [https://stepik.org/course/548/syllabus «Основы программирования для Linux»]

----
<div class="mw-collapsible mw-collapsed">

<h5>Как запустить vagrant, qemu, и запатчить решение</h5>

----
<div class="mw-collapsible-content">

sudo vagrant up --provider=docker
sudo vagrant ssh default

Содержимое <code>conf/env.mk</code>

QEMU=/usr/bin/qemu-system-i386
QEMUEXTRA=-curses

Параметр <code>QEMUEXTRA</code> можно не ставить (и так даже лучше); вместо этого нужно запускать <code>QEMU</code> с помощью <code>make qemu-nox</code> - тогда <code>QEMU</code> запустится прямо в вашей консоли и вы не будете страдать.

----
Если вам не хочется потом каждый раз удалять переменную <code>QEMUEXTRA</code> из гит-диффа, можете создать линку на исполняемый файл под именем <code>qemu</code>:

sudo ln /usr/bin/qemu-system-i386 /usr/bin/qemu

После этого все будет находиться.

----

При проблемах с gdb (типа <code>warning: File "/home/vagrant/lab/.gdbinit" auto-loading has been declined by your `auto-load safe-path' set to "$debugdir:$datadir/auto-load:/vagrant/lab/.gdbinit".</code>) действовать так, как он укажет: добавить в файл <code>/home/vargant/.gdbinit</code> одну из двух строк:

add-auto-load-safe-path /home/vagrant/lab/.gdbinit
set auto-load safe-path /

И так, и так работает.

----

Если у вас проблемы с дублированием букв внутри <code>QEMU</code>, не паникуйте - просто проверьте команды <code>help</code> и <code>kerninfo</code> - скорее всего удваивание букв будет проигнорировано, и команды выполнятся.

Для выхода из <code>QEMU</code> используюйте сочетание клавиш <code>ctrl-a x</code>.

----

Для создания файла с патчем работает следующая схема:

sudo touch patch
sudo chmod a+rw patch
git diff > patch

----

Совы не то, чем кажутся или The desc field contains the line number and the value contains the code address for the start of that source line:
http://www.sourceware.org/gdb/onlinedocs/stabs.html#Line-Numbers

----
При отправке патчей проверять сначала на своих репозиториях и следить за тем, чтобы концы строк были не ос-специфичными (типа \r\n на винде). С такими различиями патчи не применяются и падают с ошибкой

Можно избежать проблемы с концами строк, если трансферить патч следующим образом:

vagrant ssh -c "cat /home/vagrant/lab/patch" | dos2unix > patch

----

Если вам лень вручную переносить изменения из виртуальной машины в файлы в вашем форкнутом репозитории, можете воспользоваться утилитой <code>patch</code>:

cd solutions/${вставь_свою_фамилию}/lab1
patch < your_patch_file

Скорее всего, программа не поймет, где именно лежат ваши измененные файлы, и попросит указать пути к ним. Но это всяко лучше, чем руками копировать все это.
</div>
</div>

<div class="mw-collapsible mw-collapsed">

<h5>Как припилить CLion и дебаггер</h5>

----
<div class="mw-collapsible-content">

Потребуется немного модифицировать Vagrantfile: нужно прокинуть порты (можно и директорию между хостовой и гостевой системами, но необязательно). Порт должен совпадать с тем, что указано в файле <code>lab/.gdbinit</code>, в строке <code>target remote localhost:26000</code>.

<syntaxhighlight lang="ruby">
# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure(2) do |config|
config.vm.network :forwarded_port, guest: 26000, host: 26000, host_ip: "127.0.0.1", protocol: "tcp", auto_correct: true
config.vm.synced_folder "lab", "/home/vagrant/lab"
config.vm.provider "docker" do |d|
d.has_ssh = true
d.image = "osll/os_mooc:v1"
end

end
</syntaxhighlight>

[[Файл:Clion debug os.png|300px|thumb|caption|Run → Edit configuration → «+»]]

Далее нужно настроить сам Clion как на картинке справа + добавить CMakeLists.txt со следующим содержимым (список файлов придётся изменять с каждой новой лабой):

<syntaxhighlight lang="cmake">
cmake_minimum_required(VERSION 3.9)
project(kernel)

set(CMAKE_C_STANDARD 11)

set(SOURCE_FILES
boot/boot.S
boot/main.c
boot/sign.pl
inc/assert.h
...
)

add_executable(kernel ${SOURCE_FILES})
target_include_directories(kernel PRIVATE ${CMAKE_SOURCE_DIR})
</syntaxhighlight>

Дальше нужно запускать <code>make qemu-nox-gdb</code>, ставить точку останова в clion и запускать debug. Если нет подключения к GDB, то неправильно настроены порты или неверно указан <code>Symbol file</code> (он указывает на скомпилированный образ ядра). Если GDB запускается, но ничего не выводит, то можно приостновить дебаггер (pause), во вкладке "GDB" запустить <code>list cprintf</code>, и GDB покажет, какой файл он ищет и не может найти; в соответствии с этим нужно настроить маппинг.

</div>
</div>