Optimistic法によるシミュレーション時刻進行によって多数の仮説を投機的にシミュレーション実行する複数の仮説模擬処理部を複数の演算装置に分散し、全体を分散シミュレーション基盤が実行制御する分散シミュレーションシステムにおいて、前記複数の仮説模擬処理部は、自身が仮説を生成する1以上の能動的仮説模擬処理部と、前記1台以上の能動的仮説模擬処理部のそれぞれからのイベント受信によって仮説実行を行う1台以上の受動的仮説模擬処理部とに分類されており、前記分散シミュレーション基盤は、前記複数の仮説模擬処理部のそれぞれにおいて仮説の評価を行い、誤った仮説の取消処理を実行する評価フェーズにおいて、まず前記1台以上の能動的仮説模擬処理部における仮説の取消処理を並列実行させ、次に前記1台以上の受動的仮説模擬処理部における仮説の取消処理を並列実行させることを特徴とする分散シミュレーションシステム。請求項1に記載の分散シミュレーションシステムにおいて、前記1台以上の能動的仮説模擬処理部は、自身が生成した仮説の模擬実行によって発生したイベントを前記1台以上の受動的仮説模擬処理部に送信する際に、発生した前記イベントと前記イベントの発生原因となった仮説との関連性をイベント関連情報として記憶部に記憶しておき、仮説の取消処理を実行する際に、前記イベント関連情報に基づいて取り消さなければならいイベントを検索可能とすることを特徴とする分散シミュレーションシステム。請求項1または2に記載の分散シミュレーションシステムにおいて、前記1台以上の受動的仮説模擬処理部は、前記1台以上の能動的仮説模擬処理部から受信したイベントが後に取消される場合をあらかじめ考慮し、イベント受信の都度、前記イベントが無効であった場合の仮説を反仮説として模擬実行しておくことを特徴とする分散シミュレーションシステム。請求項1ないし3のいずれか1項に記載の分散シミュレーションシステムにおいて、前記分散シミュレーション基盤は、前記1台以上の能動的仮説模擬処理部で能動的に生成された仮説の取消処理の並列実行と、前記1台以上の能動的仮説模擬処理部からのイベント受信によって前記1台以上の受動的仮説模擬処理部で受動的に生成された仮説の取消処理の並列実行とを分離して実行制御することを特徴とする分散シミュレーションシステム。しかしながら、従来技術には、以下のような課題がある。しかし、図8および図9に示したとおり、このシステムは評価フェーズと予測フェーズを繰り返すシステムであり、仮説を多数実行できるという利点は予測フェーズにおいて役立っているが、多数実行された仮説は評価フェーズにおける評価処理においてはシステム全体の高速性を阻害する要因になるという問題がある。この問題を、図10を用いて説明する。図10は、図8に示した従来の分散シミュレーションシステムの予測フェーズおよび評価フェーズの問題点を補足するための説明図である。この図10は、先の図9と同じ状況を示しているが、問題点を明確とするために、評価フェーズをより詳しく説明した図である。図10の評価フェーズでは、まず上段の状態において、仮説模擬処理が観測情報処理から送信されたti時刻の観測情報を元に仮説の評価を実施し、仮説模擬処理1がある時刻の仮設が誤っていたとして取消を行っている破線の○の中に×が付された記号部分が、取消された仮説を示している。取消された仮説は、仮説模擬処理1の予測フェーズにおいて実行された際に、イベントev1を仮説模擬処理2に送信している。このため、評価フェーズにおいて、仮説模擬処理1は、イベントev1の取消を仮説模擬処理2に対して送信する必要がある。図9における予測フェーズを見ると、仮説模擬処理2は、仮説模擬処理1から送信されたイベントev1を基に仮説を実行して、イベントev2を仮説模擬処理1に対して送信している。さらに、仮説模擬処理1は、同様に、ev2を基にev3を仮説模擬処理2に対して送信している。このため、このイベントによる仮説実行の伝播に基づいて、図9における評価フェーズでは、ev1取消、ev2取消、ev3取消を順次実行する必要がある。ここで問題となるのは、このようなイベントによる仮説実行の伝播を取消す処理は、模擬処理間で順次実行する必要があり、どこまで波及するのか事前に把握することができないということである。一般的に、予測フェーズで未来方向に対して長期に渡り多数の仮説を実行できれば、それに応じて評価フェーズでは取消される可能性のある仮説と、それによってイベント取消が長い連鎖となって発生する可能性が高くなる。すなわち、Optimistic法による高速化の恩恵によって、予測フェーズで多数の仮説が実行できたとしても、それに応じて評価フェーズにおける取消処理に非常に時間がかかるようになる可能性が高まり、システム全体としての高速化に限界が生じるという問題がある。本発明は、前記のような課題を解決するためになされたものであり、仮説模擬処理における評価処理を効率化し、高速化を実現した分散シミュレーションシステムを得ることを目的とする。本発明に係る分散シミュレーションシステムは、Optimistic法によるシミュレーション時刻進行によって多数の仮説を投機的にシミュレーション実行する複数の仮説模擬処理部を複数の演算装置に分散し、全体を分散シミュレーション基盤が実行制御する分散シミュレーションシステムにおいて、複数の仮説模擬処理部は、自身が仮説を生成する1台以上の能動的仮説模擬処理部と、1台以上の能動的仮説模擬処理部のそれぞれからのイベント受信によって仮説実行を行う1台以上の受動的仮説模擬処理部とに分類されており、分散シミュレーション基盤は、複数の仮説模擬処理部のそれぞれにおいて仮説の評価を行い、誤った仮説の取消処理を実行する評価フェーズにおいて、まず1台以上の能動的仮説模擬処理部における仮説の取消処理を並列実行させ、次に1台以上の受動的仮説模擬処理部における仮説の取消処理を並列実行させるものである。本発明に係る分散シミュレーションシステムによれば、予測フェーズにおいて自身の仮説模擬処理で能動的に作り出した仮説であるか、あるいは他の仮説模擬処理から送信されたイベントに基づき受動的に処理した仮説であるかにより仮説を分類しておき、評価フェーズにおいて評価対象とする仮説を、自身が能動的に作り出した仮説に限定することにより、仮説模擬処理における評価処理を効率化し、高速化を実現した分散シミュレーションシステムを得ることができる。以下、本発明の分散シミュレーションシステムの好適な実施の形態につき図面を用いて説明する。実施の形態1.図1は、本発明による分散シミュレーションシステムの構成図である。図1に示す本実施の形態1の分散シミュレーションシステムは、観測情報処理10、将来予測模擬部20、および分散シミュレーション基盤30で構成されている。また、将来予測模擬部20は、n台nは、1以上の整数の能動的仮説模擬処理1~nと、m台mは、1以上の整数の受動的仮説模擬処理1~mとが含まれている。なお、図1においては、能動的仮説模擬処理21および受動的仮説模擬処理22がそれぞれ複数台あるように記載されている。しかしながら、本発明の分散シミュレーションシステムにおける将来予測模擬部20は、能動的仮説模擬処理21および受動的仮説模擬処理22を合わせて複数の模擬処理であれば成立するものであり、能動的仮説模擬処理21および受動的仮説模擬処理22のそれぞれが1台以上であればよい。観測情報処理10は、センサ等から得られた観測情報を分散シミュレーション基盤30を通して将来予測模擬部20に反映させる。将来予測模擬部20は、実時間における現在時刻より未来の状況を予測的にシミュレーション実行する。ここで、能動的仮説模擬処理21は、将来予測模擬部20においてOptimistic法による分散並列処理によって仮説を実行する仮説模擬処理部のうち、自身が仮説を生成する仮説模擬処理部である。一方、受動的仮説模擬処理22は、将来予測模擬部20においてOptimistic法による分散並列処理によって仮説を実行する仮説模擬処理部のうち、他の能動的仮説模擬処理21からのイベント受信によって仮説実行を行う仮説模擬処理部である。分散シミュレーション基盤30は、観測情報処理10および将来予測模擬部20内の能動的仮説模擬処理21および受動的仮説模擬処理22について、シミュレーション時刻による時刻進行制御とイベントの送受信制御を行う。図2、図3は、本発明の実施の形態1の分散シミュレーションシステムにおいて、将来予測模擬部20内の能動的仮説模擬処理21および受動的仮説模擬処理22と、観測情報処理10とが、Optimistic法によるシミュレーション実行を行っている場合の補足説明図である。図2、図3を用いて、先の図1の分散シミュレーションシステムの動作を説明する。図2の予測フェーズにおいて、まず、能動的仮説模擬処理21が、能動的に仮説を生成しつつ、将来時刻の模擬を行う。具体的な例では、航空機の飛行について、その航空機がとり得る複数の飛行戦略例えば、燃料を節約するためになるべく最短距離で飛行しようとするのか、あるいは危険性を回避するためになるべく雲等を避けて飛行しようとするのか、などに応じて、将来の複数の移動経路を仮説として計算するような模擬処理である。このような能動的仮説模擬処理21は、仮説の模擬結果について他の模擬処理に対するイベントを発生する。具体的な例では、航空機の飛行の仮説を計算した結果の、ある時刻における航空機の位置情報である。能動的仮説模擬処理21がイベントを発生すると、そのイベントは、分散シミュレーション基盤30において他の仮説模擬処理に送信され、イベントを受信した仮説模擬処理がそのイベントを入力情報として模擬処理を実行する。ここで、他の仮説模擬処理からのイベントに基づいた仮説実行のみを行う仮説模擬処理が、本実施の形態1における受動的仮説模擬処理22である。具体的な例では、航空機の位置情報を基に、航空機探知の模擬を行うようなレーダの模擬処理である。この受動的仮説模擬処理22は、自身が新たな仮説を生成せず、他の仮説模擬処理の仮説実行によるイベントを受信し、そのイベントに基づき模擬処理を行うだけである。観測情報処理10が実世界からの観測情報を送信し、シミュレーション時刻を進めると、本実施の形態1による分散シミュレーションシステムは、評価フェーズに移行する。まず、評価フェーズの最初の段階が、図2における評価フェーズ1である。ここで、観測情報処理10から送信された観測情報は、分散シミュレーション基盤30により、能動的仮説模擬処理21に対して送信される。これは、本実施の形態1の分散シミュレーションシステムにおいて仮説を生成するのは、能動的仮説模擬処理21のみであり、仮説の評価を行うのは、能動的仮説模擬処理21のみに限定することが可能なためである。能動的仮説模擬処理21は、観測情報を受信すると、観測情報に基づき仮説の評価を実施する。図2の例では、評価フェーズ1の能動的仮説模擬処理1、2の破線の○が付された部分が、その時刻における仮説の結果であり、これらと観測情報との比較が仮説の評価の処理である。具体的な例では、航空機の将来の移動経路として計算した仮説について、観測情報の観測時間と観測位置に基づき、仮説が誤っていなかったかどうかを評価する。なお、仮説の結果は、1つの能動的仮説模擬処理21においても時刻毎に複数個作成されるが、観測情報との比較は、それぞれ独立して実行することが可能である。このため、分散シミュレーションシステムの演算リソースに余裕があれば、並列実行することにより、高速化が可能である。能動的仮説模擬処理21における仮説の評価により、誤った仮説と判断された場合、その仮説の実行の結果、他の仮説模擬処理に対して送信されたイベントの取消が行われる。これが図3における評価フェーズ2である。イベントの取消が行われると、取消されたイベントを入力として仮説を実行した受動的仮説模擬処理22において、その仮説実行結果が取消される。これが図3における評価フェーズ3である。具体的な例では、航空機の位置情報を基に、航空機探知の模擬を行うようなレーダの模擬処理において、航空機の位置情報の仮説が取消されたため、その位置情報を基に実行したレーダの模擬処理を取消すような処理である。なお、イベントの取消は、1つの受動的仮説模擬処理22においても時刻毎に複数回実行されるが、これらのイベントの取消は、独立している。このため、分散シミュレーションシステムの演算リソースに余裕があれば、並列実行することにより、高速化が可能である。なお、受動的仮説模擬処理22において取消されたイベントを基に仮説を実行した結果としてイベントが生成されていた場合は、そのイベントの取消がこの時点において発生する。これは、発明が解決しようとする課題において説明した、イベントによる仮説実行の伝播を取消す処理に相当し、模擬処理間で順次実行する必要があり、どこまで波及するのか事前に把握することができない処理と同じように見える。しかしながら、ここに至るまでに既に能動的仮説模擬処理21における仮説評価が実行されており図2における評価フェーズ1参照、このシステムにおいて生成された仮説で誤っていると判断されたものは既に削除されている図3における評価フェーズ3参照。このため、これ以上仮説取消が仮説模擬処理間で伝播することはない。上述した本実施の形態1における分散シミュレーションシステムの効果をまとめると、以下のようになる。第一に、各仮説模擬処理が、予測フェーズにおいて、自身が能動的に作り出した仮説であるか、あるいは他の仮説模擬処理から送信されたイベントに基づき受動的に処理した仮説であるかで、仮説を分類しておくことにより、評価フェーズにおいて評価対象とする仮説を、自身が能動的に作り出した仮説に限定できる。この結果、仮説模擬処理における評価処理を効率化することが可能となる。第二に、評価フェーズにおいて分散シミュレーション基盤が、まず全ての仮説模擬処理の仮説評価処理を並列実行し、その後で仮説模擬処理のイベント取消処理を実行するように、仮説模擬処理のスケジューリングを行うことができる。この結果、仮説模擬処理間の因果関係のない処理を効率的に並列実行することで、評価フェーズ全体を効率化することが可能となる。第三に、評価フェーズにおいて、まず能動的に生成された仮説を全て評価してしまい、その評価結果として実行されたイベント取消に基づき、受動的に実行された仮説の取消を行うことができる。すなわち、能動的仮説模擬処理で能動的に生成された仮説の取消処理の並列実行と、能動的仮説模擬処理からのイベント受信によって受動的仮説模擬処理で受動的に生成された仮説の取消処理の並列実行とを分離して実行制御可能となる。この結果、仮説模擬処理における仮説取消の伝播が連鎖的に発生することを抑制し、全体として高速に評価処理を実行することが可能となる。以上のように、実施の形態1によれば、予測フェーズにおいて、自身の仮説模擬処理で能動的に作り出した仮説であるか、あるいは他の仮説模擬処理から送信されたイベントに基づき受動的に処理した仮説であるかにより仮説を分類しておき、評価フェーズにおいて評価対象とする仮説を、自身が能動的に作り出した仮説に限定している。これにより、仮説模擬処理における評価処理を効率化し、高速化を実現した分散シミュレーションシステムを得ることができる。なお、能動的仮説模擬処理は、自身が生成した仮説の模擬実行によって発生したイベントを受動的仮説模擬処理に送信する際に、発生したイベントとイベントの発生原因となった仮説との関連性をイベント関連情報として記憶部図1には図示せずに記憶しておくこともできる。この場合には、仮説の取消処理を実行する際に、イベント関連情報に基づいて取り消さなければならいイベントを高速で検索することが可能となる。また、受動的仮説模擬処理は、能動的仮説模擬処理から受信したイベントが後に取消される場合をあらかじめ考慮し、イベント受信の都度、イベントが無効であった場合の仮説を反仮説として模擬実行しておくこともできる。この場合には、後に、実際にイベントが無効になった際に、すでに模擬実行済みの反仮説を直ちに利用することが可能となる。