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

Парадигмы 2014

2014-11-14T07:45:46Z

Igorjirkov: /* Сдача работ */

= MIT Полезности =

* [http://mit.spbau.ru/sewiki/index.php/Файл:Far_Colorer_Haskell.zip Far Colorer — Haskell]
* [https://www.dropbox.com/s/xyvsmk0zn5w2ro2/haskell_examples.zip?dl=0 Haskell Examples]

== Разбиение на группы ==

Группа #1
1 Беляев Станислав Валерьевич
2 Галеев Денис Рифович
3 Кравченко Дмитрий Сергеевич
4 Кравченко Юрий Николаевич
5 Лабутин Игорь Николаевич
6 Лапшин Дмитрий Владимирович
7 Лиференко Даниил
8 Маркелов Александр Сергеевич
9 Никонов Михаил Иванович
10 Подгузов Никита Владимирович
11 Ребрик Юрий Андреевич
12 Смирнов Петр Юрьевич
13 Степанов Владимир Игоревич
14 Степанов Всеволод Андреевич
15 Суворов Егор Фёдорович
16 Черникова Ольга Александровна

Группа #2
17 Бойкий Дмитрий Игоревич
18 Бочкарев Глеб Александрович
19 Бугакова Надежда Александровна
20 Валин Глеб Александрович
21 Гайдашенко Анастасия Валериевна
22 Пластинин Виталий Вячеславович
23 Розплохас Дмитрий Александрович
24 Старкова Анастасия Алексеевна
25 Третьякова Елизавета Алексеевна

[https://github.com/HFxTA/Programming-Paradigms Примеры] (Группа 2).

== Формат сдачи работ ==

Для сдачи работ используйте адрес [mailto:paradigms-2014@osll.ru paradigms-2014@osll.ru]. В качестве темы письма указывайте строку

MIT SE <номер подгруппы 1 или 2> <Фамилия Имя>

== Задания ==

# [https://www.dropbox.com/sh/l7zh2fquflldw9y/AAArxvYNcScTLqPJ5IL355EZa?dl=0 Задание 1] (каждая задача оценивается в 1 балл)
# [https://docs.google.com/document/d/1fjUSJ-H5oPnoUFzy3mWtyLWkcFBcOdofN7ZFyuCmNcQ/edit?usp=sharing Задание 2]
# [https://docs.google.com/document/d/1_OTyKQjtrjYJR79pAKz5TFuhz-a9950Kv4MTF7vK-Cw/edit?usp=sharing Задание 3] и [https://github.com/HFxTA/Programming-Paradigms/blob/master/binary_1/Fun%20With%20Floats.pdf?raw=true шпаргалка про представление вещественных чисел]
# [https://docs.google.com/document/d/1q6e6CJSHZET-sQGExtPFuKSWkrGIAuJcI-gWJeCaTb0/edit?usp=sharing Задание 4]
# [https://docs.google.com/document/d/1VvrQTZ_xEvwAOHSsPWf40Ra3iQTQAGMMNyu5mWeQhhc/edit?usp=sharing Задание 5] [https://docs.google.com/document/d/1VDAlruzSJygHbxlfjFzEB3SaUodHDxBEqebLk4FAGYo/edit?usp=sharing примеры программ на ЯТЬ]
# [https://docs.google.com/document/d/1w-g04FpgAR_fTtrtPInWGX9JD2VaXi7i54mMYDMi1lc/edit?usp=sharing Задание 6]
# [https://docs.google.com/document/d/19Sh53nrGIdGlIUXd7z45Vs88k8KzkCw1NAnddhnVLh0/edit?usp=sharing Задание 7]

== Результаты проверки ==

https://docs.google.com/spreadsheets/d/1SKMMDfHtsxXS_Rf8k_UCg1TFZDgqOy5K42n037ZUcso/edit?usp=sharing

= Physics =
== Преподаватели ==
* Карташов Дмитрий Артурович (группа 1)
* Баталов Евгений Александрович (email: eabatalov89@gmail.com) (группа 2)

== Разбиение на группы ==

Группа #1
1 Агафонов Игорь Юрьевич
2 Беляков Михаил Андреевич
3 Буренев Иван Николаевич
4 Ильчук Иван Андреевич
5 Кукуй Петр Алексеевич
6 Новиков Александр Сергеевич
7 Перков Сергей Антонович
8 Полушкин Артем Сергеевич
9 Сычев Станислав Кириллович
10 Тапинов Олег
11 Тихоновская Татьяна Ильинична
12 Черный Юрий Анатольевич

Группа #2
13 Белоусов Никита Максимович
14 Беляев Владислав Валерьевич
15 Бойков Иван Константинович
16 Гончаров Артем Сергеевич
17 Жильцов Никита Сергеевич
18 Затенко Марина Ильинична
19 Кайданов Никита Евгеньевич
20 Минин Михаил Дмитриевич
21 Муретова Мария Евгеньевна
22 Николаева Анна Андреевна
23 Русанов Вячеслав Сергеевич
24 Соколова Ника Сергеевна

== Формат сдачи работ ==

Для сдачи работ используйте адрес paradigms-2014@osll.ru. В качестве темы письма указывайте строку

PHYS <номер подгруппы 1 или 2> <Фамилия Имя>

Для каждого файла с заданием создайте отдельный текстовый файл с расширением .py с кодом решения задач из файла.

И вышлите их во вложении к письму.

Также можно создать архив zip|rar|tar|tar.gz и выслать его. Тогда в названии архива укажите свою фамилию, имя и дату дедлайна.

== Задания ==

# Нужно сделать только задачи list_task.py и string_task.py: [https://www.dropbox.com/sh/l7zh2fquflldw9y/AAArxvYNcScTLqPJ5IL355EZa?dl=0 задание] Дедлайн: 15.09 23:55 Вам может помочь изучение туториала [https://docs.python.org/3/tutorial/index.html ссылка]. На русском качественного туториала, к сожалению, не нашел.
# Напишите программу reverse_file.py, которая переворачивает строчки входного текстового файла, пишет их в консоль и в выходной текстовый файл. Пути к входному (аргумент --if) и выходному (аргумент --of) файлам передаются в виде аргументов командной строки при запуске программы. Аргументы могут быть переданы в любом порядке.
## Пример запуска: python reverse_file.py --if c:\in.txt --of c:\out.txt и с переставленными аргументами: python reverse_file.py --of c:\out.txt --if c:\in.txt
## Символ конца строки не должен появляться в начале перевернутой строки, уберите его из перевернутой строки
## Последняя строчка входного файла не обязательно заканчивается символом перевода строки. В ее конце может стоять любой символ.
## Открывайте каждый файл (open(path, mode)) с минимально необходимым mode - не открывайте файл на чтение и запись, если достаточно только для чтения.
## После завершения работы с файлом он должен быть закрыт (функция close() у переменной файла)
## Всем переменным в программе должны быть даны имена, описывающие как они используются (пример: вместо переменной f для входного файла, используйте input_file)
## Названия всех функции должны показывать что делает функция. (пример: вместо названия функции, переворачивающей строку, fun1 используем название reverse_str)
## Старайтесь разные части функциональности программы выносить в отдельные функции, а не писать код, который выполняет сразу всю работу. Пример: отдельная функция для переворачивания строки, принимающия на вход строку, которую нужно перевернуть, и возвращающая перевернутую строку.
## При наличии синтаксических ошибок в программе преподаватель может засчитать задачу не выполненной.
## Все данные, необходимые для работы функции, должны передаваться ей в виде параметров. Если все-так используете глобальные переменные, то необходимость использования глобальных переменных нужно доказать при помощи комментария (#) возле определения глобальной переменной.
## Можно вместе с решением прислать один из файлов, на котором вы тестировали. Это поможет помочь проще решить спорные ситуации, если они возникнут.
## Можно пользоваться материалами презентации: [https://docs.google.com/presentation/d/1SbXFEA-199-HD0FujYbEUNBWyGG795bbU0NM6MgkJGE/edit?usp=sharing ссылка]
## Дедлайн 22.09 23:55
# Задача wordcount.py из [https://www.dropbox.com/sh/l7zh2fquflldw9y/AAArxvYNcScTLqPJ5IL355EZa?dl=0 ссылка]. Дедлайн: 29.09 23:55 (+2 балла тем кто решит до 22.09) [https://docs.google.com/presentation/d/1oOecr3HX2werYu6RoaALFKA3PoSjg5Q3XS_-OaPmAR0/edit?usp=sharing Презентация с практики с необходимым материалом].
# Задание: [https://docs.google.com/document/d/124xSnnWT4GpLytQiZ471Q2D2RnAC2lCbAJpIWWFcO3U/edit?usp=sharing ссылка]. Скачайте файл с заданием (doc/odt/rtf), запишите в нем ответы и пришлите на почту. Дедлайн: 07.10 23:55. Материалы: [https://docs.google.com/presentation/d/1MqQwLoIXdQGEmvKHUd1_4SCsS9A0euPyjPzplIsNlSU/edit?usp=sharing ссылка].
# На 13.10 ДЗ не будет. Можно сдать долги и задать вопросы по старым темам. Презентация по представлению чисел в компьютере и модулям в Python: [https://docs.google.com/presentation/d/1A9cBSpddjAaiGebD35unlKMxDemr6rzgj7HxVDi6Ztg/edit?usp=sharing ссылка]
# [https://docs.google.com/document/d/1IB_KxOkX8y2JXaAcECwDm0u1mbfCkWQVll-Mv84nS48/edit?usp=sharing Задание], [https://docs.google.com/presentation/d/1G0UP_aK4FN2zDfSf7tvynSkh0DIvLgL7Jf3XvqTPSP4/edit?usp=sharing презентация]. Дедлайн: 20.10 23:55. На следующем занятии будет '''контрольная работа''' по пройденному материалу (модули, файлы, словари, списки, строки и т. п.)
# Контрольная работа. [https://docs.google.com/document/d/1pcy6cnITQtpX-75RVt2i7ck1HnDp95S5dND_mNYxk48/edit?usp=sharing Задание]
# Решения задач с контрольной работы и с практики: [https://drive.google.com/folderview?id=0B-KXDlig5kwVVGtFOEV6WWNTYzQ&usp=sharing Ссылка]. Задание с практики: [https://docs.google.com/document/d/1tC7t_7nIyFCEdwrkGmZ8-oEoVFVZJusrpy8edgAnZ5k/edit?usp=sharing Ссылка]
# [https://docs.google.com/document/d/1a5HMJSgklATw8n7jWm9vDQnMvt7jtLvQJ-__1A8ZlcI/edit?usp=sharing Задание]. Дедлайн: 03.11 23:55
# Классная работа + ДЗ [https://docs.google.com/document/d/1VIILGvhU7HHBRaSoKiV6yJEwecXZBY8m0i1qOckddfE/edit?usp=sharing Ссылка]. Дедлайн: 10.11 23:55 К дедлайну нужно прислать обе части задания (1 и 2).
# Классная работа + ДЗ [https://docs.google.com/document/d/1FZnyUJ845RCVHmShSo8zJKQe94-mzmOMefGBAQTDYNA/edit?usp=sharing Ссылка]. Дедлайн: 17.11 23:55 К дедлайну нужно прислать обе части задания (1 и 2).

= Общие ресурсы =

== Планы лекций ==

* [http://mit.spbau.ru/sewiki/images/1/1d/Pp-lecture-01.pdf 1. Введение. Понятие вычислений. Декларативные и императивные знания. Язык программирования.]
* [http://mit.spbau.ru/sewiki/images/8/89/Pp-lecture-02-03.pdf 2-3. Исполение программ. Система типов ]
* [http://mit.spbau.ru/sewiki/images/8/89/Pp-lecture-04-05.pdf 4-5. Вычислительный контекст, состояния ]

== Образ виртуальной машины ==
В ней установлены Ubuntu Linux 14.04 32bit, Python2 и 3. Образ для Virtual Box. Лучше использовать одну и ту же виртуальную машину или дистрибутив Linux.
Позже нам это может очень помочь.

https://drive.google.com/folderview?id=0B-KXDlig5kwVM0NDWWMwOVhZcGM&usp=sharing

Virtual Box для Windows можно взять здесь:

http://download.virtualbox.org/virtualbox/4.3.16/VirtualBox-4.3.16-95972-Win.exe

== Сдача работ ==

# Количество попыток сдачи работ в течение семестра неограниченно
# При успешной сдаче в рамках дедлайна - полный балл (1 бал за 1 задачу)
# При сдаче в последующие 2 недели - половина балла за каждую задачу

== Рекомендации и типичные ошибки ==
* Если в работе присутствует хотябы одна ошибка из [[Типичные_ошибки_и_рекомендации_к_программам_на_Python_в_курсе_"парадигмы_программирования"]], то преподаватель имеет право считать работу не сделанной в текущей попытке

IgnoreMe

2014-11-05T09:24:25Z

Igorjirkov:

== Описание ==

Понимаем, на каком языке программирования написан данный файл с кодом; генерируем .gitignore.

== Состав ==

* Никита Карташов
* Марат Тураев
* Марат Хабибуллин
* Константин Новокрещенов
* Игорь Жирков

IgnoreMe

2014-11-05T09:23:36Z

Igorjirkov: Новая страница: «'''IgnoreMe''' Понимаем, на каком языке программирования написан данный файл с кодом; генерируе…»

'''IgnoreMe'''

Понимаем, на каком языке программирования написан данный файл с кодом; генерируем .gitignore.

'''Состав'''
* Никита Карташов
* Марат Тураев
* Марат Хабибуллин
* Константин Новокрещенов
* Игорь Жирков

Странички проектов

2014-11-05T09:21:15Z

Igorjirkov:

* [[Омское метро]]
* [[IgnoreMe]]
* [[Ns3]]
* [[Stash'n'Read]]
* [[IgnoreMe]]

StatisticalLearning 2014

2014-11-03T12:08:29Z

Igorjirkov: /* Группы по проектам */

= Программа =

== Прочитанные лекции ==
# Введение. Что такое statistical learning. Примеры. ''(05.09)'' [[Файл:SL-01-SLIntro.pdf]]
# И снова линейная регрессия. Оценивание. Проверка гипотез относительно коэффициентов. Доверительные интервалы для коэффициентов. ''(19.09)'' [[Файл:SL-02-Regression.pdf]]
# Категориальные переменные в регрессии. Выбор информативных признаков (немного). ''(26.09)'' [[Файл:SL-03-Regression.pdf]] [[Файл:SL-Advertising.zip]]
# Классификация. Линейные методы. Логистическая регрессия. ''(03.10)'' [[Файл:SL-04-Classification.pdf]]
# Классификация. Дискриминантный анализ. Понятие ROC-кривой, AUC. Naive Bayes. ''(10.10)'' [[Файл:SL-04-Classification.pdf]]
# Resampling: Кросс-валидация. Бутстреп. ''(17.10)'' [[Файл:SL-05-CVBoot.pdf]]
# Feature extraction: Principal Component Analysis. ''(24.10)'' [[Файл:SL-06-PCA.pdf]]
# Кластеризация (k-means, иерархическая, model based clustering) ''(31.11)'' [[Файл:SL-07-Clustering.pdf]]

== Возможные темы будущих лекций ==

# Регрессия. Выбросы, гетероскедастичность, high leverage points.
# Снова о подборе линейной модели. Регуляризация (ridge regression, LASSO, elastic net). Робастная регрессия.
# Нелинейности. Полиномиальная регрессия. Сплайны. Локальная регрессия. GAM.
# Деревья. Bagging. Boosting.
# Support vector machines

= Материалы с практик =
Конспект [[Файл:Rcourse.pdf]] (черновик). Будет обновляться. Внутри все листинги и результат выполнения + какие-то комментарии.

Результаты проверки заочных домашних заданий: [https://www.dropbox.com/s/xt4s5qa5xrnpp92/%D0%98%D1%82%D0%BE%D0%B3%D0%B8.ods?dl=0 Dropbox]

# Сырая версия history от 5 и 19 сентября (выложил в виде отформатированного конспекта) [[Файл:hist5sep.R.gz]] [[Файл:hist19sep.R.gz]]. Домашнее задание [[Файл:task_19sep.pdf]]
# Листинг для несостоявшегося занятия 26 сентября (будем с ним работать + еще немного) [[Файл:hist26sep.R.gz]]
# Задание с 3 октября [[Файл:Task2.pdf]], данные для задания [[Файл:data3oct.tar.gz]]
# Задание с 10 октября [[Файл:Task3.pdf]], данные для задания [[Файл:data10oct.tar.gz]]
# Задание с 17 октября (обновил файл, добавил комментарий) [[Файл:Task4.pdf]], данные из демонстрации [[Файл:data17oct.tar.gz]]
# Задание с 24 октября [[Файл:Task5.pdf]]

= Дедлайны =
* 10 октября - деление на группы по проектам
* 24 октября - финализация темы проекта
* TBA - презентации проектов

= Группы по проектам =
* Герман Демидов
* Бондарев Тимофей, Демидов Герман, Сидоров Святослав, Яснев Олег *
* Екатерина Старостина, Дмитрий Мелешко, Маргарита Аксешина, Елена Бушманова.
* Павел Авдеев, Татьяна Малыгина, Анна Лиознова, Надия Ситдыкова *
* Комаров Александр, Крыщенко Антон, Тураев Тимур, Устюжанина Екатерина *
* Андроник Ордиян, Аркадий Калакуцкий, Богдан Бугаев, Денис Жарков
* Антон Иванов, Гончарова Ирина, Жирков Игорь *
* Гайдай Игорь, Карташов Никита, Новокрещенов Константин, Хабибуллин Марат *

----
* Коваленко, Ворончихин, Овчинников, Цветков *
* Тураев М., Аманов, Афанасьев,
* Атамась, Обедин, Лучихин
* --- тема проекта выбрана и согласована

= Результаты и итоги =

= Литература=
== Основная ==
# Hadley Wickham: "Advanced R" [http://adv-r.had.co.nz/] - Достаточно краткое, но исчерпывающее руководство от очень известного R-гуру, автора множества пакетов
# Patrick Burns: "The R Inferno" [http://www.burns-stat.com/documents/books/the-r-inferno/] - "Ад R", потенциальные ошибки при программировании на R и способы их избежать. Рекомендуется к чтению после некоторого опыта в R
# 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 с примерами, основное пособие курса
# Trevor Hastie, Robert Tibshirani, Jerome Friedman: "The Elements of Statistical Learning"[http://statweb.stanford.edu/~tibs/ElemStatLearn/] - ESL, для тех, кому предыдущая книга покажется недостаточно подробной и глубокой. Больше теории и шире охват, но гораздо сложнее и нет примеров кода

== Дополнительная ==
# [http://ggplot2.org/] - Сайт lattice
# Sarkar, Deepayan: "Lattice. Multivariate Data Visualization with R" [http://www.springer.com/978-0-387-75968-5] - Исчерпывающий обзор графической системы "lattice" с примерами использования
# [http://lattice.r-forge.r-project.org/] - Сайт ggplot2
# Winston Chang: "R Graphics Cookbook" [http://amzn.com/1449316956?tag=ggplot2-20] - Введение в ggplot и рецепты
# Hadley Wickham: "ggplot2: Elegant Graphics for Data Analysis" [http://amzn.com/0387981403?tag=ggplot2-20] - Книга от создателя ggplot, для тех, кто хочет разобраться с внутренним устройством пакета и проектировать собственные графики
# Q. Ethan McCallum, Stephen Weston: "Parallel R. Data Analysis in the Distributed World " [http://shop.oreilly.com/product/0636920021421.do] - Книга содержит исчерпывающую информацию о параллельном программировании на R (включая кластеры и облака)

Computational geometry 2013

2013-11-16T09:03:00Z

Igorjirkov: /* Ссылки */

Лектор -

Практика -

== Лекции ==

[http://vk.com/video11773921_166317565 Видео 2.1]
[http://vk.com/video11773921_166317513 Видео 2.2]
 
[http://vk.com/video11773921_166380537 Видео 3.1]
[http://vk.com/video11773921_166381399 Видео 3.2]
[http://vk.com/video11773921_166381548 Видео 3.2]
 
[http://vk.com/video11773921_166437694 Видео 4.1]
[http://vk.com/video11773921_166437799 Видео 4.2]
[http://vk.com/video11773921_166437863 Видео 4.3]
 
[http://vk.com/video11773921_166493901 Видео 5.1]
[http://vk.com/video11773921_166493902 Видео 5.2]
[http://vk.com/video11773921_166493903 Видео 5.3]

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

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

== Ссылки ==

Wiki по курсу на github: https://github.com/AndreyG/CG-Lecture-Notes/wiki/

Qt проект:
https://github.com/AndreyG/Geometry-Visualization-Library

Пример использования:
https://github.com/AndreyG/Visualization-Example

Computational geometry 2013

2013-11-16T09:00:12Z

Igorjirkov: /* Ссылки */

Лектор -

Практика -

== Лекции ==

[http://vk.com/video11773921_166317565 Видео 2.1]
[http://vk.com/video11773921_166317513 Видео 2.2]
 
[http://vk.com/video11773921_166380537 Видео 3.1]
[http://vk.com/video11773921_166381399 Видео 3.2]
[http://vk.com/video11773921_166381548 Видео 3.2]
 
[http://vk.com/video11773921_166437694 Видео 4.1]
[http://vk.com/video11773921_166437799 Видео 4.2]
[http://vk.com/video11773921_166437863 Видео 4.3]
 
[http://vk.com/video11773921_166493901 Видео 5.1]
[http://vk.com/video11773921_166493902 Видео 5.2]
[http://vk.com/video11773921_166493903 Видео 5.3]

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

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

== Ссылки ==
По первой лекции (гомогенные координаты, прямые и т.д.):
http://robotics.stanford.edu/~birch/projective/node4.html

Трапециоидная карта
http://cg.scs.carleton.ca/~cdillaba/comp5008/mulmuley.html
http://cgm.cs.mcgill.ca/~athens/cs507/Projects/2002/JukkaKaartinen/

Qt проект:
https://github.com/AndreyG/Geometry-Visualization-Library

Пример использования:
https://github.com/AndreyG/Visualization-Example

Networks 2013

2013-11-08T11:37:39Z

Igorjirkov: /* Домашние задания */

Лектор - Антон Кузнецов

Практика - Антон Кузнецов

== Рейтинг ==

[https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dHVscFgwX3Z5c3QtNVZsdVY5MGZnM2c&output=html Рейтинг]

== Лекции ==

[[Медиа:Networks_2013_HTTP.ppt|HTTP]]

=== Cокеты ===
[[Медиа:Networks_2013_Sockets_01.ppt|Сокеты-01]] 
[[Медиа:Networks_2013_Sockets_02.ppt|Сокеты-02]]

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

Домашнее задание от 11/10

a) ICMP-типы 13 -- запрос синхронизации времени и 14 -- время отправки, получения и т.д.
Нужно реализовать клиент и сервер.
Проверить, чтобы работало со стандартными службами ОС.

б) ICMP-типы 17 и 18. В 17-ом пакете есть адрес, а в 18 -- маска, соответствующая его сети.
Клиент и сервер.
C, С++, С++ + Boost.Asio, Java, C#, Python, Haskell, Erlang

Дедлайн 25/10

Домашнее задание -- сетевой чатик
Добавить возможность считать метрики:
* Среднее время обработки клиента;
* Среднее время простоя потока
Протокол:
https://lh5.googleusercontent.com/-YQCK_bdGt8k/UnOKDDQL8MI/AAAAAAAABvk/uX_QN90tNDI/w1598-h899-no/20131011_152621.jpg

Еще две "четкие" фотографии:
[https://drive.google.com/file/d/0B82SeuyS2ofNVGZVaHV1ODB3cWs/edit?usp=sharing раз],
[https://drive.google.com/file/d/0B82SeuyS2ofNZE92Yld6QXdJMTA/edit?usp=sharing два]

Если вы не используете паттерн Products and consumers в чате, то нужно сделать дополнительное задание.

Крайний срок для чата -- 15 ноября.

Посчитать метрики для чата:
Среднее время обработки клиента и понять, с какого момента оно начинает резко расти;
Среднее время простоя.

Еще задание про REST. До конца ноября.
Про REST читать здесь:
http://www.vogella.com/articles/REST/article.html

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

== Ссылки ==
[http://www.pcvr.nl/tcpip/ TCP/IP Illustrated, Vol. 1]

---Также (добавил не Антон):
http://book.itep.ru/4/44/icmp_444.htm

Networks 2013

2013-11-08T11:37:16Z

Igorjirkov: /* Домашние задания */

Лектор - Антон Кузнецов

Практика - Антон Кузнецов

== Рейтинг ==

[https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dHVscFgwX3Z5c3QtNVZsdVY5MGZnM2c&output=html Рейтинг]

== Лекции ==

[[Медиа:Networks_2013_HTTP.ppt|HTTP]]

=== Cокеты ===
[[Медиа:Networks_2013_Sockets_01.ppt|Сокеты-01]] 
[[Медиа:Networks_2013_Sockets_02.ppt|Сокеты-02]]

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

Домашнее задание от 11/10

a) ICMP-типы 13 -- запрос синхронизации времени и 14 -- время отправки, получения и т.д.
Нужно реализовать клиент и сервер.
Проверить, чтобы работало со стандартными службами ОС.

б) ICMP-типы 17 и 18. В 17-ом пакете есть адрес, а в 18 -- маска, соответствующая его сети.
Клиент и сервер.
C, С++, С++ + Boost.Asio, Java, C#, Python, Haskell, Erlang

Дедлайн 25/10

Домашнее задание -- сетевой чатик
Добавить возможность считать метрики:
* Среднее время обработки клиента;
* Среднее время простоя потока
Протокол:
https://lh5.googleusercontent.com/-YQCK_bdGt8k/UnOKDDQL8MI/AAAAAAAABvk/uX_QN90tNDI/w1598-h899-no/20131011_152621.jpg

Еще две "четкие" фотографии:
[https://drive.google.com/file/d/0B82SeuyS2ofNVGZVaHV1ODB3cWs/edit?usp=sharing раз],
[https://drive.google.com/file/d/0B82SeuyS2ofNZE92Yld6QXdJMTA/edit?usp=sharing два]

Если вы не используете паттерн Products and consumers в чате, то нужно сделать дополнительное задание.

Крайний срок для чата -- 15 ноября.

Посчитать метрики для чата:
Среднее время обработки клиента и понять, с какого момента оно начинает резко расти;
Среднее время простоя.

Про REST читать здесь:
http://www.vogella.com/articles/REST/article.html

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

== Ссылки ==
[http://www.pcvr.nl/tcpip/ TCP/IP Illustrated, Vol. 1]

---Также (добавил не Антон):
http://book.itep.ru/4/44/icmp_444.htm

Networks 2013

2013-11-01T11:37:24Z

Igorjirkov: /* Домашние задания */

Лектор - Антон Кузнецов

Практика - Антон Кузнецов

== Лекции ==

[[Медиа:Networks_2013_HTTP.ppt|HTTP]]

=== Cокеты ===
[[Медиа:Networks_2013_Sockets_01.ppt|Сокеты-01]] 
[[Медиа:Networks_2013_Sockets_02.ppt|Сокеты-02]]

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

Домашнее задание от 11/10

a) ICMP-типы 13 -- запрос синхронизации времени и 14 -- время отправки, получения и т.д.
Нужно реализовать клиент и сервер.
Проверить, чтобы работало со стандартными службами ОС.

б) ICMP-типы 17 и 18. В 17-ом пакете есть адрес, а в 18 -- маска, соответствующая его сети.
Клиент и сервер.
C, С++, С++ + Boost.Asio, Java, C#, Python, Haskell, Erlang

Дедлайн 25/10

Домашнее задание -- сетевой чатик
Добавить возможность считать метрики:
-- Среднее время обработки клиента;
-- Среднее время простоя потока
Протокол:
https://lh5.googleusercontent.com/-YQCK_bdGt8k/UnOKDDQL8MI/AAAAAAAABvk/uX_QN90tNDI/w1598-h899-no/20131011_152621.jpg

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

== Ссылки ==
[http://www.pcvr.nl/tcpip/ TCP/IP Illustrated, Vol. 1]

---Также (добавил не Антон):
http://book.itep.ru/4/44/icmp_444.htm

Networks 2013

2013-10-17T16:24:24Z

Igorjirkov: /* Ссылки */

Лектор - Антон Кузнецов

Практика - Антон Кузнецов

== Лекции ==

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

Домашнее задание от 11/10

a) ICMP-типы 13 -- запрос синхронизации времени и 14 -- время отправки, получения и т.д.
Нужно реализовать клиент и сервер.
Проверить, чтобы работало со стандартными службами ОС.

б) ICMP-типы 17 и 18. В 17-ом пакете есть адрес, а в 18 -- маска, соответствующая его сети.
Клиент и сервер.
C, С++, С++ + Boost.Asio, Java, C#, Python, Haskell, Erlang

Дедлайн 25/10.

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

== Ссылки ==
[http://www.pcvr.nl/tcpip/ TCP/IP Illustrated, Vol. 1]

---Также (добавил не Антон):
http://book.itep.ru/4/44/icmp_444.htm

Networks 2013

2013-10-11T10:12:19Z

Igorjirkov: /* Домашние задания */

Лектор -

Практика -

== Лекции ==

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

Домашнее задание от 11/10

a) ICMP-типы 13 -- запрос синхронизации времени и 14 -- время отправки, получения и т.д.
Нужно реализовать клиент и сервер.
Проверить, чтобы работало со стандартными службами ОС.

б) ICMP-типы 17 и 18. В 17-ом пакете есть адрес, а в 18 -- маска, соответствующая его сети.
Клиент и сервер.
C, С++, С++ + Boost.Asio, Java, C#, Python, Haskell, Erlang

Дедлайн 25/10.

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

== Ссылки ==

FunctionalProgramming2 2013

2013-10-07T12:21:13Z

Igorjirkov: /* Домашние задания */

Лектор -

Практика -

== Лекции ==

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

1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы.

Сколько элементов в домене, соответствующем типу Bool -> Bool?

2. Функция seq :: a -> b -> b

seq _|_ _ = _|_

seq _ b = b

Доказать: seq -- непрерывна.

3. Придумайте пример монотонной, но не непрерывной функции.

4. Рассмотрим наибольший элемент T: \forall x : x < T.

Максимальный элемент m:\forall x : x \geq m => x это m.

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

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

== Ссылки ==

Страница курса:
http://migmit.info/course/fp2

FunctionalProgramming2 2013

2013-10-07T12:12:12Z

Igorjirkov: /* Ссылки */

Лектор -

Практика -

== Лекции ==

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

1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы.

Сколько элементов в домене, соответствующем типа Bool -> Bool?

2. Функция seq :: a -> b -> b

seq _|_ _ = _|_

seq _ b = b

Доказать: seq -- непрерывна.

3. Придумайте пример монотонной, но не непрерывной функции.

4. Рассмотрим наибольший элемент T: \forall x : x < T.

Максимальный элемент m:\forall x : x \geq m => x это m.

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

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

== Ссылки ==

Страница курса:
http://migmit.info/course/fp2

FunctionalProgramming2 2013

2013-10-01T11:39:30Z

Igorjirkov: /* Домашние задания */

Лектор -

Практика -

== Лекции ==

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

1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы.

Сколько элементов в домене, соответствующем типа Bool -> Bool?

2. Функция seq :: a -> b -> b

seq _|_ _ = _|_

seq _ b = b

Доказать: seq -- непрерывна.

3. Придумайте пример монотонной, но не непрерывной функции.

4. Рассмотрим наибольший элемент T: \forall x : x < T.

Максимальный элемент m:\forall x : x \geq m => x это m.

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

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

== Ссылки ==

Computational geometry 2013

2013-09-13T11:12:03Z

Igorjirkov: /* Ссылки */

Лектор -

Практика -

== Лекции ==

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

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

== Ссылки ==
По первой лекции:
http://robotics.stanford.edu/~birch/projective/node4.html

Devdays1h2013

2013-06-05T19:07:37Z

Igorjirkov: /* Страницы проектов */

== Страницы проектов ==

* [[XOnD_audd13| XOnD ]], status: release
* [[Anki]], status: alpha
* [[Аренда Недвижимости]], status: reviewed
* [[compiler error assistant]], status: '''1st Place'''
* [[Life in Cube]], status: '''2nd Place'''
* [[Music Sync]], status: reviewed
* [[Погодный оракул]], status: reviewed
* <del> [[Megapuck]], status: reviewed </del>
* [[QRMenu]], status: '''3rd Place, special prize'''
* [[Key Binder]], status: beta

== Разное ==

* Официальный хештег #audd13

XOnD audd13

2013-05-14T20:01:42Z

Igorjirkov: /* Репозиторий */

= XOnD =

Крестики-нолики в новых пространствах

== Фичи ==

* 4-х мерные крестики-нолики
* визуализация через трёхмерные проекции
* управление с помощью мыши
* игра в режиме hot seat

== Технологии ==

* Coffeescript
* WebGL

== Репозиторий ==

* https://github.com/sayon/XOnD

== Команда ==

* Сторожев Антон
* Жирков Игорь

XOnD audd13

2013-05-13T22:48:59Z

Igorjirkov: /* Фичи */

= XOnD =

Крестики-нолики в новых пространствах

== Фичи ==

* 4-х мерные крестики-нолики
* визуализация через трёхмерные проекции
* управление с помощью мыши
* игра в режиме hot seat

== Технологии ==

* Coffeescript
* WebGL

== Репозиторий ==

* https://github.com/vinni-au/XOnD

== Команда ==

* Сторожев Антон
* Жирков Игорь

Unix и Скриптовые языки 2012

2012-11-30T08:21:48Z

Igorjirkov: /* Задание по модулям Python */

Лектор - Кузнецов Антон Михайлович

== Лекции. ==
{| border="1"
|-
!Лекция 1
|04.09.2012
|История UNIX
|Слайды [[Медиа:Unix2012-01.pdf|PDF]]
|[[Медиа:Unix2012-Test01.pdf|Тест]]
|-
!Лекция 2
|07.09.2012
|Введение в команды UNIX
|Слайды [[Медиа:Unix2012-02.pdf|PDF]]
|-
!Лекция 3
|14.09.2012
|Регулярные выражения. Sed, grep
|Слайды [[Медиа:Unix2012-03.pdf|PDF]]
|-
!Лекция 4
|21.09.2012
|Bash scripts
|Слайды [[Медиа:Unix2012-04.pdf|PDF]] [http://gordin.us/sergo/abs-guide/x4165.html Работа со строками]
|[[Домашнее_задание_"Unix_и_Скриптовые_языки"_2012|Задание]]
|-
!Контрольная
|28.09.2012
|[https://docs.google.com/document/pub?id=1sF9Nmr2hIF84YcfP-KPkEzvFfmnvOScFvqA1mGNwcqs Задачи]
|
|
|-
!Лекция 4
|19.10.2012
|Python введение
|Слайды [[Медиа:Unix-2012-07-Python.pdf|PDF]]
|
|-
!Лекция 5
|26.10.2012
|Python строки
|Слайды [[Медиа:Unix-2012-08-Python.pdf|PDF]]
|
|-
!Лекция 6
|2.11.2012
|Python модули, итераторы
|Слайды [[Медиа:Unix_2012_09_Modules.pdf|PDF]] [[Медиа:Unix_2012_09_Iterators.pdf|PDF]]
|
|-
!Контрольная
|9.11.2012
|Тест [[Медиа:Test.pdf|PDF]]
|
|
|-
!Лекция 7
|16.11.2012
|Python ООП
|Слайды [[Медиа:Unix_Slides_20111117.pdf |PDF]]
|
|-
!Лекция 8
|23.11.2012
|Python ООП
|Слайды [[Unix_20121123|Задание]] [[PDF]]
|
|}

== Зачет по Bash ==

Для зачета контрольной необходимо набрать не менее 10 баллов! 
Стоимость одной задачи на контрольной - 2 балла. 
До 23:59 30 сентября - 1 балл. 
После - 0.5 балла.

== Задачи по Bash для "должников" ==

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

# Найдите, сколько времени прошло с момента создания самого старого до создания самого молодого файла на компьютере.
# Напишите скрипт, принимающий в качестве параметра каталог. Задача скрипта состоит в том, чтобы изменить имя каждого файла в каталоге и подкаталогах дописав в начало число, равное глубине вложенности файла. Например, файл A/B/C/x.txt должен превратиться в A/B/C/3x.txt.
# Напишите визуализатор сортировки пузырьком. При визуализации каждый элемент массива отображается столбиком из символов '#'. Высота столбика совпадает со значением элемента массива. Два столбика, соответствующие элементам, которые сравниваются в данный момент, должны отличаться по цвету от остальных.

Вариант для тех, кому разрешили делать "эти" задачи:

# Пусть у вас есть кластер состоящий из большого числа узлов. Список узлов находится в файле nodes.txt. Часто возникает ситуация завести нового пользователя и прописать его на всех узлах (это происходит там, где кто-то не знает, что можно использовать, например, LDAP ^) ). Ваша задача -- написать скрипт, который после запуска получает от пользователя все необходимые данные для создания нового пользователя и создает такого пользователя на всех узлах кластера.
# Напишите интерактивную утилиту для работы с XEN. Должны поддерживаться следующие возможности - запуск и остановка виртуальной машины; доступ к консоли виртуальной машины; вывод информации о занятости дисков виртуальных машин; разворачивание новой виртуальной машины из образа при этом задаются новые имя компьютера и его IP адрес.

== Задание по модулям Python ==
# '''NamPy, SciPy, Matplotlib: Чаднов, Сонина, Шабалин, Плахотник, Монцев, Аристархов''' - заполнено
# '''PIL: Аверьянов, Осипов, Цаплев, Арутюнова''' - заполнено
# '''NetworkX: Орлов, Ломшаков, Таланов, Служаев, Майоров''' - заполнено
# Socket: Пивоваров, Колмогоров, Яковлев
# SMTPlib, POPlib:
# pyQwt: Козятинский, Карташов
# thread, threading: Гулецкий, Азаров, Савенко, Пальчиков
# pyGame: Токарев, Сторожев, Шумилин, Полушкин, Гончарова * (''как альтернатива - есть ещё движок Panda3d, там тоже можно на Python писать'')
# pyasm: Жирков

== Рейтинг ==
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dEdwVXVZX3ZzVGJUY1ZiaEpjSG52SHc&output=html Рейтинг.]

Unix и Скриптовые языки 2012

2012-11-30T08:19:08Z

Igorjirkov: /* Задание по модулям Python */

Лектор - Кузнецов Антон Михайлович

== Лекции. ==
{| border="1"
|-
!Лекция 1
|04.09.2012
|История UNIX
|Слайды [[Медиа:Unix2012-01.pdf|PDF]]
|[[Медиа:Unix2012-Test01.pdf|Тест]]
|-
!Лекция 2
|07.09.2012
|Введение в команды UNIX
|Слайды [[Медиа:Unix2012-02.pdf|PDF]]
|-
!Лекция 3
|14.09.2012
|Регулярные выражения. Sed, grep
|Слайды [[Медиа:Unix2012-03.pdf|PDF]]
|-
!Лекция 4
|21.09.2012
|Bash scripts
|Слайды [[Медиа:Unix2012-04.pdf|PDF]] [http://gordin.us/sergo/abs-guide/x4165.html Работа со строками]
|[[Домашнее_задание_"Unix_и_Скриптовые_языки"_2012|Задание]]
|-
!Контрольная
|28.09.2012
|[https://docs.google.com/document/pub?id=1sF9Nmr2hIF84YcfP-KPkEzvFfmnvOScFvqA1mGNwcqs Задачи]
|
|
|-
!Лекция 4
|19.10.2012
|Python введение
|Слайды [[Медиа:Unix-2012-07-Python.pdf|PDF]]
|
|-
!Лекция 5
|26.10.2012
|Python строки
|Слайды [[Медиа:Unix-2012-08-Python.pdf|PDF]]
|
|-
!Лекция 6
|2.11.2012
|Python модули, итераторы
|Слайды [[Медиа:Unix_2012_09_Modules.pdf|PDF]] [[Медиа:Unix_2012_09_Iterators.pdf|PDF]]
|
|-
!Контрольная
|9.11.2012
|Тест [[Медиа:Test.pdf|PDF]]
|
|
|-
!Лекция 7
|16.11.2012
|Python ООП
|Слайды [[Медиа:Unix_Slides_20111117.pdf |PDF]]
|
|-
!Лекция 8
|23.11.2012
|Python ООП
|Слайды [[Unix_20121123|Задание]] [[PDF]]
|
|}

== Зачет по Bash ==

Для зачета контрольной необходимо набрать не менее 10 баллов! 
Стоимость одной задачи на контрольной - 2 балла. 
До 23:59 30 сентября - 1 балл. 
После - 0.5 балла.

== Задачи по Bash для "должников" ==

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

# Найдите, сколько времени прошло с момента создания самого старого до создания самого молодого файла на компьютере.
# Напишите скрипт, принимающий в качестве параметра каталог. Задача скрипта состоит в том, чтобы изменить имя каждого файла в каталоге и подкаталогах дописав в начало число, равное глубине вложенности файла. Например, файл A/B/C/x.txt должен превратиться в A/B/C/3x.txt.
# Напишите визуализатор сортировки пузырьком. При визуализации каждый элемент массива отображается столбиком из символов '#'. Высота столбика совпадает со значением элемента массива. Два столбика, соответствующие элементам, которые сравниваются в данный момент, должны отличаться по цвету от остальных.

Вариант для тех, кому разрешили делать "эти" задачи:

# Пусть у вас есть кластер состоящий из большого числа узлов. Список узлов находится в файле nodes.txt. Часто возникает ситуация завести нового пользователя и прописать его на всех узлах (это происходит там, где кто-то не знает, что можно использовать, например, LDAP ^) ). Ваша задача -- написать скрипт, который после запуска получает от пользователя все необходимые данные для создания нового пользователя и создает такого пользователя на всех узлах кластера.
# Напишите интерактивную утилиту для работы с XEN. Должны поддерживаться следующие возможности - запуск и остановка виртуальной машины; доступ к консоли виртуальной машины; вывод информации о занятости дисков виртуальных машин; разворачивание новой виртуальной машины из образа при этом задаются новые имя компьютера и его IP адрес.

== Задание по модулям Python ==
# '''NamPy, SciPy, Matplotlib: Чаднов, Сонина, Шабалин, Плахотник, Монцев, Аристархов''' - заполнено
# '''PIL: Аверьянов, Осипов, Цаплев, Арутюнова''' - заполнено
# '''NetworkX: Орлов, Ломшаков, Таланов, Служаев, Майоров''' - заполнено
# Socket: Пивоваров
# SMTPlib, POPlib:
# pyQwt: Козятинский, Карташов
# thread, threading: Гулецкий, Азаров, Савенко, Пальчиков
# pyGame: Токарев, Сторожев, Шумилин, Полушкин, Гончарова * (''как альтернатива - есть ещё движок Panda3d, там тоже можно на Python писать'')
# pyasm: Жирков

== Рейтинг ==
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dEdwVXVZX3ZzVGJUY1ZiaEpjSG52SHc&output=html Рейтинг.]

SynchronizedPlayer

2012-11-15T13:54:29Z

Igorjirkov: /* Ссылки */

Devdays, 432 аудитория.

== Состав ==

* Гончарова Ирина
* Лазарев Сергей
* Жирков Игорь
* Евгений Служаев

== Описание ==

* Состоит из двух плееров: плеер для компьютера и плеер для смартфона.
* При проигрывании видео или аудио на компьютере возможно продолжить его проигрывание на смартфоне с той же позиции (при условии его наличия).
* При проигрывании видео или аудио на смартфоне возможно продолжить его проигрывание на компьютере с той же позиции (при условии его наличия).
* Синхронизация плейлиста на лету.

== Ссылки ==
[http://code.google.com/p/synchronized-player Репозиторий]

[http://code.google.com/p/synchronized-player/downloads/list Ссылки для скачивания]

[http://code.google.com/p/synchronized-player/wiki/Documentation Документация]

SynchronizedPlayer

2012-11-12T09:48:06Z

Igorjirkov: /* Описание */

SynchronizedPlayer

2012-11-12T09:43:46Z

Igorjirkov: /* Состав */

Devdays, 432 аудитория.

== Состав ==

* Гончарова Ирина
* Лазарев Сергей
* Жирков Игорь
* Евгений Служаев

== Описание ==

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

Devdays2h2012

2012-11-12T07:18:09Z

Igorjirkov: /* Страницы проектов */

== Идеи проектов ==

* Андроид клиент для biletolovilka.ru
* Сетевые шахматы на троих; бессмысленно и беспощадно.
* Фреймворк для организации CTF-соревнований
* Experimental project for http://www.chromeexperiments.com/
* Just another extension for Chrome
* Платформа для Web Автоматизации
* HDR-creator

== Страницы проектов ==

* [[Project_Grothendieck|Визуализатор алгебраических структур]]
* [[MorseKeyboard|Клавиатура Морзе]]
* [[Cheque recognizer 2.0|Распознавание чеков]]
* [[DontMissStop|Будильник "Не проспи остановку"]]
* [[Машина_Тьюринга|Машина Тьюринга]]
* [[SynchronizedPlayer]]

=== Андроид клиент для biletolovilka.ru===
Очень тяжело найти билет в питер в ночь с пятницы на субботу.
Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task.
Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform)
клиент с удобным UI'ем.

=== Мечта меломана ===
Клиентская и серверная части.

Сервер:
- Мониторит аккаунты на youtube, vk
- При добавлении трека в аудиозаписи сама добавляет его в музыкальную
коллекцию со структурой по папочкам, скачивает обложку, приводит в
порядок все тэги автоматически. Использует, например, информацию о
длительности .
- При добавлении видео в избранное на youtube конвертирует его в mp3,
дальше всё аналогично.
- Синхронизируется со всеми устройствами. В домашней wifi сетке
автоматом синхронизируется со всеми android-девайсами по wifi. При
подключении MTP-девайса (плеер) автоматом синхронизируется с ним.
Можно в две стороны.

Клиенты: всякие мобильные платформы
Обеспечивают синхронизацию с базой на сервере при входе в зону
домашнего Wifi или вручную.

=== Python type checking ===
Предлагаю реализовать 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>. Примеры:

<pre>
# Assign a type signature to `os.path.exists`, it's a function, which takes a string and returns a boolean.
signature(os.path.exists, Function(str, bool))

# Now try to infer a type of the following expressions.
os.path.exists([]) # type: error, the input argument should be a string!
os.path.exists("/") # type: bool

# Try the same for a function, with an unknown signature.
os.listdir("/") # type: object, since we don't know the signature of `os.listdir`.
</pre>

Можно сразу ориентироваться на Python3 и использовать [[http://www.python.org/dev/peps/pep-3107/ function annotations]] в качестве источника информации о типах:

<pre>
def f(x : int) -> float:
return float(x)
</pre>

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]]

=== stream-lib revisited ===
Для Java [[https://github.com/clearspring/stream-lib есть]] замечательная библиотека, реализующая summary statistics для потоков данных. Было бы здорово реализовать что-то похожее на Python.

=== Клиент для Google Play ===
Есть только 2 способа пользоваться Google Play, с телефона, или из браузера, при этом если хочется получить apk файл на компьютер, то единственный способ это вытаскивать его с телефона.
Почему бы не написать кросс платформенный клиент с использованием Qt, который позволит качать файлы прямо на ПК(и можно добавить различные возможности). Притом что протокол довольно прост.

=== Экстеншен для идеи про обход массивов ===
Экстеншен для идеи, который видит, что двумерный массив обходится в "плохом" порядке (с потерей кэшей) и предлагает поправить.

=== Парсер теховских формул на хаскелле (или на скале) ===
Хочется взять теховскую формулу и получить по ней объект, который умеет ее исполнять.

-- Обычно идут другим путем, записывают формулу на каком-нибудь DSL, чтобы можно было её вычислить и сконвертировать в TeX. (С. Лебедев)

=== Платформа для Web автоматизации ===
Было бы здорово написать библиотеку, которая бы позволила писать простые скрипты: зайти на сайт N, вытащить данные с помощью данного регулярного выражения, сохранить данные.
В будущем возможно расширение скриптов добавлением различных возможностей, как минимум ветвлений.
Основное требование: скорость работы и максимальная загрузка сетевого соединения.

=== HDR-creator ===
Оказалось, что бесплатные программы для создания HDR-фото не найти. А фото получаются хорошие, и задача создания одного фото из нескольких кажется интересной.

SE Wiki

2012-11-12T07:17:48Z

Igorjirkov: /* Dev Days */

== Учебная информация ==
[http://mit.spbau.ru/ru/scheduleSE Расписание]

5 курс:
* [[Базы_данных_2012|Базы данных]]
* [[Алгебраические_структуры_2012|Алгебраические структуры]]
* [[Алгоритмы_и_структуры_данных_2012|Алгоритмы и структуры данных]]
* [[Операционные_системы_2012|Операционные системы]]
* [[Основы_программной_инженерии_2012|Основы программной инженерии]]
* [[Теория_графов_2012|Теория графов]]
* [[Комбинаторика_2012|Комбинаторика]]
* [[Мат_логика_2012|Мат. логика]]
* [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]]
* [[C___2012|С++]]
* [[Технологический_семинар_2012|Технологический семинар]]
* [[НИР_2012|НИР]]

6 курс: 
[http://www.google.com/calendar/embed?mode=WEEK&src=9f7hm9olebmkjnkglq6ussvd7s%40group.calendar.google.com&color=%23060D5E&src=e0hc0uakdjbknh05tcr5fomct8%40group.calendar.google.com&color=%232F6309&src=notnpt47cf0g3cufakpqpcecp5nt1505%40import.calendar.google.com&color=%235A6986&ctz=Europe%2FMoscow Расписание в гугл календаре (html)] [http://www.google.com/calendar/ical/9f7hm9olebmkjnkglq6ussvd7s%40group.calendar.google.com/public/basic.ics (ical)]
 
* [[Виртуальные_машины_2012|Виртуальные машины]]
* [[Машинное_обучение_2012|Машинное обучение]]
* [[UML_2012|UML]]
* [[Компьютерная_графика_2012|Компьютерная графика]]
* [[Параллельные_и_распределенные_вычисления_2012|Параллельные и распределенные вычисления]]
* [[Программирование_в_ядре_Windows_2012|Программирование в ядре Windows]]
* [[Тестирование_ПО_2012|Тестирование ПО]]
* [[Анализ_данных_2012| Анализ данных]]
* [[Формальные_языки_2012|Формальные языки]]
* [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]]
* [[Разработка_интерактивных_интерфейсов_2012|Разработка интерактивных интерфейсов]]
* [[SCALA_2012|Scala]]
* [[Сетевые технологии]]
* [[Обобщенное и генеративное программирование]]

== Dev Days ==

* [[Devdays2h2012| Dev days Осень 2012]]
** [[WhereIsMyMoney]]

== Архив за прошлые семестры ==
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]

== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.

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

SE Wiki

2012-11-12T07:13:53Z

Igorjirkov: /* Dev Days */

== Учебная информация ==
[http://mit.spbau.ru/ru/scheduleSE Расписание]

5 курс:
* [[Базы_данных_2012|Базы данных]]
* [[Алгебраические_структуры_2012|Алгебраические структуры]]
* [[Алгоритмы_и_структуры_данных_2012|Алгоритмы и структуры данных]]
* [[Операционные_системы_2012|Операционные системы]]
* [[Основы_программной_инженерии_2012|Основы программной инженерии]]
* [[Теория_графов_2012|Теория графов]]
* [[Комбинаторика_2012|Комбинаторика]]
* [[Мат_логика_2012|Мат. логика]]
* [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]]
* [[C___2012|С++]]
* [[Технологический_семинар_2012|Технологический семинар]]
* [[НИР_2012|НИР]]

6 курс: 
[http://www.google.com/calendar/embed?mode=WEEK&src=9f7hm9olebmkjnkglq6ussvd7s%40group.calendar.google.com&color=%23060D5E&src=e0hc0uakdjbknh05tcr5fomct8%40group.calendar.google.com&color=%232F6309&src=notnpt47cf0g3cufakpqpcecp5nt1505%40import.calendar.google.com&color=%235A6986&ctz=Europe%2FMoscow Расписание в гугл календаре (html)] [http://www.google.com/calendar/ical/9f7hm9olebmkjnkglq6ussvd7s%40group.calendar.google.com/public/basic.ics (ical)]
 
* [[Виртуальные_машины_2012|Виртуальные машины]]
* [[Машинное_обучение_2012|Машинное обучение]]
* [[UML_2012|UML]]
* [[Компьютерная_графика_2012|Компьютерная графика]]
* [[Параллельные_и_распределенные_вычисления_2012|Параллельные и распределенные вычисления]]
* [[Программирование_в_ядре_Windows_2012|Программирование в ядре Windows]]
* [[Тестирование_ПО_2012|Тестирование ПО]]
* [[Анализ_данных_2012| Анализ данных]]
* [[Формальные_языки_2012|Формальные языки]]
* [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]]
* [[Разработка_интерактивных_интерфейсов_2012|Разработка интерактивных интерфейсов]]
* [[SCALA_2012|Scala]]
* [[Сетевые технологии]]
* [[Обобщенное и генеративное программирование]]

== Dev Days ==

* [[Devdays2h2012| Dev days Осень 2012]]
** [[SynchronizedPlayer]]

== Архив за прошлые семестры ==
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]

== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.

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

SynchronizedPlayer

2012-11-12T07:12:59Z

Igorjirkov: Новая страница: «Devdays, 432 аудитория. == Состав == * Гончарова Ирина * Лазарев Сергей * Жирков Игорь == Описание …»

Devdays, 432 аудитория.

== Состав ==

* Гончарова Ирина
* Лазарев Сергей
* Жирков Игорь

== Описание ==

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

Devdays2h2012

2012-11-11T20:15:48Z

Igorjirkov: /* Платформа для Web автоматизации */

== Идеи проектов ==

* Андроид клиент для biletolovilka.ru
* Сетевые шахматы на троих; бессмысленно и беспощадно.
* Фреймворк для организации CTF-соревнований
* Experimental project for http://www.chromeexperiments.com/
* Just another extension for Chrome
* Платформа для Web Автоматизации

=== Андроид клиент для biletolovilka.ru===
Очень тяжело найти билет в питер в ночь с пятницы на субботу.
Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task.
Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform)
клиент с удобным UI'ем.

=== Мечта меломана ===
Клиентская и серверная части.

Сервер:
- Мониторит аккаунты на youtube, vk
- При добавлении трека в аудиозаписи сама добавляет его в музыкальную
коллекцию со структурой по папочкам, скачивает обложку, приводит в
порядок все тэги автоматически. Использует, например, информацию о
длительности .
- При добавлении видео в избранное на youtube конвертирует его в mp3,
дальше всё аналогично.
- Синхронизируется со всеми устройствами. В домашней wifi сетке
автоматом синхронизируется со всеми android-девайсами по wifi. При
подключении MTP-девайса (плеер) автоматом синхронизируется с ним.
Можно в две стороны.

Клиенты: всякие мобильные платформы
Обеспечивают синхронизацию с базой на сервере при входе в зону
домашнего Wifi или вручную.

=== Python type checking ===
Предлагаю реализовать 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>. Примеры:

<pre>
# Assign a type signature to `os.path.exists`, it's a function, which takes a string and returns a boolean.
signature(os.path.exists, Function(str, bool))

# Now try to infer a type of the following expressions.
os.path.exists([]) # type: error, the input argument should be a string!
os.path.exists("/") # type: bool

# Try the same for a function, with an unknown signature.
os.listdir("/") # type: object, since we don't know the signature of `os.listdir`.
</pre>

Можно сразу ориентироваться на Python3 и использовать [[http://www.python.org/dev/peps/pep-3107/ function annotations]] в качестве источника информации о типах:

<pre>
def f(x : int) -> float:
return float(x)
</pre>

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]]

=== stream-lib revisited ===
Для Java [[https://github.com/clearspring/stream-lib есть]] замечательная библиотека, реализующая summary statistics для потоков данных. Было бы здорово реализовать что-то похожее на Python.

=== Клиент для Google Play ===
Есть только 2 способа пользоваться Google Play, с телефона, или из браузера, при этом если хочется получить apk файл на компьютер, то единственный способ это вытаскивать его с телефона.
Почему бы не написать кросс платформенный клиент с использованием Qt, который позволит качать файлы прямо на ПК(и можно добавить различные возможности). Притом что протокол довольно прост.

=== Экстеншен для идеи про обход массивов ===
Экстеншен для идеи, который видит, что двумерный массив обходится в "плохом" порядке (с потерей кэшей) и предлагает поправить.

=== Парсер теховских формул на хаскелле (или на скале) ===
Хочется взять теховскую формулу и получить по ней объект, который умеет ее исполнять.

-- Обычно идут другим путем, записывают формулу на каком-нибудь DSL, чтобы можно было её вычислить и сконвертировать в TeX. (С. Лебедев)

=== Платформа для Web автоматизации ===
Было бы здорово написать библиотеку, которая бы позволила писать простые скрипты: зайти на сайт N, вытащить данные с помощью данного регулярного выражения, сохранить данные.
В будущем возможно расширение скриптов добавлением различных возможностей, как минимум ветвлений.
Основное требование: скорость работы и максимальная загрузка сетевого соединения.

Devdays2h2012

2012-11-11T20:15:18Z

Igorjirkov: /* Платформа для Web автоматизации */

== Идеи проектов ==

* Андроид клиент для biletolovilka.ru
* Сетевые шахматы на троих; бессмысленно и беспощадно.
* Фреймворк для организации CTF-соревнований
* Experimental project for http://www.chromeexperiments.com/
* Just another extension for Chrome
* Платформа для Web Автоматизации

=== Андроид клиент для biletolovilka.ru===
Очень тяжело найти билет в питер в ночь с пятницы на субботу.
Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task.
Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform)
клиент с удобным UI'ем.

=== Мечта меломана ===
Клиентская и серверная части.

Сервер:
- Мониторит аккаунты на youtube, vk
- При добавлении трека в аудиозаписи сама добавляет его в музыкальную
коллекцию со структурой по папочкам, скачивает обложку, приводит в
порядок все тэги автоматически. Использует, например, информацию о
длительности .
- При добавлении видео в избранное на youtube конвертирует его в mp3,
дальше всё аналогично.
- Синхронизируется со всеми устройствами. В домашней wifi сетке
автоматом синхронизируется со всеми android-девайсами по wifi. При
подключении MTP-девайса (плеер) автоматом синхронизируется с ним.
Можно в две стороны.

Клиенты: всякие мобильные платформы
Обеспечивают синхронизацию с базой на сервере при входе в зону
домашнего Wifi или вручную.

=== Python type checking ===
Предлагаю реализовать 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>. Примеры:

<pre>
# Assign a type signature to `os.path.exists`, it's a function, which takes a string and returns a boolean.
signature(os.path.exists, Function(str, bool))

# Now try to infer a type of the following expressions.
os.path.exists([]) # type: error, the input argument should be a string!
os.path.exists("/") # type: bool

# Try the same for a function, with an unknown signature.
os.listdir("/") # type: object, since we don't know the signature of `os.listdir`.
</pre>

Можно сразу ориентироваться на Python3 и использовать [[http://www.python.org/dev/peps/pep-3107/ function annotations]] в качестве источника информации о типах:

<pre>
def f(x : int) -> float:
return float(x)
</pre>

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]]

=== stream-lib revisited ===
Для Java [[https://github.com/clearspring/stream-lib есть]] замечательная библиотека, реализующая summary statistics для потоков данных. Было бы здорово реализовать что-то похожее на Python.

=== Клиент для Google Play ===
Есть только 2 способа пользоваться Google Play, с телефона, или из браузера, при этом если хочется получить apk файл на компьютер, то единственный способ это вытаскивать его с телефона.
Почему бы не написать кросс платформенный клиент с использованием Qt, который позволит качать файлы прямо на ПК(и можно добавить различные возможности). Притом что протокол довольно прост.

=== Экстеншен для идеи про обход массивов ===
Экстеншен для идеи, который видит, что двумерный массив обходится в "плохом" порядке (с потерей кэшей) и предлагает поправить.

=== Парсер теховских формул на хаскелле (или на скале) ===
Хочется взять теховскую формулу и получить по ней объект, который умеет ее исполнять.

-- Обычно идут другим путем, записывают формулу на каком-нибудь DSL, чтобы можно было её вычислить и сконвертировать в TeX. (С. Лебедев)

=== Платформа для Web автоматизации ===
Было бы здорово написать библиотеку, которая бы позволила писать простые скрипты: зайти на сайт N, вытащить данные с помощью данного регулярного выражения, сохранить данные.
В будущем возможно расширение скриптов добавлением различных возможностей, как минимум ветвлений.
Основное требование: скорость работы и максимальная загрузка сетевого соединения.

-- Внезапно! таких уже миллион, google web crawler DSL. (С. Лебедев)

Devdays2h2012

2012-11-11T15:32:13Z

Igorjirkov: /* Парсер теховских формул на хаскелле (или на скале) */

== Идеи проектов ==

* Андроид клиент для biletolovilka.ru
* Сетевые шахматы на троих; бессмысленно и беспощадно.
* Фреймворк для организации CTF-соревнований
* Experimental project for http://www.chromeexperiments.com/
* Just another extension for Chrome

=== Андроид клиент для biletolovilka.ru===
Очень тяжело найти билет в питер в ночь с пятницы на субботу.
Однако билеты периодически возвращаются клиентами и очень хочется заменить кнопку F5 на cron-task.
Пройдя по ссылки уже становиться понятен юзкейс приложения, и было бы здорово, сделать андроид(multiplatform)
клиент с удобным UI'ем.

=== Мечта меломана ===
Клиентская и серверная части.

Сервер:
- Мониторит аккаунты на youtube, vk
- При добавлении трека в аудиозаписи сама добавляет его в музыкальную
коллекцию со структурой по папочкам, скачивает обложку, приводит в
порядок все тэги автоматически. Использует, например, информацию о
длительности .
- При добавлении видео в избранное на youtube конвертирует его в mp3,
дальше всё аналогично.
- Синхронизируется со всеми устройствами. В домашней wifi сетке
автоматом синхронизируется со всеми android-девайсами по wifi. При
подключении MTP-девайса (плеер) автоматом синхронизируется с ним.
Можно в две стороны.

Клиенты: всякие мобильные платформы
Обеспечивают синхронизацию с базой на сервере при входе в зону
домашнего Wifi или вручную.

=== Python type checking ===
Предлагаю реализовать 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>. Примеры:

<pre>
# Assign a type signature to `os.path.exists`, it's a function, which takes a string and returns a boolean.
signature(os.path.exists, Function(str, bool))

# Now try to infer a type of the following expressions.
os.path.exists([]) # type: error, the input argument should be a string!
os.path.exists("/") # type: bool

# Try the same for a function, with an unknown signature.
os.listdir("/") # type: object, since we don't know the signature of `os.listdir`.
</pre>

Можно сразу ориентироваться на Python3 и использовать [[http://www.python.org/dev/peps/pep-3107/ function annotations]] в качестве источника информации о типах:

<pre>
def f(x : int) -> float:
return float(x)
</pre>

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]]

=== stream-lib revisited ===
Для Java [[https://github.com/clearspring/stream-lib есть]] замечательная библиотека, реализующая summary statistics для потоков данных. Было бы здорово реализовать что-то похожее на Python.

=== Клиент для Google Play ===
Есть только 2 способа пользоваться Google Play, с телефона, или из браузера, при этом если хочется получить apk файл на компьютер, то единственный способ это вытаскивать его с телефона.
Почему бы не написать кросс платформенный клиент с использованием Qt, который позволит качать файлы прямо на ПК(и можно добавить различные возможности). Притом что протокол довольно прост.

=== Экстеншен для идеи про обход массивов ===
Экстеншен для идеи, который видит, что двумерный массив обходится в "плохом" порядке (с потерей кэшей) и предлагает поправить.

=== Парсер теховских формул на хаскелле (или на скале) ===
Хочется взять теховскую формулу и получить по ней объект, который умеет ее исполнять.

-- Обычно идут другим путем, записывают формулу на каком-нибудь DSL, чтобы можно было её вычислить и сконвертировать в TeX. (С. Лебедев)

Devdays2h2012

2012-11-11T14:43:56Z