НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ , МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»
|
САЙТ ПО АВТОМАТНОМУ ПРОГРАММИРОВАНИЮ И МОТИВАЦИИ К ТВОРЧЕСТВУ
|
Не беспокойтесь, что ваши идеи украдут. Если эти идеи хороши, вы должны вбить их людям в глотки. Говард Айкен,
внес существенный вклад в развитие вычислительной техники и теории переключательных схем. Любая достаточно продвинутая технология неотличима от магии. Артур Кларк
Чтобы в этих обстоятельствах создать значительное произведение требуется такая степень человеческой цельности, которой чаще обладают трагические герои, нежели авторы трагедий. И. Бродский
Единственное, что в нашей власти - это суметь не исказить голос жизни, звучащий в нас. Б. Пастернак
Главная тема, роднящая поэтов, погибших на фронте и писавших свободно в несвободной стране — противостояние огромной, превышающей твои личные силы, нечеловеческой мощи. Константин Кузьминский
Маркетинг и PR практически полностью заменили в нашей стране науку и ремесло в информационных технологиях, а наличие больших денег позволило поначалу закрыть на это глаза, а потом и ослепнуть. Оганесян А. Хаос как предчувствие //CNews.
2006. N6, с.11
… Таланты создавать нельзя, но можно создавать культуру — почву, на которой растут и процветают таланты. Чем больше, шире и демократичнее культура, тем чаще появление таланта или гения. Один ученый назвал живопись Ренессанса эпидемией гениальности. Генрих Нейгауз, пианист
Когда все начали сомневаться в Родене, Роден перестал сомневаться в себе. Райнер Мария Рильке
Кто хочет сдвинуть мир, пусть сначала сдвинет себя. Сократ
Теряешь деньги - приобретаешь опыт, теряешь жену - приобретаешь свободу, теряешь здоровье - приобретаешь удовольствия, и только теряя надежду - теряешь все. Г. Горин
Если человек честно живет и трудиться так, что те, кто зависят от него и привязаны к нему, живут лучше благодаря тому, что он живет на свете, то можно сказать, что такой человек преуспел в жизни. Д. Рузвельт
Есть вещи непонятные кому-то одному. Все, вроде бы, все понимают - а ты, ну, никак не можешь понять! Вот тут и получаются настоящие открытия. Только тут. Так что надо ждать, когда это непонимание тебя осенит. Максим Кантор
Искусство от неискусства отличается чуть-чуть. Лев Толстой
Автоматное программирование отличается от программирования с автоматами, также как линейное программирование от программирования с линейками. Анатолий Шалыто
Многие не стараются специально выражаться туманно. Они всего лишь не пытаются выражать свои мысли явно. Пол Грэм
Секрет успеха - настойчивость в достижении цели. Бенджамен Дизраэли
Найди любимое занятие, и тогда ты никогда не будешь больше работать. Конфуций
Мудрый познает жизнь, не выходя со своего двора, а остальным надо путешествовать. Китайская пословица
Ничто не может заменить настойчивости: ни талант - нет ничего более обычного, чем талантливые неудачники, ни гениальность - гений-неудачник уже вошел в поговорку, ни образование - мир полон образованными изгоями. Всемогущи лишь упорство и настойчивость. Кэлвин Кулидж
Не позволяй душе лениться! Чтоб в ступе воду не толочь, Душа обязана трудиться, И день и ночь, и день и ночь! Николай Заболоцкий
Весь мир расступится перед человеком, который знает куда идти. Иди своей дорогой, и пусть люди говорят, что хотят! Научная карьера – это реализация идей, самостоятельная работа. Это независимость с большой буквы. Время ваше ограничено, поэтому не тратьте его на то, чтобы жить не своей жизнью… Не давайте шуму чужих мнений заглушить ваш внутренний голос. Не бойтесь следовать зову своего сердца и чутья. Стив Джобс
В науке слава достается тому, кто убедил мир, а не тому, кто первый набрел на идею. Ф. Дарвин
Главное качество, определяющее успех в жизни – упорство. Президент РФ Д.А. Медведев
Лучше спасти одного человека, чем строить семиярусную пагоду. Древний Китай
|
Информация о кафедре
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
Шалыто А.А. Триединая задача одного педагогического эксперимента в области ИТ-образования
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Шалыто А.А. Автоматное программирование
Шалыто А.А. Термин "автоматное программирование" на английском языке
«Наука и инновации»: Выбраны лучшие инновационные проекты России
КоммерсантЪ: Волшебный сундучок Роснауки
Сотрудничество кафедры «Технологии программирования» и компании eVelopers
eVelopers подружились с ИТМО
UniMod — инструмент, поддерживающий SWITCH-технологию;
Демонстрация работы пакета UniMod;
Демонстрация работы отладчика в UniMod.
Мнения об инструментальном средстве UniMod
Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России
В Польше вышла книга про UML 2.0, в которой среди инструментальных средств для платформы Eclipse упомянут UniMod. Открытый проект UniMod опубликован на диске — приложении к этой книге
В ЗАО «Морские навигационные системы» используется автоматное программирование
«Самостоятельное внедрение SWITCH-технологии в сложном процессе»
«К чему я стремлюсь в программировании!»
Никлаус Вирт — почетный доктор СПбГУ ИТМО
Виртуальная лаборатория для первоначального обучения проектированию автоматных программ
Инициатива "За открытую проектную документацию"
27.11.2002 на торжественном открытии полуфинальных соревнований командного чемпионата мира по программированию АСМ (Северо-Восточный Европейский регион) в Санкт-Петербургском городском Дворце творчества юных профессор СПбГУ ИТМО Шалыто А.А. объявил об организации инициативы «За открытую проектную документацию», которое является развитием «Движения за открытые программные источники» (Foundation for Open Project Documentation). В рамках этой инициативы делается упор на документацию проектов создания программ. Об этом движении — в разделах «Статьи», «Проекты» и «Визуализаторы».
Обратите внимание:
Достижения студентов кафедры «Компьютерные технологии» на студенческих командных чемпионатах мира по программированию,
«Новая инициатива в программировании. Инициатива за открытую проектную документацию»,
«Еще раз об открытой проектной документации»,
«Технология автоматного программирования»,
«В чем кроется коренная причина проблемы нехватки квалифицированных ИТ-кадров в России?»,
«Как вам это нравится?»,
«А нравится ли Вам это?»,
Обсуждение с Иваром Якобсоном, одним из создателей языка UML, того, что с помощью этого языка не описать очень сложную логику,
Switch-технология продолжает внедряться,
Автоматное описание живописи (А. Матисс),
Применение конечных автоматов при программировании мобильных устройств,
Программирование с явной реализацией моделей,
Откуда появился понятие «автоматное программирования»?.
Автоматное программирование как парадигма програмирования
Автоматное программирование используется во Флориде
Masters In Mathematics And Computer Science, ITMO
Не так важно кто нечто придумал первым - важно кто начинает это использовать не от случая к случаю, а как технологию: "Как делаются общественно-политические изобретения. Например, само по себе изобретение паровой машины еще не вело к промышленной революции — нечто подобное создавалось и раньше в других странах Европы. Заслуга Джеймса Уатта была не в том, что он изобрел паровую машину, а в том, что сумел продать первые сто экземпляров. Это и есть опыт цивилизации — когда открытие, возникшее исторически случайно, начинает использоваться сознательно, как технология, и воспроизводится в дальнейшем опыте (Виталий Лейбин. Русский репортер)".
Я считаю, что так произошло с автоматным программированием, которое распространяется все шире и шире - http://www.state-machine.com/about/customers.php. Название нашего сайта уже много лет связано с автоматным программированием, у этого сайта даже понятие автомат даже входит в его название. Обратите внимание каким компаниям нужны инструменты для автоматного программирования! А мне все не верили, как оно важно.
Ссылки и благодарности
Портал университета размещен по адресу www.ifmo.ru
Некоторые из приведенных на сайте материалов опубликованы также на сайтах www.softcraft.ru и www.avrorasystems.com
Разработчики сайта благодарны Александру Ивановичу Легалову, создателю сайта www.softcraft.ru, за поддержку в течение длительного времени автоматного программирования.
Контакты:
shalyto@mail.ifmo.ru (Шалыто)
Сайт создан студентом кафедры «Компьютерные технологии» СПбГУ ИТМО Александром Наумовым (gooroo@bk.ru). До 2007 года сайт поддерживался Сергеем Столбовым (stolbov@gmail.com). C 2007 года до мая 2011 года сайт поддерживался Михаилом Царевым (mikhail.tsarev@gmail.com). С мая 2011 года сайт поддерживается Владимиром Ульянцевым (vl.ulyantsev@gmail.com).
| © 2002—2012 |
По техническим вопросам сайта: vl.ulyantsev@gmail.com
|