Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource note Description An account of the resource 日常のノート note 日常のノートの記録 note テキストの自由記述 <h1>モンテカルロ法</h1> <h2>概要</h2> <p>モンテカルロ法は、乱数を用いてシミュレーションを行う数値計算手法です。</p> <ul> <li>計算が複雑だったり解析的に解が得られない問題に強みがある</li> <li>確率的な現象を扱う問題に適している</li> <li>サンプリング数を増やすことで精度を向上させることができる</li> <li>1940年代にスタニスワフ・ウラムとジョン・フォン・ノイマンによって開発された</li> </ul> <h3>適用例</h3> <ul> <li>数値積分（高次元積分の計算）</li> <li>物理シミュレーション（粒子の挙動、熱伝導など）</li> <li>金融工学（オプション価格の評価、リスク分析）</li> <li>統計推定（ベイズ推定、マルコフ連鎖モンテカルロ法）</li> </ul> <h2>モンテカルロ法による円周率の求め方</h2> <h3>アルゴリズム</h3> <ol> <li><strong>設定</strong>: 一辺の長さが\(2\)の正方形の中に、半径\(1\)の円を内接させる</li> <li><strong>ランダムサンプリング</strong>: 正方形内にランダムに点を打ち、その点が円の内部か外部かを調べる</li> <li><strong>比率計算</strong>: 円の内部に入った点の数と全点の数の比率から円周率を推定する</li> <li><strong>精度向上</strong>: 試行回数（打つ点の数）を増やすほど精度が高くなる</li> </ol> <h3>数学的原理</h3> <ul> <li>点が均一にばらまかれていれば、円の面積と正方形の面積の比率に比例する</li> <li>正方形の面積: \(4\)（一辺が\(2\)なので \(2 \times 2 = 4\)）</li> <li>円の面積: \(\pi \times 1^2 = \pi\)</li> <li>円の内部に入った点の比率: \(\frac{\text{円内の点数}}{\text{全点数}} \approx \frac{\pi}{4}\)</li> <li>したがって、\(\pi \approx 4 \times \frac{\text{円内の点数}}{\text{全点数}}\)</li> </ul> <h3>精度の評価</h3> <p>試行回数を\(N\)とすると、推定誤差は約\(\frac{1}{\sqrt{N}}\)に比例します。</p> <ul> <li>試行回数を100倍にすると、誤差は約10分の1になる</li> <li>より正確な結果を得るには、大量のサンプリングが必要</li> </ul> <h3>プログラム実装での判定方法</h3> <p>ある点\((x, y)\)が円の内部にあるかどうかは、原点からの距離で判定します。</p> <ul> <li><strong>座標系</strong>: 原点を正方形の中心に設定し、\(-1 \leq x \leq 1, -1 \leq y \leq 1\)の範囲でランダムに点を生成</li> <li><strong>原点からの距離</strong>: \(\sqrt{x^2 + y^2}\)</li> <li><strong>円の内部判定</strong>: \(\sqrt{x^2 + y^2} \leq 1\)</li> <li><strong>計算効率化</strong>: 通常は二乗した値で判定: \(x^2 + y^2 \leq 1\)（平方根の計算を回避）</li> </ul> <h2>乱数生成方法</h2> <h3>1. 物理的な乱数生成</h3> <h4>サイコロ</h4> <ul> <li>20面体など特殊なサイコロも利用可能</li> <li>10面体では製造が難しいため、0〜9が複数記載された20面体を用いることもある</li> <li>確率が均一になるよう設計されている</li> <li>主に教育目的や小規模な実験で使用される</li> </ul> <h4>乱数表</h4> <ul> <li>0〜9までの数字が不規則に並んでおり、出現確率が等しくなるよう工夫されている</li> <li>使い方: 任意の場所からスタートし、順に乱数を拾う（縦、横、斜めなど、どの方向でも可）</li> <li>現在は主に疑似乱数が使われるため、一般的には利用されていない</li> </ul> <h4>物理的過程</h4> <ul> <li>原子核の崩壊、ダイオードの電気的ノイズ等の確率的現象を利用する</li> <li>真の乱数（真性乱数）を生成できるが、生成速度が遅い</li> <li>暗号学的用途など、高度なセキュリティが必要な場合に使用される</li> <li>ハードウェア乱数生成器（HRNG）として実装されることが多い</li> </ul> <h3>2. コンピュータによる疑似乱数生成</h3> <p>コンピュータによる疑似乱数生成には、平方根中法、線形合同法、Mersenne Twisterなど様々なアルゴリズムが存在します。<br />疑似乱数は完全な乱数ではないが、統計的性質が良く、高速に生成できるため、モンテカルロ法で広く利用されています。</p> <h4>疑似乱数の評価基準</h4> <ul> <li><strong>周期性</strong>: 乱数列が繰り返し始めるまでの長さ</li> <li><strong>統計的独立性</strong>: 前後の値の間に相関がないこと</li> <li><strong>均一性</strong>: 各値が等しい確率で出現すること</li> <li><strong>計算速度</strong>: 生成にかかる時間</li> </ul> <h2>平方根中法（中位平方根法）</h2> <h3>アルゴリズム</h3> <p>適当な\(n\)桁の数字を2乗し、中位の\(n\)桁を取り出すことで乱数を生成する方法です。<br />1949年にジョン・フォン・ノイマンによって提案された、一様分布を生成する古典的な方法です。</p> <h3>手順例（n=4の場合）</h3> <ol> <li>初期値として4桁の数値を選ぶ（例: 1234）</li> <li>2乗する: \(1234^2 = 1522756\)（7桁）</li> <li>中位4桁を取り出す: <ul> <li>全体が7桁の場合、中央から4桁を取る（2275）</li> <li>具体的には、両端の桁を除いた中央部分を取る</li> <li>桁数が足りない場合は0を前に補う</li> </ul> </li> <li>次の乱数として使用し、同様の操作を繰り返す</li> </ol> <h3>計算例の続き</h3> <ul> <li>初期値: 1234</li> <li>1回目: \(1234^2 = 1522756\)（7桁）→ 中位4桁: 2275</li> <li>2回目: \(2275^2 = 5175625\)（7桁）→ 中位4桁: 1756</li> <li>3回目: \(1756^2 = 3083536\)（7桁）→ 中位4桁: 0835 → 835（先頭の0は通常省略、または835として扱う）</li> <li>（以下同様に続く）</li> </ul> <p><strong>注意</strong>: 平方根中法では、実装によって「中位」の取り方が若干異なる場合があります。また、0が出現すると以後すべて0になる問題があります。</p> <h3>長所</h3> <ul> <li>簡単で分かりやすい</li> <li>計算が速い</li> <li>実装が容易</li> </ul> <h3>短所</h3> <ul> <li>0が出ると、それ以降の乱数がすべて0になってしまう（収束問題）</li> <li>周期が解析的にわかっていない</li> <li>統計的性質が悪く、相関が生じやすい</li> <li>現在ではほとんど使用されていない（歴史的な手法）</li> </ul> <h2>線形合同法（Linear Congruential Generator, LCG）</h2> <h3>アルゴリズム</h3> <p>線形合同法は、1951年にD.H. Lehmerによって提案された、以下の漸化式で疑似乱数を生成する方法です：</p> <p>\[x_{n+1} = (a \times x_n + b) \bmod M\]</p> <p>ここで：</p> <ul> <li>\(a\): 乗数（multiplier）</li> <li>\(b\): 加数（increment）</li> <li>\(M\): 法（modulus）</li> <li>\(a, b, M\)は整数でなければならない</li> <li>初期値\(x_0\)も整数</li> </ul> <h3>具体例</h3> <p><strong>例1: 小規模な例（教育用）</strong></p> <ul> <li>\(a = 5, b = 3, M = 16, x_0 = 1\)</li> <li>\(x_1 = (5 \times 1 + 3) \bmod 16 = 8\)</li> <li>\(x_2 = (5 \times 8 + 3) \bmod 16 = 43 \bmod 16 = 11\)</li> <li>\(x_3 = (5 \times 11 + 3) \bmod 16 = 58 \bmod 16 = 10\)</li> <li>（以下同様に続く）</li> </ul> <p><strong>例2: 実用的なパラメータ（Glibcの古いバージョンで使用）</strong></p> <ul> <li>\(a = 1103515245, b = 12345, M = 2^{31}\)</li> <li>周期が長く、統計的性質が比較的良好</li> <li>注意: 現在のGlibcでは、より高度な乱数生成器を使用している</li> </ul> <h3>特徴</h3> <ul> <li>乱数の周期を最大にするための値の選び方が理論的に研究されている</li> <li>計算が単純で高速（加算、乗算、剰余演算のみ）</li> <li>広く使用されている基本的な疑似乱数生成法</li> <li>メモリ使用量が少ない（前の値1つだけ保持）</li> </ul> <h3>欠点</h3> <ul> <li>係数の与え方によって規則的だったりパターン化することがある</li> <li>初期値が極端に小さいと、生成される値が偏る可能性がある</li> <li>高次元での相関が問題になることがある（超平面に点が集中する）</li> <li>下位ビットの周期性が短い（特に\(M\)が2のべき乗の場合）</li> </ul> <h3>パラメータの選び方（Hull-Dobellの定理）</h3> <p>最長周期\(M\)を得るための条件：</p> <ol> <li>\(b\)と\(M\)は互いに素（最大公約数が1）</li> <li>\(a-1\)は\(M\)のすべての素因数で割り切れる</li> <li>\(M\)が4の倍数の場合、\(a-1\)も4の倍数</li> </ol> <p><strong>推奨されるパラメータの選び方</strong>:</p> <ul> <li>Hull-Dobellの定理の条件を満たす範囲で\(a\)を選ぶ</li> <li>初期値は適切な値を選ぶ（極端に小さすぎると、最初のいくつかの値が小さな値に偏る可能性がある）</li> <li>\(M\)は通常、2のべき乗または素数を用いる</li> <li>\(b\)と\(M\)は互いに素であることが必要（Hull-Dobellの定理の条件1）</li> <li>実用的には、既知の良好なパラメータセットを使用することが推奨される</li> </ul> <h3>線形合同法の変種</h3> <ul> <li><strong>混合合同法</strong>: \(b \neq 0\)の場合（上記の標準的な形式）</li> <li><strong>乗合同法</strong>: \(b = 0\)の場合（周期が短くなるが計算が速い）</li> </ul> <h2>その他の疑似乱数生成法</h2> <h3>Mersenne Twister</h3> <ul> <li>1997年に開発された現代的な疑似乱数生成法</li> <li>周期が非常に長い（\(2^{19937}-1\)）</li> <li>統計的性質が優れている</li> <li>多くのプログラミング言語で標準的に使用されている（Python、Rなど）</li> <li>メモリ使用量が比較的多い（約2.5KB）</li> </ul> <h3>その他の手法</h3> <ul> <li><strong>Xorshift</strong>: ビット演算のみで高速な乱数生成</li> <li><strong>WELL (Well Equidistributed Long-period Linear)</strong>: Mersenne Twisterの改良版</li> <li><strong>PCG (Permuted Congruential Generator)</strong>: 線形合同法を改良した手法</li> </ul> <h2>まとめ</h2> <p>モンテカルロ法は、乱数を利用した強力な数値計算手法です。<br />円周率の計算を例として、乱数の生成方法から実際の応用まで理解することが重要です。<br />適切な乱数生成法を選択し、十分な試行回数を確保することで、高い精度の結果を得ることができます。</p> <h3>実装時の注意点</h3> <ol> <li><strong>乱数生成器の選択</strong>: 用途に応じて適切な手法を選ぶ</li> <li><strong>初期化</strong>: シード値（初期値）を適切に設定する</li> <li><strong>周期の考慮</strong>: 十分に長い周期を持つ生成器を使う</li> <li><strong>統計的検定</strong>: 生成された乱数の品質を評価する</li> <li><strong>再現性</strong>: 同じシード値で同じ乱数列を生成できるようにする（デバッグ時に有用）</li> </ol> Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource シミュレーション工学６ Creator An entity primarily responsible for making the resource unjuno Date Created Date of creation of the resource. 2025-10-31 Rights Information about rights held in and over the resource CC BY-NC 4.0 - 非営利目的のみ許可