Exness証拠金計算機: トレーダーのための完全ガイド

Exness証拠金計算機は、利用可能なすべての銘柄でポジションを開設および維持するために必要な正確な証拠金をトレーダーが決定するのに役立つ専用ツールです。メジャー通貨ペア、貴金属、エネルギー商品、株価指数、暗号通貨のいずれを取引する場合でも、取引に入る前に証拠金要件を理解することは、効果的なリスク管理に不可欠です。この計算機は、現在の市場価格、選択したレバレッジ、各銘柄の特定の契約仕様に基づいてリアルタイムの証拠金数値を提供することで、推測の必要性を排除します。

証拠金とは、ブローカーがレバレッジポジションを維持するために要求する担保を指します。これは手数料や取引コストではなく、預託金として確保される口座純資産の一部です。Exness証拠金計算機は、契約サイズ、現在価格、レバレッジ比率、口座通貨換算を含む手動計算を必要とする数学的プロセスを自動化します。このツールを使用することで、トレーダーはリスク許容度に合わせたポジションサイズを計画し、ボラティリティの高い市場状況下での予期せぬマージンコールやストップアウトを回避できます。

Exnessは、証拠金計算機をより広範な取引計算機スイートの一部として提供しており、ブローカーのWebサイトから直接、またパーソナルエリア内からアクセスできます。このツールは、Standard、Standard Cent、Pro、Raw Spread、Zeroのすべての口座タイプに対応しており、それぞれ異なるレバレッジ条件と証拠金ルールを持っています。また、特定の指数の固定証拠金要件や暗号通貨ポジションに適用されるダイナミック証拠金ティアなど、異なる資産クラスの独自の証拠金処理にも対応しています。この包括的なカバレッジにより、初心者から経験豊富なトレーダーまで、信頼できるパートナーとなります。

Exness証拠金計算機の仕組み

計算機はシンプルな入力・出力モデルで動作します。取引銘柄を選択し、ロット単位でポジションボリュームを指定し、口座レバレッジを選び、口座基準通貨を指定します。すると、ツールが即座に口座通貨での必要証拠金を表示します。裏側では、標準的な式に従って計算が行われます: 証拠金 = 契約サイズ × ボリューム × 現在の市場価格 ÷ レバレッジ。口座通貨が建値通貨と異なる通貨ペアの場合、現在の為替レートを使用して自動的に換算されます。

この計算機の強みの一つは、銘柄固有のニュアンスを処理できることです。通貨ペアは通常標準式を使用しますが、金や銀などの貴金属は異なる契約サイズを持つ場合があります(金は1ロットあたり100トロイオンス、銀は5,000トロイオンス)。指数とエネルギーは価格変動に関係なくロットあたり固定の証拠金要件を持つことが多く、暗号通貨はより大きなポジションほど高い証拠金率を引きつけるティア制証拠金システムを採用しています。Exness証拠金計算機はこれらすべてのルールを自動的に組み込み、全商品ラインナップで精度を確保します。

• Exnessの全商品リストから銘柄を選択
• 標準ロットまたはセントロットでポジションボリュームを入力
• 1:1から1:2000まで(利用可能な場合)口座レバレッジを選択
• 正確な証拠金表示のために口座基準通貨を指定
• 証拠金、ピップ値、スワップ見込みを含む即時結果を表示

計算機はまた、取引計画を強化する補足データも提供します。必要証拠金とともに、選択したポジションサイズのピップ値が表示され、価格変動あたりの潜在的な損益を定量化するのに役立ちます。ロングとショートの両方のポジションのスワップレートが表示されるため、トレーダーはオーバーナイト資金コストを戦略に組み込むことができます。週末にわたって保有されるポジションの場合、計算機は外国為替と貴金属では水曜日に、指数とエネルギーでは金曜日に適用されるトリプルスワップ料金を反映します(銘柄のロールオーバースケジュールによる)。

計算機へのアクセスは簡単です。Exness Webサイトから「取引ツール」セクションに移動し、「取引計算機」を選択します。パーソナルエリア内では、「分析」または「ツール」メニューの下に計算機が表示されます。基本的な使用にはログインは不要ですが、ログイン済みユーザーはデフォルトレバレッジや基準通貨などの口座設定が事前入力されるメリットがあります。このツールは完全にレスポンシブで、デスクトップ、タブレット、モバイルブラウザで動作し、別途アプリをダウンロードする必要はありません。

Exness口座タイプ別の証拠金要件

Exnessは5つの主要な口座タイプを提供しており、それぞれ異なる証拠金とレバレッジの特性を持っています。Standard口座とStandard Cent口座は、一定の閾値以下の純資産に対して無制限レバレッジ(最大1:2000)を提供し、純資産が増加するにつれて証拠金要件が減少します。プロ口座(Pro、Raw Spread、Zero)はより制限的なレバレッジ上限(通常最大1:200)を持ちますが、よりタイトなスプレッドとコミッションベースの価格設定で補っています。証拠金計算機は、選択した口座タイプに基づいて正しいレバレッジ制限を自動的に適用します。

Standard Cent口座は、標準ロットではなくセントロットでポジションを建てるため、特別な注意が必要です。1セントロットは0.01標準ロット、つまり基準通貨1,000単位に相当します。証拠金計算機はこの換算を透過的に処理します: Standard Cent口座を選択すると、ボリューム入力はセントロットを期待し、結果の証拠金はより小さな契約サイズを反映します。これにより、小さなポジションサイズで正確な証拠金数値を必要とするマイクロ口座トレーダーにとっても、このツールは同様に有用です。

横にスクロールしてすべての列を表示

上記の表は主要な証拠金パラメータをまとめたものです。マージンコールとストップアウトレベルはStandard口座とプロ口座で異なります。Standard口座は証拠金レベル60%でマージンコールが発生し、0%でストップアウトとなります。つまり、純資産がゼロになるまでポジションは決済されません。プロ口座はより厳しい閾値を使用します: マージンコール80%、ストップアウト50%。これらのレベルはリスク計画にとって重要であり、計画中のポジションがこれらの閾値にどれだけ近づくかを計算機で監視できます。

銘柄別証拠金計算

異なる資産クラスは異なる証拠金手法に従います。Exness証拠金計算機はこれらの違いをエンコードしているため、トレーダーは契約仕様を暗記しなくても正確な数値を得られます。これらの違いを理解することは、異なる銘柄で同等の名目価値のポジションを持っても、証拠金要件が大きく異なる理由を説明するのに役立ちます。

通貨ペア

外国為替証拠金は標準式に従います: (契約サイズ × ボリューム × 価格) ÷ レバレッジ。EURUSDなどのメジャーペアの場合、契約サイズは基準通貨100,000単位です。1:100レバレッジで、EURUSDが1.0800のとき1ロットのポジションには$1,080の証拠金が必要です。計算機はリアルタイムのBid/Ask価格を適用するため、証拠金は日中変動します。クロスペアとエキゾチック通貨ペアも同じ式を使用しますが、スプレッドが広く、流動性プロファイルが異なるため、証拠金計算ではなく約定に影響します。

貴金属

金(XAUUSD)と銀(XAGUSD)には独自の契約サイズがあります: 金は1ロットあたり100トロイオンス、銀は1ロットあたり5,000トロイオンス。つまり、金価格がオンスあたり$2,000のとき、1ロットの金ポジションは$200,000の名目価値を表します。1:100レバレッジでは、証拠金は$2,000になります。計算機はこれらの大きな名目価値をシームレスに処理します。プラチナとパラジウム(利用可能な場合)も、それぞれ独自の契約仕様を持つ類似の貴金属規則に従います。

エネルギーと商品

原油(USOIL、UKOIL)は通常1ロットあたり1,000バレルを使用します。天然ガス(NGAS)は1ロットあたり10,000 MMBtuを使用します。これらの契約は、特に極端なボラティリティ期間中、純粋なレバレッジベースの計算ではなく、ロットあたり固定の証拠金要件を持つことがよくあります。Exness証拠金計算機は、各エネルギー銘柄の現在の証拠金ポリシーを反映しており、市場状況に基づいてダイナミックモードと固定モードを切り替えることがあります。

指数と株式

US30、US500、USTECなどの指数CFDは通常、ロットあたり固定証拠金を採用します。例えば、US500は指数レベルに関係なく1ロットあたり$500の証拠金を必要とする場合があります。株式CFDも同様の固定証拠金モデルに従い、多くの場合ポジション価値のパーセンテージとして表されます(例: 5%または10%の証拠金要件)。計算機は、株式分割などのコーポレートアクションによる契約サイズ調整を考慮し、各指数や株式の正確な証拠金を表示します。

暗号通貨

暗号通貨CFDはティア制証拠金システムを使用します。第1ティア(小さなポジション)は10%の証拠金(1:10レバレッジ)、第2ティアは20%(1:5)、第3ティアは50%(1:2)を必要とする場合があります。ポジションサイズが大きくなるにつれて、ブレンドされた証拠金要件が増加します。Exness証拠金計算機は正しいティア計算を自動的に適用し、入力された全ポジションサイズの総証拠金を表示します。これは、より大きなポジションにスケールインする可能性のある暗号通貨トレーダーにとって特に重要です。

計算機はまた、ヘッジポジションの証拠金処理も考慮します。同じ銘柄で同量のロングとショートポジションを保有している場合、Exnessはほとんどの口座タイプでヘッジ部分に50%の証拠金削減を適用します。つまり、EURUSDで1ロットロングと1ロットショートを保有している場合、ヘッジされた1ロットの証拠金は半分になります。計算機は相殺ポジションを入力するとこれを反映しますが、Web版はポートフォリオビューでネットティングするのではなく、ポジションごとに計算します。

銘柄固有の証拠金ルールを理解することで、すべての市場で統一されたレバレッジが適用されると思い込むというよくある間違いを防止できます。同一レバレッジでも、金1ロットのポジションにはEURUSD 1ロットとは全く異なる証拠金が必要です。

ポジションサイジングへの計算機の活用

ポジションサイジングは証拠金計算の実践的応用です。「このロットサイズでいくらの証拠金が必要か?」と尋ねる代わりに、「自分のリスクパラメータに合うロットサイズは何か?」と問います。Exness証拠金計算機はこの逆のワークフローをサポートします: 割り当てる最大証拠金(多くの場合口座純資産のパーセンテージ)を決め、表示される証拠金が目標と一致するまでボリューム入力を調整します。この反復的アプローチは高速で直感的です。

一般的なリスク管理ルールでは、取引ごとの証拠金使用を口座純資産の10~20%に制限し、不利な価格変動に対する十分なバッファを確保します。$10,000の口座で取引ごとに2%をリスクとし、EURUSDで50ピップのストップロスを設定する場合、ポジションサイズの計算にはピップ値、ストップ距離、リスク額が関係します。計算機はピップ値を即座に提供するため、ボリュームを求める式: リスク額 ÷ (ストップロスのピップ数 × ロットあたりのピップ値) = ロット単位のボリューム が解けます。ボリュームがわかれば、計算機で証拠金要件を確認できます。

• 口座純資産と取引ごとの最大リスク割合を決定
• テクニカル分析に基づいてストップロス距離をピップで設定
• 計算機のピップ値を使用して最大ポジションボリュームを計算
• 結果の証拠金が証拠金使用制限内に収まるか確認
• 証拠金が快適な閾値を超える場合はレバレッジまたはボリュームを調整

計算機はまた、レバレッジ変更の影響を評価するのにも役立ちます。レバレッジを高くすると必要証拠金が減り、他の取引に純資産を回せたり、マージンコール前のバッファを増やせたりします。しかし、利益も損失も同様に拡大されます。計算機でレバレッジを切り替えることで、証拠金要件がどう変化するか即座に確認し、追加リスクが正当化されるか判断できます。これは、最大1:2000のレバレッジにアクセスできるStandard口座保有者にとって特に重要です。

証拠金レベル、マージンコール、ストップアウトの仕組み

証拠金計算機はポジション開設に必要な静的な証拠金を提供しますが、動的な口座健全性は証拠金レベル(純資産と使用証拠金の比率をパーセンテージで表したもの)に依存します。証拠金レベル = (純資産 ÷ 使用証拠金) × 100%。含み損益が蓄積すると純資産が変化し、証拠金レベルも変化します。この指標を監視することは、強制決済を回避するために不可欠です。

Exnessは2つの重要な閾値を定義しています。マージンコールは、証拠金レベルが口座タイプ固有のレベル(Standard口座で60%、プロ口座で80%)に低下したときに送られる警告通知です。ポジションは決済されませんが、資金追加やエクスポージャー削減を促します。ストップアウトは、証拠金レベルがストップアウト閾値(Standard口座で0%、プロ口座で50%)に達したときにポジションが自動的に決済される仕組みです。最大の損失ポジションから順に決済され、証拠金レベルが閾値を超えるまで続きます。

横にスクロールしてすべての列を表示

計算機はこれらの閾値に到達するために必要な価格変動を見積もるのに役立ちます。使用証拠金と口座純資産を知っていれば、マージンコールやストップアウトを引き起こす不利な価格変動(ピップまたはポイント)を計算できます。例えば、$10,000の純資産と$2,000の使用証拠金で、証拠金レベルは500%です。60%(Standard口座のマージンコール)まで低下するには$8,800の純資産減少が必要です。これをポジションのピップ値で割るとピップバッファが得られます。この「マージンコールまでの距離」は、計算機が間接的にサポートする貴重なリスク指標です。

証拠金レベルはレバレッジ口座のバイタルサインです。計算機は初期証拠金を示します。あなたのストップロスとポジションサイズが、口座にどれだけの余裕があるかを決めます。

通貨換算と口座基準通貨の影響

口座基準通貨が銘柄の建値通貨と異なる場合、証拠金計算機は自動的に通貨換算を行います。例えば、ユーロ建て口座でUSDJPYを取引する場合、円建ての証拠金を現在のEURJPYレートでユーロに換算する必要があります。この換算により、取引ペアの価格だけでなく、口座通貨と証拠金通貨のクロスレートによっても証拠金要件が変動するという追加の変数が導入されます。

ExnessはUSD、EUR、GBP、CHF、JPY、AUD、CAD、NZD、SGD、HKDなど幅広い基準通貨をサポートしています。計算機はリアルタイムのインターバンクレートを換算に使用し、表示される証拠金が実際に純資産から確保される金額を反映するようにしています。これは、現地通貨建て口座が提供されている地域のトレーダーにとって特に重要です。取引銘柄の価格が変わらなくても、為替変動により証拠金が日々変動する可能性があるためです。

• 証拠金を銘柄の建値通貨で最初に計算
• 現在の為替レートで口座基準通貨に換算
• 換算にはインターバンク中値を使用、リテールスプレッドではない
• 取引ペアと換算ペアの両方で証拠金が変動
• 計算機がリアルタイムで換算を更新

マルチ通貨ポートフォリオの場合、総使用証拠金はすべての個別ポジション証拠金を口座通貨に換算した合計です。計算機の基本ビューでは複数ポジションを集計しませんが、パーソナルエリアのダッシュボードで統合証拠金サマリーが提供されます。多様なポートフォリオを管理するトレーダーは、計画中の各ポジションで計算機を使用し、結果を合計して総証拠金消費を見積もるべきです。

計算機に表示されるスワップレートも同様に口座通貨の影響を受けます。外国通貨建てペアのロングポジションでプラススワップが発生する場合、それが基準通貨に換算されます。長期的には、蓄積されたスワップが純資産に意味のある影響を与え、ひいては証拠金レベルに影響する可能性があります。計算機は1ロットあたり1泊のスワップポイントを表示するため、週間または月間のキャリーコスト/収入を見積もり、長期的な証拠金計画に組み込むことができます。

ダイナミックレバレッジと証拠金ティアの移行

ExnessはStandard口座とStandard Cent口座でダイナミックレバレッジティアを実装しています。口座純資産が事前定義された閾値を超えると、利用可能な最大レバレッジが段階的に引き下げられます。これは、同じポジションサイズでも、純資産が増えると必要証拠金が自動的に増加し、減れば減少することを意味します。計算機は現在の純資産ティアを尊重しますが、トレーダーは長期ポジション保有を計画する際にティア移行を予測する必要があります。

レバレッジティアは以下の通りです: 純資産$999まで - 1:2000(無制限); $1,000~$4,999 - 1:2000; $5,000~$29,999 - 1:1000; $30,000~$99,999 - 1:500; $100,000~$199,999 - 1:200; $200,000以上 - 1:100。これらのティアは口座ごとに適用され、ポジションごとではありません。複数の口座を持っている場合、それぞれ独自の純資産とレバレッジティアを持ちます。計算機は選択したレバレッジを使用しますが、ドロップダウンには現在の純資産ティアで有効なレバレッジオプションのみが表示されます。

ブローカー間の証拠金比較

Exness証拠金計算機はExnessの取引条件に特化していますが、基礎となる数学は普遍的です。トレーダーは同一ポジションでの証拠金要件をベンチマークするために計算機を使用できます。比較すべき主要変数には、最大レバレッジ、マージンコールとストップアウトレベル、契約仕様、ヘッジ証拠金軽減の有無が含まれます。ExnessはStandard口座で0%ストップアウト、低純資産での無制限レバレッジ、50%ヘッジ証拠金軽減を提供する点で際立っています。

一部のブローカーはより高いストップアウトレベル(例: 20%や30%)を使用し、より早期に強制決済を発動させます。他社はヘッジ証拠金軽減を制限したり、特定銘柄のみに適用したりします。Exness計算機のこれらのパラメータに関する透明性(口座仕様と取引条件ページで確認可能)により、情報に基づいたブローカー選択が可能になります。ただし、証拠金だけでブローカーを選ぶべきではありません。約定品質、規制、スプレッド、出金信頼性も同様に重要です。

横にスクロールしてすべての列を表示

比較表は典型的な違いを示しています。特定の管轄区域での規制制約(欧州のESMA、英国のFCA、オーストラリアのASICなど)は、リテールレバレッジをメジャー通貨ペアで1:30、マイナーで1:20に制限し、50%ストップアウトを義務付けています。Exnessは、それらの特定の規制主体の下でオンボーディングされたクライアントにのみこれらの制限付き条件を提供します。他地域のトレーダーはフルレバレッジ範囲にアクセスできます。計算機は、あなたの口座に適用される規制フレームワークに適応します。

実践的ワークフロー: 分析から実行まで

証拠金計算機を取引ルーチンに組み込むことで、規律ある事前取引チェックリストが作成されます。すべての取引前に数字を確認: 銘柄を確認し、ストップロスを決め、リスクパーセンテージに合うポジションサイズを計算し、必要証拠金を検証し、結果の証拠金レベルが十分なバッファを残すか確認します。このワークフローにより、証拠金計算が事後的な雑務から、事前のリスク管理ステップへと変わります。

• 取引セットアップと無効化レベル(ストップロス)を特定
• 計算機を開き、銘柄と口座タイプを選択
• 計画中のストップロス距離をピップで入力
• ポジションサイズを計算: リスク ÷ (ピップ数 × ピップ値)
• ボリュームを入力、証拠金要件を確認
• 口座ダッシュボードで証拠金レベルへの影響を確認
• すべてのパラメータが計画と一致する場合のみ実行

アルゴリズムトレーダーやMT4/MT5でExpert Advisorsを使用するトレーダーにとって、計算機のロジックはAccountMargin()とMarketInfo()関数を使用してMQL4/MQL5で再現できます。これにより、リアルタイム証拠金制約を尊重した自動ポジションサイジングが可能になります。Exnessは機関投資家向けにAPIアクセスを提供し、大規模ポートフォリオ管理のためのプログラマティックな証拠金クエリを可能にしています。Web計算機は裁量トレーダー向けの主要ツールであり続けます。

証拠金計算機で計画された取引は、レバレッジを尊重して計画された取引です。このツールは利益を保証しませんが、コミットする前に参加コストを知ることを保証します。

モバイルアクセスとプラットフォーム統合

Exness証拠金計算機は、レスポンシブなWeb版を通じてモバイルデバイスから完全にアクセス可能です。Exness Tradeアプリには同等の機能を持つ内蔵計算機が含まれており、外出先でのポジションサイジングが可能です。MetaTrader 4または5のモバイルアプリを使用するトレーダーの場合、計算機は埋め込まれていませんが、Web版があらゆるモバイルブラウザで動作します。Exness Terminal Webプラットフォームも、取引インターフェースから計算機へのクイックアクセスを提供します。

デスクから離れてポジションを監視するトレーダーにとって、モバイルユーザビリティは重要です。計算機のタッチフレンドリーな入力(銘柄とレバレッジのドロップダウン、ボリュームのテンキー)は小さな画面でもよく機能します。結果は、証拠金、ピップ値、スワップの大きなフォントで明確に表示されます。データはローカルに保存されないため、各セッションは新規開始ですが、ログイン済みユーザーは口座デフォルトが事前選択されます。

シンプルなモバイル取引向けに設計されたExness Goアプリも、クイック証拠金チェックのための計算機機能を組み込んでいます。フルWeb計算機ほど機能豊富ではありませんが、銘柄、ボリューム、レバレッジという必須入力をカバーしています。このプラットフォーム間の一貫性により、デスクトップTerminal、MT5デスクトップ、モバイルMT5、Exness Tradeアプリ、Exness Goのいずれで取引しても、証拠金の数学は同一です。

よくある間違いと回避方法

信頼できる計算機があっても、トレーダーは予測可能なエラーを犯します。最も頻繁なのは、証拠金とリスクを混同することです。証拠金は必要な預託金であり、リスクはストップロスで定義される潜在的損失です。$100の証拠金のポジションでも、ストップロスが広くレバレッジが高ければ$500の損失を被る可能性があります。計算機から得られるピップ値にストップロス距離を掛けて、リスクを別途計算してください。

もう一つの間違いは、数日間保有するポジションのスワップコストを無視することです。1ロットあたり1日$10のマイナススワップを持つポジションは、週$70蓄積します。1ヶ月で$300となり、小さなポジションの初期証拠金を超える可能性があります。計算機はスワップレートを表示します。これを使って総保有コストを見積もり、ポジションサイズや保有期間を調整してください。

• 証拠金を最大損失と等しいとみなす — これらは無関係
• オーバーナイトポジションのスワップ料金を忘れる
• リスクベースのサイジングではなく最大レバレッジを使用する
• 非USD口座での通貨換算を無視する
• ダイナミックレバレッジティアの変更を見落とす
• ヘッジポジションはゼロ証拠金だと勘違いする
• 勝ちポジションに追加する前に証拠金レベルを確認しない

微妙なエラーには、注文予約の扱いがあります。指値/逆指値注文などの注文予約は、約定するまで証拠金を消費しません。しかし、同時に約定する可能性のある複数の注文予約がある場合、合計証拠金要件がフリー証拠金を超える可能性があります。計算機は各潜在ポジションの証拠金を計算するのに役立ちます。それらを合計して、すべての注文が一度に約定した場合の最悪ケース証拠金需要を評価してください。

高度な機能: 利益計算機とピップ計算機

Exness取引計算機スイートには、補完的なツールとして利益計算機とピップ計算機が含まれます。利益計算機は、目標価格とストップロスでの潜在的損益を見積もり、スプレッド、コミッション、スワップを考慮します。ピップ計算機は、任意の銘柄、任意のボリュームでの1ピップの金銭的価値を示します。これら3つの計算機が合わさって、完全な事前取引分析ツールキットを形成します。

利益計算機は特にリスク・リワード評価に有用です。エントリー価格、利確、損切り、ボリュームを入力します。ツールは利確時の総利益、損切り時の総損失、リスク・リワード比率を出力します。また、想定保有期間の推定コミッション(Raw Spread口座とZero口座)とスワップも控除します。この包括的なビューにより、証拠金だけに注目して総取引コストを見落とすというよくある過ちを防ぎます。

横にスクロールしてすべての列を表示

計算機間の切り替えはシームレスです — 同じ銘柄リストと口座コンテキストを共有します。典型的なワークフロー: ピップ計算機でピップあたりの価値を把握し、それを使ってリスク目標に合わせてポジションサイズを決定し、証拠金計算機で証拠金を検証し、利益計算機で取引の全体経済性を評価します。この3ステッププロセスは1分もかからず、取引規律を劇的に向上させます。

Exness証拠金計算機の最終評価

Exness証拠金計算機は、あらゆる経験レベルのトレーダーに役立つ堅牢で正確、かつアクセスしやすいツールです。その強みは、銘柄固有の精度、リアルタイム価格、マルチ通貨サポート、Exnessエコシステムとのシームレスな統合にあります。外国為替、貴金属、エネルギー、指数、株式、暗号通貨におけるレバレッジ証拠金の複雑な数学を自動化することで、取引計画から重大なエラー源を取り除きます。事前取引ルーチンに組み込むトレーダーは、資本コミットメント、リスクパラメータ、口座健全性予測を明確に把握できます。どの計算機も健全なリスク管理に取って代わることはできませんが、Exness証拠金計算機は、規律ある取引意思決定が構築される事実の基盤を提供します。