http://mit.spbau.ru/sewiki/api.php?action=feedcontributions&feedformat=atom&user=IvanovakSEWiki - Вклад участника [ru]2026-04-30T15:10:59ZВклад участникаMediaWiki 1.26.2http://mit.spbau.ru/sewiki/index.php?title=StatisticalLearning_2014&diff=4229StatisticalLearning 20142014-10-10T08:41:42Z<p>Ivanovak: /* Группы по проектам */</p>
<hr />
<div>= Программа =<br />
<br />
== Прочитанные лекции ==<br />
# Введение. Что такое statistical learning. Примеры. ''(05.09)'' [[Файл:SL-01-SLIntro.pdf]]<br />
# И снова линейная регрессия. Оценивание. Проверка гипотез относительно коэффициентов. Доверительные интервалы для коэффициентов. ''(19.09)'' [[Файл:SL-02-Regression.pdf]]<br />
# Категориальные переменные в регрессии. Выбор информативных признаков (немного). ''(26.09)'' [[Файл:SL-03-Regression.pdf]] [[Файл:SL-Advertising.zip]] <br />
# Классификация. Линейные методы. Логистическая регрессия. ''(03.10)''<br />
<br />
== Возможные темы будущих лекций ==<br />
<br />
# Регрессия. Выбросы, гетероскедастичность, high leverage points.<br />
# Классификация. Дискриминантный анализ. Понятие ROC-кривой, AUC. Naive Bayes.<br />
# Resampling: Кросс-валидация. Бутстреп.<br />
# Снова о подборе линейной модели. Регуляризация (ridge regression, LASSO, elastic net). Робастная регрессия.<br />
# Нелинейности. Полиномиальная регрессия. Сплайны. Локальная регрессия. GAM.<br />
# Деревья. Bagging. Boosting.<br />
# Support vector machines<br />
# Unsupervised learning: PCA, кластеризация (k-means, иерархическая), model based clustering.<br />
<br />
= Материалы с практик =<br />
Конспект [[Файл:Rcourse.pdf]] (черновик). Будет обновляться. Внутри все листинги и результат выполнения + какие-то комментарии.<br />
<br />
# Сырая версия history от 5 и 19 сентября (выложил в виде отформатированного конспекта) [[Файл:hist5sep.R.gz]] [[Файл:hist19sep.R.gz]]. Домашнее задание [[Файл:task_19sep.pdf]]<br />
# Листинг для несостоявшегося занятия 26 сентября (будем с ним работать + еще немного) [[Файл:hist26sep.R.gz]]<br />
# Задание с 3 октября [[Файл:Task2.pdf]], данные для задания [[Файл:data3oct.tar.gz]]<br />
<br />
= Дедлайны =<br />
* 10 октября - деление на группы по проектам<br />
* 24 октября - финализация темы проекта<br />
* TBA - презентации проектов<br />
<br />
= Группы по проектам =<br />
* Герман Демидов<br />
* Бондарев Тимофей, Демидов Герман, Сидоров Святослав, Яснев Олег<br />
* Екатерина Старостина, Дмитрий Мелешко, Маргарита Аксешина, Елена Бушманова.<br />
* Павел Авдеев, Татьяна Малыгина, Анна Лиознова, Надия Ситдыкову<br />
* Комаров Александр, Крыщенко Антон, Тураев Тимур, Устюжанина Екатерина<br />
* Андроник Ордиян, Аркадий Калакуцкий, Богдан Бугаев, Денис Жарков<br />
* Антон Иванов, Гончарова Ирина<br />
<br />
= Результаты и итоги =<br />
<br />
= Литература=<br />
== Основная ==<br />
# Hadley Wickham: "Advanced R" [http://adv-r.had.co.nz/] - Достаточно краткое, но исчерпывающее руководство от очень известного R-гуру, автора множества пакетов<br />
# Patrick Burns: "The R Inferno" [http://www.burns-stat.com/documents/books/the-r-inferno/] - "Ад R", потенциальные ошибки при программировании на R и способы их избежать. Рекомендуется к чтению после некоторого опыта в R<br />
# Gareth James, Daniela Witten, Trevor Hastie and Robert Tibshirani: "An Introduction to Statistical Learning (with Applications in R)" [http://www-bcf.usc.edu/~gareth/ISL/] - ISL, введение в SL с примерами, основное пособие курса<br />
# Trevor Hastie, Robert Tibshirani, Jerome Friedman: "The Elements of Statistical Learning"[http://statweb.stanford.edu/~tibs/ElemStatLearn/] - ESL, для тех, кому предыдущая книга покажется недостаточно подробной и глубокой. Больше теории и шире охват, но гораздо сложнее и нет примеров кода<br />
<br />
== Дополнительная ==<br />
# [http://ggplot2.org/] - Сайт lattice<br />
# Sarkar, Deepayan: "Lattice. Multivariate Data Visualization with R" [http://www.springer.com/978-0-387-75968-5] - Исчерпывающий обзор графической системы "lattice" с примерами использования<br />
# [http://lattice.r-forge.r-project.org/] - Сайт ggplot2<br />
# Winston Chang: "R Graphics Cookbook" [http://amzn.com/1449316956?tag=ggplot2-20] - Введение в ggplot и рецепты<br />
# Hadley Wickham: "ggplot2: Elegant Graphics for Data Analysis" [http://amzn.com/0387981403?tag=ggplot2-20] - Книга от создателя ggplot, для тех, кто хочет разобраться с внутренним устройством пакета и проектировать собственные графики<br />
# Q. Ethan McCallum, Stephen Weston: "Parallel R. Data Analysis in the Distributed World " [http://shop.oreilly.com/product/0636920021421.do] - Книга содержит исчерпывающую информацию о параллельном программировании на R (включая кластеры и облака)</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%B0%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D1%85_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D1%84%D0%B5%D0%B9%D1%81%D0%BE%D0%B2_2012&diff=2083Разработка интерактивных интерфейсов 20122012-12-12T11:40:57Z<p>Ivanovak: /* Проекты */</p>
<hr />
<div>Лектор - Кринкин Кирилл Владимирович<br />
<br />
== Проекты ==<br />
1. Кринкин М., Башоров З., Лазарев C.<br/><br />
[https://github.com/bashor/RemoteControl Remote Control]<br />
<br />
2. [[ArGame|ARGame Кононенко, Сорокин, Казенюк, Иванов]]<br />
<br />
<br />
[https://github.com/griver/ARGame/wiki/ARGame-Description Description] [https://github.com/griver/ARGame/issues Issues] [https://github.com/griver/ARGame Repo]<br />
<br />
3. Опейкин, Коровин [[SpatialBrowser]] [[ARSkyMap]]<br />
<br />
4. Шеставин, Певзнер, Лепенькин [[Stable_Reader]]<br />
<br />
5. Савельев, Фофанова: [[Распознаватель эмоций]]<br />
<br />
6. Краско:<br />
[[Экран блокировки для BlackBerry]]<br />
<br />
7. Великий<br />
<br />
== Лекции ==<br />
<br />
== Домашние задания ==<br />
<br />
== Список литературы ==<br />
<br />
== Полезные ссылки ==<br />
[https://docs.google.com/spreadsheet/ccc?key=0Ai0vg3CTwO9wdFFxQUMwX3Q4Tk9kZU1qd2JLdFRHd2c Рейтинг]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=SCALA_2012&diff=2020SCALA 20122012-11-26T19:23:53Z<p>Ivanovak: /* Лекции */</p>
<hr />
<div>Лектор - Подхалюзин А., Исакова С.<br />
<br />
* [https://docs.google.com/spreadsheet/ccc?key=0Am1c1yb3OpowdE1Eb3RNUHZNM3h3YzBqNHAxMnRCRlE&pli=1#gid=0| Результаты домашних и контрольных работ]<br />
<br />
== Лекции ==<br />
* [https://github.com/Alefas/game-task/blob/master/presentation.pdf?raw=true 01 (pdf)]<br />
* [https://github.com/svtk/lecture2 02 (src)]<br />
* [https://github.com/Alefas/complex-task/blob/master/presentation.pdf?raw=true 03 (pdf]<br />
* [https://github.com/svtk/lecture4 04 (src)]<br />
* [https://dl.dropbox.com/u/59878975/presentation.pdf 05 (pdf)]<br />
<br />
== Домашние задания ==<br />
# [https://github.com/Alefas/game-task Four Score]<br />
# [https://github.com/Alefas/complex-task Сase class Complex]<br />
# [https://github.com/svtk/lecture4/blob/master/README.md Implement normalization of a lambda term]<br />
<br />
== Список литературы ==<br />
<br />
== Полезные ссылки ==</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=SCALA_2012&diff=2019SCALA 20122012-11-26T19:23:18Z<p>Ivanovak: /* Лекции */</p>
<hr />
<div>Лектор - Подхалюзин А., Исакова С.<br />
<br />
* [https://docs.google.com/spreadsheet/ccc?key=0Am1c1yb3OpowdE1Eb3RNUHZNM3h3YzBqNHAxMnRCRlE&pli=1#gid=0| Результаты домашних и контрольных работ]<br />
<br />
== Лекции ==<br />
* [https://github.com/Alefas/game-task/blob/master/presentation.pdf?raw=true 01 (pdf)]<br />
* [https://github.com/svtk/lecture2 02 (src)]<br />
* [https://github.com/Alefas/complex-task/blob/master/presentation.pdf?raw=true 03 (pdf]<br />
* [https://github.com/svtk/lecture4 04 (src)]<br />
* [https://dl.dropbox.com/u/59878975/presentation.pdf]<br />
<br />
== Домашние задания ==<br />
# [https://github.com/Alefas/game-task Four Score]<br />
# [https://github.com/Alefas/complex-task Сase class Complex]<br />
# [https://github.com/svtk/lecture4/blob/master/README.md Implement normalization of a lambda term]<br />
<br />
== Список литературы ==<br />
<br />
== Полезные ссылки ==</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D0%BE%D0%BB%D0%BE%D0%B2%D0%B8%D0%BB%D0%BA%D0%B0&diff=1965Билетоловилка2012-11-15T10:15:04Z<p>Ivanovak: </p>
<hr />
<div>=== Ссылка на приложение ===<br />
<br />
https://play.google.com/store/apps/details?id=ru.biletolovilka.client<br />
<br />
=== Описание ===<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу. Однако билеты периодически возвращаются клиентами и очень хочется автоматизировать процесс многократного нажатия F5. Пройдя по ссылке (biletolovilka.ru) уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид клиент с удобным UI'ем, который бы оповещал пользователя о найденных билетах (сигналом).<br />
<br />
=== Команда ===<br />
* Иванов А.К.<br />
* Казенюк С.С.<br />
* Кононенко В.А.<br />
<br />
Аудитория 437</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D0%BE%D0%BB%D0%BE%D0%B2%D0%B8%D0%BB%D0%BA%D0%B0&diff=1959Билетоловилка2012-11-15T09:15:02Z<p>Ivanovak: </p>
<hr />
<div>=== Ссылка на приложение ===<br />
<br />
coming up soon...<br />
<br />
=== Описание ===<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу. Однако билеты периодически возвращаются клиентами и очень хочется автоматизировать процесс многократного нажатия F5. Пройдя по ссылке (biletolovilka.ru) уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид клиент с удобным UI'ем, который бы оповещал пользователя о найденных билетах (сигналом).<br />
<br />
=== Команда ===<br />
* Иванов А.К.<br />
* Казенюк С.С.<br />
* Кононенко В.А.<br />
<br />
Аудитория 437</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D0%BE%D0%BB%D0%BE%D0%B2%D0%B8%D0%BB%D0%BA%D0%B0&diff=1863Билетоловилка2012-11-12T10:39:10Z<p>Ivanovak: </p>
<hr />
<div>=== Описание ===<br />
<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу. Однако билеты периодически возвращаются клиентами и очень хочется автоматизировать процесс многократного нажатия F5. Пройдя по ссылке (biletolovilka.ru) уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид клиент с удобным UI'ем, который бы оповещал пользователя о найденных билетах (сигналом).<br />
<br />
=== Команда ===<br />
* Иванов А.К.<br />
* Казенюк С.С.<br />
* Кононенко В.А.<br />
<br />
Аудитория 437</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D0%BE%D0%BB%D0%BE%D0%B2%D0%B8%D0%BB%D0%BA%D0%B0&diff=1829Билетоловилка2012-11-12T07:24:17Z<p>Ivanovak: </p>
<hr />
<div>=== Описание ===<br />
<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу. Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task. Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform) клиент с удобным UI'ем.<br />
<br />
=== Команда ===<br />
* Иванов А.К.<br />
* Казенюк С.С.<br />
* Кононенко В.А.<br />
<br />
Аудитория 437</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D0%BE%D0%BB%D0%BE%D0%B2%D0%B8%D0%BB%D0%BA%D0%B0&diff=1828Билетоловилка2012-11-12T07:22:32Z<p>Ivanovak: /* Команда */</p>
<hr />
<div>=== Андроид клиент для biletolovilka.ru ===<br />
<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу. Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task. Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform) клиент с удобным UI'ем.<br />
<br />
=== Команда ===<br />
* Иванов А.К.<br />
* Казенюк С.С.<br />
* Кононенко В.А.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D0%BE%D0%BB%D0%BE%D0%B2%D0%B8%D0%BB%D0%BA%D0%B0&diff=1827Билетоловилка2012-11-12T07:22:02Z<p>Ivanovak: Новая страница: «=== Андроид клиент для biletolovilka.ru === Очень тяжело найти билет в питер в ночь с пятницы на субб…»</p>
<hr />
<div>=== Андроид клиент для biletolovilka.ru ===<br />
<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу. Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task. Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform) клиент с удобным UI'ем.<br />
<br />
=== Команда ===<br />
Иванов А.К.<br />
Казенюк С.С.<br />
Кононенко В.А.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=Devdays2h2012&diff=1826Devdays2h20122012-11-12T07:20:49Z<p>Ivanovak: /* Страницы проектов */</p>
<hr />
<div>== Идеи проектов ==<br />
<br />
* Андроид клиент для biletolovilka.ru<br />
* Сетевые шахматы на троих; бессмысленно и беспощадно.<br />
* Фреймворк для организации CTF-соревнований<br />
* Experimental project for http://www.chromeexperiments.com/<br />
* Just another extension for Chrome<br />
* Платформа для Web Автоматизации<br />
* HDR-creator<br />
<br />
== Страницы проектов ==<br />
<br />
* [[Project_Grothendieck|Визуализатор алгебраических структур]]<br />
* [[MorseKeyboard|Клавиатура Морзе]]<br />
* [[Cheque recognizer 2.0|Распознавание чеков]]<br />
* [[DontMissStop|Будильник "Не проспи остановку"]]<br />
* [[Машина_Тьюринга|Машина Тьюринга]]<br />
* [[SynchronizedPlayer]]<br />
* [[Билетоловилка]]<br />
<br />
=== Андроид клиент для biletolovilka.ru===<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу.<br />
Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task.<br />
Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform)<br />
клиент с удобным UI'ем.<br />
<br />
=== Мечта меломана ===<br />
Клиентская и серверная части.<br />
<br />
Сервер:<br />
- Мониторит аккаунты на youtube, vk<br />
- При добавлении трека в аудиозаписи сама добавляет его в музыкальную<br />
коллекцию со структурой по папочкам, скачивает обложку, приводит в<br />
порядок все тэги автоматически. Использует, например, информацию о<br />
длительности .<br />
- При добавлении видео в избранное на youtube конвертирует его в mp3,<br />
дальше всё аналогично.<br />
- Синхронизируется со всеми устройствами. В домашней wifi сетке<br />
автоматом синхронизируется со всеми android-девайсами по wifi. При<br />
подключении MTP-девайса (плеер) автоматом синхронизируется с ним.<br />
Можно в две стороны.<br />
<br />
<br />
Клиенты: всякие мобильные платформы<br />
Обеспечивают синхронизацию с базой на сервере при входе в зону<br />
домашнего Wifi или вручную.<br />
<br />
=== Python type checking ===<br />
Предлагаю реализовать cli tool для проверки типов в Python проектах. Вдохновиться можно [[http://www.erlang.org/doc/man/dialyzer.html аналогичным]] инструментом из мира Erlang. Основная идея: в динамическом языке мы не можем вывести тип для '''любого''' выражения, но нас это устраивает! будем проверять типы только там, где их можно вывести. Таким образом, если уж наш инструмент найдет ошибку типов, то она всегда истиная. Как это делать? давайте типизируем __builtin__ и часть стандартной библиотеки, этого должно хватить, чтобы находить ошибки вида <code>map(1, 2)</code> или <code>os.path.exists([])</code>. Всё, что мы таким образом типизировать не можем считаем значением типа <code>object</code>. Примеры:<br />
<br />
<pre><br />
# Assign a type signature to `os.path.exists`, it's a function, which takes a string and returns a boolean.<br />
signature(os.path.exists, Function(str, bool))<br />
<br />
# Now try to infer a type of the following expressions.<br />
os.path.exists([]) # type: error, the input argument should be a string!<br />
os.path.exists("/") # type: bool<br />
<br />
# Try the same for a function, with an unknown signature.<br />
os.listdir("/") # type: object, since we don't know the signature of `os.listdir`.<br />
</pre><br />
<br />
Можно сразу ориентироваться на Python3 и использовать [[http://www.python.org/dev/peps/pep-3107/ function annotations]] в качестве источника информации о типах:<br />
<br />
<pre><br />
def f(x : int) -> float:<br />
return float(x) <br />
</pre><br />
<br />
P. S. Создатели dialyzer написали paper по мотивам своих изысканий: [[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.699 Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications]]<br />
<br />
=== stream-lib revisited ===<br />
Для Java [[https://github.com/clearspring/stream-lib есть]] замечательная библиотека, реализующая summary statistics для потоков данных. Было бы здорово реализовать что-то похожее на Python.<br />
<br />
=== Клиент для Google Play ===<br />
Есть только 2 способа пользоваться Google Play, с телефона, или из браузера, при этом если хочется получить apk файл на компьютер, то единственный способ это вытаскивать его с телефона.<br />
Почему бы не написать кросс платформенный клиент с использованием Qt, который позволит качать файлы прямо на ПК(и можно добавить различные возможности). Притом что протокол довольно прост.<br />
<br />
=== Экстеншен для идеи про обход массивов ===<br />
Экстеншен для идеи, который видит, что двумерный массив обходится в "плохом" порядке (с потерей кэшей) и предлагает поправить.<br />
<br />
=== Парсер теховских формул на хаскелле (или на скале) ===<br />
Хочется взять теховскую формулу и получить по ней объект, который умеет ее исполнять.<br />
<br />
-- Обычно идут другим путем, записывают формулу на каком-нибудь DSL, чтобы можно было её вычислить и сконвертировать в TeX. (С. Лебедев)<br />
<br />
=== Платформа для Web автоматизации ===<br />
Было бы здорово написать библиотеку, которая бы позволила писать простые скрипты: зайти на сайт N, вытащить данные с помощью данного регулярного выражения, сохранить данные.<br />
В будущем возможно расширение скриптов добавлением различных возможностей, как минимум ветвлений.<br />
Основное требование: скорость работы и максимальная загрузка сетевого соединения.<br />
<br />
=== HDR-creator ===<br />
Оказалось, что бесплатные программы для создания HDR-фото не найти. А фото получаются хорошие, и задача создания одного фото из нескольких кажется интересной.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=Devdays2h2012&diff=1779Devdays2h20122012-11-11T13:27:22Z<p>Ivanovak: /* Идеи проектов */</p>
<hr />
<div>== Идеи проектов ==<br />
<br />
* Андроид клиент для biletolovilka.ru<br />
* Сетевые шахматы на троих<br />
* Фреймворк для организации CTF-соревнований<br />
* Experimental project for http://www.chromeexperiments.com/<br />
* Just another extension for Chrome<br />
<br />
=== Андроид клиент для biletolovilka.ru===<br />
Очень тяжело найти билет в питер в ночь с пятницы на субботу.<br />
Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task.<br />
Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform)<br />
клиент с удобным UI'ем.<br />
<br />
=== Мечта меломана ===<br />
Клиентская и серверная части.<br />
<br />
Сервер:<br />
- Мониторит аккаунты на youtube, vk<br />
- При добавлении трека в аудиозаписи сама добавляет его в музыкальную<br />
коллекцию со структурой по папочкам, скачивает обложку, приводит в<br />
порядок все тэги автоматически. Использует, например, информацию о<br />
длительности .<br />
- При добавлении видео в избранное на youtube конвертирует его в mp3,<br />
дальше всё аналогично.<br />
- Синхронизируется со всеми устройствами. В домашней wifi сетке<br />
автоматом синхронизируется со всеми android-девайсами по wifi. При<br />
подключении MTP-девайса (плеер) автоматом синхронизируется с ним.<br />
Можно в две стороны.<br />
<br />
<br />
Клиенты: всякие мобильные платформы<br />
Обеспечивают синхронизацию с базой на сервере при входе в зону<br />
домашнего Wifi или вручную.<br />
<br />
=== Python type checking ===<br />
Предлагаю реализовать cli tool для проверки типов в Python проектах. Вдохновиться можно [[http://www.erlang.org/doc/man/dialyzer.html аналогичным]] инструментом из мира Erlang. Основная идея: давайте типизируем __builtin__ и часть стандартной библиотеки, этого должно хватить, чтобы находить ошибки вида <code>map(1, 2)</code> или <code>os.path.exists([])</code>.<br />
<br />
=== stream-lib revisited ===<br />
Для Java [[https://github.com/clearspring/stream-lib есть]] замечательная библиотека, реализующая summary statistics для потоков данных. Было бы здорово реализовать что-то похожее на Python.<br />
<br />
=== Клиент для Google Play ===<br />
Есть только 2 способа пользоваться Google Play, с телефона, или из браузера, при этом если хочется получить apk файл на компьютер, то единственный способ это вытаскивать его с телефона.<br />
Почему бы не написать кросс платформенный клиент с использованием Qt, который позволит качать файлы прямо на ПК(и можно добавить различные возможности). Притом что протокол довольно прост.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=Devdays2h2012&diff=1763Devdays2h20122012-11-11T09:44:27Z<p>Ivanovak: /* Идеи проектов */</p>
<hr />
<div>== Идеи проектов ==<br />
<br />
* TBD<br />
* VST Plug-in<br />
* Андроид клиент для biletolovilka.ru</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%B0%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D1%85_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D1%84%D0%B5%D0%B9%D1%81%D0%BE%D0%B2_2012&diff=1758Разработка интерактивных интерфейсов 20122012-11-09T14:20:41Z<p>Ivanovak: /* Проекты */</p>
<hr />
<div>Лектор - Кринкин Кирилл Владимирович<br />
<br />
== Проекты ==<br />
1. Кринкин М., Башоров З., Лазарев C.<br/><br />
[https://github.com/bashor/RemoteControl Remote Control]<br />
<br />
2. Кононенко, Сорокин, Казенюк<br />
<br />
[https://github.com/griver/ARGame/wiki/ARGame-Description Description] [https://github.com/griver/ARGame/issues Issues] [https://github.com/griver/ARGame Repo]<br />
<br />
3. Опейкин, Коровин [[SpatialBrowser]] [[ARSkyMap]]<br />
<br />
4. Шеставин, Певзнер, Лепенькин [[Stable_Reader]]<br />
<br />
5. Савельев, Фофанова: [[Распознаватель эмоций]]<br />
<br />
6. Краско, Иванов:<br />
[[Экран блокировки для BlackBerry]]<br />
<br />
7. Великий<br />
<br />
== Лекции ==<br />
<br />
== Домашние задания ==<br />
<br />
== Список литературы ==<br />
<br />
== Полезные ссылки ==<br />
[https://docs.google.com/spreadsheet/ccc?key=0Ai0vg3CTwO9wdFFxQUMwX3Q4Tk9kZU1qd2JLdFRHd2c Рейтинг]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=GTD_tool&diff=1374GTD tool2012-04-20T18:16:20Z<p>Ivanovak: /* Инструментарий */</p>
<hr />
<div>==Команда==<br />
* [[Участник:ivanovak|Иванов Антон]]<br />
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]<br />
* [[Участник:Владислав_Совельев|Владислав Савельев]]<br />
<br />
==Суть проекта==<br />
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые<br />
нету времени сейчас, но в будущем оно возможно появится. Или,<br />
например, возникают обязательные или желательные для выполнения дела.<br />
Идея проекта заключается в том чтобы создать инструмент помогающий в<br />
организации такого рода задач и их систематизации. Все задачи<br />
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую<br />
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать<br />
ярлычки, которые дают информацию об их важности, об их дедайне итп).<br />
Приложение должно помочь пользователям освободить голову от задач<br />
перемещая ответственность на себя (следуя идеалам GTD). И если заданию<br />
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем<br />
остальном позаботится приложение.<br />
<br />
P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done<br />
==Инструментарий==<br />
C#, ASP.NET, CSS, js, jQuery<br />
<br />
==Материалы==<br />
http://code.google.com/p/gtd-tool/<br />
<br />
http://andrey.moveax.ru/mvc3-in-depth/basics/01-mvc-template/</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=GTD_tool&diff=1368GTD tool2012-04-19T09:43:21Z<p>Ivanovak: /* Материалы */</p>
<hr />
<div>==Команда==<br />
* [[Участник:ivanovak|Иванов Антон]]<br />
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]<br />
* [[Участник:Владислав_Совельев|Владислав Савельев]]<br />
<br />
==Суть проекта==<br />
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые<br />
нету времени сейчас, но в будущем оно возможно появится. Или,<br />
например, возникают обязательные или желательные для выполнения дела.<br />
Идея проекта заключается в том чтобы создать инструмент помогающий в<br />
организации такого рода задач и их систематизации. Все задачи<br />
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую<br />
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать<br />
ярлычки, которые дают информацию об их важности, об их дедайне итп).<br />
Приложение должно помочь пользователям освободить голову от задач<br />
перемещая ответственность на себя (следуя идеалам GTD). И если заданию<br />
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем<br />
остальном позаботится приложение.<br />
<br />
P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done<br />
==Инструментарий==<br />
Java/Java EE<br />
<br />
==Материалы==<br />
http://code.google.com/p/gtd-tool/</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=GTD_tool&diff=1362GTD tool2012-04-19T08:38:02Z<p>Ivanovak: </p>
<hr />
<div>==Команда==<br />
* [[Участник:ivanovak|Иванов Антон]]<br />
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]<br />
* [[Участник:Владислав_Совельев|Владислав Савельев]]<br />
<br />
==Суть проекта==<br />
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые<br />
нету времени сейчас, но в будущем оно возможно появится. Или,<br />
например, возникают обязательные или желательные для выполнения дела.<br />
Идея проекта заключается в том чтобы создать инструмент помогающий в<br />
организации такого рода задач и их систематизации. Все задачи<br />
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую<br />
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать<br />
ярлычки, которые дают информацию об их важности, об их дедайне итп).<br />
Приложение должно помочь пользователям освободить голову от задач<br />
перемещая ответственность на себя (следуя идеалам GTD). И если заданию<br />
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем<br />
остальном позаботится приложение.<br />
<br />
P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done<br />
==Инструментарий==<br />
Java/Java EE<br />
<br />
==Материалы==<br />
https://github.com/ivanovak/GTDtool</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=GTD_tool&diff=1338GTD tool2012-04-18T09:21:42Z<p>Ivanovak: /* Инструментарий */</p>
<hr />
<div>==Команда==<br />
* [[Участник:ivanovak|Иванов Антон]]<br />
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]<br />
* [[Участник:Владислав_Совельев|Владислав Совельев]]<br />
<br />
==Суть проекта==<br />
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые<br />
нету времени сейчас, но в будущем оно возможно появится. Или,<br />
например, возникают обязательные или желательные для выполнения дела.<br />
Идея проекта заключается в том чтобы создать инструмент помогающий в<br />
организации такого рода задач и их систематизации. Все задачи<br />
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую<br />
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать<br />
ярлычки, которые дают информацию об их важности, об их дедайне итп).<br />
Приложение должно помочь пользователям освободить голову от задач<br />
перемещая ответственность на себя (следуя идеалам GTD). И если заданию<br />
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем<br />
остальном позаботится приложение.<br />
<br />
P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done<br />
==Инструментарий==<br />
Java/Java EE</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=GTD_tool&diff=1337GTD tool2012-04-18T09:15:46Z<p>Ivanovak: /* Инструментарий */</p>
<hr />
<div>==Команда==<br />
* [[Участник:ivanovak|Иванов Антон]]<br />
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]<br />
* [[Участник:Владислав_Совельев|Владислав Совельев]]<br />
<br />
==Суть проекта==<br />
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые<br />
нету времени сейчас, но в будущем оно возможно появится. Или,<br />
например, возникают обязательные или желательные для выполнения дела.<br />
Идея проекта заключается в том чтобы создать инструмент помогающий в<br />
организации такого рода задач и их систематизации. Все задачи<br />
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую<br />
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать<br />
ярлычки, которые дают информацию об их важности, об их дедайне итп).<br />
Приложение должно помочь пользователям освободить голову от задач<br />
перемещая ответственность на себя (следуя идеалам GTD). И если заданию<br />
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем<br />
остальном позаботится приложение.<br />
<br />
P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done<br />
==Инструментарий==<br />
Java<br />
Java EE?</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=GTD_tool&diff=1336GTD tool2012-04-18T08:59:33Z<p>Ivanovak: Новая страница: «==Команда== * Иванов Антон * Сергей Кормишин * [[У…»</p>
<hr />
<div>==Команда==<br />
* [[Участник:ivanovak|Иванов Антон]]<br />
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]<br />
* [[Участник:Владислав_Совельев|Владислав Совельев]]<br />
<br />
==Суть проекта==<br />
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые<br />
нету времени сейчас, но в будущем оно возможно появится. Или,<br />
например, возникают обязательные или желательные для выполнения дела.<br />
Идея проекта заключается в том чтобы создать инструмент помогающий в<br />
организации такого рода задач и их систематизации. Все задачи<br />
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую<br />
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать<br />
ярлычки, которые дают информацию об их важности, об их дедайне итп).<br />
Приложение должно помочь пользователям освободить голову от задач<br />
перемещая ответственность на себя (следуя идеалам GTD). И если заданию<br />
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем<br />
остальном позаботится приложение.<br />
<br />
P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done<br />
==Инструментарий==<br />
Java</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=DevDays&diff=1335DevDays2012-04-18T08:52:08Z<p>Ivanovak: /* Описание Проектов */</p>
<hr />
<div>[https://twitter.com/#!/search/%23AUDevDays #AUDevDays]<br />
<br />
==Команды==<br />
* [[Android_Accelerometer|Акселерометр в Android]]: Мария Фофанова, Алина Певзнер <br />
* [[Cheque_recognizer|Cheque (Receipt) recognizer]]: Дмитрий Шерставин, Залим Башоров, Семен Мартынов, Сергей Казенюк<br />
* [[Android_Notification|Оповещения с Android]]: Михаил Кринкин, Алексей Коровин, Александр Опейкин, Сергей Лазарев, Ксения Крашенинникова<br />
* [[Geo_Time_Tracker|Geo Time Tracker for Android]]: Евгений Краско, Алексей Кудинкин, Анна Ждан, Сорокин Артём, Ярослав Лепенькин <br />
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]: Василий Кононенко, Дмитрий Бандурин<br />
* [[GTD_tool|GTD(time managment) tool]]: Иванов Антон, Сергей Кормишин, Владислав Совельев<br />
<br />
==Описание Проектов==<br />
* [[Android_Accelerometer|Акселерометр в Android]]<br />
* [[Cheque_recognizer|Chèque (Receipt) recognizer]]<br />
* [[Android_Notification|Оповещения с Android]]<br />
* [[Geo_Tracker|Geo Tracker]]<br />
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]<br />
* [[GTD_tool|GTD(time managment) tool]]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=DevDays&diff=1334DevDays2012-04-18T08:51:13Z<p>Ivanovak: /* Команды */</p>
<hr />
<div>[https://twitter.com/#!/search/%23AUDevDays #AUDevDays]<br />
<br />
==Команды==<br />
* [[Android_Accelerometer|Акселерометр в Android]]: Мария Фофанова, Алина Певзнер <br />
* [[Cheque_recognizer|Cheque (Receipt) recognizer]]: Дмитрий Шерставин, Залим Башоров, Семен Мартынов, Сергей Казенюк<br />
* [[Android_Notification|Оповещения с Android]]: Михаил Кринкин, Алексей Коровин, Александр Опейкин, Сергей Лазарев, Ксения Крашенинникова<br />
* [[Geo_Time_Tracker|Geo Time Tracker for Android]]: Евгений Краско, Алексей Кудинкин, Анна Ждан, Сорокин Артём, Ярослав Лепенькин <br />
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]: Василий Кононенко, Дмитрий Бандурин<br />
* [[GTD_tool|GTD(time managment) tool]]: Иванов Антон, Сергей Кормишин, Владислав Совельев<br />
<br />
==Описание Проектов==<br />
* [[Android_Accelerometer|Акселерометр в Android]]<br />
* [[Cheque_recognizer|Chèque (Receipt) recognizer]]<br />
* [[Android_Notification|Оповещения с Android]]<br />
* [[Geo_Tracker|Geo Tracker]]<br />
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=DevDays&diff=1333DevDays2012-04-18T08:48:50Z<p>Ivanovak: /* Команды */</p>
<hr />
<div>[https://twitter.com/#!/search/%23AUDevDays #AUDevDays]<br />
<br />
==Команды==<br />
* [[Android_Accelerometer|Акселерометр в Android]]: Мария Фофанова, Алина Певзнер <br />
* [[Cheque_recognizer|Cheque (Receipt) recognizer]]: Дмитрий Шерставин, Залим Башоров, Семен Мартынов, Сергей Казенюк<br />
* [[Android_Notification|Оповещения с Android]]: Михаил Кринкин, Алексей Коровин, Александр Опейкин, Сергей Лазарев, Ксения Крашенинникова<br />
* [[Geo_Time_Tracker|Geo Time Tracker for Android]]: Евгений Краско, Алексей Кудинкин, Анна Ждан, Сорокин Артём, Ярослав Лепенькин <br />
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]: Василий Кононенко, Дмитрий Бандурин<br />
* [[GTD tool|Time management tool]]: Иванов Антон, Сергей Кормишин, Владислав Совельев<br />
<br />
==Описание Проектов==<br />
* [[Android_Accelerometer|Акселерометр в Android]]<br />
* [[Cheque_recognizer|Chèque (Receipt) recognizer]]<br />
* [[Android_Notification|Оповещения с Android]]<br />
* [[Geo_Tracker|Geo Tracker]]<br />
* [[DJVU_Formatter|DJVU форматер под маленькие разрешения экрана]]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%9D%D0%98%D0%A0&diff=1228НИР2012-03-30T10:05:55Z<p>Ivanovak: /* Карта дорог */</p>
<hr />
<div>== Карта дорог ==<br />
Руководитель: Лесин<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Иванов Антон<br />
* Сорокин Артем<br />
* Кононенко Василий<br />
Отчёт:<br />
* 6.03.2012 - Первая встреча.<br />
** Задачи на неделю:<br />
** Кононенко: подготовить результаты прошлого семестра для коллективного проекта.<br />
** Сорокин, Иванов: разобраться с базовыми алгоритмами поиска кратчайших путей.<br />
* 20.03.2012 - Третья встреча.<br />
** Обсудили структуру проекта. Определили "первые шаги" реализации.<br />
** Задачи на неделю:<br />
** Кононенко: Презентация?, организация проекта, загрузка OSM формата, preprocessing reach points<br />
** Сорокин: создать wiki, github, разобраться с визуализатором и написать алг. Дейкстры, презентация? <br />
** Иванов: web интерфейс (client-side), работающий сервер обрабатывающий запросы поиска евклидова расстояния между 2мя точками<br />
** ?- допишите на какую тему презентации плиз.<br />
* 27.03.2012<br />
** Была проведена презентация Артема Сорокина по алгоритмам на графах (? уточни плз. название алгоритмов)<br />
** Задачи на неделю:<br />
** Иванов: закончить предыдущее задание. (ServerSide договорились делать на python'e, клиент уже почти написан на javascript'e с использованием openLayers api)<br />
<br />
== MyFit ==<br />
Руководитель: EMC<BR><br />
Ссылка на проект:<br />
* [http://osll.spb.ru/projects/myfit/ трекер]<br />
* [http://code.google.com/p/myfit/ репозиторий]<br />
Команда:<br />
* Опейкин Александр<br />
* Певзнер Алина<br />
* Башоров Залим<br />
<br />
<br />
==== 09.03.2012 ==== <br />
Выполнено 2 тестовых задания на Java и на GWT.<BR><br />
Получены следующие задачи:<br />
* [http://redmine.osll.spb.ru/issues/3155 Опейкин] (Готово)<br />
* [http://redmine.osll.spb.ru/issues/3156 Певзнер] (Готово)<br />
* [http://redmine.osll.spb.ru/issues/3157 Башоров] (Готово)<br />
<br />
==== 12.03.2012 ===<br />
Получены следующие задачи:<br />
* [http://redmine.osll.spb.ru/issues/3175 Башоров]<br />
* [http://redmine.osll.spb.ru/issues/3177 Опейкин]<br />
* [http://redmine.osll.spb.ru/issues/3176 Певзнер]<br />
<br />
== GPU ==<br />
Руководитель: Рубен Артурович Гиргидов<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Коровин Алексей<br />
* Лазарев Сергей<br />
* Кормишин Сергей<br />
Отчёт:<br><br />
*1я встреча нам были выданы вводные задачи: <br />
** Разобраться с CUDA, установить и настроить окружение. Написать простенький алгоритм. (Коровин А.)<br />
** Вспомнить "всё" о регулярных выражениях: какие бывают, как пишутся (Лазарев С.)<br />
** Найти обработчики регулярных выражений (Matcher'ы), разобраться в их строении и принципе работы. (Кормишин С.)<br />
*2я встреча:<br />
** Обсудили наши предыдущие задания, расписали план выполнения проекта, цели и др.<br />
** Выданы следующие задачи:<br />
**# Реализовать обработчик РВ на Cuda для одной и n строк (Коровин А.)<br />
**# Найти обработчики РВ на CPU на C++ и адаптировать его для n строк (Кормишин С.)<br />
**# Реализовать обработчик РВ нa cuBLAS (Лазарев С.)<br />
*3z встреча:<br />
** Обсудили наши успехи, искали нужное представление автомата в виде матрицы для задачи реализации РВ на cuBLAS<br />
** Решили какие паттерны РВ будут в бенчмарках<br />
** По CUDA на неделю нужно было реализовать простейшую схему распараллеливания существующих реализаций регулярных выражений(Regexp9, Cuda paper code) и посмотреть на производительность.<br />
<br />
== Syrop ==<br />
Руководитель: Смаль Александр Владимирович<BR><br />
Ссылка на проект: [https://github.com/avsmal/Syrop Syrop]<BR/><br />
Wiki проекта: [https://github.com/avsmal/Syrop/wiki Github] <BR/><br />
Команда:<br />
* Кринкин Михаил<br />
* Мартынов Семён<br />
* Крашенинникова Ксения<br />
* Великий Алексей<br />
Отчёт:<br />
* 27/feb/2011 - Первая встреча. Обсуждение цели проекта, способов реализации и внутри командного взаимодействия. Разделение задач. Создан репозиторий проекта на GitHub. Открытый вопрос - применение методологий разработки в проекте.<br />
* 01/mar/2011 - Сode review.<br />
* 05/mar/2011 - Введение договоренностей о code style, оформлении документации, спецификация на интерфейсы. Показ первого GUI, уточнение новых задач.<br />
* 12/mar/2011 - Всё хорошо.<br />
* 19/mar/2011 - Снова всё хорошо - работаем.<br />
* 19/mar/2011 -<br />
<br />
== Дублирующий код ==<br />
Руководитель: Иваницкий<BR><br />
Ссылка на проект: http://code.google.com/p/aptu-practice-code-duplication/ <BR><br />
Команда:<br />
* Бандурин Дима (Project manager)<br />
* Лепенькин Ярослав (Поиск дублирующего кода в C++)<br />
* Фофанова Маша (Поиск дублирующего кода в Java)<br />
<br />
Отчёт:<br />
<br />
===28.02.2012 - Вводная встреча===<br />
* Распределение ролей в команде<br />
:Бандурин Дима (Project manager)<br />
:Лепенькин Ярослав. Изучение специфики C++ для поиска дублирующего кода<br />
:Фофанова Маша. Изучение специфики Java для поиск дублирующего кода.<br />
* Уточнение функционала<br />
* Организационные вопросы<br />
<br />
===06.03.2012 - Контрольная встреча===<br />
* Изучение существующих решений <br />
** Michael Wise's Greedy String Tiling algorithm<br />
** Преобразование Барроуза-Уиллера<br />
** Алгоритм Рабина-Карпа<br />
** Механизм использующийся в IntelliJ IDEA<br />
[[Файл:Solutions.pdf|краткое описание]]<br />
<br />
===15.03.2012===<br />
В рамках НИР необходимо ответить на три вопроса.<br />
* Научная новизна<br />
** Список существующих решений для нашей задачи.(Ярослав)<br />
** Способы оценки существующих решений.(Маша) <br />
** Библиотеки, для проведения испытания (исследуемая выборка) (Дмитрий)<br />
* Рабочий прототип. Решено делать плагин на базе IntelliJ IDEA. Функциональность плагина будет выяснена дальше. <br />
* Этапы разработки<br />
Решено разбить разработку на три этапа.<br />
# Определение требований к разрабатываемой программе.(3 недели)<br />
# Создание прототипа (2 недели)<br />
# Разработка плагина (4 недели)<br />
## Основная функциональность (2 недели)<br />
## Тестирование и доведение (2 неделя)<br />
## Документирование и создание презентационных материалов (1 неделя параллельно со вторым пунктом.)<br />
Итого 9 недель. Предположительный срок завершения проекта : 21 мая<br />
<br />
===21.03.2012===<br />
*Возможные метрики для сравнения алгоритмов поиска дубликатов<br />
** Время работы, используемая память, CPU<br />
** Число правильно найденных дубликатов<br />
*** Необходимо учитывать длину каждого дубликата, чтобы учитывать возможную вложенность. Длина дубликата определяется числом символов в нем.<br />
** Число неправильно найденных дубликатов<br />
*Метрики для алгоритмов замены дубликатов<br />
** Объем кода, получающегося после замены найденных дубликатов на вызовы соответствующих методов<br />
** Релевантность участка кода. Код считается иррелевантным, если его замена на предлагающийся код слишком трудоемка и не имеет смысла.<br />
*Стоит также определить, на каких констукциях дубликатов алгоритмы работают лучше, а на каких хуже.<br />
<br />
== Конфигуратор контейнеров AndroidVM ==<br />
Руководитель: Кринкин К.В.<br />
<br />
Команда:<br />
* Владислав Савельев<br />
* Дмитрий Шеставин<br />
* Сергей Казенюк<br />
<br />
Отчёт:<br />
<br />
13 марта. Встреча с разработчиками проекта. Поставлены задачи.<br />
: Владислав: Послушал лекцию Кирилла Владимировича про QT. Подумал об интерфейсе конфигуратора. Написал очень черновой вариант, создающий и запускающий контейнеры. Начал смотреть видео лекций Кирилла Владимировича про QT и шаблон MVC, а также читать про QML.<br />
<br />
== Поиск дублирующих сообщений об ошибках ==<br />
<br />
Команда:<br />
* Ждан Анна<br />
* Краско Евгений<br />
* Кудинкин Алексей<br />
<br />
Отчет 03.03 - 11.03<br />
* Настроено окружение: проект в MPS, проект в IDEA<br />
* Описана модель данных на языке dnq<br />
* Написан rest api для админки и для добавления в базу новых сообщений об ошибках<br />
* Написан парсер сообщений об ошибках<br />
* Написана первая версия алгоритма сравнения сообщений об ошибках<br />
* Написаны базовые классы для запуска тестов (различные заглушки для методов сервлет-контейнера, создание контекста для бинов и тп)<br />
* Написаны тесты на парсер и алгоритм сравнения<br />
* Частично написаны тесты на rest api (jmeter)<br />
<br />
Отчет 11.03 - 18.03<br />
* Улучшена первая версия алгоритма сравнения сообщений об ошибках<br />
* Реализован альтернативный алгоритм сравнения сообщений об ошибках. <br />
* Написаны тесты на оба алгоритма<br />
* Реализован парсер сообщений об ошибках для языка C#. Парсер рассчитан на формат, принятый в Решарпере<br />
* Написаны тесты на парсер<br />
* В язык для рестовых тестов добавлена возможность проверять хереды респонса<br />
* Добавлен ui для администрирования приложение<br />
* Начата реализация JobProcessor'a, обрабатывающего сообщения об ошибках на предмет поиска дубликатов.<br />
<br />
Отчет 19.03 - 25.03<br />
* Написан классификатор, разбивающий сообщения об ошибках на кластеры.<br />
* Добавлены новые возможности web-интерфейса для администрирования приложения.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%9D%D0%98%D0%A0&diff=1198НИР2012-03-24T17:25:12Z<p>Ivanovak: /* Карта дорог */</p>
<hr />
<div>== Карта дорог ==<br />
Руководитель: Лесин<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Иванов Антон<br />
* Сорокин Артем<br />
* Кононенко Василий<br />
Отчёт:<br />
* 6.03.2012 - Первая встреча.<br />
** Задачи на неделю:<br />
** Кононенко: подготовить результаты прошлого семестра для коллективного проекта.<br />
** Сорокин, Иванов: разобраться с базовыми алгоритмами поиска кратчайших путей.<br />
* 20.03.2012 - Третья встреча.<br />
** Обсудили структуру проекта. Определили "первые шаги" реализации.<br />
** Задачи на неделю:<br />
** Кононенко: Презентация?, организация проекта, загрузка OSM формата, preprocessing reach points<br />
** Сорокин: создать wiki, github, разобраться с визуализатором и написать алг. Дейкстры, презентация? <br />
** Иванов: web интерфейс (client-side), работающий сервер обрабатывающий запросы поиска евклидова расстояния между 2мя точками<br />
** ?- допишите на какую тему презентации плиз.<br />
<br />
== MyFit ==<br />
Руководитель: EMC<BR><br />
Ссылка на проект:<br />
* [http://osll.spb.ru/projects/myfit/ трекер]<br />
* [http://code.google.com/p/myfit/ репозиторий]<br />
Команда:<br />
* Опейкин Александр<br />
* Певзнер Алина<br />
* Башоров Залим<br />
<br />
<br />
==== 09.03.2012 ==== <br />
Выполнено 2 тестовых задания на Java и на GWT.<BR><br />
Получены следующие задачи:<br />
* [http://redmine.osll.spb.ru/issues/3155 Опейкин] (Готово)<br />
* [http://redmine.osll.spb.ru/issues/3156 Певзнер] (Готово)<br />
* [http://redmine.osll.spb.ru/issues/3157 Башоров] (Готово)<br />
<br />
==== 12.03.2012 ===<br />
Получены следующие задачи:<br />
* [http://redmine.osll.spb.ru/issues/3175 Башоров]<br />
* [http://redmine.osll.spb.ru/issues/3177 Опейкин]<br />
* [http://redmine.osll.spb.ru/issues/3176 Певзнер]<br />
<br />
== GPU ==<br />
Руководитель: Рубен Артурович Гиргидов<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Коровин Алексей<br />
* Лазарев Сергей<br />
* Кормишин Сергей<br />
Отчёт:<br><br />
*1я встреча нам были выданы вводные задачи: <br />
** Разобраться с CUDA, установить и настроить окружение. Написать простенький алгоритм. (Коровин А.)<br />
** Вспомнить "всё" о регулярных выражениях: какие бывают, как пишутся (Лазарев С.)<br />
** Найти обработчики регулярных выражений (Matcher'ы), разобраться в их строении и принципе работы. (Кормишин С.)<br />
*2я встреча:<br />
** Обсудили наши предыдущие задания, расписали план выполнения проекта, цели и др.<br />
** Выданы следующие задачи:<br />
**# Реализовать обработчик РВ на Cuda для одной и n строк (Коровин А.)<br />
**# Найти обработчики РВ на CPU на C++ и адаптировать его для n строк (Кормишин С.)<br />
**# Реализовать обработчик РВ нa cuBLAS (Лазарев С.)<br />
*3z встреча:<br />
** Обсудили наши успехи, искали нужное представление автомата в виде матрицы для задачи реализации РВ на cuBLAS<br />
** Решили какие паттерны РВ будут в бенчмарках<br />
** По CUDA на неделю нужно было реализовать простейшую схему распараллеливания существующих реализаций регулярных выражений(Regexp9, Cuda paper code) и посмотреть на производительность.<br />
<br />
== Syrop ==<br />
Руководитель: Смаль Александр Владимирович<BR><br />
Ссылка на проект: [https://github.com/avsmal/Syrop Syrop]<BR/><br />
Wiki проекта: [https://github.com/avsmal/Syrop/wiki Github] <BR/><br />
Команда:<br />
* Кринкин Михаил<br />
* Мартынов Семён<br />
* Крашенинникова Ксения<br />
* Великий Алексей<br />
Отчёт:<br />
* 27/feb/2011 - Первая встреча. Обсуждение цели проекта, способов реализации и внутри командного взаимодействия. Разделение задач. Создан репозиторий проекта на GitHub. Открытый вопрос - применение методологий разработки в проекте.<br />
* 01/mar/2011 - Сode review.<br />
* 05/mar/2011 - Введение договоренностей о code style, оформлении документации, спецификация на интерфейсы. Показ первого GUI, уточнение новых задач.<br />
* 12/mar/2011 - Всё хорошо.<br />
* 19/mar/2011 - Снова всё хорошо - работаем.<br />
* 19/mar/2011 -<br />
<br />
== Дублирующий код ==<br />
Руководитель: Иваницкий<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Бандурин Дима (Project manager)<br />
* Лепенькин Ярослав (Поиск дублирующего кода в C++)<br />
* Фофанова Маша (Поиск дублирующего кода в Java)<br />
<br />
Отчёт:<br />
<br />
'''28.02.2012 - Вводная встреча'''<br />
* Распределение ролей в команде<br />
:Бандурин Дима (Project manager)<br />
:Лепенькин Ярослав. Изучение специфики C++ для поиска дублирующего кода<br />
:Фофанова Маша. Изучение специфики Java для поиск дублирующего кода.<br />
* Уточнение функционала<br />
* Организационные вопросы<br />
<br />
'''06.03.2012 - Контрольная встреча'''<br />
* Изучение существующих решений <br />
** Michael Wise's Greedy String Tiling algorithm<br />
** Преобразование Барроуза-Уиллера<br />
** Алгоритм Рабина-Карпа<br />
** Механизм использующийся в IntelliJ IDEA<br />
[[Файл:Solutions.pdf|краткое описание]]<br />
<br />
'''15.03.2012'''<br />
<br />
'''21.03.2012'''<br />
*Возможные метрики для сравнения алгоритмов поиска дубликатов<br />
** Время работы, используемая память, CPU<br />
** Число правильно найденных дубликатов<br />
*** Необходимо учитывать длину каждого дубликата, чтобы учитывать возможную вложенность. Длина дубликата определяется числом символов в нем.<br />
** Число неправильно найденных дубликатов<br />
*Метрики для алгоритмов замены дубликатов<br />
** Объем кода, получающегося после замены найденных дубликатов на вызовы соответствующих методов<br />
** Релевантность участка кода. Код считается иррелевантным, если его замена на предлагающийся код слишком трудоемка и не имеет смысла.<br />
*Стоит также определить, на каких констукциях дубликатов алгоритмы работают лучше, а на каких хуже.<br />
<br />
== Конфигуратор контейнеров AndroidVM ==<br />
Руководитель: Кринкин К.В.<br />
<br />
Команда:<br />
* Владислав Савельев<br />
* Дмитрий Шеставин<br />
* Сергей Казенюк<br />
<br />
Отчёт:<br />
<br />
13 марта. Встреча с разработчиками проекта. Поставлены задачи.<br />
: Владислав: Послушал лекцию Кирилла Владимировича про QT. Подумал об интерфейсе конфигуратора. Написал очень черновой вариант, создающий и запускающий контейнеры. Начал смотреть видео лекций Кирилла Владимировича про QT и шаблон MVC, а также читать про QML.<br />
<br />
== Поиск дублирующих сообщений об ошибках ==<br />
<br />
Команда:<br />
* Ждан Анна<br />
* Краско Евгений<br />
* Кудинкин Алексей<br />
<br />
Отчет 03.03 - 11.03<br />
* Настроено окружение: проект в MPS, проект в IDEA<br />
* Описана модель данных на языке dnq<br />
* Написан rest api для админки и для добавления в базу новых сообщений об ошибках<br />
* Написан парсер сообщений об ошибках<br />
* Написана первая версия алгоритма сравнения сообщений об ошибках<br />
* Написаны базовые классы для запуска тестов (различные заглушки для методов сервлет-контейнера, создание контекста для бинов и тп)<br />
* Написаны тесты на парсер и алгоритм сравнения<br />
* Частично написаны тесты на rest api (jmeter)<br />
<br />
Отчет 11.03 - 18.03<br />
* Улучшена первая версия алгоритма сравнения сообщений об ошибках<br />
* Реализован альтернативный алгоритм сравнения сообщений об ошибках. <br />
* Написаны тесты на оба алгоритма<br />
* Реализован парсер сообщений об ошибках для языка C#. Парсер рассчитан на формат, принятый в Решарпере<br />
* Написаны тесты на парсер<br />
* В язык для рестовых тестов добавлена возможность проверять хереды респонса<br />
* Добавлен ui для администрирования приложение<br />
* Начата реализация JobProcessor'a, обрабатывающего сообщения об ошибках на предмет поиска дубликатов.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%9D%D0%98%D0%A0&diff=1190НИР2012-03-24T15:03:17Z<p>Ivanovak: /* Карта дорог */</p>
<hr />
<div>== Карта дорог ==<br />
Руководитель: Лесин<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Иванов Антон<br />
* Сорокин Артем<br />
* Кононенко Василий<br />
Отчёт:<br />
* 6.03.2012 - Первая встреча.<br />
** Задачи на неделю:<br />
** Кононенко: подготовить результаты прошлого семестра для коллективного проекта.<br />
** Сорокин, Иванов: разобраться с базовыми алгоритмами поиска кратчайших путей.<br />
* 20.03.2012 - Третья встреча.<br />
** Обсудили структуру проекта. Определили "первые шаги" реализации.<br />
** Задачи на неделю:<br />
** Кононенко: Презентация?, организация проекта, загрузка OSM формата, preprocessing reach points<br />
** Сорокин: создать wiki, github, разобраться с визуализатором и написать алг. Дейстры, презентация? <br />
** Иванов: web интерфейс (client-side), работающий сервер обрабатывающий запросы поиска евклидова расстояния между 2мя точками<br />
** ?- допишите на какую тему презентации плиз.<br />
<br />
== MyFit ==<br />
Руководитель: EMC<BR><br />
Ссылка на проект:<br />
* [http://osll.spb.ru/projects/myfit/ трекер]<br />
* [http://code.google.com/p/myfit/ репозиторий]<br />
Команда:<br />
* Опейкин Александр<br />
* Певзнер Алина<br />
* Башоров Залим<br />
<br />
<br />
==== 09.03.2012 ==== <br />
Выполнено 2 тестовых задания на Java и на GWT.<BR><br />
Получены следующие задачи:<br />
* [http://redmine.osll.spb.ru/issues/3155 Опейкин] (Готово)<br />
* [http://redmine.osll.spb.ru/issues/3156 Певзнер] (Готово)<br />
* [http://redmine.osll.spb.ru/issues/3157 Башоров] (Готово)<br />
<br />
==== 12.03.2012 ===<br />
Получены следующие задачи:<br />
* [http://redmine.osll.spb.ru/issues/3175 Башоров]<br />
* [http://redmine.osll.spb.ru/issues/3177 Опейкин]<br />
* [http://redmine.osll.spb.ru/issues/3176 Певзнер]<br />
<br />
== GPU ==<br />
Руководитель: Рубен Артурович Гиргидов<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Коровин Алексей<br />
* Лазарев Сергей<br />
* Кормишин Сергей<br />
Отчёт:<br><br />
*1я встреча нам были выданы вводные задачи: <br />
** Разобраться с CUDA, установить и настроить окружение. Написать простенький алгоритм. (Коровин А.)<br />
** Вспомнить "всё" о регулярных выражениях: какие бывают, как пишутся (Лазарев С.)<br />
** Найти обработчики регулярных выражений (Matcher'ы), разобраться в их строении и принципе работы. (Кормишин С.)<br />
*2я встреча:<br />
** Обсудили наши предыдущие задания, расписали план выполнения проекта, цели и др.<br />
** Выданы следующие задачи:<br />
**# Реализовать обработчик РВ на Cuda для одной и n строк (Коровин А.)<br />
**# Найти обработчики РВ на CPU на C++ и адаптировать его для n строк (Кормишин С.)<br />
**# Реализовать обработчик РВ нa cuBLAS (Лазарев С.)<br />
*3z встреча:<br />
** Обсудили наши успехи, искали нужное представление автомата в виде матрицы для задачи реализации РВ на cuBLAS<br />
** Решили какие паттерны РВ будут в бенчмарках<br />
** По CUDA на неделю нужно было реализовать простейшую схему распараллеливания существующих реализаций регулярных выражений(Regexp9, Cuda paper code) и посмотреть на производительность.<br />
<br />
== Syrop ==<br />
Руководитель: Смаль Александр Владимирович<BR><br />
Ссылка на проект: [https://github.com/avsmal/Syrop Syrop]<BR/><br />
Wiki проекта: [https://github.com/avsmal/Syrop/wiki Github] <BR/><br />
Команда:<br />
* Кринкин Михаил<br />
* Мартынов Семён<br />
* Крашенинникова Ксения<br />
* Великий Алексей<br />
Отчёт:<br />
* 27/feb/2011 - Первая встреча. Обсуждение цели проекта, способов реализации и внутри командного взаимодействия. Разделение задач. Создан репозиторий проекта на GitHub. Открытый вопрос - применение методологий разработки в проекте.<br />
* 01/mar/2011 - Сode review.<br />
* 05/mar/2011 - Введение договоренностей о code style, оформлении документации, спецификация на интерфейсы. Показ первого GUI, уточнение новых задач.<br />
* 12/mar/2011 - Всё хорошо.<br />
* 19/mar/2011 - Снова всё хорошо - работаем.<br />
* 19/mar/2011 -<br />
<br />
== Дублирующий код ==<br />
Руководитель: Иваницкий<BR><br />
Ссылка на проект:<BR><br />
Команда:<br />
* Бандурин Дима (Project manager)<br />
* Лепенькин Ярослав (Поиск дублирующего кода в C++)<br />
* Фофанова Маша (Поиск дублирующего кода в Java)<br />
<br />
Отчёт:<br />
<br />
'''28.02.2012 - Вводная встреча'''<br />
* Распределение ролей в команде<br />
:Бандурин Дима (Project manager)<br />
:Лепенькин Ярослав. Изучение специфики C++ для поиска дублирующего кода<br />
:Фофанова Маша. Изучение специфики Java для поиск дублирующего кода.<br />
* Уточнение функционала<br />
* Организационные вопросы<br />
<br />
'''06.03.2012 - Контрольная встреча'''<br />
* Изучение существующих решений <br />
** Michael Wise's Greedy String Tiling algorithm<br />
** Преобразование Барроуза-Уиллера<br />
** Алгоритм Рабина-Карпа<br />
** Механизм использующийся в IntelliJ IDEA<br />
[[Файл:Solutions.pdf|краткое описание]]<br />
<br />
'''15.03.2012'''<br />
<br />
'''21.03.2012'''<br />
*Возможные метрики для сравнения алгоритмов поиска дубликатов<br />
** Время работы, используемая память, CPU<br />
** Число правильно найденных дубликатов<br />
*** Необходимо учитывать длину каждого дубликата, чтобы учитывать возможную вложенность. Длина дубликата определяется числом символов в нем.<br />
** Число неправильно найденных дубликатов<br />
*Метрики для алгоритмов замены дубликатов<br />
** Объем кода, получающегося после замены найденных дубликатов на вызовы соответствующих методов<br />
** Релевантность участка кода. Код считается иррелевантным, если его замена на предлагающийся код слишком трудоемка и не имеет смысла.<br />
*Стоит также определить, на каких констукциях дубликатов алгоритмы работают лучше, а на каких хуже.<br />
<br />
== Конфигуратор контейнеров AndroidVM ==<br />
Руководитель: Кринкин К.В.<br />
<br />
Команда:<br />
* Владислав Савельев<br />
* Дмитрий Шеставин<br />
* Сергей Казенюк<br />
<br />
Отчёт:<br />
<br />
13 марта. Встреча с разработчиками проекта. Поставлены задачи.<br />
: Владислав: Послушал лекцию Кирилла Владимировича про QT. Подумал об интерфейсе конфигуратора. Написал очень черновой вариант, создающий и запускающий контейнеры. Начал смотреть видео лекций Кирилла Владимировича про QT и шаблон MVC, а также читать про QML.<br />
<br />
== Поиск дублирующих сообщений об ошибках ==<br />
<br />
Команда:<br />
* Ждан Анна<br />
* Краско Евгений<br />
* Кудинкин Алексей<br />
<br />
Отчет 03.03 - 11.03<br />
* Настроено окружение: проект в MPS, проект в IDEA<br />
* Описана модель данных на языке dnq<br />
* Написан rest api для админки и для добавления в базу новых сообщений об ошибках<br />
* Написан парсер сообщений об ошибках<br />
* Написана первая версия алгоритма сравнения сообщений об ошибках<br />
* Написаны базовые классы для запуска тестов (различные заглушки для методов сервлет-контейнера, создание контекста для бинов и тп)<br />
* Написаны тесты на парсер и алгоритм сравнения<br />
* Частично написаны тесты на rest api (jmeter)<br />
<br />
Отчет 11.03 - 18.03<br />
* Улучшена первая версия алгоритма сравнения сообщений об ошибках<br />
* Реализован альтернативный алгоритм сравнения сообщений об ошибках. <br />
* Написаны тесты на оба алгоритма<br />
* Реализован парсер сообщений об ошибках для языка C#. Парсер рассчитан на формат, принятый в Решарпере<br />
* Написаны тесты на парсер<br />
* В язык для рестовых тестов добавлена возможность проверять хереды респонса<br />
* Добавлен ui для администрирования приложение<br />
* Начата реализация JobProcessor'a, обрабатывающего сообщения об ошибках на предмет поиска дубликатов.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=IntroductionToProgrammingLanguages&diff=980IntroductionToProgrammingLanguages2012-02-12T02:20:30Z<p>Ivanovak: /* Список групп для выполнения задач */</p>
<hr />
<div>'''Введение в языки программирования'''<br />
<br />
Лектор - Дмитрий Юрьевич [http://www.matmex.spb.ru/photoalbum/person_teachers_BulychevDY_1.html Булычев]<br />
<br />
== Лекции ==<br />
* [http://code.google.com/p/aptu-tex/source/browse/formallang/les1/les.tex Лекция №1] 10.02.2012<br />
<br />
== Домашние задания ==<br />
* [Задание №1] срок сдачи 17 февраля 2011<br />
написать генерирующее расширения для программы возведения в степень<br />
<br />
int exp (int x, int n) {<br />
int y = 1;<br />
while (n) {<br />
if (n % 2) y *= x;<br />
n /= 2;<br />
x *= x;<br />
}<br />
return y;<br />
}<br />
<br />
Это генерирующее расширение должно для своего единственного параметра n печатать остаточную программу, полученную специализацией функции exp на это значение n. Если это генерирующее расширение сохранит в себе какие-то черты exp, будет совсем хорошо.<br />
<br />
== Программа курса ==<br />
<br />
* 1. Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования.<br />
* 2. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации. <br />
* 3. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика. Компиляция и интерпретация. Проекции Футамуры-Ершова.<br />
* 4. Генеративный и аналитический подходы к описанию синтаксиса. Формальные грамматики, иерархия Хомского. <br />
* 5. Регулярные языки и конечные автоматы. Применение регулярных выражений в народном хозяйстве (grep/sed/awk) и для лексического анализа (lex/flex). Отсутствие бесконтекстной лексики в реальных языках программирования.<br />
* 7. Контекстно-свободные грамматики. Нормальные формы Хомского и Грейбах. Алгоритмы Эрли и Кока-Янгера-Касами. Неконтекстосвободность реальных языков программирования.<br />
* 6. Нисходящий анализ. Возврат и заглядывание вперед. Класс языков LL(k). Рекурсивный спуск, магазинные автоматы, парсер-комбинаторы, PEG, "скаредный" разбор. GLL. Инструменты нисходящего анализа (Parsec, ANTLR и пр.)<br />
* 7. Восходящий анализ, классы LR(k) и LALR(k). GLR. Инструменты восходящего анализа (yacc/bison).<br />
* 8. Двухуровневые и атрибутные грамматики, вопросы применения на практике.<br />
* 9. Идентификация. Область видимости и область действия. Статическое и динамическое, раннее и позднее связывание. <br />
* 10. Энергичность и ленивость. Call-by-name, call-by-value, call-by-reference.<br />
* 11. Строгость, чистота, прозрачность по ссылкам.<br />
* 12. Языки с типами и языки без типов. Статическая и динамическая типизация. <br />
* 13. Номинальная и структурная эквивалентность типов. Простейшие конструкторы.<br />
* 14. Типы с кванторами и что они означают. Универсальные и экзистенциальные типы. <br />
* 15. Subtyping. Структурный и номинальный subtyping. <br />
* 16. Динамическая семантика языков. Операционная семантика большого и малого шага.<br />
* 17. Денотационный подход к описанию семантики. <br />
* 18. Аксиоматическая семантика. Верификация программ. Design by contract.<br />
* 19. Когерентность языков программирования и машинных архитектур. Языково-специфичные архитектуры, виртуальные машины и JIT-компиляция.<br />
* 20*. Структура рабочей программы. Код, данные, библиотеки, поддержка времени исполнения.<br />
* 21*. Задача генерации кода. Генерация кода путем интерпретации.<br />
* 22*. Восходящее переписывание деревьев и динамическое программирование (BURS).<br />
* 23*. Алгоритмы распределения регистров. Распределение регистров и раскраска графов.<br />
* 24*. Параллелизм на уровне инструкций. Планирование инструкций.<br />
* 25*. Анализ потока управления. Глубинное остовное дерево, доминирование, анализ циклической структуры программ. Сводимость. Устранение недостижимого кода, оптимальная линеаризация.<br />
* 26*. Анализ потока данных. Полурешеточная модель. RD, LV, AE, UEU. Устраненние мертвого кода, экономия общих подвыражений, понижение силы операций, чистка циклов.<br />
<br />
''<nowiki>* - вопросы будут рассмотрены при наличии времени.</nowiki>''<br />
<br />
== Список литературы ==<br />
* 1. S.Muchnik. Advanced Compiler Design & Implementation. Academic Press, Morgan Kaufmann, 1998.<br />
* 2. А.Ахо, Р.Сети, С.Ульман. Компиляторы: принципы, технологии, инструменты. Вильямс, 2003.<br />
* 3. А.Ахо, С.Ульман. Теория синтаксического анализа, перевода и компиляции. Том 1. М., "Мир", 1978.<br />
* 4. F.Nielsen. Principles of Program Analysis. Springer, 2005.<br />
* 5. F.Nielse, H-R.Nielsen. Semantics with Applications. Wiley Professional Computing, 1992.<br />
* 6. B.Pierce. Types and Programming Languages. MIT Press, 2002.<br />
* 7. T.Пратт. Языки программирования: разработка и реализация. 1978.<br />
* 8. Б.К.Мартыненко. Языки и трансляции. Из-во СПбГУ, 2008.<br />
<br />
== Список групп для выполнения задач ==<br />
<br />
* 1. Мартынов Семён, Башоров Залим, Казенюк Сергей, Витвицкий Александр, Тугарёв Денис.<br />
* 2. Кринкин Михаил, Лазарев Сергей<br />
* 3. Сорокин Артём<br />
* 4. Иванов Антон<br />
* 5.<br />
* 6.<br />
<br />
''<nowiki>* Не более 5 человек в каждой группе; старайтесь выравнивать группы по уровню.</nowiki>''<br />
<br />
== Полезные ссылки ==<br />
<br />
* [http://caml.inria.fr/ocaml/release.en.html Latest OCaml release]<br />
* [http://caml.inria.fr/pub/docs/manual-ocaml/index.html Documentation and user’s manual]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%8B_%D0%B8_%D1%81%D1%82%D1%80%D1%83%D0%BA%D1%82%D1%83%D1%80%D1%8B_%D0%B4%D0%B0%D0%BD%D0%BD%D1%8B%D1%85&diff=855Алгоритмы и структуры данных2012-01-16T13:13:31Z<p>Ivanovak: </p>
<hr />
<div>http://www.lektorium.tv/course/?id=22823<br />
<br />
==Экзамен==<br />
'''17.01.2012'''<br/><br />
Начало в '''10.00''' <br/><br />
1.5 ч. на подготовку<br/><br />
15 минут на ответ.<br/><br />
Заходить получать билеты будете, действительно, с интервалом в минут 15, поэтому рекомендую заранее определиться с порядком<br><br />
<br />
Примерно в 14 прервёмся на час на обед, поэтому последний вопрос до обеда будет выдан в 12-15.<br><br />
<br />
'''Порядок получения билетов:'''<br/><br />
10.00 Фофанова М.<br/><br />
10.15 Краско Е.<br/><br />
10.30 Кудинкин А.<br/><br />
10.45 Крашенинникова К.<br/><br />
11.00 Башоров З.<br/><br />
11.15 Кринкин М.<br/><br />
11.30 Кононенко В.<br/><br />
11.45 Казенюк С.<br/><br />
12.00 Коровин А.<br/><br />
12.15 Певзнер А.А.<br/><br />
15.00 Шеставин Д.В.<br/><br />
15.15 Опейкин А.<br/><br />
15.30 Кормишин С. <br/><br />
15.45 Кузьмин А.В.<br/><br />
16.00 Мартынов С.<br/><br />
16.15 Гуменюк С.С.<br/><br />
16.30 Бандурин Д.В.<br/><br />
16.45 Лепенькин Я.А.<br/><br />
17.00 Диевский А.В.<br/><br />
17.15 Иванов А.К.<br/><br />
17.30 <br/><br />
17.45 <br/><br />
18.00 Великий А.В <br/><br />
18.15 <br/><br />
18.30 <br/><br />
18.45 <br/></div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:%D0%98%D0%B2%D0%B0%D0%BD%D0%BE%D0%B2_%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D0%B0%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87&diff=757Участник:Иванов Антон Константинович2011-12-01T19:05:47Z<p>Ivanovak: Удалено содержимое страницы</p>
<hr />
<div></div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%94%D0%BE%D0%BC%D0%B0%D1%88%D0%BD%D0%B5%D0%B5_%D0%B7%D0%B0%D0%B4%D0%B0%D0%BD%D0%B8%D0%B5_%22Unix_%D0%B8_%D0%A1%D0%BA%D1%80%D0%B8%D0%BF%D1%82%D0%BE%D0%B2%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8%22&diff=698Домашнее задание "Unix и Скриптовые языки"2011-11-23T06:24:55Z<p>Ivanovak: </p>
<hr />
<div>== Домашнее задание по модулям Python ==<br />
# NamPy, SciPy, Matplotlib:<br />
# PIL:<br />
# NetworkX:<br />
# Socket:<br />
# SMTPlib, POPlib:<br />
# wxPython:<br />
# pyQwt:<br />
# Tkinter:<br />
# thread, threading: Иванов Антон<br />
<br />
== Домашнее задание №6 (на ??.11.2011) ==<br />
<br />
# Вывести греческий алфавит<br />
# Реализовать длинную арифметику <b>(ЧЕСТНО!)</b><br />
# Используя модуль ElementTree, вывести в древовидном виде RSS ленту<br />
# Подсчитать на странице с результатами поиска Google статистику по доменам первого уровня<br />
<br />
Необходимо выполнить (хотя бы) любые 3 задания!<br />
<br />
== Домашнее задание №5 (на 27.10.2011) ==<br />
<br />
# http://www.pythonchallenge.com/<br />
# Посчитать количество существительных в романе «Война и мир». Смотреть на Pymorphy<br />
# Найдите все составные числа меньшие N, которые представимы в виде произведения двух простых чисел.<br />
# Написать функцию, вычисляющую произведение двух матриц (матрица – список списков). Также написать функцию для вывода такой матрицы в красивом виде.<br />
# Посчитать все корни N-ой степени из -1<br />
<br />
Задания 3, 4, 5 - обязательны для выполнения!<br />
<br />
== Домашнее задание №4 (на 06.10.2011) ==<br />
<br />
# Изменить файлы таким образом, чтобы в промпте пользователя отображалась текущая дата и время<br />
# Исправить пример, таким образом, чтобы при конвертировании изменялось только расширение файла<br />
#: OPERATION=docToPdf<br />
#: SUFFIX=pdf<br />
#: directory=$PWD<br />
#: for file in $directory/*<br />
#: do<br />
#: filename=$file<br />
#: $OPERATION $file > "$filename.$SUFFIX"<br />
#: rm -f $file<br />
#: done<br />
# Написать Bash-скрипт, который дописывает к имени каждого файла в директории букву "z", оставляя при этом расширение без изменений.<br />
# Измените нужные файлы таким образом, чтобы при входе в систему каждый пользователь получал в терминале приветствие вроде "Hi, USER!" (с конкретным именем пользователя). Если это root, напишите ему что-то особенное. Если пользователь в качестве оболочки использует не bash, то напишите ему что-нибудь страшное.<br />
# Напишите Bash-скрипт, который печатает список всех пользователей в системе. При запуске с ключом -b должны печататься только пользователи, использующие оболочку Bash.<br />
#: Указание. Посмотрите в файл /etc/passwd<br />
# Напишите Bash-скрипт, который выдает n штук случайных паролей, каждый длиной m. Числа m и n должны задаваться в параметрах. Если параметры не заданы, то должно выводиться сообщение об ошибке. Пароли могут содержать буквы латиницы в верхнем и нижнем регистре, а также цифры.<br />
#: Указание. Случайную информацию можно брать из /dev/random и /dev/urandom (чем они отличаются?). Могут как-то помочь утилиты tr и fold.<br />
# Напишите Bash-скрипт, который получает из Интернета страничку нашего курса с Вики и выводит список дат, в которые были лекции.<br />
#: Указание. Может помочь утилита wget.</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:%D0%98%D0%B2%D0%B0%D0%BD%D0%BE%D0%B2_%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D0%B0%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87&diff=546Участник:Иванов Антон Константинович2011-10-05T17:06:39Z<p>Ivanovak: </p>
<hr />
<div>ivanovak742@gmail.com</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:%D0%98%D0%B2%D0%B0%D0%BD%D0%BE%D0%B2_%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D0%B0%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87&diff=545Участник:Иванов Антон Константинович2011-10-05T17:05:42Z<p>Ivanovak: </p>
<hr />
<div><nowiki><a href="mailto:ivanovak742@gmail.com" class="external text" title="mailto:ivanovak742@gmail.com" rel="nofollow">ivanovak742@gmail.com</a></nowiki></div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:%D0%98%D0%B2%D0%B0%D0%BD%D0%BE%D0%B2_%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D0%B0%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87&diff=544Участник:Иванов Антон Константинович2011-10-05T17:05:17Z<p>Ivanovak: </p>
<hr />
<div>[[<a href="mailto:ivanovak742@gmail.com" class="external text" title="mailto:ivanovak742@gmail.com" rel="nofollow">ivanovak742@gmail.com</a>]]</div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:%D0%98%D0%B2%D0%B0%D0%BD%D0%BE%D0%B2_%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D0%B0%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87&diff=543Участник:Иванов Антон Константинович2011-10-05T17:04:52Z<p>Ivanovak: </p>
<hr />
<div><a href="mailto:ivanovak742@gmail.com" class="external text" title="mailto:ivanovak742@gmail.com" rel="nofollow">ivanovak742@gmail.com</a></div>Ivanovakhttp://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:%D0%98%D0%B2%D0%B0%D0%BD%D0%BE%D0%B2_%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D0%B0%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87&diff=542Участник:Иванов Антон Константинович2011-10-05T17:02:57Z<p>Ivanovak: Новая страница: «ivanovak742@gmail.com»</p>
<hr />
<div>ivanovak742@gmail.com</div>Ivanovak