Журнал «Компьютерра» №36 от 04 октября 2005 года, стр. 33

Методы прогнозирования, при всем их многообразии, можно разделить на две группы: математические модели и модели, основанные на социально-экономических методах. Приверженцы первых считают, что математика может описать любое действие. А в условиях макроэкономики, когда любые индивидуальные характеристики усредняются, погрешности математических моделей могут быть отброшены. Математические методы делятся на статистические, опережающие, методы аналогий и пр. Общее у них у всех одно — количественные оценки и использование математических функций для описания поступков людей.

Сторонники социально-экономических методов прогнозирования стоят на позициях экономической психологии. Их главный постулат: экономика в первую очередь — наука о поведении индивидов и социальных групп. А поведение индивида, с этой точки зрения, математикой описывается довольно условно. Оценки здесь весьма общи, опираются, как правило, на качественные характеристики, а их точность весьма приблизительна.

Конечно, такое деление во многом искусственно — большинство уважающих себя экономических школ давно перешло на симбиоз методов, а кроме того, многие базовые теории экономического анализа (к примеру, теорию игр) нельзя однозначно отнести к той или иной группе.

Но у этих методов есть одна общая черта. Они все индуктивны и базируются на предположениях и экстраполяциях. То есть, условно говоря, считается, что человек будет вести себя в жизни определенным образом, потому что… Тут следует длинный список различных теорий — от «невидимой руки» и Маркса до показного потребления и тезисов очередной школы маркетинга.

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

Из этого тупика есть два выхода. Первый — условно экстенсивный. Примерно таким пользуются метеорологи и астрономы. Будучи не в состоянии прогнозировать мультипараметрические системы индуктивно, они начали активно использовать суперкомпьютеры. Выглядит это так. Берется суперкомпьютер (одна штука), загоняются в него все возможные данные, как-то: сила ветра, температура и атмосферное давление по разным метеостанциям, а также изменение в реперных точках, а суперкомпьютер гоняет терафлопы, симулируя ситуацию и выдавая прогноз. Прогноз может быть довольно точным, но, разумеется, не всегда. Риту вот американские синоптики переоценили, хотя вероятность того, что ураган ослабнет, захлебнувшись в теплых прибрежных водах, оставляли.

Второй вариант как раз вытекает из темы нашей статьи: возможность виртуализации экономики путем создания замкнутой экономической модели в рамках компьютерной игры. Достигнув определенного уровня развития, этот игровой мир начинает сращиваться с реальностью. На eBay начинают продавать за реальные деньги виртуальные компании, появляется твердый курс виртуальной валюты к доллару или евро, а артефакты, дающие преимущество в игре, становятся предметом спекуляции.

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

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

В результате мы получаем полигон для обкатки экономических инноваций, позволяющий обойтись без упреков в экспериментах на народных чаяньях. Представьте, что приватизацию 1993 года и шоковую терапию сначала проверяют на сообществе какого-нибудь крупного игрового сервера. Тяжело вздыхаете? Так-то… С большой долей вероятности можно допустить, что многих ошибок удалось бы избежать.

Конечно, и этот способ не лишен недостатков. И главный из них — примитивизм системы. Любое копирование жизни, даже самое точное, всегда оказывается скуднее оригинала, упуская полутона и мелкие детали.

Есть сложности и с социальной выборкой. Все-таки заставить отождествлять для себя игру и жизнь можно лишь небольшую группу людей, как правило, молодых. И даже для самых приспособленных к подобному отождествлению жизнь и игра — разные вещи, где совершенно иные риски и ставки. Не случайно в идеализированных условиях игры, гораздо ярче, чем в жизни, проявляется оптимум Парето — в руках 20% игроков сосредотачивается 80% ресурсов. И всякие попытки админов убрать это распределение приводят к серьезным нарушениям игрового процесса. Сложные системы требуют сложных решений.

И все же модели, основанные на РПГ, представляются наиболее перспективными полигонами для обкатки самых разных задач (не только экономических), где прогнозировать приходится поведение людей и социальных групп.

РЕПОРТАЖ: Виртуальное присутствие

Москву посетил Никлаус Вирт (Niclaus Wirth). Известен он в России прежде всего как создатель языка Pascal. Знаменитый профессор Высшей политехнической школы в Цюрихе (ETH; в ней, кстати, учились Альберт Эйнштейн и Джон фон Нейман) и директор Института компьютерных систем при ETH, Вирт уже оставил преподавание и активную научную деятельность.

Журнал «Компьютерра» №36 от 04 октября 2005 года - _upload608c44g1.jpg

Приехал он в Москву в сопровождении своего давнего коллеги, профессора той же ETH Юрга Гуткнехта, активно продолжающего его дело. Вашему покорному слуге удалось побывать на лекции и последовавшей затем пресс-конференции, которая проходила в Главном лектории Политехнического музея, где сорок с лишним лет назад выступал Норберт Винер.

Организовано было все очень по-домашнему, чему способствовал интеллигентный юмор лектора и живая реакция состоявшей в основном из студентов аудитории, хором помогавшей переводчику, спотыкавшемуся то на «cardinal type», то на «source code».

Так как все мы теперь завязаны на компьютеры, то от той картинки, которую мы ежедневно видим на экране, в значительной степени зависит наш стиль жизни. По крайней мере, не меньше, чем от телевизионной картинки. Язык программирования Pascal и его потомки Modula-2 и Oberon, как и вся остальная деятельность их создателя Никлауса Вирта, — явление общекультурное, их значение не ограничивается рамками компьютерных технологий. Такое заявление я могу себе позволить, опираясь на взгляды Вирта, никогда не устававшего противопоставлять коммерческий и творческий подход к программированию. Можно выразиться так: швейцарец Вирт является бОльшим противником пресловутого «американского» подхода к человеческой деятельности (когда успех измеряется ростом продаж в текущем квартале), чем многие наши доморощенные «патриоты», муссирующие тему о «бескорыстии русского народа». «Сама мысль о том, что человек может испытывать удовлетворение от хорошо выполненной работы — просто потому, что эта работа творческая и профессиональная, признана абсурдной. Не ценится ничего, кроме экономического успеха и его денежного выражения» — это из интервью восьмилетней давности. Правда, в отличие от этих самых «патриотов», Вирт знает, о чем говорит, потому что довольно долго проработал в Америке, в самой колыбели новых технологий — Стэнфордском университете, а в молодости даже учился у изобретателя оконного интерфейса Дуга Энгельбарта.

Вирту глупо задавать вопрос типа «а сами-то что сделали такого, чтобы критиковать Microsoft?» Он сильно выделяется из плеяды многих знаменитых теоретиков-академиков, блестящие труды которых так и остались главой в истории компьютерных технологий, не найдя никакого применения на практике. Например, про Oberon поклонники говорят так: он во всем лучше Java, кроме количества затраченных рекламных денег. Sun официально никогда не заявляла, но и не отрицала, что в основу Java были в значительной степени положены идеи Oberon, что выразилось в выплате Вирту (точнее, видимо, ETH) некоей (небольшой, впрочем, по свидетельству Вирта) суммы за исходные коды. И самим понятием виртуальной машины мы тоже обязаны Вирту, — еще в начале 70-х, одновременно с языком Pascal, он придумал абстрактную P-машину, исполняющую специальный P-код, который интерпретировался на каждом конкретном устройстве.