- Google Games \ Новости
-
Филипп Лансен, автор книги «55 Ways to Have Fun With Google», составил список игр, основанных на поисковой системе Google. Многие из них используют Google Maps, Google Earth, поиск по картинкам и Google Trends. Все игры имеют англоязычный интерфейс. В некоторых играх по нескольким картинкам из выдачи требуется угадать запрос, в других - подобрать запрос из двух слов с единственным результатом. Есть также игры для нескольких участников.
Монтаж, созданный Montage-a-google из фрагментов 20 картинок по запросу «computer science» в Google.
Google Games отличаются от Яндекс.Игрушки тем, что сделаны по мотивам сервисов Google фанатами поисковика, в то время как Яндекс.Игрушки - это флеш-реинкарнации по мотивам популярных в свое время игрушек, сообщает Леонид Бойцов.
14.08.2006, www - МаБИТ-06 \ Конференции и школы
-
25-28 октября 2006 года в Москве в рамках международной научной конференции по проблемам безопасности и противодействия терроризму при поддержке МГУ и Академии криптографии будут проведены семинары, круглые столы, а также пятая общероссийская научная конференция «Математика и безопасность информационных технологий» (МаБИТ-06). Читать далее
13.08.2006, www - Теперь и в живом журнале!! \ Сайт "CSIN.RU"
-
Теперь вы можете включить этот блог в список своих друзей в живом журнале. Информатика-блог автоматически транслируется на ленту http://syndicated.livejournal.com/informatika/ (которую и нужно зафрендить).
11.08.2006, Юрий Лифшиц - IT&TES 2006 \ Конференции и школы
-
С 18 по 24 сентября 2006 г. во Владивостокском государственном университете экономики и сервиса (ВГУЭС) состоится международная объединенная научная конференция «Информационные технологии и телекоммуникации в образовании и науке». Основные направления работы:
- информационные технологии в образовании и науке;
- инновационные библиотечные технологии для образования, науки и культуры;
- научно-образовательные электронные ресурсы;
- Web-порталы: содержание и технологии;
- телекоммуникации и сетевые решения в науке и образовании;
- подготовка кадров для информационного сообщества;
- интеграция российских библиотек в мировое информационное пространство.
Возможно заочное участие в конференции. Для участия в конференции необходимо оплатить организационный взнос до 15 августа. Окончание срока принятия тезисов докладов - 10 сентября.
07.08.2006, www - PLAN-X 2007 \ Новости
-
20 января 2007 в Ницце будет проводиться рабочая группа PLAN-X 2007 по XML-технологиям в рамках симпозиума по основам языков программирования POPL 2007 (ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages). Область основных интересов:
- разработка языков программирования и запросов для XML;
- программирование в модели данных XML;
- формальные аспекты XML и XML-процессоров, связанные с логикой, автоматами, вариантами лямбда-исчисления;
- компиляторы и интерпретаторы для языков, основанных на XML, а также различные методы оптимизации;
- системы типов, языки схем и другие условия целостности для данных, организованных в виде дерева;
- автоматы и преобразователи для деревьев;
- языки и системы для работы с очень большими фрагментами XML, не помещающимися в основную память;
- языки программирования, обеспечивающие интеграцию браузеров, веб-сервисов и баз данных;
- инновационные разработки в области XML-технологий.
Окончание приема статей: 1 октября 2006. Полный перевод анонса на русский язык.
29.07.2006, www - 47th International Mathematical Olympiad \ Новости
-
На 47 международной олимпиаде школьников по математике российские школьники завоевали три золотые и три серебряные медали. По сумме баллов команда России заняла второе место, опередить ее смогла только сборная Китая. Юрий Лифшиц, двукратный золотой медалист международной математической олимпиады 1999 и 2000 годов, рассказывает, как устроено это мероприятие изнутри и кто помог команде России добиться таких выдающихся результатов.
Международная Математическая Олимпиада - это, можно сказать, Чемпионат Мира среди школьников по математике. Для многих это новость, но среди математиков есть такая же спортивная индустрия как в любом другом виде: волейболе или футболе - они решают задачи, они сидят много часов, тренируются многие годы, и в конце концов попадают на этот самый Чемпионат.
Подкаст (аудиозапись) в формате MP3 (3 442 kb, 3:40, 128 kbps)
19.07.2006, www - Дополнительные материалы \ Сайт "CSIN.RU"
-
Обновлена страница курса «Современные задачи теоретической информатики». Добавлены дополнительные материалы: ссылки на статьи, курсы лекций, книги. Теперь доступна диктофонная аудиозапись второй лекции курса (посвящена точным алгоритмам для NP-полных задач и открытым проблемам).
13.07.2006, www - Докторская лекция Бертрана Мейера \ Новости
-
Программная инженерия - это совокупность процессов, методов, технологических приемов, инструментария и языков для разработки качественного программного продукта.
2 июня Бертран Мейер, известный ученый в области программной инженерии и создатель языка Eiffel, прочитал докторскую лекцию в ИТМО, в которой он рассказал про Eiffel и проектирование по контракту. Каждый элемент программного обеспечения создается с определенной целью (в конечном счете в интересах людей - пользователей системы), которую и задает контракт элемента. Контракт любого элемента должен быть явным и являться частью самого элемента программного обеспечения. Одно из свойств контракта заключается в том, что он связывает более двух участников. Рассмотрим простейший пример: клиент намерен отправить пакет с помощью почтовой службы. Контракт описывает обязательства и преимущества сторон.
Поставка Обязательства Преимущества
Клиент принести пакет до 16 часов и оплатить доставку (выполняет предусловие) пакет будет доставлен до 10 часов следующего дня (постусловие)
Поставщик доставляет пакет до 10 часов (выполняет постусловие) не требует никаких действий, если клиент не выполнил контракт (из предусловия) Одно из преимуществ данного подхода в том, что документация не является отдельным продуктом, а составляет часть программы. По тексту класса автоматически создается документация, которая может быть представлена как в текстовом, так и в графическом виде. Бертран Мейер отметил, что трудно одновременно предоставить абстрактное и точное описание системы. Контракты позволяют задать такое описание, в то время как язык UML абстрактен, но не очень точен; языки программирования - наоборот, точны, но не достаточно абстрактны. Контракты обеспечивают основу для автоматического тестирования, при этом нет необходимости даже в подготовке набора тестов. Инструментарий AutoTest позволяет автоматически тестировать программы: создавать объекты и проверять их функциональность, пытаясь найти контрпример. Это возможно благодаря наличию спецификации системы, по которой строятся оракулы тестов. Проектирование по контракту и программирование на языке Eiffel успешно применяется в реализации многих проектов.
- Программное обеспечение для компании Axa Rosenberg, занимающейся инвестиционным менеджментом (написано более двух миллионов строк кода на Eiffel).
- Система оповещения об уровне цен для Чикагской торговой палаты (Chicago Board of Trade).
- Крупномасштабное моделирование комплекса ракетной обороны для Boeing.
Кроме того, Бертран Мейер со своими учениками выполняет систематический анализ библиотек .NET и находит в них множество неявных контрактов. Обзор программирования по контракту на английском языке (слайды доклада).
10.06.2006, www - Интернет-Образование-Наука 2006 \ Конференции и школы
-
С 10 по 14 октября 2006 в Винницком национальном техническом университете Украины пройдет 5 международная конференция «Интернет-Образование-Наука-2006».
Некоторые направления работы конференции:
- компьютерные технологии и Интернет в образовании и научных исследованиях;
- дистанционное образование;
- распределенные системы управления и Интернет;
- интеллектуальные компьютерные системы;
- компьютерная графика и Web-дизайн;
- защита информации;
- телекоммуникационные технологии.
Доклады принимаются до 25 июня (срок может быть продлен). Правила и шаблон для оформления докладов представлены на сайте конференции. Участие в работе конференции может быть очным или заочным, с использованием Интернета.
07.06.2006, www - Встреча с профессором Бертраном Мейером в Санкт-Петербурге \ Новости
-
2 июня в ИТМО в 15 часов состоится встреча с профессором Бертраном Мейером (Швейцария), создателем языка Eiffel (биография Бертрана Мейера). В ходе встречи Бертрану Мейеру будет вручен диплом Почетного доктора университета, после чего он прочтет докторскую лекцию. Приглашаются все желающие. Для прохода в университет необходим паспорт. Адрес: Кронверкский проспект, д. 49; вход со стороны Саблинской ул., проезд до станции метро Горьковская.
31.05.2006, www
Информатика-блог
