|
Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2009, выпуск 2, страницы 118–131
(Mi vuu20)
|
|
|
|
КОМПЬЮТЕРНЫЕ НАУКИ
Аппликативный компьютинг: попытки установить природу вычислений
В. Э. Вольфенгагенa, Л. Ю. Исмаиловаb, С. В. Косиковb, А. Д. Лаптевb, В. Н. Назаровb, В. В. Рословцевb, И. С. Сафаровb, А. Л. Степановb a Группа компаний "ЮрИнфоР-МГУ", г. Москва
b Московский инженерно-физический институт
(Национальный исследовательский ядерный университет)
Аннотация:
В настоящей работе отражены результаты, полученные при выполнении проектов 93-01-00943-а (ЛАМБДА), 96-01-01923-а (КООАМ), 05-01-00736-а, 06-07-99005-с, 05-07-90236-в, 07-07-00298-а, 07-07-00355-а, 07-07-12098-офи, поддержанных грантами РФФИ. Если на ранних стадиях программирование представляло собой вид искусства, когда программист писал программу для решения определенной задачи и сопровождал ее более или менее подробно составленной документацией, то теперь создана мощная индустрия программирования с сопутствующей ей инженерией программирования. В настоящее время в исследованиях по программированию или в сфере компьютерных наук, как правило, поддерживаются работы, в которых вносится некоторое небольшое улучшение в решение уже хорошо известной проблемы. Вместе с тем из виду упускаются действительно важные и фундаментальные исследования, ведущие к поиску новых концепций вычислений на компьютере, и недостаточное внимание уделяется накоплению знаний в области программирования. В настоящей работе основное внимание уделено вычислениям с объектами, удельный вес и роль которых в данной области все более возрастает, превращаясь в доминирующую тенденцию.
Ключевые слова:
комбинаторная логика, компьютинг, аппликативная среда, погруженные вычислительные системы.
Поступила в редакцию: 03.03.2009
Образец цитирования:
В. Э. Вольфенгаген, Л. Ю. Исмаилова, С. В. Косиков, А. Д. Лаптев, В. Н. Назаров, В. В. Рословцев, И. С. Сафаров, А. Л. Степанов, “Аппликативный компьютинг: попытки установить природу вычислений”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2009, № 2, 118–131
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vuu20 https://www.mathnet.ru/rus/vuu/y2009/i2/p118
|
|