Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
23 слайда
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
5.87 MB
Просмотров:
53
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![Факультет инноваций и высоких](/documents_6/fecfafbb2c4af914d7cca9430b846495/img0.jpg)
Содержание слайда: Факультет инноваций и высоких технологий
Факультет инноваций и высоких технологий
Московский физико-технический институт
№2 слайд![Лекция Функциональное](/documents_6/fecfafbb2c4af914d7cca9430b846495/img1.jpg)
Содержание слайда: Лекция 4
Функциональное программирование в реальной жизни
№3 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img2.jpg)
№4 слайд![zn c zn c c, z c zC zn c zn c](/documents_6/fecfafbb2c4af914d7cca9430b846495/img3.jpg)
Содержание слайда: zn+1(c)= zn2(c)+c, z0(c)=0; zC
zn+1(c)= zn2(c)+c, z0(c)=0; zC
M = { c C | lim zn(c)<∞}
M’= { c C | |z20(0)|<1 }
№5 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img4.jpg)
№6 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img5.jpg)
№7 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img6.jpg)
№8 слайд![Mainstream языки](/documents_6/fecfafbb2c4af914d7cca9430b846495/img7.jpg)
Содержание слайда: Mainstream языки программирования:
Mainstream языки программирования:
C# 3.0, следующий стандарт C++
Java.next (Clojure, Groovy, JRuby, Scala)
LINQ
XSLT
Excel Spreadsheets
№9 слайд![Autocad Autocad emacs LISP](/documents_6/fecfafbb2c4af914d7cca9430b846495/img8.jpg)
Содержание слайда: Autocad
Autocad
emacs (LISP)
HeVeA
Проекты в рамках Microsoft и MSR
F# Compiler
Driver code verification
AdCenter Challenge
№10 слайд![Cash-cow of Search Cash-cow](/documents_6/fecfafbb2c4af914d7cca9430b846495/img9.jpg)
Содержание слайда: Cash-cow of Search
Cash-cow of Search
Selling “web space” at www.live.com and www.msn.com.
“Paid Search” (prices by auctions)
The internal competition focuses on Paid Search.
№11 слайд![месяца на программирование](/documents_6/fecfafbb2c4af914d7cca9430b846495/img10.jpg)
Содержание слайда: 4 месяца на программирование
4 месяца на программирование
1 месяц на обучение
Задача:
На основе обучающих данных за несколько недель (просмотры страниц) предсказывать вероятность перехода по ссылке
Ресурсы:
4 (2 x 2) 64-bit CPU machine
16 Гб ОП
200 Гб НЖМД
№12 слайд![Объем входных данных Объем](/documents_6/fecfafbb2c4af914d7cca9430b846495/img11.jpg)
Содержание слайда: Объем входных данных
Объем входных данных
7,000,000,000 записые, 6 терабайт
Время ЦП на обучение:
2 недели × 7 дней × 86,400 сек/день =
1,209,600 секунд
Требования к алгоритму обучения:
5,787 записей / сек
172.8 μs на одну запись
№13 слайд![недели кодирования, эксперта](/documents_6/fecfafbb2c4af914d7cca9430b846495/img12.jpg)
Содержание слайда: 4 недели кодирования, 4 эксперта в области Machine Learning
4 недели кодирования, 4 эксперта в области Machine Learning
100 миллионов вероятностных переменных
Обработано 6 терабайт обучающих данных
Обработка в реальном времени!
№14 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img13.jpg)
№15 слайд![Обработка данных Обработка](/documents_6/fecfafbb2c4af914d7cca9430b846495/img14.jpg)
Содержание слайда: Обработка данных
Обработка данных
Синтаксический разбор
Компиляторы, преобразования программ
Data Mining
Традиционное мнение: плохо решаются UI-задачи
Смотрим пример!
№16 слайд![Отсутствие операторов](/documents_6/fecfafbb2c4af914d7cca9430b846495/img15.jpg)
Содержание слайда: Отсутствие операторов присваивания и побочных эффектов
Отсутствие операторов присваивания и побочных эффектов
Функции-как-данные – между функциями и данными не делается явного различия, в чистом ФП «все есть функция»
Декларативное программирование
Высокая функциональная абстракция
Более короткий и выразительный код
За счет автоматического вывода типов
За счет отсутствия операторов присваивания
Прозрачная семантика, близость к математическому понятию функции
Возможность рассуждать о программах, доказывать их свойства
№17 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img16.jpg)
№18 слайд![Принципы функционального](/documents_6/fecfafbb2c4af914d7cca9430b846495/img17.jpg)
Содержание слайда: Принципы функционального программирования
Принципы функционального программирования
Математическая теория в основе функционального программирования – λ-исчисление
Семантика функциональных языков, вопросы реализации
Языки функционального программирования:
Базовый язык - F#
Семейство ML-языков: OCaml, Caml Light, ML, SML
Другие похожие языки: Haskell, Hope, …
Классика ФП – LISP
Примеры на C#, XSLT, …
№19 слайд![Лекции шт. по шт. раз в](/documents_6/fecfafbb2c4af914d7cca9430b846495/img18.jpg)
Содержание слайда: Лекции – 14 шт. (по 2 шт. раз в 2 недели)
Лекции – 14 шт. (по 2 шт. раз в 2 недели)
Интерактивные занятия – 2 шт.
Доклады
Обсуждения
Семинары
по подгруппам, по 1 паре, раз в 2 недели
Лабораторные работы (6-8 шт.)
выполняются дома самостоятельно
http://functional.soshnikov.com
№20 слайд![Экзамен письменный, вопросов](/documents_6/fecfafbb2c4af914d7cca9430b846495/img19.jpg)
Содержание слайда: Экзамен (письменный, 5 вопросов) – 50%
Экзамен (письменный, 5 вопросов) – 50%
Лабораторные работы – 25% - ОБЯЗАТЕЛЬНОЕ!
Самостоятельная работа (доклады, выступления на семинарах, вопросы, дополнительная работа) – 25%
5 – 75%
4 – 60%
3 – 50%
№21 слайд![Научно-исследовательская](/documents_6/fecfafbb2c4af914d7cca9430b846495/img20.jpg)
Содержание слайда: Научно-исследовательская работа
Научно-исследовательская работа
Выполнение полу-исследовательского проекта
Выступление с докладом (15-20 мин.)
Функциональное программирование в реальном мире
Разбор масштабного примера (Fractal-3D, график функции)
Обзор библиотеки / fsharp samples
Обзор языка функционального программирования
Функционально-стековый язык catl
№22 слайд![](/documents_6/fecfafbb2c4af914d7cca9430b846495/img21.jpg)
№23 слайд![http functional.soshnikov.com](/documents_6/fecfafbb2c4af914d7cca9430b846495/img22.jpg)
Содержание слайда: http://functional.soshnikov.com
http://functional.soshnikov.com
Филд А., Харрисон П. Функциональное программирование. – М.: Мир, 1993.
Harrison, J. Introduction to Functional Programming. Lecture Notes, Cambridge University, 1997.
R.Pickering, Foundations of F#, A-Press, 2008.
D.Syme, A.Granicz, A.Cisternio. Expert F#. A-Press, 2008
E. Chailloux, P. Manoury, B.Pagano. Разработка программ с помощью Objective Caml. O’Reilly. Русский перевод: http://shamil.free.fr/comp/ocaml/
Хювёнен Э., Сеппенен И. Мир Lisp'а. В 2-х томах. М.: Мир, 1990.
J.Harrop, F# for Scientists, Wiley, 2008.
Thompson S. Haskell: The Craft of Functional Programming. 2-nd edition, Addison-Wesley, 1999.
http://www.codeplex.com/fsharpsamples