本文へ移動

VAP 適用例 · AIセキュリティ調査の証拠設計

AIのセキュリティ調査を、結果だけでなく、過程から検証する。

  • 状態：設計提案
  • 参考情報・非規範

調査結果を受け取った人が、何を根拠に、どこまで確認された結果なのかを、たどれるようにする。

VAPの観測記録と委任記録を組み合わせ、AIによるセキュリティ調査の過程を、第三者が証拠から確認できる形にする適用提案です。

適用設計を読む 関連仕様を確認する

結果だけの報告から、根拠をたどれる報告へ

結果だけの報告

「古いプラグインを検出しました」

何を根拠に、どこまで確認した結果なのかは分かりません。

この設計で目指す報告

どの応答の、どの表記を、どの情報と照合したのか。未確認条件も含めて確認できる。

観測
公開HTML内の表記 demo-gallery 2.3.1
照合
デモ用アドバイザリ DEMO-ADV-0001（架空）の影響範囲「2.4.0未満」
未確認
実稼働コードの版、個別修正の有無、該当機能の利用状況
評価
条件付きの問題候補（通知：未送信）

合成データ 暗号学的検証は未実施です。表示例の全体を見る

このページの位置づけ

ページの種類
VAPの適用例（技術的な適用提案）
規範性
設計提案・参考情報（非規範）。仕様の要件を定めるものではなく、新しい正式プロファイルの制定でもありません。
参照した仕様
VAP v1.2.0（Draft Specification・Draft 3）／OAP v0.1.1（Working Draft）／DAP v0.1.0（Working Draft）
実装状況
適用設計は設計段階です。公開された実装・試験結果はありません。
最終確認日
01 · 解決したい課題

「発見しました」という報告だけでは、調査の全体像は分からない。

AIが「問題を発見した」と報告しても、それだけでは次の四つが分かりません。

01

権限と範囲

誰が、どの対象と操作を認めたのか。実行時に、どの版のルールが適用されたのか。

社内でAIに作業を任せた記録と、対象組織から得た許可は、別のものです。

02

観測の出所

URLを、どのように発見したのか。何を実際に取得したのか。

判断の材料が、どのURLから、いつ、どの経路で得られたのかも、記録の一部です。

03

判断の根拠

何を観測し、何を推測したのか。評価が訂正されたとき、元の判断と変更理由を追えるのか。

観測した事実、参照した情報、未確認の条件を区別しなければ、推測が事実のように伝わります。

04

実際の操作

許可・拒否の判断と、実際の通信は一致しているのか。

判断と実行が一致していたかは、両方の記録を照らし合わせて初めて確かめられます。

五つの記録は、互いの代わりになりません

調査を認めた記録、取得前の判断、実際の通信、技術評価、対象企業への通知判断は、それぞれ異なる記録です。

  1. 調査を認めた記録誰が、どの対象・操作・期間を認めたか。
  2. 取得前の判断ある操作を行う前に、許可・拒否をどう判断したか。
  3. 実際の通信何を送り、何を受け取ったか。失敗や中断も含みます。
  4. 技術評価観測から何を結論づけ、何を未確認として残したか。
  5. 通知判断対象企業に知らせるか、何を知らせるか。

たとえば、ある操作を「許可」とした判断の記録は、その操作が判断どおりに実行されたことを示しません。反対に、通信の記録だけでは、その通信が認められた範囲の中で行われたかどうかは分かりません。

02 · VAP・OAP・DAPの組み合わせ

観測の来歴と、委任された行動の記録をつなぐ。

VAP（Verifiable AI Provenance Framework）は、AIの判断・行動の記録を事後に検証できるようにするための、分野をまたぐ共通の枠組みです。VAP v1.2には、第三者が公開したWeb資料の観測を扱うOAPと、委任された権限の下でのエージェントの行動を扱うDAPが、どちらもWorking Draft（作業草案）として登録されています。

このページで使う用語

来歴（プロベナンス）
記録やデータが、いつ・どこで・誰によって・どのように作られ、扱われてきたかの経緯。
委任
ある主体（プリンシパル）が、別の主体（ここではAIエージェント）に、範囲と期間を決めて作業や権限を任せること。
検証可能性
記録を作った当事者を信頼しなくても、第三者が記録の改変の有無や、記録どうしの結び付きを確かめられる性質。
外部アンカー
記録の要約値（ハッシュ値）を、記録した者が単独では書き換えられない外部のサービス（タイムスタンプ局や透明性ログなど）に固定すること。
非規範
仕様の要件ではなく、理解を助けるための参考情報であること。
1つの導入（デプロイメント）の構成 — VAP v1.2 の記述にもとづく
領域プロファイル（ドメインプロファイル）

OAP

Observed Artifact Provenance

第三者が公開し、ネットワーク経由で取得したWeb上の資料について、どのURLで観測したかの来歴を扱います。後から争われたり、削除・編集・否認されたりしうる資料の記録が対象です。

v0.1.1 Working Draft · VSO-VAP-OAP-001
分野横断のケイパビリティ

DAP

Delegated Access Provenance（通称 VAP-AGENT）

プリンシパルから委任された権限の下での、エージェントのアクセス、ツール呼出し、操作、データ移転の来歴を扱います。特定の分野に限定されず、領域プロファイルと組み合わせて使います。

v0.1.0 Working Draft · VSO-VAP-DAP-001

どちらも、次の共通保証コアの要件を引き継ぎます

共通の基盤

VAP

共通保証コア（Shared Assurance Core）

整合性・来歴・追跡可能性・説明責任の各レイヤー、外部アンカー（INT-006）、アンカー単位で欠落やスプリットビュー（相手ごとに異なる記録の提示）を検出可能にする完全性不変条件（INT-008）など、すべてのプロファイルとケイパビリティが引き継ぐ要件です。

VAP v1.2.0 Draft Specification（Draft 3）· VSO-VAP-SPEC-001
図：VAP v1.2におけるOAPとDAPの位置づけ。OAP（観測の来歴を扱う領域プロファイル）とDAP（委任された行動の来歴を扱う分野横断のケイパビリティ）を1つの導入で組み合わせ、両者がVAPの共通保証コアを引き継ぐ構成を示しています。各要素の説明は、VAP v1.2本文（§2.2.6、§4.5.2、§4.6、§5.4）の記述にもとづきます。
  • 仕様の記述
    1つの導入は、領域プロファイルを1つだけ使い、分野横断のケイパビリティを0個以上組み合わせられます。使うケイパビリティは宣言が必要で、同じ種類のイベントに両方の制約がかかる場合は、厳しい方が適用されます（VAP v1.2 §4.6.3）。
  • 仕様の記述
    OAPは、取得を自律エージェントが行う場合にDAPと組み合わせる、と記載されています（VAP v1.2 §4.6.4・§5.4）。
  • 仕様の記述
    Working Draftは、イベント名・フィールド名・不変条件の表現が今後変わりうる段階であり、本番環境での適合の主張には使えません（VAP v1.2 §4.5.2）。
  • 確認の範囲
    OAPとDAPの本文は、本ページ作成時点（2026年10月20日）で、VSOの公開リポジトリには掲載されていません。本ページの説明は、VAP v1.2本文の記述にもとづきます。
本ページの提案 — 既存のOAP・DAPに定義された正式フィールドではありません

セキュリティ調査向けの追加検討事項

セキュリティ調査に適用する場合、次の情報を観測記録・委任記録と結び付けることを検討しています。どの記録に、どの形で持たせるかは決まっていません。

  • 01対象資産と運営企業の関係観測したドメインやサービスを、どの組織が運営していると判断したか。その根拠。
  • 02URLの発見経路そのURLを、公開HTML内の参照、DNS、利用条件を確認した既存の観測データなど、どこから知ったか。
  • 03製品・版の観測根拠製品名や版番号を、どの応答のどの部分から読み取ったか。
  • 04参照したアドバイザリ照合に使った脆弱性情報の出所と、参照した時点の版。
  • 05未確認条件実際に動いているコードの版、個別の修正、機能の利用状況など、外部からは確認できていない条件。
  • 06評価の訂正履歴評価を変更した場合の、元の評価、変更後の評価、変更理由、変更した主体。

仕様上の記述と、このページの提案の対応

左は VAP v1.2 に記載されていること、右はこのページ独自の適用提案です。右側は、OAP・DAP・VAPの定義ではありません。

観測記録

仕様の記述

OAPは、第三者がWeb上に公開した資料をURLで観測した記録の来歴を扱う領域プロファイルです（§2.2.6、§5.4）。観測範囲の宣言（ObservationScopeManifest）と、試行の結末を記録させる不変条件（Invariant OAP-1）への言及があります（§5.4。定義はOAP本文によります）。

本ページの提案

URLの発見経路と、製品・版の観測根拠を、観測記録に結び付けます。

委任記録

仕様の記述

DAPは、プリンシパルから委任された権限の下での、エージェントのアクセス、ツール呼出し、操作、データ移転の来歴を扱う分野横断のケイパビリティです（§4.6.2）。VAPの責任スキーマには、委任者・受任者・範囲・有効期間からなる委任の連鎖（delegation_chain）があります（§4.4.3）。

本ページの提案

社内からエージェントへの委任と、対象組織から得た許可を、別々の記録として扱います。

組み合わせ

仕様の記述

1つの導入は、領域プロファイル1つと、宣言したケイパビリティ0個以上で構成し、制約が重なる場合は厳しい方を適用します（§4.6.3）。OAPは、取得を自律エージェントが行う場合にDAPと組み合わせます（§4.6.4、§5.4）。

本ページの提案

調査の六つの工程（範囲の設定、委任、取得前の判断、観測・取得、技術評価、通知・訂正・引継ぎ）に沿って、OAPとDAPの記録を結び付けます。

ルールの版

仕様の記述

VAPのポリシー識別（policy_id、§7.1）は、イベントを生成した検証ポリシーを識別するものです。調査の許容・禁止ルールを表すものではありません。

本ページの提案

調査ルール（対象、許容・禁止操作、適用期間）の版を、委任記録と取得前の判断記録から参照します。

改変・欠落の検出

仕様の記述

外部アンカーは、すべての適合レベルで必須です（INT-006）。アンカーしたバッチについて、アンカー後の欠落やスプリットビュー（相手ごとに異なる記録の提示）を第三者が検出できることが求められます（完全性不変条件、INT-008）。一度も記録されなかった事象には及びません（付録A）。

本ページの提案

検証を実装する際は、信頼する記録元、外部への固定方法、検証対象の範囲を明示します。

評価・通知・訂正

仕様の記述

来歴の抽象モデル（actor・input・context・action・outcome、§4.2.2）と、上書き履歴（override_history、§4.4.3）があります。VAP v1.2本文には、セキュリティ評価や通知判断に固有の記録の定義はありません（OAP・DAP本文は未確認）。

本ページの提案

観測事実、参照情報、該当可能性、未確認条件、通知判断、訂正理由を、それぞれ別の記録として扱います。

保証の範囲

仕様の記述

VAPやプロファイルへの適合は、法令の遵守を意味せず、記録された判断の正しさ・公正さ・安全性を保証しません。対象は、記録の整合性、アンカー単位の完全性、帰属に限られます（§1.6）。VAPは、AIの動作を阻止・遮断しません（宣言部）。

本ページの提案

証拠の仕組みと実行制御を、別の仕組みとして設計します。

03 · 証拠を結び付ける調査の流れ

一つの所見を、元の観測と判断までたどれるように。

以下は、記録を結び付ける工程の適用案です（本ページの提案）。各工程の「関係する仕様要素」には、VAP v1.2に記載がある範囲だけを示しています。

  1. 調査範囲の設定

    結び付ける内容
    対象、許容・禁止操作、ルールの版、適用期間
    関係する仕様要素
    仕様の記述OAPの観測範囲の宣言（ObservationScopeManifest。§5.4で言及）
    本ページの提案調査範囲との対応づけ

  2. エージェントへの委任

    結び付ける内容
    委任者、実行主体、委任範囲、変更・取消し
    関係する仕様要素
    仕様の記述DAP（§4.6.2）、責任スキーマの委任の連鎖（§4.4.3）

  3. 取得前の判断

    結び付ける内容
    操作予定、許可・拒否の判断、その根拠
    関係する仕様要素
    仕様の記述DAPの対象（アクセス、ツール呼出し、操作。§4.6.2）
    本ページの提案判断の記録を取得より前に残し、取得の記録と結び付けること

  4. 観測・取得

    結び付ける内容
    実際の対象、取得時刻、応答、失敗・中断
    関係する仕様要素
    仕様の記述OAP（§5.4）、試行の結末を記録させる不変条件（Invariant OAP-1。§5.4で言及）

  5. 技術評価

    結び付ける内容
    観測事実、参照情報、該当可能性、未確認条件
    関係する仕様要素
    仕様の記述来歴の抽象モデル（§4.2.2）。評価に固有の定義はありません
    本ページの提案観測事実と推測を別の項目として記録すること

  6. 通知・訂正・引継ぎ

    結び付ける内容
    通知内容と判断、訂正理由、対応担当者への移管
    関係する仕様要素
    仕様の記述上書き履歴（§4.4.3）。通知・引継ぎに固有の定義はありません
    本ページの提案訂正の前後と理由を、元の評価と結び付けて残すこと

社内の委任と、対象組織の許可は別のもの

社内の委任

調査を行う組織の中で、誰が、どのエージェントに、どの範囲の作業を任せたか。委任の変更や取消しも記録します。DAPが扱う「委任された権限の下での行動」に対応させる想定です（本ページの提案）。

対象組織の許可

対象企業が、どの範囲・期間の検査を認めたか。許可書や契約の版と結び付ける、別の記録です。

社内の委任は、第三者のシステムにアクセスする権限を生みません。対象組織の許可を前提とする操作（たとえば、許可・契約に基づく追加診断）は、その許可の記録と結び付けて扱い、社内の委任記録で代えることはしません。

実行制御と、証拠の仕組みを分ける

実行制御

実行制御は、操作の範囲をシステム側で強制する。

証拠の仕組み

証拠の仕組みは、その判断と実行について事後確認できる記録を生成する。

証拠の記録だけでは、禁止された操作を防げません。VAPは事後検証のための枠組みであり、AIの動作を阻止・遮断するものではありません（VAP v1.2 宣言部）。禁止された操作を防ぐには、実行制御が別に必要です。

04 · 合成データによる表示例

同じ「候補あり」でも、根拠の中身まで確認する。

架空の対象と合成データによる表示例です。実在する企業・URL・脆弱性情報は含みません。この表示は説明のための静的なもので、署名やハッシュ値の検証は行っていません。

証拠カード（表示例）

  • 合成データ
  • 暗号学的検証：未実施
架空の対象に対する、条件付きの問題候補の表示例
データ種別合成データ
対象架空の公開Webサイト https://shop.example/（.example は例示用に予約されたドメイン名です）
URLの由来公開HTML内の参照（トップページのHTMLが読み込むスクリプトの参照）
適用ルールデモ用調査ポリシー demo-policy 第3版（架空）
観測内容プラグイン名と版らしい表記 demo-gallery 2.3.1
照合結果デモ用アドバイザリ DEMO-ADV-0001（架空）の影響範囲「2.4.0未満」と一致
未確認事項実稼働コードの版、個別修正の有無、該当機能の利用状況
評価条件付きの問題候補
通知状態未送信
暗号学的検証この表示例では未実施
表示例の詳細：記録の結び付きを見る（検証処理ではありません）
  1. 調査範囲 DEMO-SCOPE-01 — 対象：shop.example／許容：公開ページの取得／禁止：認証の回避、負荷を与える操作／ルール：demo-policy 第3版
  2. 委任 DEMO-DELEG-01 — 委任者：調査担当者（架空）／実行主体：調査エージェント（架空）／範囲：DEMO-SCOPE-01
  3. 取得前の判断 DEMO-DEC-01 — 操作予定：トップページの取得／判断：許可／根拠：DEMO-SCOPE-01 の許容操作に該当
  4. 観測・取得 DEMO-OBS-01 — 取得時刻：2026-10-01 09:12 UTC（合成）／応答：200／判断の参照：DEMO-DEC-01
  5. 技術評価 DEMO-ASSESS-01 — 観測事実：「demo-gallery 2.3.1」の表記／照合：DEMO-ADV-0001／未確認事項：3件／評価：条件付きの問題候補
  6. 通知 — 未送信（通知判断の記録はありません）

記録IDはすべて説明用の架空の値です。OAP・DAPの正式なイベント名やフィールド名ではありません。この一覧を開いても、署名の検証、外部アンカーとの照合、改ざんの検出は行われません。

検証を実装する場合に明示すること

将来、改変・省略・差し替えの検出を実装する場合は、少なくとも次の三点を明示します（本ページの提案）。

信頼する記録元

どの主体の、どの署名鍵による記録を、検証の起点とするか。

外部への固定方法

記録の要約値を、どの外部サービス（タイムスタンプ局、透明性ログなど）に、どの頻度で固定するか。VAP v1.2では、外部アンカーはすべての適合レベルで必須です（INT-006）。

検証対象の範囲

どのバッチ・期間・種類の記録を検証したか。アンカー後の欠落やスプリットビューは検出の対象になりえますが、一度も記録されなかった行動は検出できません（VAP v1.2 §4.1.7、付録A）。

VAP v1.2は、第三者がオフラインで検証できる一式（Evidence Pack：イベント、監査パス、アンカー記録、外部アンカーの証明、公開鍵、ポリシー文書など）を推奨しています（§9.3）。本ページの表示例は Evidence Pack ではありません。

05 · 検証できる範囲と限界

証拠を検証できることと、判断が正しいことは別です。

この証拠設計を評価するときの前提です。設計の一部として読んでください。

この設計が目指すことと、それだけでは保証しないこと
設計が目指すことそれだけでは保証しないこと
保存記録の改変を検知できること観測内容が、現実を完全・正確に表していること
判断と根拠をたどれること脆弱性が実在すること、悪用が可能であること
委任と操作の記録を照合できること対象企業から許可を得ていること、調査が適法であること
宣言した範囲の証拠を検証できること計測・記録されていない行動が存在しなかったこと

後からハッシュ値を付けるだけでは、事前の承認は示せない

後からハッシュ値を付けるだけでは、調査前に承認記録が存在したことまでは示せません。本設計では、承認記録と実行記録を外部アンカーに結び付け、どの時点までに記録が存在していたかを確認する方法を検討します。承認者の権限や承認の有効性は、別途確認が必要です。

本提案は、調査記録を事後検証するための証拠設計です。対象へのアクセス権限を付与するものではなく、脆弱性の成立、法令遵守、独立認証を保証するものでもありません。

仕様上の位置づけ：VAPやプロファイルへの適合は法令の遵守を意味せず、記録された判断の正しさを保証しません（VAP v1.2 §1.6）。一度も計測されなかった事象は、仕組みの上で検証の対象外です（VAP v1.2 付録A）。

06 · 実装計画

実装計画：EVIDECT

  • サービス：開発中
  • 証跡統合：設計段階

EVIDECTは、VeritasChain株式会社が開発しているセキュリティ調査サービスです。公開情報等から問題の可能性を調べる過程に、観測・委任・評価・通知の記録を結び付ける設計を検討しています。

本ページで紹介するVAP・OAP・DAPへの対応は、適用設計の提案です。実装状況、試験結果、適合評価の有無は、それぞれ確認できる資料とともに示します。

開発主体
VeritasChain株式会社（VSOの運営基盤を提供している会社です。VSOの中立性と運営基盤に関する方針・会社情報）
位置づけ
自社の実装計画です。外部の組織による独立した採用事例ではありません。
サービス
開発中
VAP・OAP・DAPによる証跡統合
設計段階
公開された適合試験結果
なし
サービス情報
一般公開されたサービスサイトはありません（時点）。
07 · よくある質問

よくある質問

この設計で、AIが見つけた脆弱性が本物だと保証できますか？

いいえ。証拠を検証して確かめられるのは、記録が後から改変されていないかや、所見が元の観測・判断とどう結び付いているかです。脆弱性が実在することや悪用できることは、この設計だけでは保証しません。

OAPとDAPは何ですか？

どちらもVAP v1.2.0 Draft 3に登録されたWorking Draftです。OAP（Observed Artifact Provenance）は、第三者が公開したWeb上の資料をURLで観測した記録の来歴を扱う領域プロファイルです。DAP（Delegated Access Provenance、通称VAP-AGENT）は、委任された権限の下での、エージェントのアクセス、ツール呼出し、操作、データ移転の来歴を扱う分野横断のケイパビリティです。

社内でAIに作業を任せれば、対象企業のシステムを調べてもよいのですか？

社内の委任は、第三者のシステムにアクセスする権限を生みません。本設計では、社内の委任と対象組織の許可を別の記録として扱います。また、本設計はアクセス権限を与えるものでも、調査の適法性を保証するものでもありません。

証拠を記録すれば、禁止された操作を防げますか？

防げません。VAPは事後検証のための枠組みで、AIの動作を阻止・遮断するものではありません。禁止された操作を防ぐには、操作の範囲をシステム側で強制する実行制御が別に必要です。

EVIDECTは、VAPの認定や独立した検証を受けていますか？

いいえ。EVIDECTはVeritasChain株式会社が開発中のサービスで、VAP・OAP・DAPによる証跡統合は設計段階です。公開された適合試験結果や独立した検証結果はありません。

この適用設計について意見を送るには？

VAP仕様書に記載された標準化の窓口（standards@veritaschain.org）にお送りください。いただいたご意見は、VAPや各プロファイルの規範的な変更を意味しません。

08 · 参照仕様・公開状況・レビュー

仕様を確認し、設計をレビューする。

本ページが参照した資料と、関連する成果物の公開状況です。状態は文字で示しています。

  • VAP Framework Specification v1.2.0（Draft 3） 公開済み（Draft Specification） VSO-VAP-SPEC-001 · veritaschain/vap-spec（2026年10月20日に確認したコミット 47bbeb5）
  • VAP v1.2 変更提案（規範的附属書） 公開済み VSO-VAP-CHANGE-001 · VAP v1.2の変更管理を定める文書
  • OAP — Observed Artifact Provenance v0.1.1 Working Draft VSO-VAP-OAP-001 · VAP v1.2 §4.5.2 のプロファイル登録簿に記載。本文はVSOの公開リポジトリに未掲載（2026年10月20日確認）
  • DAP — Delegated Access Provenance（VAP-AGENT）v0.1.0 Working Draft VSO-VAP-DAP-001 · VAP v1.2 §4.6.2 のケイパビリティ登録簿に記載。本文はVSOの公開リポジトリに未掲載（2026年10月20日確認）
  • 適用対応表（仕様上の記述と本ページの提案） 本ページに掲載 本ページ独自の適用提案と、VAP v1.2の記述を分けて示しています。
  • 合成サンプル 静的な表示例のみ 本ページの表示例（HTML）。機械可読なサンプルファイルは未作成です。
  • 検証結果 なし（未実施） 本ページの表示例について、暗号学的な検証は行っていません。
  • EVIDECTでの証跡統合 設計段階 VAP・OAP・DAPによる証跡統合は設計段階です。公開されたコード、証拠一式、適合試験の結果はありません。

適用設計へのレビュー

この適用設計について、たとえば次の観点のご意見を受け付けています。

  • 五つの記録（調査の承認、取得前の判断、実際の通信、技術評価、通知判断）の区別は十分か。
  • 追加検討事項を、OAP・DAPのどの記録に結び付けるのが適切か。
  • 検証の前提（信頼する記録元、外部への固定方法、検証対象の範囲）の示し方は十分か。

いただいたご意見は、VAPや各プロファイルの規範的な変更を意味しません。仕様の変更は、VSOの変更管理の手続き（VAP v1.2 §10.3）によります。

連絡先

VAP仕様書に記載された、標準化に関する窓口です。

standards@veritaschain.org

変更履歴

  1. アイコンと「よくある質問」を追加。検索・共有向けの情報（構造化データ、共有用の画像など）を追加。
  2. 冒頭に報告の比較例を追加。EVIDECTの状態表示を細分化。ハッシュと事前承認の説明の範囲を限定。組織と実装状況の開示を独立した欄に移動。
  3. 初版公開（設計提案・参考情報・非規範）
09 · 組織と実装状況の開示

組織と実装状況の開示

VSOとVeritasChain株式会社
VSOの運営基盤は、VeritasChain株式会社が提供しています。VSOの中立性は法人形態ではなく、公開された仕組みによって担保しています（VSOの中立性と運営基盤に関する方針）。
実装状況（VAP v1.2の記載に基づく開示）
VAPおよびVAPのプロファイルの外部実装はゼロ、いかなる手続においても受理されたEvidence Packもゼロです。VSOの運営基盤であるVeritasChain株式会社は、規制技術、金融取引、監査・保証の分野の欧州の組織と10件の有償サービス契約を締結しています（顧客名は個別の同意が得られるまで非公開）。これらの契約は、VAPまたはVCPの外部実装ではなく、それらの仕様の独立した検証でもありません。