Содержание журнала, редсовет, редколлегия, информация об обложке и о диске.
Table of contents, editorial board, editors, information on cover, information on CD
Предлагается тема проекта для студентов 3–5 курсов университетов, специализирующихся в области информационных технологий, связанная с исследованием схемы реализации алгоритмических языков на базе объектно-ориентированного описания семантики языка и метода синтаксически управляемого перевода входной программы в промежуточный объектно-ориентированный код. Семантика программы реализуется за счёт использования одной полиморфной функции, вызываемой рекурсивно для исполнения конструкций программы в динамической последовательности, зависящей от значений данных. Этот полиморфизм учитывает как бесконтекстную синтаксическую структуру программы, так и её контекст, связанный видами или типами конструкций, её составляющих. Такая объектно-ориентированная спецификация семантики языка программирования приводит к функционально-ориентированной структуре выходной программы, которая может реализовываться на базе функциональных систем программирования. Цель работы: изучить метод описания алгоритмических языков по А. ван Вейнгаардену и исследовать предлагаемую схему их реализации с использованием современных средств синтаксического анализа и систем объектно-ориентированного программирования.
The scheme for implementation of algorithmic languages is proposed, based on object-oriented specification of semantics and syntax-directed translation technique. The resulting code is generated in object-oriented style. The project is suggested as a research topic for 3rd, 4th, or 5th year IT students. Program semantics are implemented by means of a polymorphic function being recursively called for the purpose of executing the program constructs in a dynamic sequence, depending on actual data values. The polymorphism takes into account context-free structure of the program, as well as context dependence on the modes or types of constructions. The object-oriented specification of the programming language semantics results in functional program structure that may be implemented by a functional programming system. The main goals are to study the algorithmic language description method by A. van Wijngaarden and to investigate the scheme for language implementation by means of the present-day parsing technique and object-oriented programming systems.
Ключевые слова: Алгоритмические языки, анализаторы, грамматики, языки объектно-ориентированного программирования.
Keywords: algorithmic languages, analyzer, grammars, object oriented programming. В четвертой из серии статей о языках разметки автор рассматривает верстку математических формул на языке LaTeX. Являясь действующим математиком, автор обращает внимание в основном на те аспекты, которые он использовал при наборе собственных статей. В отличие от книги Львовского, автор рассматривает некоторые нестандартные возможности, которые улучшают качество текста, однако делает это в гораздо меньшем объеме, чем в фундаментальной книге Миттельбаха, Самарина и Гуссенса.
In the fourth article of the series on markup languages the author considers making-up mathematical formulas using the LaTeX language. Being an active mathematician, the author pays attention to those aspects which he used typing his articles. Unlike the book by Lvovski the author considers some nonstandard resources, but touch them not as deep as in the book of Mittelbach, Samarin and Gussens.
Ключевые слова: TeX, LaTeX, вёрстка математических формул.
Keywords: TeX, LaTeX, making-up mathematical formulas.В статье анализируются актуальные научные и практические проблемы преподавания современных технологий программирования (и ИТ в целом) в России. Статья продолжает и развивает тематику доклада автора на всероссийской конференции по преподаванию ИТ (г. Тверь, 2007 г.)
The paper covers some present-day scientific and organizational issues of teaching informational technologies in Russia. The paper continues and enhances the author's talk at IT teaching conference in Tver, Russia, 2007.
Ключевые слова: Информационные технологии (ИТ), Java, .NET, компиляторы, методы преподавания ИТ
Keywords: .NET, compilers, IT, Java, teaching methods В статье приведен опыт применения пакета Model Vision Studium для моделирования задач кинематики плоских рычажных механизмов в процессе преподавания дисциплины «Теория механизмов и машин». Рассмотрены примеры моделирования конкретных механизмов.
In the article the application of Model Vision Studium software for simulation of kinematics of plane linkages within the subject Theory of Mechanics and Machines is taken into consideration. Some examples of plane linkage models are analysed.
Ключевые слова: Моделирование, теория механизмов и машин, плоские рычажные механизмы
Keywords: modeling, plane linkages, Theory of Mechanics and Machines Статья содержит увлекательный рассказ об участии команды СПбГУ ИТМО в финале командного чемпионата мира по программированию АСМ 2007/2008 гг., происходившего в г.Банф, Канада. Автор ярко и живо рассказывает о напряженной борьбе и интригах соревнования, в конце которого команда СПбГУ ИТМО смогла опередить команду Массачусетского института технологий, и занять первое место в финале.
Ключевые слова: Cоревнования по программированию, чемпионат мира
Keywords: ACM, programming contest, world championship