地球環境ナッシュ均衡シミュレーター　Ver.1.0.2　
（GENES, GENEC, GEBEC）　使用マニュアル

2008年5月29日　上智大学地球環境学研究科　鷲田豊明

１．はじめに

このプログラムは、論文「地球温暖化対策をめぐる地域別の交渉指向性の推計 --- 統合モデルによるナッシュ均衡とナッシュ交渉解の比較分析 ---」のシミュレーションを追試するためのものです。パラメータを変更すれば、さまざまな条件でのシミュレーションが可能になります。論文についてはこちら。

２．プログラムのダウンロードとインストール

（１）ダウンロード
　次の三つのファイルをダウンロードしてください。基本的に自己責任で使用願います。使用に際して生じた損害等に作者は責任を持ちません。利用した結果を発表する場合は、利用している旨を明記してください。

　GENES Genes102Setup.msi
　GENEC Genec102Setup.msi
　GEBEC Gebec102Setup.msi

（２）インストール
　ダウンロードしたファイルをクリックすればインストールが始まります。Windows XP 以前のOSの場合は、Microsoftの.NET Framework Ver.2以上がインストールされていなければなりません。　インストールの途中で、Microsoft .NET FrameWork 2 が必要ですと、言われた場合には、マイクロソフトのサイトからダウンロード（無料です）してインストールしてください。

（３）アンインストール
上記のセットアップファイルを再起動して、削除を選択するか、コントロールパネルの「プログラムの追加と削除」から、該当プログラムを選択して削除できます。

３．各プログラムの機能

インストールが正常に終了すると、次の三つのアイコンがデスクトップ上に作成されます。
　　

（１）GENES：　サーバー、常に起動されていなければならない。モデルの設定はここでのみ行うことができる。


（２）GENEC：　ナッシュ均衡を求めるためのクライアント。一つの実行プログラムが一つの地域を担う。計算負荷を緩和するために、ネットワーク上の複数のコンピュータから立ち上げることができます。1地域、1コンピュータもOK。


（３）GEBEC：　ナッシュの交渉解を求めるためのクライアント。


４．ネットワーク環境

サーバー(GENES)とクライアント(GENEC あるいは GEBEC)は、同じコンピューター上にか、アクセス可能なネットワーク上に置かれる必要がある。

５． ナッシュ均衡の求め方（基本的な手順のみ）

（１）GENESを立ち上げる。変更すべき設定があれば変更する。
（２）GENECを立ち上げて、地域を設定する。地域数だけのGENECを立ち上げる必要がある。GENESと同じコンピュータ上にない場合は、GENESに表示されているサーバーのIPアドレスを、Configuration->Networkを開いて、適切な場所に記入する。最大10台のパソコンに地域を分散させることができる。
（３）GENECのClient->Startで各地域を順次スタートさせる。
（４）すべての地域のStatusがWaitになったら、ナッシュ均衡が求まったことになる。
（５）GENESのClientComsで、ExportAllを選択する。各クライアントがデータをサーバー宛に送信する。
（６）GENESのClientComsで、ClientTerminateを選択する。各クライアントが停止する。
（７）GENESのViewでVariableListを選択する。コンソールに、各地域の結果など、すべての情報がリスト表示される。その部分をコピーして、適当なエディタ(NotePadeでよい)にペーストしてセーブする。エクセルでデータを切り分けた形で開く。

６．ナッシュ交渉解の求め方（基本的な手順のみ）

（１）ナッシュ均衡を求めた状態でGENESをそのまま立ち上げておく。
（２）GEBECを起動する。
（３）GENESと同じコンピュータ上にない場合は、ConfigurationのNetworkを設定しなおす。
（４）ConfigurationのQNewtonを開く。MainLoop Convergenceの値を1e-8程度に変更する。Quasi Newton loopを 1e-10程度に変更する。
（５）ControlのObjectiveFuncがLinear Additive Objectfuncになっていることを確認する。同じく、ControlのSetDefaultにおいて、SaveVariablesのチェックがすべて入っていること、Save to Fileにチェックが入っていることを確認する。
（６）ClientをStartにする。
（７）収束した場合は、ConfigurationのQNewtonを開く。MainLoop Convergenceの値を0.0001程度に変更する。Quasi Newton loopを 1e-5程度に変更する。
（８）ControlのObjectiveFuncでNash Product Objectfuncににチェックを入れる。同じく、ControlのSetDefaultにおいて、SaveVariablesのチェックはそのままにして、Save to Fileにチェックをはずす。
（９）LoadVariblesのすべてにチェックを入れる。Load From Fileにチェックを入れる。
（１０）クライアントをスタートさせる。
（１１）収束したらViewのShowVariablesで結果を表示させる。