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

НИР

2012-03-05T17:04:28Z

Alexey velikiy: /* Syrop */

== Карта дорог ==
Руководитель: Лесин 
Ссылка на проект: 
Команда:
* Иванов Антон
* Сорокин Артем
* Кононенко Василий
Отчёт:
*

== MyFit ==
Руководитель: EMC 
Ссылка на проект: 
Команда:
* Опейкин Александр
* Певзнер Алина
* Башоров Залим
Отчёт:
*

== GPU ==
Руководитель: Рубен Артурович Гиргидов 
Ссылка на проект: 
Команда:
* Коровин Алексей
* Лазарев Сергей
* Кормишин Сергей
Отчёт: 
*1я встреча нам были выданы вводные задачи:
** Разобраться с CUDA, установить и настроить окружение. Написать простенький алгоритм.
** Вспомнить "всё" о регулярных выражениях: какие бывают, как пишутся
** Найти обработчики регулярных выражений (Matcher'ы), разобраться в их строении и принципе работы.
*2я встреча:
** Обсудили наши предыдущие задания, расписали план выполнения проект, цели и др.
** Выданы следующие задачи:
**# Реализовать обработчик РВ на Cuda для одной и n строк
**# Найти обработчики РВ на CPU на C++ и адаптировать его для n строк
**# Реализовать обработчик РВ нa cuBLAS

== Syrop ==
Руководитель: Смаль Александр Владимирович 
Ссылка на проект: [https://github.com/avsmal/Syrop Syrop] 
Wiki проекта: [https://github.com/avsmal/Syrop/wiki Github] 
Команда:
* Кринкин Михаил
* Мартынов Семён
* Крашенинникова Ксения
* Великий Алексей
Отчёт:
* 27/feb/2011 - Первая встреча. Обсуждение цели проекта, способов реализации и внутри командного взаимодействия. Разделение задач. Создан репозиторий проекта на GitHub. Открытый вопрос - применение методологий разработки в проекте.
* 01/mar/2011 - Сode review.
* 05/mar/2011 - Введение договоренностей о code style, оформлении документации, спецификация на интерфейсы. Показ первого GUI, уточнение новых задач.
* 12/mar/2011 -

== Дублирующий код ==
Руководитель: Иваницкий 
Ссылка на проект: 
Команда:
* Фофанова Маша
* Бандурин Дима
* Лепенькин Ярослав
Отчёт:
*

== Конфигуратор контейнеров AndroidVM ==
Руководитель: Кринкин К.В.

Команда:
* Савельев Владислав
* Шеставин Дмитрий
* Казенюк Сергей

Отчёт:
* Всё начнётся 5 марта.

НИР

2012-03-01T20:36:43Z

Alexey velikiy: /* Syrop */

НИР

2012-03-01T20:36:19Z

Alexey velikiy: /* Syrop */

IntroductionToProgrammingLanguages

2012-02-22T14:38:12Z

Alexey velikiy: /* Список групп для выполнения задач */

'''Введение в языки программирования'''

Лектор - Дмитрий Юрьевич [http://www.matmex.spb.ru/photoalbum/person_teachers_BulychevDY_1.html Булычев]

== Лекции ==

[https://docs.google.com/spreadsheet/ccc?key=0ApYxPEC9C_QXdC00UkVJekxYV0pYYVAxTmFXUkt6SVE Учёт посещаемости занятий]
* [http://code.google.com/p/aptu-tex/source/browse/formallang/les1/les.tex Лекция №1] 10.02.2012

== Домашние задания ==
[https://docs.google.com/spreadsheet/ccc?key=0ApYxPEC9C_QXdE05Q09iWlRqRzJ3d1FwTlJRSEkxbFE Учёт сдачи домашних заданий]
* [Задание №1] срок сдачи 17 февраля 2011
написать генерирующее расширения для программы возведения в степень

int exp (int x, int n) {
int y = 1;
while (n) {
if (n % 2) y *= x;
n /= 2;
x *= x;
}
return y;
}

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

* [Задание №2] срок сдачи 24 февраля 2011

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

== Программа курса ==

* 1. Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования.
* 2. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации.
* 3. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика. Компиляция и интерпретация. Проекции Футамуры-Ершова.
* 4. Генеративный и аналитический подходы к описанию синтаксиса. Формальные грамматики, иерархия Хомского.
* 5. Регулярные языки и конечные автоматы. Применение регулярных выражений в народном хозяйстве (grep/sed/awk) и для лексического анализа (lex/flex). Отсутствие бесконтекстной лексики в реальных языках программирования.
* 7. Контекстно-свободные грамматики. Нормальные формы Хомского и Грейбах. Алгоритмы Эрли и Кока-Янгера-Касами. Неконтекстосвободность реальных языков программирования.
* 6. Нисходящий анализ. Возврат и заглядывание вперед. Класс языков LL(k). Рекурсивный спуск, магазинные автоматы, парсер-комбинаторы, PEG, "скаредный" разбор. GLL. Инструменты нисходящего анализа (Parsec, ANTLR и пр.)
* 7. Восходящий анализ, классы LR(k) и LALR(k). GLR. Инструменты восходящего анализа (yacc/bison).
* 8. Двухуровневые и атрибутные грамматики, вопросы применения на практике.
* 9. Идентификация. Область видимости и область действия. Статическое и динамическое, раннее и позднее связывание.
* 10. Энергичность и ленивость. Call-by-name, call-by-value, call-by-reference.
* 11. Строгость, чистота, прозрачность по ссылкам.
* 12. Языки с типами и языки без типов. Статическая и динамическая типизация.
* 13. Номинальная и структурная эквивалентность типов. Простейшие конструкторы.
* 14. Типы с кванторами и что они означают. Универсальные и экзистенциальные типы.
* 15. Subtyping. Структурный и номинальный subtyping.
* 16. Динамическая семантика языков. Операционная семантика большого и малого шага.
* 17. Денотационный подход к описанию семантики.
* 18. Аксиоматическая семантика. Верификация программ. Design by contract.
* 19. Когерентность языков программирования и машинных архитектур. Языково-специфичные архитектуры, виртуальные машины и JIT-компиляция.
* 20*. Структура рабочей программы. Код, данные, библиотеки, поддержка времени исполнения.
* 21*. Задача генерации кода. Генерация кода путем интерпретации.
* 22*. Восходящее переписывание деревьев и динамическое программирование (BURS).
* 23*. Алгоритмы распределения регистров. Распределение регистров и раскраска графов.
* 24*. Параллелизм на уровне инструкций. Планирование инструкций.
* 25*. Анализ потока управления. Глубинное остовное дерево, доминирование, анализ циклической структуры программ. Сводимость. Устранение недостижимого кода, оптимальная линеаризация.
* 26*. Анализ потока данных. Полурешеточная модель. RD, LV, AE, UEU. Устраненние мертвого кода, экономия общих подвыражений, понижение силы операций, чистка циклов.

''<nowiki>* - вопросы будут рассмотрены при наличии времени.</nowiki>''

== Список литературы ==
* 1. S.Muchnik. Advanced Compiler Design & Implementation. Academic Press, Morgan Kaufmann, 1998.
* 2. А.Ахо, Р.Сети, С.Ульман. Компиляторы: принципы, технологии, инструменты. Вильямс, 2003.
* 3. А.Ахо, С.Ульман. Теория синтаксического анализа, перевода и компиляции. Том 1. М., "Мир", 1978.
* 4. F.Nielsen. Principles of Program Analysis. Springer, 2005.
* 5. F.Nielse, H-R.Nielsen. Semantics with Applications. Wiley Professional Computing, 1992.
* 6. B.Pierce. Types and Programming Languages. MIT Press, 2002.
* 7. T.Пратт. Языки программирования: разработка и реализация. 1978.
* 8. Б.К.Мартыненко. Языки и трансляции. Из-во СПбГУ, 2008.

== Список групп для выполнения задач ==

* 1. [Haskell] Мартынов Семён, Башоров Залим, Казенюк Сергей, Витвицкий Александр, Тугарёв Денис.
* 2. Кринкин Михаил, Лазарев Сергей, Фофанова Мария, Бандурин Дмитрий, Ждан Анна
* 3. [JAVA] Сорокин Артём, Коровин Алексей, Опейкин Александр, Шеставин Дмитрий, Владислав Савельев
* 4. [C++] Иванов Антон, Крашенинникова Ксения, Лепенькин Ярослав, Диевский Алексей, Кормишин Сергей
* 5. Певзнер Алина, Князев Сергей
* 6. [JAVA] Великий Алексей.

''<nowiki>* Не более 5 человек в каждой группе; старайтесь выравнивать группы по уровню.</nowiki>''

== Полезные ссылки ==

* [http://caml.inria.fr/ocaml/release.en.html Latest OCaml release]
* [http://caml.inria.fr/pub/docs/manual-ocaml/index.html Documentation and user’s manual]

SE

2012-02-17T22:06:13Z

Alexey velikiy: /* Программа курса */

== Лекции ==
[http://kspt.ftk.spbstu.ru/course/se Аналогичный курс]

== Практические задания ==

== Программа курса ==
[http://kspt.ftk.spbstu.ru/media/files/2011/course/se/Exam2011.pdf Примерный список]

== Список литературы ==

== Ссылки ==

SE

2012-02-17T22:03:30Z

Alexey velikiy: /* Лекции */

== Лекции ==
[http://kspt.ftk.spbstu.ru/course/se Аналогичный курс]

== Практические задания ==

== Программа курса ==

== Список литературы ==

== Ссылки ==

Алгоритмы и структуры данных

2012-01-16T13:50:53Z

Alexey velikiy: /* Экзамен */

http://www.lektorium.tv/course/?id=22823

==Экзамен==
'''17.01.2012''' 
Начало в '''10.00''' 
1.5 ч. на подготовку 
15 минут на ответ. 
Заходить получать билеты будете, действительно, с интервалом в минут 15, поэтому рекомендую заранее определиться с порядком 

Примерно в 14 прервёмся на час на обед, поэтому последний вопрос до обеда будет выдан в 12-15. 

'''Порядок получения билетов:''' 
10.00 Фофанова М. 
10.15 Краско Е. 
10.30 Кудинкин А. 
10.45 Крашенинникова К. 
11.00 Башоров З. 
11.15 Кринкин М. 
11.30 Кононенко В. 
11.45 Казенюк С. 
12.00 Коровин А. 
12.15 Певзнер А.А. 
15.00 Шеставин Д.В. 
15.15 Опейкин А. 
15.30 Кормишин С. 
15.45 Кузьмин А.В. 
16.00 Мартынов С. 
16.15 Гуменюк С.С. 
16.30 Бандурин Д.В. 
16.45 Лепенькин Я.А. 
17.00 Диевский А.В. 
17.15 Иванов А.К. 
17.30 Великий А.В 
17.45 
18.00 
18.15 
18.30 
18.45

Алгоритмы и структуры данных

2012-01-15T21:43:23Z

Alexey velikiy: /* Экзамен */

http://www.lektorium.tv/course/?id=22823

==Экзамен==
'''17.01.2012''' 
Начало в '''10.00''' 
1.5 ч. на подготовку 
15 минут на ответ. 
Заходить получать билеты будете, действительно, с интервалом в минут 15, поэтому рекомендую заранее определиться с порядком 

Примерно в 14 прервёмся на час на обед, поэтому последний вопрос до обеда будет выдан в 12-15. 

'''Порядок получения билетов:''' 
10.00 Фофанова М. 
10.15 
10.30 Кудинкин А. 
10.45 Крашенинникова К. 
11.00 Башоров З. 
11.15 Кринкин М. 
11.30 Кононенко В. 
11.45 Казенюк С. 
12.00 Коровин А. 
12.15 Певзнер А.А. 
15.00 Шеставин Д.В. 
15.15 Опейкин А. 
15.30 
15.45 Кузьмин А.В. 
16.00 Мартынов С. 
16.15 Гуменюк С.С. 
16.30 Бандурин Д.В. 
16.45 
17.00 
17.15 
17.30 
17.45 
18.00 Великий А.В 
18.15 
18.30 
18.45