Дело за малым
Русская интернет-страничка фан-клуба Стивена Кинга имела в мае 2000 г. в среднем 202 посещений в сутки. Хотя я и не Стивен Кинг, но думаю, что через некоторое время и мой сайт (http://is.ifmo.ru) будет иметь не меньше посещений. Более того, я верю, что после появления на сайте большого числа проектов (включая визуализаторы алгоритмов) на него будут «ходить» почти так же, как ходят на сайты с рефератами.
На днях один студент спросил меня, какую цель я преследую, «сидя» каждый день на кафедре и делая со студентами проекты в рамках инициативы «За открытую проектную документацию»? Я достаточно пространно объяснил ему свои «наполеоновские» планы и в конце сказал: «Я думаю, что у меня это получится!» На что студент ответил: «И я думаю, что у Вас получится. Даже завидно!».
Года два назад два выдающихся студента спрашивали одного не менее выдающегося приятеля: «А зачем ты с ним этим (автоматным программированием) занимаешься?» «А вдруг у него получится!» – ответил тот. Я думаю, что-то в этом направлении начинает получаться, так как один из студентов, задававших вопрос, стал тоже с «ним» «этим» заниматься и получил результаты, которые студенту, похоже, нравятся. Еще «не вечер», и я верю, что и второй выдающийся студент найдет, что «сказать» в этой области, тем более что тренер их олимпиадной команды (сам призер командного чемпионата мира по программированию) также начал «копать» здесь.
А вот фрагмент из статьи Непейвода Н. Логики и стили программирования // Логические исследования. 2003. Т. 10, с. 134-141 (https://logicalinvestigations.ru/article/view/227?lang=ru): «В последние годы программирование от состояний было возрождено (Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука. 1998, 628 с.) и стало «секретным оружием команды петербургских программистов, дважды ставших чемпионами мира». Теперь дело осталось за малым: эту сказку сделать былью!
Отмечу, что сейчас «сказку» про автоматное программирование стало рассказывать проще, так как команда из Санкт-Петербурга в 2004 г. в третий раз победила на чемпионате мира по программированию ACM ICPC, и на этот раз эта команда состояла из студентов кафедры «Компьютерные технологии» нашего университета. Так что чемпионы мира находятся совсем близко от меня, и требуется только, чтобы автоматное программирование им помогло в чем-то еще, кроме сдачи зачета мне!