複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定する特定部と、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成する複製部と、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する削除部とを有する有向グラフ作成装置。前記削除部は、複製元のノード又は複製先のノードの下流側に接続するエッジの中で、前記特定された経路に属するエッジを複製元及び複製先のノードの一方より削除し、前記特定された経路に属さないエッジを複製元及び複製先のノードの他方より削除する請求項1記載の有向グラフ作成装置。前記削除部は、前記下流側に接続するエッジを削除した後に、複製元のノード又は複製先のノードの上流側に接続するエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する請求項2記載の有向グラフ生成装置。複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定し、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成し、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する処理をコンピュータが実行する有向グラフ作成方法。複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定し、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成し、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する処理をコンピュータに実行させる有向グラフ作成プログラム。イベント連鎖をマージしてイベントフローを作成する方法として、イベント連鎖をイベントの順序付きの二項関係に展開して、それを再構成する方法がある。例えば、図3は、3つの事例に関するイベント連鎖の例を示す図である。同図には、事例Aに関するイベント連鎖A、事例Bに関するイベント連鎖B、及び事例Cに関するイベント連鎖Cが示されている。図3における各イベント連鎖をそれぞれ二項関係に展開すると、図4に示されるようになる。図4は、3つのイベント連鎖を二項関係に展開した例を示す図である。同図には、イベント連鎖A、イベント連鎖B、及びイベント連鎖Cごとに、二項関係に展開された例が示されている。図4に示される各二項関係を、当該二項関係の一方のイベントと他の二項関係の他方のイベントとの一致に基づいて再編成すると、図5に示されるようなイベントフローeF1が得られる。図5は、3つのイベント連鎖に関する二項関係を再編成して得られるイベントフローの例を示す図である。同図では、当初別々であったイベント連鎖がマージされ、全てのノードが相互に直接的又は間接的に接続された一つのイベントフローeF1が形成されている。以上のようなイベントフローの作成方法は、簡便で効率的ではあるが、元々のイベント連鎖には存在しなかったパス経路が、イベントフローに作成されてしまうという問題がある。ここでいう、パスは、ノード間の直接的又は間接的な接続関係をいう。図6は、元々のイベント連鎖には存在しなかったパスを示す図である。同図に示されるパスp1~p4は、図5に示されるイベントフローeF1には含まれるパスであるが、図3に示されるイベント連鎖A~Cのいずれにも含まれていない。独立して発生した事象が組み合わさることによって、重大なトラブルが発生するということも考えられる。したがって、トラブル分析という目的においては、存在しないが組み合わせとして考えられるパスを洗い出すことが重要な場合もある。しかし、実際に起きたことを分析することが目的である場合においては、もともと存在していたパスともともとは存在していなかったパスとを切り分けて分析できる必要がある。そこで、複数のイベント連鎖が統合された有向グラフより元のイベント連鎖には存在しない経路を除去することのできる有向グラフ作成装置、有向グラフ作成方法、及び有向グラフ作成プログラムの提供を目的とする。上記課題を解決するため、有向グラフ作成装置は、複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定する特定部と、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成する複製部と、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する削除部とを有する。複数のイベント連鎖が統合された有向グラフより元のイベント連鎖には存在しない経路を除去することができる。以下、図面に基づいて本発明の実施の形態を説明する。図7は、本発明の実施の形態におけるイベントフロー作成装置のハードウェア構成例を示す図である。図7のイベントフロー作成装置10は、それぞれバスBで相互に接続されているドライブ装置100、補助記憶装置102、メモリ装置103、CPU104、表示装置105、及び入力装置106等を有する。イベントフロー作成装置10での処理を実現するプログラムは、記録媒体101によって提供される。プログラムを記録した記録媒体101がドライブ装置100にセットされると、プログラムが記録媒体101からドライブ装置100を介して補助記憶装置102にインストールされる。但し、プログラムのインストールは必ずしも記録媒体101より行う必要はなく、ネットワークを介して他のコンピュータよりダウンロードするようにしてもよい。補助記憶装置102は、インストールされたプログラムを格納すると共に、必要なファイルやデータ等を格納する。メモリ装置103は、プログラムの起動指示があった場合に、補助記憶装置102からプログラムを読み出して格納する。CPU104は、メモリ装置103に格納されたプログラムに従ってイベントフロー作成装置10に係る機能を実現する。表示装置105はプログラムによるGUIGraphicalUserInterface等を表示する。入力装置106はキーボード及びマウス等であり、様々な操作指示を入力させるために用いられる。なお、記録媒体101の一例としては、CD-ROM、DVDディスク、又はUSBメモリ等の可搬型の記録媒体が挙げられる。また、補助記憶装置102の一例としては、HDDHardDiskDrive又はフラッシュメモリ等が挙げられる。記録媒体101及び補助記憶装置102のいずれについても、コンピュータ読み取り可能な記録媒体に相当する。図8は、本発明の実施の形態におけるイベントフロー作成装置の機能構成例を示す図である。同図において、イベントフロー作成装置10は、文書情報記憶部11、イベント連鎖抽出部12、イベント連鎖記憶部21、展開部13、二項関係記憶部14、統合部15、イベントフロー記憶部22、非存在パス特定部16、複製対象選択部17、ノード複製部18、及び冗長エッジ削除部19等を有する。文書情報記憶部11は、例えば、補助記憶装置102、又はイベントフロー作成装置10とネットワークを介して接続される記憶装置若しくはコンピュータを用いて実現可能である。イベント連作記憶部21、二項関係記憶部14、及びイベントフロー記憶部22は、メモリ装置103、補助記憶装置102、又はイベントフロー作成装置10とネットワークを介して接続される記憶装置若しくはコンピュータを用いて実現可能である。等と用いて実現可能である。イベント連鎖抽出部12、展開部13、統合部15、非存在パス特定部16、複製対象選択部17、ノード複製部18、及び冗長エッジ削除部19は、イベントフロー作成装置10にインストールされたプログラムがCPU104に実行させる処理により実現される。文書情報記憶部11は、例えば、事故の報告書等の複数の文書情報群を記憶する。なお、文書情報は、必ずしもテキスト形式のデータでなくてもよい。所定のワープロソフト等によって作成された文書データであってもよい。文書情報は、最終的にテキスト情報を抽出可能なデータであればよい。イベント連鎖抽出部12は、文書情報に含まれているイベント以下、イベントという。の順序情報以下、イベント連鎖という。を、文書情報ごとに抽出する。イベント連鎖の抽出方法は、公知技術に従えばよい。イベント連鎖抽出部12は、抽出されたイベント連鎖を、イベント連鎖記憶部21に記録する。展開部13は、イベント連鎖抽出部12によって抽出された各イベント連鎖を、イベントの順序付きの二項関係に展開する。二項関係とは、イベント連鎖において相互に直接的な関係を有する二つのイベントの組み合わせをいう。直接的な関係とは、順序情報において隣接している関係をいう。また、イベントの順序付きであるから、直接的な関係を有する二つのイベントの順序関係は、二項関係において維持される。二項関係記憶部14は、展開部13によって展開された二項関係を示す情報を記憶する。統合部15は、二項関係記憶部14が記憶する各二項関係を、当該二項関係の一方のイベントと他の二項関係の他方のイベントとの一致に基づいて統合又は接続することにより、有向グラフを作成する。当該有向グラフの各ノード節点は、イベントを示す。また、当該有向グラフのエッジ枝は、イベントの順序関係又は前後関係若しくは因果関係等を示す。以下、当該有向グラフを、イベントフローという。なお、統合部15は、作成されたイベントフローをイベントフロー記憶部22に記録する。非存在パス特定部16は、イベントフローにおいて、各イベント連鎖においては存在していなかったパスを特定する。なお、イベントフローにおいて、任意のイベント間の経路又は接続関係をパスという。当該任意のイベントは、直接的に接続されていてもよいし、間接的に接続されていてもよい。また、イベント連鎖においては存在していなかったパスを非存在パスという。複製対象選択部17は、統合部15によって作成されたイベントフローにおいて、複製対象とするノードイベントを選択する。ノード複製部18は、複製対象選択部17によって選択されたノードの複製を作成する。すなわち、ノードの複製とは、既存のノード及び当該ノードに接続する全てのエッジと同一のノード及びエッジを作成することをいう。したがって、ノードの複製によって、当該ノード及び当該ノードに接続する全てのエッジは2重化される。ノードの複製は、ノードの分割として解釈されてもよい。この場合、分割対象のノードに接続する全てのエッジも分割される。なお、ノードが複製又は2重化されるのは、複数のイベント連鎖においては相互に独立していた、同一イベントに関する各ノードが、二項関係を統合する際に一つのノードに統合又は集約されたことが非存在パスの発生の原因であると考えるからである。したがって、一つに統合されたノードを複製によって改めて分割すれば、非存在パスを除去できると考えるからである。但し、闇雲にノードの複製が行われたのでは、元のイベント連鎖に戻ってしまいかねない。したがって、複製対象選択部17は、複数のイベント連鎖に共通なシナリオを把握可能な状態が維持されるように、複製対象とするノードを選択する。冗長エッジ削除部19は、ノードの複製に伴って複製されたエッジのうち、当該エッジを削除したとしても、イベントフローにおいて、元のイベント連鎖が含む経路に影響しないエッジを削除する。元のイベント連鎖が含む経路に影響しないとは、元のイベント連鎖が含むいずれかのパスが失われないことをいう。以下、イベントフロー作成装置10の処理手順について説明する。図9は、イベントフローの作成処理の処理手順の一例を説明するためのフローチャートである。例えば、入力装置106を介して入力される指示入力に応じ、イベント連鎖抽出部12は、文書情報記憶部11が記憶する文書情報ごとに、イベント連鎖を抽出し、抽出されたイベント連鎖をイベント連鎖記憶部21に記録するS10。文書情報からのイベント連鎖の抽出は、テキストマイニング技術等の公知技術を用いて行われればよい。例えば、特開2002-236692号公報の段落番号0066~0068に開示されている方法などを用いることにより、文書情報からイベントを抽出することが可能である。また、イベントが文書情報から抽出される順番文書情報での出現位置を用いることにより、イベント間の順序関係を特定することが可能である。この際、特定の接続詞が含まれる場合には、順序関係の逆転が行われてもよい。なお、ここでは、便宜上、3つの文書情報から、図3に示されるイベント連鎖A~Cが抽出されたこととする。続いて、展開部13は、イベント連鎖記憶部21に記録されたイベント連鎖A~Cのそれぞれを、二項関係に展開するS20。すなわち、イベント連鎖A~Cのそれぞれから二項関係が抽出される。ここでは、図4に示される二項関係に抽出される。展開部13は、抽出された二項関係を示す情報を二項関係記憶部14に記録する。なお、二項関係を示す情報の記録形式は、所定のものに限定されない。上流側原因側のイベントを示す項目と、下流側結果側又は終点側のイベントを示す項目とを含むレコード群が構成するテーブル形式であってもよい。又は、XMLeXtensibleMarkupLanguage形式等の構造化文書形式に当該情報が記録されてもよい。続いて、統合部15は、二項関係記憶部14が記憶する各二項関係を、当該二項関係の一方のイベントと他の二項関係の他方のイベントとの一致に基づいて統合又は接続することにより、イベントフローを作成するS30。統合部15は、作成されたイベントフローをイベントフロー記憶部22に記録する。ここでは、図5に示されるイベントフローeF1が作成される。なお、二項関係からの有向グラフを作成は、例えば、特開2004-178270号公報に開示されている方法を用いて行われてもよい。続いて、非存在パス特定部16は、イベントフロー記憶部22及びイベント連鎖記憶部21を参照して、イベントフローeF1において、イベント連鎖A、B、又はCのいずれにも存在しないパス非存在パスを特定するS40。非存在パスの特定は、イベントフローeF1を、イベント連鎖A、B、及びCのそれぞれと比較することにより特定することができる。ここでは、図6に示される、パスp1~p4が、非存在パスとして特定される。非存在パスが無い場合S50でNo、イベントフローeF1が、最終的なイベントフローとして出力される。例えば、イベントフローeF1を示すデータが補助記憶装置102に保存されてもよいし、表示装置105に表示されてもよい。非存在パスが有る場合S50でYes、複製対象選択部17は、特定された非存在パスのうちの任意の一つを選択して、当該非存在パス以下、カレント非存在パスという。上のノードの中から複製対象とするノードイベントを選択するS60。ここで、複製対象の選択条件は、例えば、以下の通りである。1カレント非存在パスの始点ノードと終点ノードとの間すなわち、端点ノードの間に挟まれているノードであることしたがって、当該始点ノード及び当該終点ノード等の端点ノードは選択対象から除かれる。21に該当するノード群の中で、下流側のエッジが分岐している下流側に複数のエッジが接続するノードのうち最も下流に位置すること。32に該当するノードが存在しない場合、1に該当するノード群の中で最も下流に位置すること。例えば、図6のパスp1がカレント非存在パスである場合、複製対象は次のように選択される。まず、パスp1において、始点ノードは直進であり、終点ノードはセンターオーバーラインである。すなわち、この二つのノードは、イベント連鎖A~Cのいずれにおいても、直接的又は間接的に接続されていない。この二つのノードに挟まれるノードは、急ブレーキ及びスリップである条件1。スリップの下流側には二つのノードが接続しており、かつ、スリップは、急ブレーキ及びスリップの中で最下流に位置する条件2。したがって、スリップが複製対象として選択される。続いて、ノード複製部18は、選択されたノード及び当該ノードに接続するエッジの複製を作成するS70。図10は、ノードの複製の第一の例を示す図である。同図では、ノードスリップの複製により、イベントフローeF2が作成された例が示されている。イベントフローeF2では、スリップというイベントを示すノードが、スリップn1aとスリップn1bとの二つのノードに分割されている。また、ノードスリップに接続する4つエッジed1、ed2、ed3、ed4の複製ed11、ed21、ed31、ed41も作成されている。なお、複製されたエッジは、複製元のエッジと同一の接続関係を維持する。続いて冗長エッジ削除部19は、イベントフローeF2より、複製されたエッジの中から冗長なエッジを削除するS80。まず、複製に係るノード複製元及び複製先の双方を含むの下流側のエッジに関して、冗長エッジ削除部19は、カレント非存在パスに属するエッジとカレント非存在パスに属さないエッジとに分類する。冗長エッジ削除部19は、複製元及び複製先のノードのいずれか一方からカレント非存在パスに属するエッジを削除し、他方からカレント非存在パスに属さないエッジを削除する。このことは、図上において、相互にクロスする二つのエッジ又は相互にクロスしない二つエッジを削除することに相当する。すなわち、重複するエッジのうち一方が冗長エッジとして削除される。重複するエッジとは、例えば、エッジed3及びエッジed31のように、複製元ノード又は複製先ノードの区別をしない場合に同一のノード間スリップと追突を接続するエッジである。図11は、複製に係るノードに接続する下流側の冗長エッジの第一の削除例を示す図である。同図では、イベントフローeF2図10において相互にクロスしていたエッジed31及びed41が冗長エッジとして削除され、イベントフローeF3が作成された例が示されている。その結果、複製元又は複製先のノードスリップn1a又はn1bは、それぞれ一つのエッジed3又はed4に接続されるようになる。但し、エッジed3及びed4が削除対象とされてもよい。ここで、イベントフローeF2図10において、エッジed4及びed41は、カレント非存在パスパスp1に属し、エッジed3及びed31は、カレント非存在パスに属さない。複製元のスリップn1aからは、カレント非存在パスに属するエッジed41が削除され、複製先のスリップn1bからは、カレント非存在パスに属さないエッジed31が削除された結果が、イベントフローeF3図11である。なお、複製対象のノードが、複製前において下流側に3つ以上のノードと接続されている場合下流側に3つ以上に分岐している場合においても、複製後の下流側に接続するエッジの削除方法は基本的に上記した通りである。すなわち、冗長エッジ削除部19は、カレント非存在パスに属するエッジとカレント非存在パスに属さないエッジとに分類する。冗長エッジ削除部19は、複製元及び複製先のノードのいずれか一方からカレント非存在パスに属するエッジを削除し、他方からカレント非存在パスに属さないエッジを削除する。複製ノードの下流側の冗長エッジの削除の後、上流側の冗長エッジの削除が行われる。複製に係るノードの上流側に接続するエッジに関しては、当該エッジを削除したことによって、イベント連鎖A~Cのいずれかにに含まれるパス以下、当初存在パスという。がイベントフローeF3から失われない除去されないエッジのみが削除される。例えば、オーバースピード→スリップn1aに関しては、当該関係を構成するエッジed21が削除されても、当初存在パスのいずれかがが除去されることはない。イベント連鎖Cには、オーバースピード→スリップを含むパスが存在するが、当該パスは、オーバースピード→スリップn1bによって維持されるからである。したがって、オーバースピード→スリップn1aに係るエッジed21は、冗長エッジとして削除される。一方、急ブレーキ→スリップn1bに関しては、当該関係に係るエッジed11が削除されてしまうと、急ブレーキ→センターラインという、当初存在パスが除去されてしまう。したがって、エッジed11の削除は行われない。図12は、複製に係るノードに接続する上流側の冗長エッジの第一の削除例を示す図である。同図では、エッジed21が削除され、イベントフローeF4が作成された例が示されている。なお、同図と図6とを比較すると、イベントフローeF4では、非存在パスp3及びp4が除去されていることが分かる。ステップS40以降は、非存在パスが特定されなくなるまで非存在パスが無くなるまで繰り返される。本実施の形態では、イベントフローeF4に関して、非存在パスp1及びp2図6参照が存在する。したがって、イベントフローeF4に関して、ステップS60以降が実行される。ここでは、パスp1がカレント非存在パスとして選択されたこととする。この場合、イベントフローeF4では、急ブレーキが、ステップS60の選択条件に合致するS60。したがって、急ブレーキ、及び急ブレーキに接続するエッジの複製が作成されるS70。図13は、ノードの複製の第二の例を示す図である。同図では、ノード急ブレーキの複製により、イベントフローeF5が作成された例が示されている。イベントフローeF5では、急ブレーキというイベントを示すノードが、急ブレーキn2aと急ブレーキn2bとの二つのノードに分割されている。また、ノードスリップに接続する4つエッジed5、ed6、ed1、ed11の複製ed51、ed61、ed1c、ed11cも作成されている。続いて、イベントフローeF5に関して、冗長エッジが削除されるS80。まず、複製に係るノードの下流側に関して冗長エッジが削除される。図14は、複製に係るノードに接続する下流側の冗長エッジの第二の削除例を示す図である。同図では、イベントフローeF5図13において相互にクロスしていたエッジed11及びed1cが冗長エッジとして削除され、イベントフローeF6が作成された例が示されている。その結果、複製元又は複製先のノード急ブレーキn2a又はn2bは、それぞれ一つのエッジed1又はed11cに接続されるようになる。一方、複製に係るノードの上流側に接続するエッジに関しては、当該エッジを削除したことによって、いずれかの当初存在パスがイベントフローeF6から除去されないエッジのみが削除される。図15は、複製に係るノードに接続する上流側の冗長エッジの第二の削除例を示す図である。同図では、エッジed51及びエッジed61が削除され、イベントフローeF7が作成された例外示されている。ここで、図15と図6とを比較すると、イベントフローeF7では、非存在パスp1及びp2が更に除去されていることが分かる。したがって、イベントフローeF7が、最終的なイベントフローとして出力される。上述したように、本実施の形態によれば、二項関係に基づいて再編成されたイベントフローより、イベント連鎖には存在していなかったパスを除去又は排除することができる。た、複製対象が適切に選択されることにより、イベントフローの分割の程度を抑制することができる。その結果、複数のイベント連鎖に共通のシナリオを示すことができ、かつ、それぞれの文書情報に含まれていた順序関係又は因果関係等を示すイベントフローを作成することができる。また、例えば、文書情報に含まれていた因果関係と、文書情報には含まれていなかった因果関係とを区別して分析することが可能となる。ところで、上記において説明した処理手順において、非存在パスの特定、複製対象とするノードの選択、及び削除対象とする関係冗長エッジを判定等に用いるデータのデータ形式は所定のものに限定されない。例えば、XML形式によってイベントフローを表現するデータであってもよいし、他のデータ形式が用いられてもよい。以下においては、行列マトリクスを用いてステップS40以降を実行する例を説明する。なお、以下の説明において作成される各行列は、例えば、メモリ装置103に記録される。ステップS40の詳細について説明する。図16は、非存在パスの特定処理の処理手順の一例を説明するためのフローチャートである。ステップS401~S404は、イベント連鎖ごとに実行されるループ処理であるが、ここでは、便宜上、イベント連鎖A、B、及びCのそれぞれについて並列的に説明する。但し、実際に並列的に処理が行われてもよい。ステップS401において、非存在パス特定部16は、イベント連鎖A、B、及びCのそれぞれに関して隣接行列を作成する。図17は、イベント連鎖ごとの隣接行列及び可到達行列の例を示す図である。同図において、隣接行列aMA、aMB、及びaMCは、順番に、イベント連鎖A、B、又はCの隣接行列である。すなわち、各隣接行列には、対応するイベント連鎖において直接的な接続関係を有するイベントの組み合わせに対して1が記録されている。なお、行方向が上流側原因側のイベントであり、列方向が下流側結果側のイベントである。隣接行列aMA、aMB、及びaMCは、イベント連鎖A、B、又はCのそれぞれの二項関係を示す行列であるともいえる。したがって、隣接行列aMA、aMB、及びaMCは、二項関係記憶部14が記憶する情報に基づいて生成されてもよい。もちろん、隣接行列aMA、aMB、及びaMCは、イベント連鎖A、B、又はCより生成されてもよい。続いて、非存在パス特定部16は、隣接行列aMA、aMB、及びaMCを、それぞれに対応する新たな可到達行列rMA、rMB、又はrMCに代入するS402。なお、図17に示される可到達行列rMA、rMB、又はrMCは、ステップS403及びS404の実行後の状態を示す。ここでは、3つの可到達行列が、隣接行列aMA、aMB、又はaMCによって初期化される。なお、可到達行列は、イベント連鎖において、直接的又は間接的な関係を有するイベントの組み合わせに1が記録される行列である。続いて、非存在パス特定部16は、各可到達行列に対して、隣接行列aMA、aMB、又はaMCを乗じ、新たな可到達行列を得るS403。ここで得られる可到達行列は、直接的な関係と、一つのイベントを間に挟む間接的な関係とを示す可到達行列である。各可到達行列に対する隣接行列aMA、aMB、又はaMCの乗算は、各可到達行列rMA、rMB、又はrMCが変化しなくなるまで行われるS404。すなわち、演算結果が変化しなくなるまで、各隣接行列がN乗される。演算結果が変化しなくなった状態が、図17に示される可到達行列rMA、rMB、及びrMCである。したがって、可到達行列rMA、rMB、及びrMCは、それぞれに対応するイベント連鎖において、各イベントの直接的又は間接的な全ての関係を示す可到達行列である。可到達行列rMA、rMB、及びrMCが得られるとS405でYes、非存在パス特定部16は、全ての可到達行列rMA、rMB、及びrMCの論理和を算出するS406。図18は、全ての可到達行列の論理和の例を示す図である。同図に示される可到達行列M1は、可到達行列rMA、rMB、及びrMCの論理和を示す。可到達行列M1は、イベント連鎖A、B、又はCにおいて、全ての当初存在パス直接的又は間接的なものを含む。を示す行列である。換言すれば、可到達行列M1において1が記録されていないパスは、非存在パスである。なお、可到達行列M1は、後段の処理において、当初存在パスを識別するために利用される。続いて、非存在パス特定部16は、イベント連鎖A~Cごとの隣接行列aMA、aMB、及びaMCの論理和を算出するS407。図19は、イベント連鎖ごとの隣接行列の論理和の例を示す図である。同図において、隣接行列M2は、隣接行列aMA、aMB、及びaMCの論理和を示す。続いて、非存在パス特定部16は、隣接行列M2を、隣接行列M2に対応する新たな可到達行列M3に代入するS408。続いて、非存在パス特定部16は、可到達行列M3に、隣接行列M2を乗じ、新たな可到達行列を得るS409。当該乗算は、可到達行列M3が変化しなくなるまで行われるS410。すなわち、演算結果が変化しなくなるまで、隣接行列M2がN乗される。演算結果が変化しなくなった状態が、図19に示される可到達行列M3である。可到達行列M3は、二項関係の統合によって作成されるイベントフローeF1における各イベントの直接的又は間接的な接続関係を示す可到達行列である。ステップS411に進み、非存在パス特定部16は、可到達行列M1図17と、可到達行列M3図19との差分を抽出する。すなわち、当初存在パスを示す可到達行列M1と、イベントフローeF1を示す可到達行列との差分が抽出される。図20は、当初存在パスを示す可到達行列と二項関係の統合によって作成されたイベントフローを示す可到達行列との差分の例を示す図である。同図では、可到達行列M3において、可到達行列M1との差分に係るセルは太枠で囲まれている。この差分は、図6に示されるパスp1~p4を示す。すなわち、直進とセンターラインオーバーとの組は、パスp1を示す。直進と正面衝突との組は、パスp2を示す。カーブと追突との組は、パスp3を示す。オーバースピードと追突との組は、パスp4を示す。このようにして、非存在パス特定部16は、非存在パスを特定することができる。続いて、図9のステップS60の詳細について説明する。図21は、複製対象の選択処理の処理手順の一例を説明するためのフローチャートである。ステップS601において、複製対象選択部17は、非存在パス特定部16によって特定された非存在パスの中から一つの非存在パスを選択する。ここで、選択された非存在パスが、カレント非存在パスである。図22は、複製対象の選択処理を説明するためのデータ図の一例である。同図では、図16との対応関係を示すステップ番号が記されている。図22のステップS601では、可到達行列M3において、直進→センターラインオーバーに係るパスが選択された例が示されている。続いて、複製対象選択部17は、カレント非存在パスに含まれるイベントの中で、カレント非存在パスの始点のイベントより下流のイベント以下、下流イベントという。と、カレント非存在パスの終点のイベントより上流のイベント以下、上流イベントという。とを取得するS602。カレント非存在パスの始点のイベントより下流のイベントに該当するイベントは、図22のステップS602に対応する可到達行列M3aにおいて、太枠で囲まれている列に係るイベントである。すなわち、カレント非存在パスに係る行において、1が記録されている列のうち、始点のイベント直進よりも右側の列に係るイベントである。また、カレント非存在パスの終点のイベントより上流のイベントに該当するイベントは、図22のステップS602に対応する可到達行列M3bにおいて、太枠で囲まれている行に係るイベントである。すなわち、カレント非存在パスに係る列において、1が記録されている行のうち、終点のイベントセンターラインオーバーよりも上側に係るイベントである。続いて、複製対象選択部17は、下流イベント急ブレーキ、スリップ、センターラインオーバー、正面衝突、追突と、上流イベント路面凍結、直進、カーブ、急ブレーキ、オーバースピード、スリップとの論理積を算出するS603。当該論理積によって、カレント非存在パスにおいて始点のイベントと終点のイベントとに挟まれるイベント群が特定される。なお、ここでは、急ブレーキ及びスリップが特定される。続いて、複製対象選択部17は、特定されたイベント群の中で、下流から順に未処理のイベントの一つを取得するS604。未処理とは、ステップS606以降の処理対象とされていないことをいう。下流から順であるから、最初は、当該イベント群の中で最下流のイベントが取得される。以下、取得されたイベントを対象イベントという。対象イベントが取得された場合S605でYes、複製対象選択部17は、隣接行列M2を用いて、対象イベントの下流側に直接的に接続されるイベント以下、直接下流イベントという。を特定するS606。図22のステップS606では、隣接行列M2において、急ブレーキとスリップとのそれぞれの直接下流イベントの特定結果が示されている。図19において説明したように、隣接行列M2は、隣接行列aMA、aMB、及びaMCの論理和である。したがって、隣接行列M2は、イベント間の直接的な関係のみを示す。よって、隣接行列M2において、スリップ又は急ブレーキの行で1が記録されている列に係るイベントは、急ブレーキ又はスリップの直接下流イベントということになる。同図では、急ブレーキに関して1つの直接下流イベントと、スリップに関して2つの直接下流イベントとが特定されている。なお、図21のステップS606では、一つの対象イベントに関して直接下流イベントが特定されるが、図22においては、便宜上、カレント非存在パスの始点と終点との間に挟まれる全てのイベントに関して、直接下流イベントが示されている。続いて、複製対象選択部17は、対象イベントに関する直接下流イベントの数は複数であるか否かを判定するS607。このことは、対象イベントの下流側のエッジが分岐しているか又は当該エッジが複数有るか否かの判定に相当する。対象イベントに関する直接下流イベントの数が複数である場合S607でYes、複製対象選択部17は、対象イベントを複製対象として選択するS608。対象イベントがスリップであれば、直接下流イベントの数は複数である。したがって、スリップが複製対象として選択される。なお、ステップS608は、図9のステップS60において説明した選択条件の2に該当するケースである。一方、直接下流イベントの数が複数でない場合S607でNo、複製対象選択部17は、ステップS604以降を繰り返す。ステップS603において特定されたイベント群の全てを処理しても複製対象が選択されなかった場合S605でNo、複製対象選択部17は、当該イベント群の中で、最下流のイベントを複製対象として選択するS609。なお、ステップS609は、図9のステップS60において説明した選択条件の3に該当するケースである。このようにして、複製対象選択部17は、複製対象を選択することができる。続いて、図9のステップS70の詳細について説明する。図23は、イベントの複製処理の処理手順の一例を説明するためのフローチャートである。ステップS701において、ノード複製部18は、複製対象のイベントに対応する行及び列の複製を隣接行列M2図19に生成する。すなわち、当該行及び列が二重化される。図24は、複製対象のイベントに対応する行及び列の複製の例を示す図である。同図では、隣接行列M2にいて、複製対象として選択されたスリップに係る行及び列のそれぞれの複製の生成によって、隣接行列M4が作成された例が示されている。なお、隣接行列M4において、スリップa、スリップbは、それぞれ、図10等のスリップn1a、スリップn1bに対応する。続いて、図9のステップS80の詳細について説明する。図25は、冗長エッジの削除処理の処理手順の一例を説明するためのフローチャートである。ステップS801において、冗長エッジ削除部19は、隣接行列M4図24において複製に係る各イベントについて、直接下流イベントとの関係を排他的に削除する。ここでいう複製に係る各イベントは、複製元及び複製先の双方を含む。排他的とは、複製元のイベントと直接下流イベントとの関係の中で削除される関係と、複製先のイベントと直接下流イベントとの関係の中で削除される関係とが重複しないことをいう。例えば、図26は、複製された各イベントに関する直接下流イベントとの関係の排他的な削除の例を示す図である。同図に示される隣接行列M4では、スリップa及びbが、複製された各イベントに相当する。隣接行列M4より明らかなように、スリップa及びbの直接下流イベントは、センターラインオーバー及び追突である。ここで、スリップaに関して、センターラインオーバーとの関係が削除され、スリップbに関して追突との関係が削除される形態が、上記でいう排他的な削除に相当する。同図では、当該排他的な削除の結果、隣接行列M5が生成されている。なお、スリップaに関して、追突との関係が削除され、スリップbに関してセンターラインオーバーとの関係が削除されてもよい。すなわち、ここでいう排他的な削除は、複製元及び複製先のノードのいずれか一方からカレント非存在パスに属するエッジを削除し、他方からカレント非存在パスに属さないエッジを削除することに相当する。なお、仮に、スリップa及びbに関して、直接下流イベントが3つ以上有る場合、冗長エッジ削除部19は、当該直接下流イベントをカレント非存在パス上に有るイベントとそうでないイベントとのグループに分類する。冗長エッジ削除部19は、一方のグループに属する各イベントとスリップaとの組み合わせに係るセルの値を0とし、他方のグループに属する各イベントとスリップbとの組み合わせに係るセルの値を0とする。続いて、冗長エッジ削除部19は、隣接行列M5を、隣接行列M5に対応する新たな可到達行列M6に代入するS802。続いて、冗長エッジ削除部19は、可到達行列M6に、隣接行列M5を乗じ、新たな可到達行列を得るS803。当該乗算は、可到達行列M6が変化しなくなるまで行われるS804。すなわち、演算結果が変化しなくなるまで、隣接行列M5がN乗される。その結果、図27に示される可到達行列M6が得られる。図27は、直接下流イベントの削除後の隣接行列に基づく可到達行列の例を示す図である。同図には、隣接行列M5がN乗されて、可到達行列M6が生成された例が湿されている。ステップS805に進み、冗長エッジ削除部19は、複製に係る各イベント複製元及び複製先の双方を含む。のいずれかの上流側の直接的な関係エッジの一つを処理対象として選択するS805。続いて、冗長エッジ削除部19は、選択された関係以下、選択関係という。を隣接行列M5より削除し、削除後の隣接行列に基づく可到達行列を再計算するS806。続いて、冗長エッジ削除部19は、再計算された可到達行列と、当初存在パスのみを示す可到達行列M1図18とを比較して、選択された関係の削除によって、当初存在パスが除去されたか否かを判定するS807。当初存在パスが除去されていない場合S807でNo、冗長エッジ削除部19は、選択関係を削除対象とするS808。一方、当初存在パスが除去された場合S807でYes、選択関係は削除対象とされず、ステップS805以降が繰り返される。上記したステップS805~S807について、図を用いて説明する。図28及び図29は、上流側の関係の削除を説明するための図である。図28において、隣接行列M5aは、隣接行列M5より、急ブレーキ→スリップaに係る関係が削除された結果である。また、可到達行列M6aは、隣接行列M5aに基づいて再計算された可到達行列である。可到達行列M6aと可到達行列M1図18とを比較すると、可到達行列M6aには、可到達行列M1に存在している直進→追突又は急ブレーキ→追突に係る関係パスが存在しない。すなわち、急ブレーキ→スリップaに係る関係エッジの削除は、当初存在パスの除去を招いてしまう。したがって、急ブレーキ→スリップaに係る関係は削除対象とされない。なお、可到達行列M6aには、直進→スリップa、急ブレーキ→スリップaに係る関係も存在しないが、直進→スリップb、急ブレーキ→スリップbが存在するため問題は無い。また、図28において、隣接行列M5bは、隣接行列M5より、急ブレーキ→スリップbに係る関係が削除された結果である。また、可到達行列M6bは、隣接行列M5bに基づいて再計算された可到達行列である。可到達行列M6bと可到達行列M1図18とを比較すると、可到達行列M6bには、可到達行列M1に存在している急ブレーキ→センターラインオーバー又は急ブレーキ→正面衝突に係る関係パスが存在しない。すなわち、急ブレーキ→スリップbに係る関係エッジの削除は、当初存在パスの除去を招いてしまう。したがって、急ブレーキ→スリップbに係る関係は削除対象とされない。なお、可到達行列M6bには、直進→スリップb、急ブレーキ→スリップbに係る関係も存在しないが、直進→スリップa、急ブレーキ→スリップaが存在するため問題は無い。また、図29において、隣接行列M5cは、隣接行列M5より、オーバースピード→スリップaに係る関係が削除された結果である。また、可到達行列M6cは、隣接行列M5cに基づいて再計算された可到達行列である。可到達行列M6cと可到達行列M1図18とを比較すると、可到達行列M6cには、可到達行列M1におけるオーバースピード→スリップに対応するオーバースピード→スリップaに係る関係パスが存在しないが、オーバースピード→スリップbに係る関係パスが存在するため問題は無い。すなわち、オーバースピード→スリップaに係る関係エッジの削除は、当初存在パスの除去を伴わない。したがって、オーバースピード→スリップaは削除対象とされる。また、図29において、隣接行列M5dは、隣接行列M5より、オーバースピード→スリップbに係る関係が削除された結果である。また、可到達行列M6dは、隣接行列M5dに基づいて再計算された可到達行列である。可到達行列M6dと可到達行列M1図18とを比較すると、可到達行列M6dには、可到達行列M1に存在しているオーバースピード→スリップ、オーバースピード→センターラインオーバー、又はオーバースピード→正面衝突に係る関係パスが存在しない。すなわち、オーバースピード→スリップbに係る関係エッジの削除は、当初存在パの除去を招いてしまう。したがって、オーバースピード→スリップbに係る関係は削除対象とされないなお、図28及び図29を用いて説明した削除対象の判定結果は、図12と一致する。上述したように、イベント間の関係を示す行列に基づく処理によって、非存在パスの特定、複製対象とするノードの選択、及び削除対象とする関係冗長エッジの判定等が行われてもよい。なお、本実施の形態において、非存在パス特定部16は、特定部の一例である。冗長エッジ削除部19は、削除部の一例である。イベントフロー記憶部22は、有向グラフ記憶部の一例である。以上、本発明の実施例について詳述したが、本発明は斯かる特定の実施形態に限定されるものではなく、特許請求の範囲に記載された本発明の要旨の範囲内において、種々の変形変更が可能である。以上の説明に関し、更に以下の項を開示する。付記1複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定する特定部と、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成する複製部と、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する削除部とを有する有向グラフ作成装置。付記2前記削除部は、複製元のノード又は複製先のノードの下流側に接続するエッジの中で、前記特定された経路に属するエッジを複製元及び複製先のノードの一方より削除し、前記特定された経路に属さないエッジを複製元及び複製先のノードの他方より削除する付記1記載の有向グラフ作成装置。付記3前記削除部は、前記下流側に接続するエッジを削除した後に、複製元のノード又は複製先のノードの上流側に接続するエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する付記2記載の有向グラフ生成装置。付記4複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定し、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成し、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する処理をコンピュータが実行する有向グラフ作成方法。付記5前記削除する処理は、複製元のノード又は複製先のノードの下流側に接続するエッジの中で、前記特定された経路に属するエッジを複製元及び複製先のノードの一方より削除し、前記特定された経路に属さないエッジを複製元及び複製先のノードの他方より削除する付記4記載の有向グラフ作成方法。付記6前記削除する処理は、前記下流側に接続するエッジを削除した後に、複製元のノード又は複製先のノードの上流側に接続するエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する付記5記載の有向グラフ生成方法。付記7複数のイベント連鎖を記憶するイベント連鎖記憶部と、該複数のイベント連鎖を統合して作成された有向グラフを記憶する有向グラフ記憶部とを参照して、該有向グラフが含む経路の中で、該複数のイベント連鎖のいずれにも存在しない経路を特定し、特定された経路において下流側に複数のエッジが接続するノードの中で該経路の端点ノードを除く最下流のノード及び該ノードに接続するエッジの複製を作成し、複製されたエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する処理をコンピュータに実行させる有向グラフ作成プログラム。付記8前記削除する処理は、複製元のノード又は複製先のノードの下流側に接続するエッジの中で、前記特定された経路に属するエッジを複製元及び複製先のノードの一方より削除し、前記特定された経路に属さないエッジを複製元及び複製先のノードの他方より削除する付記7記載の有向グラフ作成方法。付記9前記削除する処理は、前記下流側に接続するエッジを削除した後に、複製元のノード又は複製先のノードの上流側に接続するエッジの中で、当該エッジを削除したとしても前記複数のイベント連鎖が含むいずれかの経路が前記有向グラフから除去されないエッジを削除する付記8記載の有向グラフ生成方法。