САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ , МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»
|
САЙТ ПО АВТОМАТНОМУ ПРОГРАММИРОВАНИЮ И МОТИВАЦИИ К ТВОРЧЕСТВУ
|
Не беспокойтесь, что ваши идеи украдут. Если эти идеи хороши, вы должны вбить их людям в глотки. Любая достаточно продвинутая технология неотличима от магии. Чтобы в этих обстоятельствах создать значительное произведение требуется такая степень человеческой цельности, которой чаще обладают трагические герои, нежели авторы трагедий. И. Бродский
Единственное, что в нашей власти - это суметь не исказить голос жизни, звучащий в нас. Б. Пастернак
Главная тема, роднящая поэтов, погибших на фронте и писавших свободно в несвободной стране — противостояние огромной, превышающей твои личные силы, нечеловеческой мощи. Константин Кузьминский
Маркетинг и PR практически полностью заменили в нашей стране науку и ремесло в информационных технологиях, а наличие больших денег позволило поначалу закрыть на это глаза, а потом и ослепнуть. Оганесян А. Хаос как предчувствие //CNews.
2006. N6, с.11
… Таланты создавать нельзя, но можно создавать культуру — почву, на которой растут и процветают таланты. Чем больше, шире и демократичнее культура, тем чаще появление таланта или гения. Один ученый назвал живопись Ренесcанса эпидемией гениальности. Генрих Нейгауз, пианист
Когда все начали сомневаться в Родене, Роден перестал сомневаться в себе. Райнер Мария Рильке
Кто хочет сдвинуть мир, пусть сначала сдвинет себя. Сократ
Теряешь деньги - приобретаешь опыт, теряешь жену - приобретаешь свободу, теряешь здоровье - приобретаешь удовольствия, и только теряя надежду - теряешь все. Г. Горин
Если человек честно живет и трудиться так, что те, кто зависят от него и привязаны к нему, живут лучше благодаря тому, что он живет на свете, то можно сказать, что такой человек преуспел в жизни. Д. Рузвельт
Есть вещи непонятные кому-то одному. Все, вроде бы, все понимают - а ты, ну, никак не можешь понять! Вот тут и получаются настоящие открытия. Только тут. Так что надо ждать, когда это непонимание тебя осенит. Максим Кантор
Искусство от неискусства отличается чуть-чуть. Лев Толстой
Автоматное программирование отличается от программирования с автоматами, также как линейное программирование от программирования с линейками. Анатолий Шалыто
Многие не стараются специально выражаться туманно. Они всего лишь не пытаются выражать свои мысли явно. Пол Грэм
Мир расступится перед человеком, который знает куда идти. Секрет успеха - настойчивость в достижении цели. Бенджамен Дизраэли
Найди любимое занятие, и тогда ты никогда не будешь больше работать. Конфуций
Мудрый познает жизнь, не выходя со своего двора, а остальным надо путешествовать. Китайская пословица
Ничто не может заменить настойчивости: ни талант - нет ничего более обычного, чем талантливые неудачники, ни гениальность - гений-неудачник уже вошёл в поговорку, ни образование - мир полон образованными изгоями. Всемогущи лишь упорство и настойчивость. Кэлвин Кулидж
Не позволяй душе лениться! Чтоб в ступе воду не толочь, Душа обязана трудиться, И день и ночь, и день и ночь! Николай Заболоцкий
Весь мир расступится перед человеком, который знает куда идти. Иди своей дорогой, и пусть люди говорят, что хотят! Научная карьера – это реализация идей, самостоятельная работа. Это независимость с большой буквы. Время ваше ограничено, поэтому не тратьте его на то, чтобы жить не своей жизнью… Не давайте шуму чужих мнений заглушить ваш внутренний голос. Не бойтесь следовать зову своего сердца и чутья. Стив Джобс
В науке слава достается тому, кто убедил мир, а не тому, кто первый набрел на идею. Ф. Дарвин
|
Информация о кафедре
25.05.2004 доктор технических наук, профессор Шалыто А.А., ранее руководивший кафедрой «Информационные системы», избран заведующим кафедрой «Технологии программирования».
Сайт инициативы "Сохраним в университетах лучших!"
Сможем ли мы сохранить в университетах лучших?
Инициатива "Сохраним в университах лучших!" поддержана Президентом РФ Д.А.Медведевым
Инициатива "Сохраним в университетах лучших!" была изложена Президенту РФ Дмитрию Анатольевичу Медведеву на встрече с победителями студенческого командного чемпионата мира по программированию 2009 г., которая проходила в Барвихе 06.05.2009 г., и была им одобрена
Научно-образовательный центр СПбГУ ИТМО "Искусственный интеллект и робототехника"
Разработка кода происходит путем внесения в него изменений и дополнений, - сказал один опытный программист. Какое уж там проектирование программ?
Шалыто А.А. Зачем нужны автоматы?
Прочтите эти статьи, и природа автоматного программирования станет яснее!
http://www.osp.ru/os/2008/06/5345473/
http://is.ifmo.ru/works/turing/
Что такое автомат? Посмотрите здесь
Шалыто А.А. Автоматное программирование, водка и буква Ё
Первый в мире сборник статей по автоматному программированию
Чем отличается автоматное программирование от программирования с применением автоматов?
Новая инициатива для ИТ-отрасли России «Сохраним в университетах лучших!»
Шалыто А.А. Скромное обаяние автоматного программирования
Автоматное программирование в Wikipedia
"Автоматное программирование" в свободной русской энциклопедии "Традиция"
"Switch-технология" в свободной русской энциклопедии "Традиция"
Шалыто Анатолий Абрамович в Wikipedia
Switch-технология в Wikipedia
Движение за открытую проектную документацию в Wikipedia
Workshop по автоматному программированию
Шалыто А.А. Триединая задача одного педагогического эксперимента в области ИТ-образования
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Шалыто А.А. Автоматное программирование
Шалыто А.А. Термин "автоматное программирование" на английском языке
«Наука и инновации»: Выбраны лучшие инновационные проекты России
КоммерсантЪ: Волшебный сундучок Роснауки
Сотрудничество кафедры «Технологии программирования» и компании eVelopers
eVelopers подружились с ИТМО
UniMod — инструмент, поддерживающий SWITCH-технологию;
Демонстрация работы пакета UniMod;
Демонстрация работы отладчика в UniMod.
UniMod упоминается при чтении лекций в Университете Глазго.
O'Reilly и UniMod
Wikipedia, автоматы и UniMod
Мнения об инструментальном средстве UniMod
Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России
Вице-президент компании Borland об инструментальном средстве UniMod
В Польше вышла книга про UML 2.0, в которой среди инструментальных средств для платформы Eclipse упомянут UniMod. Открытый проект UniMod опубликован на диске — приложении к этой книге
В ЗАО «Морские навигационные системы» используется автоматное программирование
«Самостоятельное внедрение SWITCH-технологии в сложном процессе»
Среда для моделирования клеточных автоматов CAMEL http://camellab.spb.ru/
«К чему я стремлюсь в программировании!»
Никлаус Вирт — почетный доктор СПбГУИТМО
Виртуальная лаборатория для первоначального обучения проектированию автоматных программ
Инициатива "За открытую проектную документацию"
27.11.2002 на торжественном открытии полуфинальных соревнований командного чемпионата мира по программированию АСМ (Северо-Восточный Европейский регион) в Санкт-Петербургском городском Дворце творчества юных профессор СПбГУИТМО Шалыто А.А. объявил об организации инициативы «За открытую проектную документацию», которое является развитием «Движения за открытые программные источники» (Foundation for Open Project Documentation). В рамках этой инициативы делается упор на документацию проектов создания программ. Об этом движении — в разделах «Статьи», «Проекты» и «Визуализаторы».
Обратите внимание:
Достижения студентов кафедры «Компьютерные технологии» на студенческих командных чемпионатах мира по программированию,
«Новая инициатива в программировании. Инициатива за открытую проектную документацию»,
«Еще раз об открытой проектной документации»,
«Технология автоматного программирования»,
«В чем кроется коренная причина проблемы нехватки квалифицированных ИТ-кадров в России?»,
«Как вам это нравится?»,
«А нравится ли Вам это?»,
Обсуждение с Иваром Якобсоном, одним из создателей языка UML, того, что с помощью этого языка не описать очень сложную логику,
Switch-технология продолжает внедряться,
Автоматное описание живописи (А. Матисс),
Применение конечных автоматов при программировании мобильных устройств,
Программирование с явной реализацией моделей,
Откуда появился понятие «автоматное программирования»?.
Автоматное программирование как парадигма програмирования
Ссылки и благодарности
Портал университета размещен по адресу www.ifmo.ru
Некоторые из приведенных на сайте материалов опубликованы также на сайтах www.softcraft.ru и www.avrorasystems.com
Разработчики сайта благодарны Александру Ивановичу Легалову, создателю сайта www.softcraft.ru, за поддержку в течение длительного времени автоматного программирования.
Контакты:
shalyto@mail.ifmo.ru (Шалыто)
Cайт создан студентом кафедры «Компьютерные технологии» СПбГУИТМО Александром Наумовым (gooroo@bk.ru). До 2007 года сайт поддерживался Сергеем Столбовым (stolbov@gmail.com). C 2007 года сайт поддерживается Михаилом Царевым (mikhail.tsarev@gmail.com).
| © 2002—2009 |
По техническим вопросам сайта: mikhail.tsarev@gmail.com
|