Научная деятельность

В течение ряда лет занимаюсь построением и исследованием вычислительных моделей, для которых основным разрабатываемым понятием было и остается представление о вычислении (computing). Это понятие оказалось оснащенным комплексом дисциплин, важную роль среди которых в настоящее время занимает теория объектов (domain theory; theory of objects). В частности, теория объектов для денотационной семантики насчитывает более тридцати лет и за это время многими людьми  предложено целое многообразие вычислительных идей и интересных конструкций, возникло много трактовок представления об объекте. Для развития программирования плодотворной оказалась теория объектов в форме декартово замкнутой категории (д.з.к.), в которой имеются произведения и функциональные пространства, позволяющие интерпретировать ламбда-исчисление с типами, а также получать решения для уравнений с объектами. Как оказывается, интерпретацию получают рекурсивные определения объектов и, возможно, объекты ламбда-исчисления без типов. Детали на URL: http://vew.0catch.com.

Живое видео

Полноформатный видеокурс по аппликативному компьютингу, подробности распространения.

Учебная работа

• Индивидуальный компьютерный практикум

Периодически руковожу индивидуальной компьютерной практикой в ИАО "ЮрИнфоР-МГУ", которая включает компьютерную графику, 3D-графику и анимацию, подготовку научных текстов с использованием LaTeX, проектирование баз данных.

• Подготовка специалистов в системе альтернативного высшего образования

Для слушателей ИАО "ЮрИнфоР-МГУ" я читаю курс логики. В этом году рассматриваются вопросы техники формальных рассуждений, включающей сентенциальное исчисление со связками `NOT', `IF', `AND', `OR', `IF AND ONLY IF'. Уделяется внимание связи с рассуждениями в естественном языке, поэтому рассматриваются перевод и символизация, правила вывода, сокращенные доказательства. Применяются различные формы допущений, рассматривается истинностнозначный анализ предложений и формы фальсификации.

• Занятия со студентами и аспирантами

В МИФИ на кафедре кибернетики я читаю курс дискретной математики, имеющий связь с проблематикой теоретических компьютерных наук. Разделы курса включают аппликативные вычисления (ламбда-исчисление и комбинаторную логику), построение абстрактных машин и средств вычисления значения, вычисления в категории, категориальную абстрактную машину, исчисления с типами. Курс обеспечен руководствами, которые дают студентам возможность изучить решения наиболее важных задач теории вычислений, а в текущем учебном году я работаю совместно с М.Л. Файбисовичем. 

Имеется демо и руководство для выполнения лабораторных работ с комбинаторами либо можно получить исходную программу, выполняющую вычисления с комбинаторами. Имеется руководство для вычислений в категории либо можно получить исходную программу, выполняющую вычисления в категории,

Научные исследования

Область научных интересов составляют модели данных, проектирование баз данных, реализация баз данных, объектное и объектно-ориентированное программирование и проектирование, языки программирования, аппликативные вычислительные системы. Под моим руководством выполнены исследовательские проекты Логико-Аппликативная Моделирующая База ДАнных ЛАМБДА (версия 3, проект 93-01-00943 по гранту РФФИ), Категориальная Объектно-Ориентированная Абстрактная Машина КООАМ (проект 96-01-01923 по гранту РФФИ), Объекты метаданных для основанной на прокси вычислительной среды (проект 99-01-01229 по гранту РФФИ). Детали на URL: http://vew.0catch.com.

Книги, конференции

В 1999-2003 гг. являлся председателем Международных конференций по компьютерным наукам и информационным технологиям -- International Workshops in Computer Science and Information Technologies (CSIT). Член программного комитета 29-й Международной конференции по Очень Большим Базам Данных -- 29th International Conference on Very Large Data Bases (9-12 September 2003, Berlin, Germany). Автор книг Логика: Техника рассуждений (2001, Центр "ЮрИнфоР"), Конструкции языков программирования: Приемы описания (2001, Центр "ЮрИнфоР'), Категориальная абстрактная машина: Введение в вычисления (2002, Центр "ЮрИнфоР"), Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах (2003, МИФИ -- Центр "ЮрИнфоР").

::Книги Серия: Компьютерные науки и информационные технологии. Публикации в этой серии задуманы как продолжающийся ряд работ в области компьютерных наук, информационных технологий и программирования, способствующих накоплению знаний в этих областях. Предисловие редакторов серии ::Как приобрести книги серии

Диссертации

Диссертации, отражающие научные результаты, которые были получены в разное время в ходе совместной работы. Перейти к диссертациям.

Дипломные проекты

Дипломные проекты, отражающие текущие научные и/или инженерные интересы. Перейти к дипломным проектам.

Учебно-исследовательские работы и курсовые проекты (УИР и КП)

Учебно-исследовательские работы и курсовые проекты, отражающие текущие научные и/или инженерные интересы. Перейти к УИР и КП.

Научная работа

В мои научные интересы входят Базы Данных в целом, объектно-ориентированные системы, логика, компьютерные науки и, в частности, разделы ламбда-исчисления, комбинаторной логики и теории категорий.

Мои исследования в области компьютинга кратко систематизированы в статье

• Аппликативный компьютинг: попытки установить природу вычислений, опубликованной в: Сборник научно-популярных статей -- победителей конкурса РФФИ 2006 года. Выпуск 10. -- Под ред. чл.-корр. РАН В.И. Конова. -- М.: Октопус. Природа, 2007. -- с. 446-459. Проект РФФИ 06-07-99005-с. 

Мои нынешние взгляды на роль и место представления об объекте в информатике, компьютерных науках и информационных технологиях отражает презентация

• Комбинаторная логика в программировании, представленная на конференции Технологии информатизации профессиональной деятельности, ТИПД-04, Ижевск, 2004 г.

Мои интересы в области функционального программирования в известной мере отражает работа

• Functional Notation for Indexed Concepts, представленная на 9th International Workshop on Functional and Logic Programming (WFLP'2000) http://www.dsic.upv.es/~wflp2000/,

Из работ прошлых лет, возможно, наиболее значительной является работа

• Object-oriented solutions, представленная в Proceedings of the Second International Workshop on Advances in Databases and Information systems (ADBIS'95).
  Abstract. This paper contains the outline of motivations, mathematical ideas in use, pre-formalisation and assumptions for `object-as-functor' construction. The development of `soft' types and their connection with variable domains is discussed within the categorical evaluator framework. The computation environment is fitted to match the evaluation in a category. The commutative diagrams are used to maintain the dynamics of objects. Case study of objects gives the distinction between singular objects, f-cloned objects, g-transacted objects. In particular, the 1A-cloned and 1A-transacted objects are shown to be similar to intuitively `static' objects. A set of examples is generated to illustarate the computational features of the data model. The optimal computations have been achieved for a `soft' typed higher-order language. Other promising corollaries include the connections with higher-order functions, leading to purely applicative computations. While previous evaluators have been, in a sense, static evaluators, this one is a dynamical evaluator (`events evolve along the evolvent'), thus generating the new kind of computations with the `soft' types.

Еще некоторые из работ прошлых лет:

• Computational Aspects of Data Objects, доклад, напечатанный в Proceedings of the Workshop on Advances in Databases and Information Systems (ADBIS'93). May 11-14, 1993. Moscow: Russian Academy of Sciences, IPI.
   Abstract: The symbolic computations based on the lambda-calculus or combinatory logic involve typed objects giving rise to the family of the object-oriented calculi. The natural family results from the assuming object as a triple <concept, individual, state>. The right framework is given by the representative functor that generates the variable concepts. Thus the idea of `data object' or `metadata object' is derived from the universe with the useful mathematical properties. Some parameters can be indicated to simulate data object as the mathematical process to provide the additional dimension of `evolving the events'. The basic technique of applicative reasoning in this paper goes further to apply the variable concepts to deeper analysis of the data object origin.

• Objects and their computational framework, имеющаяся в Proceedings of the Third International Workshop on Advances in Databases and Information Systems (ADBIS'96). September 10-13, 1996.Moscow: MEPhI. Доступна также через eWiC: http://ewic.bcs.org/conferences/1996/advances/papers/paper22.htm.
  Abstract: Most of the object notions are embedded into a logical domain, especially when dealing with a database theory. Thus, their properties within a computational domain are not yet studied properly. The main topic of this paper is to analyse different concepts of the distinct computational primitive frames to extract the useful object properties and their possible advantages. Some important metaoperators are used to unify the approaches and to establish their posiible correspondencies.
• Building the Access Pointers to a Computation Environment, имеющаяся в Proceedings of the 1st East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), St Petersburg, 2-5 September 1997. Доступна через eWiC:
  http://ewic.bcs.org/conferences/1997/advdatabs/papers/paper41.htm
  Abstract: A common object technique equipped with the categorical and computational styles is briefly outlined. An object is evaluated by embedding in a host computational environment which is the domain-ranged structure. An embedded object is accessed by the pointers generated within the host system. To assist with an easy extract the result of the evaluation a pre-embedded object is generated. It is observed as the decomposition into substitutional part and access function part which are generated during the object evaluation.

Одна из моих  работ прошлых лет по искусственному интеллекту:

• Frame Theory and Computations,
  опубликованная в журнале Computers and Artificial Intelligence, 3 (1984), No. 1, 3—32.
  Abstract: This paper deals with the integration of the "computational" knowledge representation model and "intensional" problem domain model. The first model is based on the calculi of lambda-conversions, the theoretical foundations of LISP-like programming languages. The second model is grounded on the frame theory for the suitable problem domain "situational model". These formal and non-formal (formalized) primitives are built-in tools within the scenario-frame environment for computational purposes of the given problem domain. The introduced frames are in a considerable degree simple objects -- they may be constructed by the application and lambda-abstraction operators exclusively. The inter-convertibility of the knowledge representation "aspects", their interconnections by means of the convertibility relation and frame expressibility in LISP-like languages, are stressed in the paper.
  Резюме: В работе рассмотрены связи «вычислительной» модели представления знаний с «содержательной» интенсиональной моделью предметной области. В первом случае используются методы ламбда-конверсии, теоретической основы языка программирования ЛИСП и ЛИСПоподобных языков. Во втором случае строится теория фреймов для подходящим образом подобранной «модели ситуации» предметной области. Исследованы правила получения типовых фреймов - сценариев вычисления для заданной предметной области. Представленные в работе фреймы отличаются значительной простотой: их можно получить, пользуясь только операторами аппликации и ламбда-абстракции. Вместе с тем рассматриваемые фреймы позволяют соединить интегрированность представления знания фреймами с вычислительной моделью. Основное внимание в работе уделено взаимному превращению «аспектов» представления знаний, их связи с помощью отношения конвертируемости и выразимости фреймов в аппликативных языках программирования типа ЛИСП.

Еще несколько книг прошлых лет:

• Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. М.: МИФИ, 1994 -- руководство по исчислениям объектов. Главная идея состоит в том, что функции высших порядков и категории можно и нужно использовать для означивания программ. В течение целого ряда лет это была, возможно, одна из наиболее читаемых книг.  Теперь можно получить ее копию в PostScript.
    Загрузить бесплатную копию
   
• Теория вычислений. -- М.: МИФИ, 1993 -- краткая книжка, которую можно рассматривать как введение в функциональное программирование для студентов, изучающих компьютерные науки. В сжатой форме изложены наиболее обещающие идеи из программирования..
• Проектирование языков программирования и теория вычислений. -- М.: МИФИ, 1993 --  в этой книге используются методы денотационной семантики, которые применяются для анализа программ высших порядков. Включены результаты по семантикам с продолжениями.
• Категориальная абстрактная машина. -- М.: МИФИ, 1993 -- учебник для упражнений в технике категориальных вычислений (в стиле одного из ее авторов, P.-L.Curien). Описан метод вычисления значения программ, когда доступ к среде вычислений моделируется композицией проекций.

Список более современных публикаций можно найти в книгах последних лет, а также, воспользовавшись The Computing Research Repository (CoRR): http://arxiv.org/find/cs.

Программное обеспечение

• Лабораторные работы по вычислениям с комбинаторами.
• Лабораторные работы по вычислениям с категориальной абстрактной машиной.

Разное

	Для получения свежей информации о книгах воспользуйтесь сервером http://www.jurinfor.ru/.
	Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation) http://www.kluweronline.com/issn/1388-3690
	Ламбда-исчисление: первичные сведения
	Группа принципов языков программирования (ПЯП)

Специалисты в области вычислений с объектами

Для удобства начала исследовательской работы в этой области посетите эту страницу. Страница находится в стадии разработки.