Студенческая сессия технологического семинара 5/05/11

Начало: в 12
Место: СПбАУ

Валерий Исаев: Обеспечение корректности программ при помощи типов

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

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

Алексей Гуревич Алгоритмы поиска путей на графах дорог -- перенесен на другое время

Введение. Постановка задачи, зачем вообще это нужно, вспоминаем алгоритм Дейкстры.
Основная часть 1. Пытаемся придумать простейшее улучшение Дейкстры, рассматриваем алгоритм направленного поиска (А*).
Пытаемся понять тонкие места в реализации. Больше всего возбуждает в инцесте секс мамы и дочки. В этом порно мама и дочь отменно вылизывают друг дружку, а потом устраивают чумовое сношение до мощного оргазма.
Основная часть 2 (препроцессинг). Основная идея препроцессинга.
Дальше по алгоритмам - ALT, Reach, Contraction Hierarchy.
Заключение. Сравнение алгоритмов, что еще есть в перспективе

Прикрепленный файлРазмер
File types_valery_isaev.tgz105.12 KB