数理モデルのソースを表示

{{簡易区別|[[数理論理学]]における[[モデル理論]]での「モデル」}}
{{See also|計算科学}}
{{読み仮名|'''数理モデル'''|すうりモデル|{{lang-en-short|mathematical model}}}}とは、ある具体的な対象や現象を抽象化、簡略化し、[[数学]]的に記述したものである。数理モデルを構築することを「数理モデル化」という。モデルは「模型」と訳され、数理モデルは「数理模型」と呼ばれることもある。数理モデルによって、対象について理解したり、それを構成する要素や要因の影響を調べたり、そのふるまいを予測したり制御したりすることができる。

数理モデルは、対象とする現象や、定式化の抽象度などによって様々なものがあり、[[自然科学]]（たとえば[[物理学]]、[[生物学]]、[[生態学]]、[[疫学]]、[[神経科学]]、[[地球物理学]]、[[気象学]]、[[天文学]]など）と[[工学]]（[[計算機科学]]、[[電気工学]]、[[機械工学]]、[[航空工学]]など）の広範な分野で用いられるのみならず、[[社会科学]]（[[経済学]]、[[心理学]]、[[社会学]]、[[政治学]]など）、[[人文科学]]（[[言語学]]、[[計量文献学]]、[[音楽学]]など）でも活用されている。また、産業界や軍事においても、[[オペレーションズ・リサーチ]]や[[データサイエンス]]として研究される。近年は[[コンピュータ]]の性能の向上により、複雑な数理モデルでも、そのふるまいを[[シミュレーション]]によって研究することができるため、より多くの分野で用いられるようになっている。

== 概要 ==
=== モデルとは ===
{{Main|モデル (自然科学)}}
そもそもモデルとは何か、ということに関して様々な説明がありうるが、例えば大学生向けのあるテキストでは「[[モデル (自然科学)|モデル]]とは、対象とする[[システム]]を簡略化して、その[[本質]]を表したもの」「システムを理解するために用いられる」などと解説されている。その意味では、[[地球]]のモデルとしての[[地球儀]]、[[建造物]]のモデルとしての[[設計図]]、[[人生]]のモデルとしての[[小説]]、[[価値]]のモデルとしての[[金銭]]など様々なものがあげられる<ref>『情報 : 東京大学教養学部テキスト』 [[川合慧編]]、[[東京大学出版会]]、2006年。ISBN 4-13-062451-2</ref>。

普通、モデルは現実世界のシステムに対して簡略化されているので、現実のシステムそのものを考察するのに比べると、モデルだけを対象として考察を行うことのほうが圧倒的に容易である。

モデルが現実のシステムの興味がある部分の[[性質]]を残していれば、モデルを考察することによってシステムに対する理解（あるいは解釈）を行うことが可能になったり、現実のシステムのふるまいの予測を行うことができるようになる。例えば、実際に歩き回らなくても、地図を見れば行き方がわかるし、宇宙に出なくても地球の形状や各国の分布を知ることができる。モデル化とは、興味のある本質を残して対象を大幅に簡略化することにより、理解可能にすることである。

ただし、モデルは対象そのものとは別物であり、簡略化によって必然的に対象の持っている多くの[[性質]]を失ったものとなる。モデルが対象のある側面をとりこまないことを「捨象」と言う。構築されたモデルが、元の現象を適切に記述しているか否かは、数学の外の問題で、原理的には論理的には真偽は判定不可能である。人間の直観によって判定するしかない。どこまで精緻にモデル化を行ったとしても、それは得た観察を近似する論理的な説明に過ぎない。

=== 数理モデル ===
数理モデルは、特に数学によって記述されたモデルのことである。モデルという言葉に含意されているように、対象とのズレ（特に[[近似]]や[[抽象化]]）が意識されていることが多い。モデルの正当性が[[実験]]や[[観察]]などによって裏付けられ、非常にうまく行っている事が確かめられている場合は「[[理論]]」と呼ばれるようになることもある。もっとも、「理論」という場合、しばしば独自の概念の使用なども含んだより包括的な体系となる。{{独自研究範囲|例えば、ボーアによる水素原子の構造を説明する理論は普通"Bohr's model"あるいは「ボーアの原子模型」と呼ばれるが、シュレーディンガーによる量子力学の基礎方程式はモデルとは呼ばれない。前者は水素原子の電子の軌道のエネルギー準位を説明するものであり、後者は非相対論的量子力学の基礎方程式を示す理論である。前者においては、バルマー系列におけるリュードベリ定数の、他の基礎的な物理定数による説明という大きなインパクトおよび、量子条件という、理論発展に対する帰納的および仮説形成的側面へのインパクトが重要であるが、後者においては、（例えばエネルギー保存則などの）そこから演繹できる法則の広さが重要である。|date=2025年1月}}

==== 簡単な例 ====
「A君が歩けば歩くほど前に進む。歩幅が広いほど前に進む。」という現象を
:（距離）＝（歩幅）×（歩数）
という[[数式]]で表せば、これは数理モデルである。この数理モデルは、[[積]]という数学的な概念によって記述されている。このように、現実の対象を数学の中に[[写像]]する過程を「モデル化」という。この数理モデルにおいては、もはやA君が[[言葉|何を話しているのか]]、どんな[[表情]]をしているのか（気持ち、[[感情]]）、どちらの[[方位|方角]]に向かっているのかといったようなことは全て捨象されてしまっている。しかし、世界の数的な側面についてこの式（モデル）を用いて推論をすることは、A君の歩く様子を眺めてそれを行うよりも極めて容易であり、<!--「この式を数学的に扱うことは、A君の歩く様子を眺めるよりは極めて容易であり、{{要出典|date=2013年10月}}」-->数学の知見により、例えば、歩幅が50cmで1,000歩歩いたら500m進むということが分かる。さらに言えば、10 km歩いてきたA君の[[疲労|疲労困憊]]した顔を見た時に、この数理モデルを用いる事によって、彼が2万歩歩いたことを算出し「なるほど疲れるわけだ」と理解することもできる。

==== ばねの振動の例 ====
[[ばね]]は、自然長からの伸びが小さい範囲では、伸びた長さと戻ろうとする力が比例することが知られている（[[フックの法則]])。
: 力＝（比例定数）×（伸び）
: ( <math>F = -kx</math> )
となり、ばねという自然現象が数理モデルに対応づけられる。ばねに小さなおもりがついている状況を[[アイザック・ニュートン|ニュートン]]の[[運動の法則]]
: <math>m \frac {d^2 x}{ d t^2 } = F </math>
を用いて表せば、
: <math>{d^2x \over dt^2} = -{k \over m}x</math>
となる。この数理モデルは、数学的には二階[[線型]][[微分方程式]]であり、強力な理論が得られている分野である。数学的な考察により、運動が[[三角関数]]で表されることが直ちにわかる<ref>[[小形正男]] 『振動・波動』 阿部龍蔵・川村清監修、[[裳華房]]〈裳華房テキストシリーズ : 物理学〉、1999年。ISBN 4-7853-2088-5</ref>。

== モデルの普遍性 ==
いったん抽出された数理モデルはもともと対象とされた現象を超えて、遥かに広い範囲の対象を記述することが多い。例えば、[[コンデンサ]]と[[コイル]]を接続した[[電気回路]]の[[電圧]]の発展を記述する[[微分方程式]]は、上記のばねの振動の方程式と全く同一のものになる。

他にも、熱拡散における[[フーリエの法則]]、電流における[[オームの法則]]、液流における[[ハーゲン・ポアズイユの法則]]、粒子の拡散における[[フィックの法則]]は全て
: <math>J = -D\frac{du}{dx}</math>
の形をしており、数学的には全く同一のものである。

（なお、これらの方程式が似た形をしているのには理由がある。これらの物理法則が得られるのは、どれも平衡点から少しだけずれた点における法則としてである。系のダイナミクスがたとえ非線型であっても、平衡点からほんの少しだけずれた点においては、ずれに対して線型な応答が得られると期待できる系における現象であるからだ。非線型力学的にいうならば、平衡点における発展方程式のヤコビアンによって、その近傍の発展は決まる。）

== 自然界の階層性と数理モデル構築の可能性 ==
一般に物理学では、ミクロな世界の第一原理法則にしたがって[[相互作用]]する粒子がシステムの時間発展を決めていると考えられている。ところが、その[[仮定]]から考えれば明らかではないことに、自然界には物理的なスケールの違う階層からなる[[階層構造]]があり、それぞれの階層においてなんらかの[[秩序]]が見られることが知られている（[[素粒子]]、[[原子]]、[[分子]]、[[高分子]]、[[固体]]、[[流体]]、[[細胞]]、[[組織 (生物学)|組織]]、[[器官]]、[[群れ]]、[[社会]]、[[習慣]]、[[流行]]、[[伝染]]、[[生態系]]、[[地形]]、[[天候]]、[[惑星系]]、[[銀河]]、[[銀河団]]、[[宇宙]]、など）。そもそも、われわれ人間のような、外界に対する[[認識]]や[[解釈]]を行う知的能力を持った生物がいるということが世界がある程度の法則性を持つことの証拠である<ref>{{cite|和書 |editor= |author=大野克嗣 |title=非線形な世界 |edition= |publisher=東京大学出版会 |year=2009 |isbn=978-4-13-063352-9 |pages=127}}</ref>。そこで、一般に特定の階層に注目し、そこになりたつ普遍的な法則を推定しようという試みがなされる。数理モデルを構築するには必然的にシステムを目的のスケールにおいてよく記述するマクロな[[変数 (数学)|変数]]の導入が必要となる。

数理モデルに導入されるそういった変数の数は少なければ少ないほどより単純でシンプルな現象への理解へと導くという観点から、大成功していると思われるのは、[[熱力学]]、流体を記述する[[ナビエ-ストークス方程式]]、[[物性論]]における[[平均場近似]]などがある。

また、一つ下の階層における法則が知られている場合には、それを構成要素として組み立てたモデルがよく作られ、さらにその下位の階層における構造は捨象する（例えば、[[気体分子運動論]]、電気回路、[[ニューラルネットワーク]]など）。しかし、生体や社会のように対象が複雑で、階層間の法則の分離の様子が自明でない場合や、スケールが一つ下の要素を考えるだけで要素数の多さやその多様性などにより変数が爆発的に多くなってしまうものとなれば、適切な変数の設定やモデル化ができるかどうかはもとより、人間に理解できる程度に単純で普遍的な[[現象論]]の存在を仮定することは議論がわかれるところである<ref group="注">「[[生物]]においては数理モデルは全く使えない」ということではない。例えば{{仮リンク|ホジキンハクスレイ方程式|en|Hodgkin–Huxley model}}のような華々しい[[例外]]は存在する。</ref>。

== 遅い変数の存在と発展方程式の縮約可能性 ==
前項と関係することでもあるが、系の発展を少数の本質を表す変数によって記述できることの正当性は、その系に変化が速い変数と遅い変数が共存することによることが多い。
物理学ではこれは断熱近似<ref>蔵本由紀・蔵本由紀『散逸構造とカオス』岩波書店 (2000)　ISBN 978-4000067508</ref>、隷属原理<ref>牧島邦夫・小森尚志訳 『協同現象の数理 — 物理，生物，化学的系における自律形成』 東海大学出版会 (1981) ISBN 4486005228, Synergetics: An Introduction Nonequilibrium Phase Transitions and Self-organization in Physics, Chemistry and Biology</ref><ref>高木隆司訳 『自然の造形と社会の秩序』 東海大学出版会 (1987) ISBN 4486008464, Erfolgsgeheimnisse der Natur: Synergetik, die Lehre vom Zusammenwirken.</ref> などとよばれ、数学的にいえばこれは中心多様体上での発展方程式をみいだすことに対応する。前項との関係においては、しばし様々な系において系のミクロな現象がマクロな状態よりも速く変化することが多いことによって、ミクロを無視したマクロな変数のモデルをたてられることが対応する。

== コンピュータシミュレーション ==
{{See also|数値解析}}
対象となる現象が大規模で人手による解析が困難、あるいは[[ナビエ-ストークス方程式]]のようにモデルの解を解析的に得られない場合は、[[コンピュータ]]による[[シミュレーション]]によって解を求める。代表的な[[アルゴリズム]]として、[[オイラー法]]、[[ルンゲ＝クッタ法]]、[[有限要素法]]、[[モンテカルロ法]]等がある。コンピュータの性能向上によって、扱える数理モデルの幅が大変広まった。

== 利点 ==
=== 現象の理解 ===
上述したように、数理モデルを構築することによって得られることは、まずは[[現象]]の理解があげられる。また、数学的に表現することによって、扱いが容易になったり、数学の知見を活用することができる。

=== 実験をしないで現象のふるまいを予測する ===
適切な数理モデルが得られれば、様々な条件化における現象を定量的に予測できるようになる場合が多い。現実のシステムを用いて観測を行う必要がなくなれば、そのために必要な労力・損失を省くことができる。感染症の[[パンデミック]]に対して、交通規制、隔離、ワクチン配布などの様々な戦略をどう用いればいいのか、といった[[シミュレーション]]も行われている。[[臨界前核実験]]では、実際に核爆発を起こさず、数理モデルのパラメータ決定のみが目的とされる。

近年は[[コンピュータ]]の進化によって、莫大な変数を持つような複雑な数理モデルに対しても、シミュレーションにより解の振る舞いを実用的な時間内に求めることが可能になりつつある。例として、[[IBM]]による[[大脳皮質]][[コラム]]のシミュレーション[[Blue Brain]]プロジェクトや、[[地球シミュレータ]]による[[温暖化]]の予測などが挙げられる。

== 評価基準 ==
=== 本質の抽出 ===
一般的には、対象とするシステムの本質的な特徴を表すことができて、かつできるだけ少ない変数を抽出したものがよいモデルとされる。

===予測可能性 ===
これまでの観測結果から構築した数理モデルによる、今後の観測データの予測能力はその数理モデルの評価基準になる。どのような数理モデルも、その数理モデル内の自由なパラメータをもつものである。パラメータを推定したのちに、未知のデータに対する予測の正確性を評価すればそのモデルの評価基準となる。

=== 実験データとの照合 ===
実験データとの[[定量的]]な一致・予測能力があるものは優れたモデルとされる。

=== 数学的扱いやすさ ===
数理モデルの場合は、数学的な扱いやすさが重要になる。例えば、ある方程式によりモデル化を行った場合に、その解が[[解析的]]に得られるようなものは、数学的に大変性質がよいものだといえる。方程式が非線型の場合は一般にはこれは困難だが、具体例としては、非線型なリズムを持つものが多く同期しあう現象を扱った[[蔵本モデル]]は要素数無限大の極限において解が解析的に得られる。解析的に得られない場合は[[数値解析]]によって[[近似解]]を求める。

== 数学的な分類 ==
=== 線型か非線型か ===
数理モデルは多くの場合、[[変数 (数学)|変数]]を含んでいる。この変数に作用する[[作用素 (関数解析学)|演算子]]が[[線型]]である場合は、モデルは線型だといわれる。線型な場合、[[重ね合わせの原理]]により、[[系 (自然科学)|系]]の発展を独立なモードに分解して考えることができる。要素還元的な方法が非常にうまく行くのは、モデルが線型であり、システムのふるまいが要素のふるまいに分解することができる線型な場合である。その基礎には[[線型演算子]]の[[スペクトル]]分解がある。例えば、弦の振動や熱の拡散過程の場合、熱の分布を[[フーリエ変換]]し、それぞれの波数のモードに分解すれば、各々独立に方程式に従うので相互作用を無視することができる。たくさんのばねと[[重し|おもり]]をつなげたような系を考えてもやはり線型連立[[常微分方程式]]となり、同様である。

一方、非線型の場合は、方程式が非常にシンプルな場合でも系の発展に[[カオス理論|カオス]]などの複雑な状況が生じることがあることが知られている。非線型の微分方程式は一般的には解析的に解けない。(cf.[[可積分系]]、[[ソリトン]])

=== 決定論的か確率過程か ===
システムの発展を記述するときに、その発展が直前の状態によって完全に決定されるような決定論的な枠組みを用いるか、発展に確率的な要素を取り込むかの違いがある。[[常微分方程式]]や[[偏微分方程式]]によるモデル化は[[決定論的]]なものにあたる。（解の存在と一意性が保障されているような）[[微分方程式]]で記述すれば、状態の発展は初期値のみによって決まる。一方、[[マルコフ過程]]、[[確率微分方程式]]や[[マスター方程式]]での記述は、確率的な過程を取り込む場合にあたる。

=== 動的か静的か ===
時間による発展を取り込むか取り込まないかで、動的か静的かに分類される。例えば典型的な動的なモデルとして、[[微分方程式]]や[[差分方程式]]によるものが挙げられる。また静的なモデルとして、系の状態を[[最適化問題]]の極値として与えるものを指し示すことができる。

== 用いられる数学 ==
[[常微分方程式]]、[[差分方程式]]、[[偏微分方程式]]、[[積分方程式]]、[[幾何学]]、[[確率過程]]、[[統計学]]、[[グラフ理論]]、[[ゲーム理論]]、[[最適化問題]]、[[マルコフ過程]]、[[マスター方程式]]、[[ベイズ統計学]]などの数学が用いられるが、それには限らない。

== 代表例 ==
* [[物理学]]
** [[ボーアの原子模型]] - [[量子条件]]を仮説としてモデルを構築したことで、水素原子における電子の振る舞いを説明することができた。元々のボーアのモデルでは、水素原子以外の説明ができなかったものの、その後の[[量子力学]]につながった重要な数理モデルである。
** [[気体分子運動論]]
** [[フィックの法則]]
* [[輸送現象]]
** [[イジング模型]]
** [[バンド理論]]
* [[電子工学]]
** 電子回路の挙動を非線型微分方程式でモデル化し解析を行うソフトウェア[[SPICE (ソフトウェア)|SPICE]]は、電子回路設計にて幅広く活用されている。
* [[計算機科学]]
** シャノン[[情報理論]]は、通信（[[コミュニケーション]]）の数学的なモデル化である。
** [[チューリングマシン]]は、計算機の計算を、外部記憶と書き込みを付随させたオートマトンにモデル化したものである。
* [[神経科学]]
** [[ホジキンハクスレイ方程式]]
** [[フィッツフュー-南雲モデル|FitzHugh‐南雲モデル]]
** [[integrate-and-fire neuron]]
** [[ニューラルネットワーク]]
* [[生態学]]
** [[ロトカ＝ヴォルテラの方程式]]
* [[薬学]]
** [[ファーマコキネティクス]]
* [[金融工学]]
** [[ブラック-ショールズ方程式]]

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist2}}
=== 出典 ===
{{Reflist}}

== 参考文献 ==
{{参照方法|date=2012年6月|section=1}}
* {{Cite book|和書
|author = 
|editor=日本数学会|editor-link=日本数学会
|title = 岩波数学辞典
|edition = 第4版
|year = 2007
|publisher = [[岩波書店]]
|isbn = 978-4-00-080309-0
|page = 
}}
* {{Cite book|和書
|author = 
|editor=広中平祐|editor-link=広中平祐
|title = 現代数理科学事典
|edition = 第2版
|year = 2009
|publisher = [[丸善]]
|isbn = 978-4-621-08125-9
|page = 
}}
* {{Cite book|和書
|author=蔵本由紀|authorlink=蔵本由紀
|title = 非線形科学
|year = 2007
|publisher = [[集英社]]
|series = [[集英社新書]]
|isbn = 978-4-08-720408-7
|page = 
}}
* {{Cite book|和書
|author = 蔵本由紀
|title = 新しい自然学 : 非線形科学の可能性
|year = 2003
|publisher = 岩波書店
|series = 双書科学/技術のゆくえ
|isbn = 4-00-026642-X
|page = 
}}
* {{Cite book|和書
|author=甘利俊一|authorlink=甘利俊一
|editor=戸田正直ほか|editor-link=戸田正直
|title = 神経回路網モデルとコネクショニズム
|origyear = 
|edition = 新装版
|year = 2008
|publisher = 東京大学出版会
|series = コレクション認知科学
|isbn = 978-4-13-015161-0
|page = 
}}
* {{Cite book|和書
|author=松原望|authorlink=松原望
|title = 計量社会科学
|year = 1997
|publisher = 東京大学出版会
|isbn = 4-13-042069-0
|page = 
}}
* {{Cite book|和書
|author=津田一郎|authorlink=津田一郎
|title = カオス的脳観
|year =　1990
|publisher = サイエンス社
|isbn = 978-4781905983
|page = 
}}

== 関連項目 ==
<!-- {{Commonscat|Mathematical model}} -->
* [[公式]]
* [[モデル (自然科学)]]
* [[物性物理学]] - [[力学系]]
* [[数理工学]] - [[制御理論]]
* [[数理生物学]]
* [[統計力学]]
* [[データサイエンス]]
* [[システムダイナミクス]]
* [[経済学]] - [[ゲーム理論]]
* [[数理社会学]]
* [[微分方程式]] - [[確率微分方程式]]
* [[応用数学]] - [[統計学]] - [[確率過程]] - [[シミュレーション]]
* [[等価回路]]

{{科学哲学}}
{{Normdaten}}

{{DEFAULTSORT:すうりもてる}}
[[Category:数学モデリング|*]]
[[Category:科学哲学の概念]]
[[Category:アカデミックスキル]]
[[Category:数学に関する記事]]
[[Category:概念モデル]]