(57)【要約】  情報処理装置１は、インスタンス２２から任意の科目のデータを検証データとして取得し、ＸＢＲＬデータの定義情報２１を参照して、検証データと同一科目のデータに割り当てられた属性値を特定し（Ｓ５２）、特定した属性値が検証データに対応付けられている又は対応付けられていない場合に、検証データが妥当であると判定し、且つ、特定した属性値以外の属性値が検証データに対応付けられている場合に、検証データが妥当ではないと判定するアルゴリズムを用いて、検証データの妥当性を検証する（Ｓ５４、Ｓ５５）。そして、情報処理装置１は、特定した属性値に所定の種別の属性値が含まれ、且つ、所定の種別の属性値のいずれも検証データに対応付けられていない場合に、検証データが妥当ではないと判定する（Ｓ５７）ことで、検証精度を向上することができる。
2020240873.tif 000002
【特許請求の範囲】
【請求項１】
ＸＢＲＬデータを受け付けると、前記ＸＢＲＬデータから任意の科目のデータを検証対象データとして取得し、
ＸＢＲＬデータの定義情報を参照して、前記検証対象データと同一科目のデータに割り当てられた属性値を特定し、
特定した前記属性値が前記検証対象データに対応付けられている又は対応付けられていない場合に、前記検証対象データが妥当であると判定し、且つ、特定した前記属性値以外の属性値が前記検証対象データに対応付けられている場合に、前記検証対象データが妥当ではないと判定するアルゴリズムを用いて、前記検証対象データの妥当性を検証する、
処理をコンピュータが実行する検証方法であって、
特定した前記属性値に所定の種別の属性値が含まれ、且つ、前記所定の種別の属性値のいずれも前記検証対象データに対応付けられていない場合に、前記検証対象データが妥当ではないと判定する、
処理をコンピュータが実行することを特徴とする検証方法。
【請求項２】
該取得する処理は、前記任意の科目の検証する属性値に対して検証することを示す検証情報を付与するとともに、検証する属性の軸に対して省略しないことを示す情報及び検証しない属性値の軸に対して省略することを示す情報を属性値として付与する検証対象データを取得し、
該特定する処理は、前記任意の科目に基づく軸と当該軸の属性値の組み合わせを示す組み合わせ情報を付与するとともに、前記任意の科目に基づく軸に対して省略可能であるか省略不可能であるかを示す情報を属性値として付与する組み合わせデータを取得し、
該判定する処理は、前記検証対象データと、前記組み合わせデータとを対応する属性値同士で照合し、いずれかの属性値同士で対応付けがされていない場合に、前記検証対象データが妥当ではないと判定する
ことを特徴とする請求項１に記載の検証方法。
【請求項３】
該判定する処理は、対応する属性値同士の照合をビット演算で行う
ことを特徴とする請求項２に記載の検証方法。
【請求項４】
ＸＢＲＬデータを受け付けると、前記ＸＢＲＬデータから任意の科目のデータを検証対象データとして取得する取得部と、
ＸＢＲＬデータの定義情報を参照して、前記取得部によって取得された検証対象データと同一科目のデータに割り当てられた属性値を特定する特定部と、
前記特定部によって特定された前記属性値が前記検証対象データに対応付けられている又は対応付けられていない場合に、前記検証対象データが妥当であると判定し、且つ、特定した前記属性値以外の属性値が前記検証対象データに対応付けられている場合に、前記検証対象データが妥当ではないと判定するアルゴリズムを用いて、前記検証対象データの妥当性を検証する検証部と、を有し、
前記検証部は、
前記特定部によって特定された前記属性値に所定の種別の属性値が含まれ、且つ、前記所定の種別の属性値のいずれも前記検証対象データに対応付けられていない場合に、前記検証対象データが妥当ではないと判定する、
ことを特徴とする情報処理装置。
【請求項５】
ＸＢＲＬデータを受け付けると、前記ＸＢＲＬデータから任意の科目のデータを検証対象データとして取得し、
ＸＢＲＬデータの定義情報を参照して、前記検証対象データと同一科目のデータに割り当てられた属性値を特定し、
特定した前記属性値が前記検証対象データに対応付けられている又は対応付けられていない場合に、前記検証対象データが妥当であると判定し、且つ、特定した前記属性値以外の属性値が前記検証対象データに対応付けられている場合に、前記検証対象データが妥当ではないと判定するアルゴリズムを用いて、前記検証対象データの妥当性を検証する、
処理をコンピュータに実行させる検証プログラムであって、
特定した前記属性値に所定の種別の属性値が含まれ、且つ、前記所定の種別の属性値のいずれも前記検証対象データに対応付けられていない場合に、前記検証対象データが妥当ではないと判定する、
処理をコンピュータに実行させることを特徴とする検証プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、検証方法等に関する。
【背景技術】
【０００２】
例えば、ＸＢＲＬ（eXtensible  Business  Reporting  Language）による財務諸表を金融監督機関へ提出することが義務付けられている。ＸＢＲＬとは、ビジネス報告の作成、流通及び利用を容易にするためのデータ記述言語として、ＸＭＬ（eXtensible  Markup  Language）をベースに開発された言語である。【０００３】
提出される財務諸表は、２次元の表など、複数の軸を持ったデータを表現するために用いられる拡張仕様であるDimension仕様に準拠する必要がある。このため、財務諸表の提出を受けた金融監督機関は、当該財務諸表について、Dimension仕様と呼ばれる仕様に基づく検証を行う。【０００４】
Dimension仕様では、軸と軸に指定する値の組み合わせをあらかじめ定義する。この組み合わせによりデータとして可能な値が表現される。図１２は、Deminsion仕様に準拠した財務諸表の参考例を示す図である。図１２に示す財務諸表では、「売上高」、「売上原価」、「売上総利益」という勘定科目（以下、科目という）に対して、「地域」、「事業」という軸が定義されている。「地域」の軸には、取り得る値として「北米」、「欧州」、「アジア」、「合計」が定義されている。「事業」の軸には、取り得る値として「ハードウェア」、「ソフトウェア」、「合計」が定義されている。【０００５】
そして、Dimension仕様に基づく検証では、定義にない組み合わせ、又は定義で禁止されている組み合わせが存在する場合には、そのデータは妥当なデータではないと判断される。ここでは、例えば、科目が「売上高」である場合に、軸が「地域」である「北米」、軸が「事業」である場合の「ハードウェア」の組み合わせは、妥当なデータであると判断される。一方、例えば、科目が「売上高」である場合に、軸が「地域」である「アフリカ」、軸が「事業」である場合の「ミドルウェア」の組み合わせは、妥当なデータでないと判断される。「アフリカ」は、「地域」の軸の取り得る値として定義されていないからである。「ミドルウェア」は、「事業」の軸の取り得る値として定義されていないからである。
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】特開２００１−３０６３７０号公報
【特許文献２】特開平５−１３４８５９号公報
【発明の概要】
【発明が解決しようとする課題】
【０００７】
かかるDimension仕様には、デフォルトという概念が存在する。デフォルトとは、軸に対して値を指定しない場合に使われる値のことをいう。例えば、軸が「製品種別」である場合に、デフォルトの値として「全製品」が使われる。つまり、科目が「売上高」である場合、「北米」の売上高と、「北米」の「全製品」の売上高とは同義の意味を持つ。一方、デフォルトの値が指定されない軸の場合には、この軸に対して必ず値を指定することが必要となる。【０００８】
このため、Dimension仕様に基づく検証を行う際には、単純な軸と軸の値の組み合わせだけでは正しく検証することが難しいという問題がある。なお、同様の問題は、Dimension仕様に基づく検証以外でも生じうるものである。【０００９】
１つの側面では、本発明は、検証精度を向上することを目的とする。
【課題を解決するための手段】
【００１０】
一態様の検証方法において、ＸＢＲＬデータを受け付けると、前記ＸＢＲＬデータから任意の科目のデータを検証対象データとして取得し、ＸＢＲＬデータの定義情報を参照して、前記検証対象データと同一科目のデータに割り当てられた属性値を特定し、特定した前記属性値が前記検証対象データに対応付けられている又は対応付けられていない場合に、前記検証対象データが妥当であると判定し、且つ、特定した前記属性値以外の属性値が前記検証対象データに対応付けられている場合に、前記検証対象データが妥当ではないと判定するアルゴリズムを用いて、前記検証対象データの妥当性を検証する、処理をコンピュータが実行する検証方法であって、特定した前記属性値に所定の種別の属性値が含まれ、且つ、前記所定の種別の属性値のいずれも前記検証対象データに対応付けられていない場合に、前記検証対象データが妥当ではないと判定する、処理をコンピュータが実行する。
【発明の効果】
【００１１】
一つの態様によれば、検証精度を向上することができる。
【図面の簡単な説明】
【００１２】
【図１】図１は、実施例に係る情報処理装置の構成を示す機能ブロック図である。
【図２】図２は、定義情報の一例を示す図である。
【図３】図３は、インスタンスの一例を示す図である。
【図４】図４は、実施例に係る組み合わせビット列テーブルの一例を示す図である。
【図５】図５は、実施例に係る検証用ビット列の一例を示す図である。
【図６】図６は、実施例に係る検証処理の一例を示す図である。
【図７】図７は、実施例に係る検証処理のメインのフローチャートの一例を示す図である。
【図８】図８は、実施例に係る定義情報解析処理のフローチャートの一例を示す図である。
【図９】図９は、実施例に係る検証情報解析処理のフローチャートの一例を示す図である。
【図１０】図１０は、実施例に係る検証処理のフローチャートの一例を示す図である。
【図１１】図１１は、検証プログラムを実行するコンピュータの一例を示す図である。
【図１２】図１２は、Deminsion仕様に準拠した財務諸表の参考例を示す図である。
【図１３Ａ】図１３Ａは、ビット演算による検証の参考例を示す図である。
【図１３Ｂ】図１３Ｂは、ビット演算による検証の参考例を示す図である。
【発明を実施するための形態】
【００１３】
以下に、本願の開示する検証方法、情報処理装置及び検証プログラムの実施例を図面に基づいて詳細に説明する。なお、実施例によりこの発明が限定されるものではない。
【実施例】
【００１４】
まず、Dimension仕様に基づく検証を行う際に、軸と軸の値の組み合わせの検証を、ビット演算を用いて行う場合の参考例を、図１３Ａ及び図１３Ｂを参照して説明する。図１３Ａ及び図１３Ｂは、ビット演算による検証の参考例を示す図である。図１３Ａ及び図１３Ｂでは、勘定科目（以下、「科目」と略記）が「売上」、「資産」である場合の、軸と軸の値の組み合わせの検証を行う場合について説明する。【００１５】
図１３Ａに示すように、科目としての「売上」、「資産」に対して、軸と値の全組み合わせを考慮したビット列が生成されている。ここでは、「全地域」、「北米」、「アジア」、「欧州」が「地域」軸の値である。「全製品」、「家電」、「ＰＣ」が「製品種別」軸の値である。「有形」、「無形」が「資産種別」軸の値である。【００１６】
科目に対して軸と値とが可能な組み合わせである場合に「１」のビット値が設定される。科目に対して軸と値とが可能でない組み合わせである場合に「０」のビット値が設定される。ここでは、「売上」の科目に対して、「地域」軸の値及び「製品種別」軸の値に「１」のビット値が設定されている。「資産」の科目に対して、「地域」軸の値及び「資産種別」軸の値に「１」のビット値が設定されている。なお、科目に対する軸と値の全組み合わせや、科目に対する軸と値とが可能な組み合わせは、Dimension仕様を用いて定義情報にあらかじめ定義される。【００１７】
このような状況の下、情報処理装置は、図１３Ａに示した科目に対する軸と値との可能な組み合わせのビット列を前提に、検証する値の組み合わせが妥当であるか否かを、ビット演算を用いて検証する。【００１８】
図１３Ｂ上段に示すように、科目が「売上」である場合の検証する値の組み合わせが、「地域：北米、他指定なし」であるとする。「地域：北米、他指定なし」とは、「地域」軸の値の指定が「北米」且つその他の軸の値の指定がない場合を意味する。かかる場合には、検証用のビット列の「北米」に対するビットに問い合わせビットとしての「１」が設定される。すなわち、検証用のビット列は、検証する値のビットのみ「１」が設定される。【００１９】
そして、情報処理装置は、科目が「売上」である場合の軸と値との可能な組み合わせのビット列と、「地域：北米、他指定なし」の検証用のビット列とのＡＮＤ演算を行い、ＡＮＤ結果を出力する。情報処理装置は、ＡＮＤ結果が問い合わせビットと一致すれば、妥当な組み合わせであると判定する。ここでは、ＡＮＤ結果は問い合わせビットと一致するので、検証する値の組み合わせは、妥当な組み合わせであると判定される。【００２０】
図１３Ｂ中段に示すように、科目が「売上」である場合の検証する値の組み合わせが、「資産：有形、他指定なし」であるとする。「資産：有形、他指定なし」とは、「資産種別」軸の値の指定が「有形」且つその他の軸の値の指定がない場合を意味する。かかる場合には、検証用のビット列の「有形」に対するビットに問い合わせビットとしての「１」が設定される。【００２１】
そして、情報処理装置は、科目が「売上」である場合の軸と値との可能な組み合わせのビット列と、「地域：有形、他指定なし」の検証用のビット列とのＡＮＤ演算を行い、ＡＮＤ結果を出力する。情報処理装置は、ＡＮＤ結果が問い合わせビットと一致すれば、妥当な組み合わせであると判定する。ここでは、ＡＮＤ結果は問い合わせビットと一致しないので、検証する値の組み合わせは、妥当な組み合わせでないと判定される。【００２２】
図１３Ｂ下段に示すように、科目が「資産」である場合の検証する値の組み合わせが、「地域：全地域、他指定なし」であるとする。「地域：全地域、他指定なし」とは、「地域」軸の値の指定が「全地域」且つその他の軸の値の指定がない場合を意味する。かかる場合には、検証用のビット列の「全地域」に対するビットに問い合わせビットとしての「１」が設定される。【００２３】
そして、情報処理装置は、科目が「資産」である場合の軸と値との可能な組み合わせのビット列と、「地域：全地域、他指定なし」の検証用のビット列とのＡＮＤ演算を行い、ＡＮＤ結果を出力する。情報処理装置は、ＡＮＤ結果が問い合わせビットと一致すれば、妥当な組み合わせであると判定する。ここでは、ＡＮＤ結果は問い合わせビットと一致するので、検証する値の組み合わせは、妥当な組み合わせであると判定される。【００２４】
ところが、科目が「資産」である場合、「資産種別」の軸の値は、図１３Ｂで示される科目が「資産」である場合の軸と値とが可能な組み合わせから検証対象である必要がある。すなわち、「資産種別」の軸の値が、検証する値の組み合わせに含まれる必要がある。しかしながら、図１３Ｂ下段の場合では、「資産種別」の軸の値が、検証する値の組み合わせに含まれていない。これにもかかわらず、ＡＮＤ結果が問い合わせビットと一致してしまい、検証する値の組み合わせが、妥当な組み合わせであると判定されている。【００２５】
これは、Dimension仕様には、「資産種別」の軸はデフォルトの値が定義されていないため、科目が「資産」の値の組み合わせを検証する場合には、必ず、検証用のビット列に「資産種別」の軸のデフォルトでない値を指定することが必要であるからである。しかしながら、検証用のビット列に、「資産種別」の軸の値を指定していないにもかかわらず、妥当という結果になっている。すなわち、Dimension仕様には、デフォルトという概念が存在するので、値にデフォルトがない軸の場合、図１３Ｂの下段のように誤って妥当と判定される場合がある。したがって、Dimension仕様に基づく検証を行う際には、単純な軸と軸の値の組み合わせだけでは正しく検証することが難しい。【００２６】
そこで、以降では、Dimension仕様に基づく検証をビット演算で行う際に、検証精度を向上する検証方法を実行する情報処理装置１について説明する。【００２７】
［実施例に係る情報処理装置の構成］
図１は、実施例に係る情報処理装置の構成を示す機能ブロック図である。図１に示すように、情報処理装置１は、Dimension仕様に基づく検証をビット演算で行う。情報処理装置１は、Dimension仕様によりあらかじめ定義される科目に対する軸と軸の値とが可能な組み合わせに基づいて、軸の値の指定が省略可能かどうかを判断する。そして、情報処理装置１は、軸と軸の値との可能な組み合わせのビット列（組み合わせビット列）及び検証用のビット列（検証用ビット列）にそれぞれ判別用のビットを追加して、追加して得られる組み合わせビット列と検証用ビット列とを用いて検証を行う。なお、検証用のビット列は、検証対象データの一例である。軸と軸の値との可能な組み合わせのビット列は、組み合わせデータの一例である。【００２８】
情報処理装置１は、制御部１０と記憶部２０とを有する。【００２９】
制御部１０は、各種の処理手順を規定したプログラムや制御データを格納するための内部メモリを有し、これらによって種々の処理を実行する。そして、制御部１０は、例えば、ＡＳＩＣ（Application  Specific  Integrated  Circuit）やＦＰＧＡ（Field  Programmable  Gate  Array）等の集積回路又はＣＰＵ（Central  Processing  Unit）やＭＰＵ（Micro  Processing  Unit）等の電子回路に対応する。さらに、制御部１０は、定義情報解析部１１、検証情報解析部１２、検証部１３及び出力部１４を有する。なお、検証情報解析部１２は、取得部の一例である。検証部１３は、特定部及び検証部の一例である。【００３０】
記憶部２０は、例えばフラッシュメモリ（Flash  Memory）やＦＲＡＭ（登録商標）（Ferroelectric  Random  Access  Memory）等の不揮発性の半導体メモリ素子等の記憶装置に対応する。そして、記憶部２０は、定義情報２１、インスタンス２２、組み合わせビット列テーブル２３及び検証用ビット列２４を有する。【００３１】
定義情報２１は、ＸＢＲＬ要素の定義体の情報である。定義情報２１は、ＸＢＲＬ要素の勘定科目名や軸の情報など財務情報を電子的に表現するために必要な情報を定義した情報である。定義情報２１は、ＸＢＲＬタクソノミに含まれる。【００３２】
図２は、定義情報の一例を示す図である。図２に示すように、定義情報２１は、科目、軸及び軸が取り得る値を対応付けて記憶する。【００３３】
一例として、科目が「売上」である場合に、軸として「地域」、「製品種別」が含まれる。軸が「地域」である場合に、軸が取り得る値として「全地域」、「北米」、「アジア」及び「欧州」が含まれる。軸が「製品種別」である場合に、軸が取り得る値として「全製品」、「家電」及び「ＰＣ」が含まれる。また、科目が「資産」である場合に、軸として「地域」、「資産種別」が含まれる。軸が「地域」である場合に、軸が取り得る値として「全地域」、「北米」、「アジア」及び「欧州」が含まれる。軸が「資産種別」である場合に、軸が取り得る値として「有形」及び「無形」が含まれる。【００３４】
ここでいう「地域」の軸が取り得る値の「全地域」や、「製品種別」の軸が取り得る値の「全製品」が、軸が取り得るデフォルトの値である。なお、「資産種別」の軸には、軸が取り得るデフォルトの値が定義されない。【００３５】
図１に戻って、インスタンス２２は、財務情報を記述したＸＢＲＬデータを示す文書である。財務情報は、ＸＢＲＬタクソノミに定義されたルールに従って記述される。【００３６】
図３は、インスタンスの一例を示す図である。図３に示すように、インスタンスは、科目の値に紐付く情報として、例えば企業の識別子、値の日付、軸の情報などが含まれる。科目の値に紐付く情報のことを「コンテキスト」という。コンテキストは、Identifier、Period、Segment、Scenarioにより、ＸＢＲＬ要素のデータを表現する。すなわち、ＸＢＲＬ要素は、Identifier、Period、Segment、Scenarioにより解釈できる。一例として、「資産種別」の軸に「有形」の値が設定されている。「地域」の軸に「北米」の値が設定されている。【００３７】
図１に戻って、組み合わせビット列テーブル２３は、軸と軸の値との可能な組み合わせのビット列を科目ごとに記憶する。組み合わせビット列は、定義情報２１に定義された全軸について、軸と軸の値の全組み合わせを考慮したビット列である。加えて、組み合わせビット列は、それぞれの軸に対して省略可能であるか省略不可能であるかを示すビットを持つ。なお、組み合わせビット列テーブル２３は、定義情報解析部１１によって生成される。【００３８】
ここで、実施例に係る組み合わせビット列テーブル２３の一例を、図４を参照して説明する。図４は、実施例に係る組み合わせビット列テーブルの一例を示す図である。図４に示すように、組み合わせビット列テーブル２３は、科目ごとに、軸の値に対する情報と、軸に対する省略可能であるかを示す情報とを、対応付ける。【００３９】
軸の値に対する情報は、軸の値が科目に指定されているか否かを示す情報であり、ビットで表わす。一例として、軸の値が科目に指定されている場合には「１」、指定されていない場合には「０」が設定される。軸に対する省略可能であるかは、軸にデフォルトの値を持つか、又は軸が科目に指定されていないかを示す情報であり、ビットで表わす。一例として、軸にデフォルトの値を持つか、又は軸が科目に設定されていない場合には「１」、軸が科目に設定され、且つ、軸にデフォルトの値を持たない場合には「０」が設定される。【００４０】
一例として、科目が「売上」である場合に、「地域」の軸の値「全地域」、「北米」、「アジア」、「欧州」には、それぞれ軸の値が科目に指定されていることを示す「１」が記憶されている。「製品種別」の軸の値「全製品」、「家電」、「ＰＣ」には、それぞれ軸の値が科目に指定されていることを示す「１」が記憶されている。「資産種別」の軸の値「有形」、「無形」には、それぞれ軸の値が科目に指定されていないことを示す「０」が記憶されている。「地域」の省略可能には、「地域」の軸にデフォルトの値を持つことを示す「１」が記憶されている。「製品種別」の省略可能には、「製品種別」の軸にデフォルトの値を持つことを示す「１」が記憶されている。「資産種別」の省略可能には、「資産種別」の軸が科目に設定されていないことを示す「１」が記憶されている。【００４１】
別の例として、科目が「資産」である場合に、「地域」の軸の値「全地域」、「北米」、「アジア」、「欧州」には、それぞれ軸の値が科目に指定されていることを示す「１」が記憶されている。「製品種別」の軸の値「全製品」、「家電」、「ＰＣ」には、それぞれ軸の値が科目に指定されていないことを示す「０」が記憶されている。「資産種別」の軸の値「有形」、「無形」には、それぞれ軸の値が科目に指定されていることを示す「１」が記憶されている。「地域」の省略可能には、「地域」の軸にデフォルトの値を持つことを示す「１」が記憶されている。「製品種別」の省略可能には、「製品種別」の軸が科目に設定されていないことを示す「１」が記憶されている。「資産種別」の省略可能には、「資産種別」の軸が科目に設定され、且つ、当該軸にデフォルトの値を持たないことを示す「０」が記憶されている。【００４２】
図１に戻って、検証用ビット列２４は、検証する科目について、検証する値の組み合わせが妥当であるか否かの検証に用いられるビット列である。加えて、検証用ビット列２４は、検証しない値の軸に対して指定を省略することを示すビットを持つ。なお、検証用ビット列２４は、検証情報解析部１２によって生成される。【００４３】
ここで、実施例に係る検証用ビット列２４の一例を、図５を参照して説明する。図５は、実施例に係る検証用ビット列の一例を示す図である。図５に示すように、検証用ビット列２４は、科目に対して、軸の値に対する情報と、軸に対する省略可能であるかを示す情報とを、対応付ける。【００４４】
軸の値に対する情報は、軸の値が検証する値の組み合わせに指定されているか否かを示す情報であり、ビットで表わす。一例として、軸の値が検証する値の組み合わせに指定されている場合には「１」、指定されていない場合には「０」が設定される。軸に対する省略可能であるかは、検証する値の組み合わせに指定されていない値の軸に対して指定を省略することを示す情報であり、ビットで表わす。一例として、指定を省略する場合には「１」、省略しない場合には「０」が設定される。【００４５】
一例（Ｐ１）として、科目が「資産」である場合の検証する値の組み合わせが、「地域：全地域、他指定なし」である。「地域：全地域、他指定なし」とは、「地域」軸の値の指定が「全地域」且つその他の軸の値の指定がない場合を意味する。かかる場合には、検証用ビット列２４の「全地域」に対するビットに問い合わせビットとしての「１」が記憶されている。加えて、検証用ビット列２４の「製品種別」の省略可能には、指定を省略することを示す「１」が記憶されている。加えて、検証用ビット列２４の「資産種別」の省略可能には、指定を省略することを示す「１」が記憶されている。なお、検証用ビット列２４の「地域」の省略可能には、指定を省略しないことを示す「０」が記憶されている。【００４６】
別の例（Ｐ２）として、科目が「資産」である場合の検証する値の組み合わせが、「地域：指定なし」である。「地域：指定なし」とは、全ての軸の値の指定がない場合を意味する。かかる場合には、検証用ビット列２４の全ての軸の値に対するビットに問い合わせがないことを示す「０」が記憶されている。加えて、検証用ビット列２４の「地域」の省略可能には、指定を省略することを示す「１」が記憶されている。検証用ビット列２４の「製品種別」の省略可能には、指定を省略することを示す「１」が記憶されている。加えて、検証用ビット列２４の「資産種別」の省略可能には、指定を省略することを示す「１」が記憶されている。【００４７】
別の例（Ｐ３）として、科目が「資産」である場合の検証する値の組み合わせが、「地域：北米、資産種別：有形」である。「地域：北米、資産種別：有形」とは、「地域」軸の値の指定が「北米」且つ「資産種別」の値の指定が「有形」である場合を意味する。かかる場合には、検証用ビット列２４の「北米」に対するビットに問い合わせビットとしての「１」が記憶されている。検証用ビット列２４の「有形」に対するビットに問い合わせビットとしての「１」が記憶されている。加えて、検証用ビット列２４の「製品種別」の省略可能には、指定を省略することを示す「１」が記憶されている。なお、検証用ビット列２４の「地域」の省略可能には、指定を省略しないことを示す「０」が記憶されている。検証用ビット列２４の「資産種別」の省略可能には、指定を省略しないことを示す「０」が記憶されている。【００４８】
図１に戻って、定義情報解析部１１は、定義情報２１を解析して、組み合わせビット列テーブル２３を生成する。【００４９】
例えば、定義情報解析部１１は、定義情報２１を参照して、軸及び軸の値の組み合わせを全て取得し、リストに保存する。定義情報解析部１１は、リストの末尾に各軸の省略可能の項目を追加する。定義情報解析部１１は、リストを用いて、全ての科目に基づく組み合わせビット列を生成する。一例として、定義情報解析部１１は、科目ごとに、以下の処理を行う。定義情報解析部１１は、定義情報２１を参照して、科目に基づく軸と軸の値の組み合わせに該当するリストの組み合わせ部分を「１」に設定して、組み合わせビット列を生成する。加えて、定義情報解析部１１は、科目に基づいていない軸、すなわち、科目に指定されていない軸がある場合には、この軸の省略可能のビットを「１」に設定する。さらに、定義情報解析部１１は、科目に基づく軸にデフォルトの値が指定されている場合には、この軸の省略可能のビットを「１」に設定する。なお、定義情報解析部１１は、科目に基づく軸にデフォルトの値が指定されていない場合には、この軸の省略可能なビットを「０」のままとする。そして、定義情報解析部１１は、科目ごとの組み合わせビット列を組み合わせビット列テーブル２３に追加する。【００５０】
検証情報解析部１２は、検証する検証情報を解析して、検証用ビット列２４を生成する。【００５１】
例えば、検証情報解析部１２は、検証するＸＢＲＬデータであるインスタンス２２を受け付けると、インスタンス２２から任意の科目のデータを検証対象データとして取得する。検証情報解析部１２は、検証対象データから検証用ビット列２４を生成する。一例として、検証情報解析部１２は、検証対象データから検証したい軸を取得し、同一の軸に複数の値が指定されていないかをチェックする。検証情報解析部１２は、同一の軸に複数の値が指定されていない場合には、検証したい軸と軸の値の組み合わせに該当するリストの組み合わせ部分を「１」に設定して、検証用ビット列２４を生成する。加えて、検証情報解析部１２は、検証しない軸、すなわち、検証対象データに指定されていない軸について、検証用ビット列２４の省略可能の項目に「１」を設定する。なお、検証情報解析部１２は、検証したい軸、すなわち、検証対象データに指定されている軸について、この軸の省略可能なビットを「０」のままとする。【００５２】
検証部１３は、検証する検証情報を検証する。【００５３】
例えば、検証部１３は、検証する科目の組み合わせビット列を組み合わせビット列テーブル２３から取得する。検証部１３は、検証用ビット列２４と、取得した組み合わせビット列とをＡＮＤ演算する。そして、検証部１３は、ＡＮＤ結果が検証用ビット列２４と一致する場合には、妥当であると判定する。検証部１３は、ＡＮＤ結果が検証用ビット列２４と一致しない場合には、妥当でないと判定する。【００５４】
すなわち、検証部１３は、定義情報２１を参照して、検証対象データ（検証用ビット列２４に相当）と同一科目のデータに割り当てられた軸と軸の値（組み合わせビット列に相当）を特定する。検証部１３は、特定した軸と軸の値が検証対象データに指定されている又は指定されていない場合に、検証対象データが妥当であると判定し、且つ、特定した軸と軸の値以外の軸と軸の値が検証対象データに指定されている場合に、検証対象データが妥当ではないと判定する。そして、検証部１３は、特定した軸と軸の値に所定の種別の軸と軸の値が含まれ、且つ、所定の種別の軸と軸の値のいずれも検証対象データに指定されていない場合に、検証対象データが妥当ではないと判定する。ここでいう所定の種別とは、例えば、図５で示すデフォルトを持たない軸（資産種別の軸）を示す種別のことをいう。【００５５】
出力部１４は、検証する検証情報の検証結果を出力する。例えば、出力部１４は、検証用ビット列２４と検証する科目の組み合わせビット列と検証結果とをモニタに出力する。【００５６】
［検証処理の一例］
図６は、実施例に係る検証処理の一例を示す図である。図６では、科目が「資産」である場合であって、図５で示したＰ１〜Ｐ３の検証する値の組み合わせの検証を行う場合について説明する。図６の符号ｂ０で示すビット列は、科目が「資産」である場合の組み合わせビット列である。組み合わせビット列ｂ０には、「地域」の軸の値が科目に指定されていることを示す「１」が設定されている。「資産種別」の軸の値が科目に指定されていることを示す「１」が設定されている。そして、「地域」の省略可能ビットに、「地域」の軸にデフォルトの値（「全値域」）を持つことを示す「１」が設定されている。「製品種別」の省略可能ビットに、「製品種別」の軸が科目に設定されていないことを示す「１」が設定されている。「資産種別」の省略可能ビットに「資産種別」の軸が科目に設定され、且つ、軸にデフォルトの値を持たないことを示す「０」が設定されている。【００５７】
このような状況の下、Ｐ１の検証する値の組み合わせの検証について説明する。Ｐ１の検証する値の組み合わせは、「地域：全地域、他指定なし」である。ここでは、図６の符号ｂ１で示すビット列が、Ｐ１の検証する値の組み合わせの検証用ビット列２４である。検証用ビット列２４には、「全地域」に対するビットに問い合わせビット「１」が設定されている。「地域」の省略可能には、指定を省略しないことを示す「０」が設定されている。「製品種別」の省略可能には、指定を省略することを示す「１」が設定されている。「資産種別」の省略可能には、指定を省略することを示す「１」が設定されている。【００５８】
例えば、検証部１３は、検証用ビット列２４（ｂ１）と、組み合わせビット列ｂ０とをＡＮＤ演算する。そして、検証部１３は、ＡＮＤ結果ａ１が検証用ビット列２４（ｂ１）と一致する場合には、Ｐ１の検証する値の組み合わせが妥当であると判定する。検証部１３は、ＡＮＤ結果ａ１が検証用ビット列２４（ｂ１）と一致しない場合には、Ｐ１の検証する値の組み合わせが妥当でないと判定する。ここでは、ＡＮＤ結果ａ１が検証用ビット列２４（ｂ１）と一致しないので、Ｐ１の検証する値の組み合わせが妥当でないと判定される。すなわち、科目が「資産」である場合、値にデフォルトを持たない「資産種別」の軸の値が指定されなければならないが、Ｐ１の検証する値の組み合わせに「資産種別」の軸の値が指定されていないので、Ｐ１の検証する値の組み合わせが妥当でないと判定される。これにより、検証部１３は、各軸の省略可能なビットを、組み合わせビット列及び検証用ビット列２４に追加したことで、ＡＮＤ結果が検証用ビットと一致しなくなるため、従来では妥当であると判定された検証を妥当でないと判定することができる。【００５９】
次に、Ｐ２の検証する値の組み合わせの検証について説明する。Ｐ２の検証する値の組み合わせは、「指定なし」である。ここでは、図６の符号ｂ２で示すビット列が、Ｐ２の検証する値の組み合わせの検証用ビット列２４である。検証用ビット列２４には、「地域」、「製品種別」及び「資産種別」のそれぞれの省略可能には、指定を省略することを示す「１」が設定されている。【００６０】
例えば、検証部１３は、検証用ビット列２４（ｂ２）と、組み合わせビット列ｂ０とをＡＮＤ演算する。そして、検証部１３は、ＡＮＤ結果ａ２が検証用ビット列２４（ｂ２）と一致する場合には、Ｐ２の検証する値の組み合わせが妥当であると判定する。検証部１３は、ＡＮＤ結果ａ２が検証用ビット列２４（ｂ２）と一致しない場合には、Ｐ２の検証する値の組み合わせが妥当でないと判定する。ここでは、ＡＮＤ結果ａ２が検証用ビット列２４（ｂ２）と一致しないので、Ｐ２の検証する値の組み合わせが妥当でないと判定される。すなわち、科目が「資産」である場合、値にデフォルトを持たない「資産種別」の軸の値が指定されなければならないが、Ｐ２の検証する値の組み合わせに「資産種別」の軸の値が指定されていないので、Ｐ２の検証する値の組み合わせが妥当でないと判定される。これにより、検証部１３は、各軸の省略可能なビットを、組み合わせビット列及び検証用ビット列２４に追加したことで、ＡＮＤ結果が検証用ビットと一致しなくなるため、従来では妥当であると判定された検証を妥当でないと判定することができる。【００６１】
次に、Ｐ３の検証する値の組み合わせの検証について説明する。Ｐ３の検証する値の組み合わせは、「地域：北米、資産種別：有形」である。ここでは、図６の符号ｂ３で示すビット列が、Ｐ３の検証する値の組み合わせの検証用ビット列２４である。検証用ビット列２４には、「北米」に対するビットに問い合わせビット「１」が設定されている。「有形」に対するビットに問い合わせビット「１」が設定されている。「地域」の省略可能には、指定を省略しないことを示す「０」が設定されている。「製品種別」の省略可能には、指定を省略することを示す「１」が設定されている。「資産種別」の省略可能には、指定を省略しないことを示す「０」が設定されている。【００６２】
例えば、検証部１３は、検証用ビット列２４（ｂ３）と、組み合わせビット列ｂ０とをＡＮＤ演算する。そして、検証部１３は、ＡＮＤ結果ａ３が検証用ビット列２４（ｂ３）と一致する場合には、Ｐ３の検証する値の組み合わせが妥当であると判定する。検証部１３は、ＡＮＤ結果ａ３が検証用ビット列２４（ｂ３）と一致しない場合には、Ｐ３の検証する値の組み合わせが妥当でないと判定する。ここでは、ＡＮＤ結果ａ３が検証用ビット列２４（ｂ３）と一致するので、Ｐ３の検証する値の組み合わせが妥当であると判定される。すなわち、組み合わせビット列ｂ０で示される組み合わせの軸と軸の値がＰ３の検証する値の組み合わせに指定されている又は指定されていないので、Ｐ３の検証する値の組み合わせが妥当であると判定される。【００６３】
［検証処理のフローチャート］
ここで、実施例に係る検証処理のフローチャートを、図７〜図１０を参照して説明する。図７は、実施例に係る検証処理のメインのフローチャートの一例を示す図である。【００６４】
図７に示すように、定義情報解析部１１は、ＸＢＲＬ要素の定義体（定義情報２１）を入力すると（ステップＳ１１）、定義情報解析処理を実行する（ステップＳ１２）。なお、定義情報解析処理のフローチャートについては、後述する。【００６５】
そして、検証情報解析部１２は、検証情報解析処理を実行する（ステップＳ１３）。なお、検証情報解析処理のフローチャートについては、後述する。【００６６】
そして、検証部１３は、検証処理を実行する（ステップＳ１４）。なお、検証処理のフローチャートについては、後述する、【００６７】
そして、出力部１４は、検証処理の結果を出力する（ステップＳ１５）。【００６８】
［定義情報解析処理のフローチャート］
図８は、実施例に係る定義情報解析処理のフローチャートの一例を示す図である。【００６９】
図８に示すように、定義情報解析部１１は、定義情報２１の定義リンクに存在する軸及び軸の値の組み合わせを全て取得し、検証用ビット列２４の生成用のリストに保存する（ステップＳ２１）。加えて、定義情報解析部１１は、リストの末尾に各軸の省略可能ビットを追加する（ステップＳ２２）。【００７０】
そして、定義情報解析部１１は、全ての科目に紐付く軸と軸の値の組み合わせを取得する（ステップＳ２３）。【００７１】
そして、定義情報解析部１１は、全ての科目の中から１つの科目を選択する（ステップＳ２４Ａ）。定義情報解析部１１は、選択した科目に紐付く軸と軸の値の組み合わせに該当するリストのインデックスを「１」にしたビット列を生成する（ステップＳ２４）。【００７２】
そして、定義情報解析部１１は、選択した科目に紐付かない（指定されていない）軸があるか否かを判定する（ステップＳ２５）。選択した科目に紐付かない（指定されていない）軸があると判定した場合には（ステップＳ２５；Ｙｅｓ）、定義情報解析部１１は、ビット列の当該軸の省略可能ビットを「１」に設定する（ステップＳ２６）。そして、定義情報解析部１１は、ステップＳ２７に移行する。【００７３】
一方、選択した科目に紐付かない（指定されていない）軸がないと判定した場合には（ステップＳ２５；Ｎｏ）、定義情報解析部１１は、ステップＳ２７に移行する。【００７４】
ステップＳ２７において、定義情報解析部１１は、選択した科目に紐付く軸にデフォルトの値が指定されているか否かを判定する（ステップＳ２７）。選択した科目に紐付く軸にデフォルトの値が指定されていると判定した場合には（ステップＳ２７；Ｙｅｓ）、定義情報解析部１１は、ビット列の当該軸の省略可能ビットを「１」に設定する（ステップＳ２８）。そして、定義情報解析部１１は、ステップＳ２９に移行する。【００７５】
一方、選択した科目に紐付く軸にデフォルトの値が指定されていないと判定した場合には（ステップＳ２７；Ｎｏ）、定義情報解析部１１は、ステップＳ２９に移行する。【００７６】
ステップＳ２９において、定義情報解析部１１は、ビット列を組み合わせビット列テーブル２３に追加する（ステップＳ２９）。【００７７】
そして、定義情報解析部１１は、全ての科目を選択したか否かを判定する（ステップＳ３０）。全ての科目を選択していないと判定した場合には（ステップＳ３０；Ｎｏ）、定義情報解析部１１は、次の科目を選択すべく、ステップＳ２４Ａに移行する。【００７８】
一方、全ての科目を選択したと判定した場合には（ステップＳ３０；Ｙｅｓ）、定義情報解析部１１は、定義情報解析処理を終了する。【００７９】
［検証情報解析処理のフローチャート］
図９は、実施例に係る検証情報解析処理のフローチャートの一例を示す図である。【００８０】
図９に示すように、検証情報解析部１２は、検証したい科目と軸と軸の値の組み合わせを受け付ける（ステップＳ４１）。すなわち、検証情報解析部１２は、検証する値の組み合わせを受け付ける。【００８１】
そして、検証情報解析部１２は、受け付けた組み合わせについて、同一の軸に対して複数の値が指定されているか否かを判定する（ステップＳ４２）。同一の軸に対して複数の値が指定されていると判定した場合には（ステップＳ４２；Ｙｅｓ）、検証情報解析部１２は、検証する値の組み合わせが妥当ではないと判定する（ステップＳ４３）。そして、検証情報解析部１２は、検証情報解析処理を終了する。【００８２】
一方、同一の軸に対して複数の値が指定されていないと判定した場合には（ステップＳ４２；Ｎｏ）、検証情報解析部１２は、軸と軸の値の組み合わせに該当するリストのインデックスを「１」にした検証用ビット列２４を生成する（ステップＳ４４）。【００８３】
加えて、検証情報解析部１２は、受け付けた組み合わせに指定されていない軸について、検証用ビット列２４の省略可能ビットを「１」に設定する（ステップＳ４５）。そして、検証情報解析部１２は、検証情報解析処理を終了する。【００８４】
［検証処理のフローチャート］
図１０は、実施例に係る検証処理のフローチャートの一例を示す図である。【００８５】
図１０に示すように、検証部１３は、組み合わせビット列テーブル２３から検証する科目のビット列を全て取得する（ステップＳ５１）。全て取得するのは、検証する科目によっては、同じ科目であっても複数の組み合わせビット列を有する場合があるからである。【００８６】
検証部１３は、組み合わせビット列が存在するか否かを判定する（ステップＳ５２）。組み合わせビット列が存在しないと判定した場合には（ステップＳ５２；Ｎｏ）、検証部１３は、Dimension仕様による制約はないと判断し、検証する値の組み合わせが妥当な組み合わせであると判定する（ステップＳ５３）。そして、検証部１３は、検証処理を終了する。【００８７】
一方、組み合わせビット列が存在する判定した場合には（ステップＳ５２；Ｙｅｓ）、検証部１３は、組み合わせビット列と検証用ビット列２４をＡＮＤ演算する（ステップＳ５４）。そして、検証部１３は、ＡＮＤ演算の結果が検証用ビット列２４と同じであるか否かを判定する（ステップＳ５５）。【００８８】
ＡＮＤ演算の結果が検証用ビット列２４と同じであると判定した場合には（ステップＳ５５；Ｙｅｓ）、検証部１３は、検証する値の組み合わせが妥当な組み合わせと判定する（ステップＳ５６）。そして、検証部１３は、検証処理を終了する。【００８９】
一方、ＡＮＤ演算の結果が検証用ビット列２４と同じでないと判定した場合には（ステップＳ５５；Ｎｏ）、検証部１３は、検証する値の組み合わせが妥当ではない組み合わせと判定する（ステップＳ５７）。そして、検証部１３は、検証処理を終了する。【００９０】
これにより、情報処理装置１は、大規模なインスタンス２２のDimension仕様に基づく検証の精度を向上しつつ、高速に検証することができる。すなわち、近年、Dimension仕様を用いて報告されるインスタンス２２は、例えば数１００メガバイト（ＭＢ）〜数ギガバイト（ＧＢ）と大規模化している。したがって、インスタンス２２の提出を受けた金融監督機関などは、提出を受けた大規模化したインスタンス２２を検証する必要がある。かかる場合に、情報処理装置１は、インスタンス２２における大量の数値のDimensionの組み合わせを、ＸＢＲＬタクソノミ（定義情報２１）を参照しなくても、検証することが可能となる。【００９１】
また、情報処理装置１は、ＸＢＲＬタクソノミ（定義情報２１）の中の表定義に対して、インスタンス２２のデータを確実且つ高速に割り当てることが可能となる。すなわち、ＸＢＲＬタクソノミ（定義情報２１）には、テーブルリンクベースという表を定義する仕様が存在する。各表のヘッダー部の行列には、科目名やDimensionの取り得る値などが指定されている。情報処理装置１が、インスタンス２２の検証用ビット列２４を検証時に生成しておけば、その後、生成した検証用ビット列２４を用いて各表へデータを割り当てることが可能となる。例えば、情報処理装置１は、各表に、検証用ビット列２４を用いてDimensionを満たすデータをインスタンス２２から検索し、各表へ割り当てることが可能となる。【００９２】
［実施例の効果］
上記実施例によれば、情報処理装置１は、ＸＢＲＬデータを受け付けると、前記ＸＢＲＬデータから任意の科目のデータを検証対象データとして取得する。情報処理装置１は、ＸＢＲＬデータの定義情報を参照して、検証対象データと同一科目のデータに割り当てられた属性値を特定する。情報処理装置１は、特定した属性値が検証対象データに対応付けられている又は対応付けられていない場合に、検証対象データが妥当であると判定し、且つ、特定した属性値以外の属性値が検証対象データに対応付けられている場合に、検証対象データが妥当ではないと判定するアルゴリズムを用いて、検証対象データの妥当性を検証する。そして、情報処理装置１は、特定した属性値に所定の種別の属性値が含まれ、且つ、所定の種別の属性値のいずれも検証対象データに対応付けられていない場合に、検証対象データが妥当ではないと判定する。かかる構成によれば、情報処理装置１は、検証精度を向上することができる。【００９３】
また、上記実施例によれば、情報処理装置１は、任意の科目の検証する属性値に対して検証することを示す検証情報を付与するとともに、検証する属性の軸に対して省略しないことを示す情報及び検証しない属性値の軸に対して省略することを示す情報を属性値として付与する検証対象データを取得する。情報処理装置１は、任意の科目に基づく軸と当該軸の属性値の組み合わせを示す組み合わせ情報を付与するとともに、任意の科目に基づく軸に対して省略可能であるか省略不可能であるかを示す情報を属性値として付与する組み合わせデータを取得する。情報処理装置１は、検証対象データと、組み合わせデータとを対応する属性値同士で照合し、いずれかの属性値同士で対応付けがされていない場合に、検証対象データが妥当ではないと判定する。かかる構成によれば、情報処理装置１は、軸に対して省略可能であるか省略不可能であるかを示す情報を、検証に用いることで、検証精度を向上することができる。【００９４】
また、情報処理装置１は対応する属性値同士の照合をビット演算で行う。かかる構成によれば、情報処理装置１は、検証を精度良く且つ高速に行うことができる。【００９５】
［プログラム等］
なお、図示した情報処理装置１の各構成要素は、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、情報処理装置１の分散・統合の具体的態様は図示のものに限られず、その全部又は一部を、各種の負荷や使用状況等に応じて、任意の単位で機能的又は物理的に分散・統合して構成することができる。例えば、検証部１３と出力部１４とを１個の部として統合しても良い。一方、定義情報解析部１１を、組み合わせビット列の軸と軸の値の組み合わせの部分を生成する第１の定義情報解析部と、組み合わせビット列の省略可能なビットの部分を生成する第２の定義情報解析部とに分散しても良い。同様に、検証情報解析部１２を、検証用ビット列２４の軸と軸の値の組み合わせの部分を生成する第１の検証情報解析部と、検証用ビット列２４の省略可能なビットの部分を生成する第２の検証情報解析部とに分散しても良い。また、定義情報２１、インスタンス２２、組み合わせビット列テーブル２３及び検証用ビット列２４等の記憶部２０を情報処理装置１の外部装置としてネットワーク経由で接続するようにしても良い。【００９６】
また、上記実施例で説明した各種の処理は、あらかじめ用意されたプログラムをパーソナルコンピュータやワークステーション等のコンピュータで実行することによって実現することができる。そこで、以下では、図１に示した情報処理装置１と同様の機能を実現する検証プログラムを実行するコンピュータの一例を説明する。図１１は、検証プログラムを実行するコンピュータの一例を示す図である。【００９７】
図１１に示すように、コンピュータ２００は、各種演算処理を実行するＣＰＵ（Central  Processing  Unit）２０３と、ユーザからのデータの入力を受け付ける入力装置２１５と、表示装置２０９を制御する表示制御部２０７を有する。また、コンピュータ２００は、記憶媒体からプログラム等を読取るドライブ装置２１３と、ネットワークを介して他のコンピュータとの間でデータの授受を行う通信制御部２１７とを有する。また、コンピュータ２００は、各種情報を一時記憶するメモリ２０１と、ＨＤＤ（Hard  Disk  Drive）２０５を有する。そして、メモリ２０１、ＣＰＵ２０３、ＨＤＤ２０５、表示制御部２０７、ドライブ装置２１３、入力装置２１５、通信制御部２１７は、バス２１９で接続されている。【００９８】
ドライブ装置２１３は、例えばリムーバブルディスク２１１用の装置である。ＨＤＤ２０５は、検証プログラム２０５ａ及び検証処理関連情報２０５ｂを記憶する。【００９９】
ＣＰＵ２０３は、検証プログラム２０５ａを読み出して、メモリ２０１に展開する。検証プログラム２０５ａは、検証プロセスとして機能する。【０１００】
例えば、検証プロセスは、制御部１０の各機能部に対応する。検証処理関連情報２０５ｂは、定義情報２１、インスタンス２２、組み合わせビット列テーブル２３及び検証用ビット列２４に対応する。【０１０１】
なお、検証プログラム２０５ａについては、必ずしも最初からＨＤＤ２０５に記憶させておかなくても良い。例えば、コンピュータ２００に挿入されるフレキシブルディスク（ＦＤ）、ＣＤ−ＲＯＭ（Compact  Disk  Read  Only  Memory）、ＤＶＤ（Digital  Versatile  Disk）、光磁気ディスク、ＩＣ（Integrated  Circuit）カード等の「可搬用の物理媒体」に当該プログラムを記憶させておく。そして、コンピュータ２００がこれらから検証プログラム２０５ａを読み出して実行するようにしても良い。
【符号の説明】
【０１０２】
１  情報処理装置
１０  制御部
１１  定義情報解析部
１２  検証情報解析部
１３  検証部
１４  出力部
２０  記憶部
２１  定義情報
２２  インスタンス
２３  組み合わせビット列テーブル
２４  検証用ビット列
【図１】
2020240873.tif 000003
【図２】
2020240873.tif 000004
【図３】
2020240873.tif 000005
【図４】
2020240873.tif 000006
【図５】
2020240873.tif 000007
【図６】
2020240873.tif 000008
【図７】
2020240873.tif 000009
【図８】
2020240873.tif 000010
【図９】
2020240873.tif 000011
【図１０】
2020240873.tif 000012
【図１１】
2020240873.tif 000013
【図１２】
2020240873.tif 000014
【図１３Ａ】
2020240873.tif 000015
【図１３Ｂ】
2020240873.tif 000016
【国際調査報告】
2020240873.tif 000017
2020240873.tif 000018