今北産業pedia

複雑なシステムのモデルを作ると、モデル自体が理解困難になる現象。

詳細さを追求するほど説明力が失われるという、シミュレーションの矛盾。

意思決定や組織論において、モデルの抽象度の重要性を説く際に引用される。

述語論理において、文の集合がモデルを持つための必要十分条件を述べる定理。

集合の任意の有限部分集合がモデルを持つならば、集合全体もモデルを持つ。

超実数の構成や、無限構造の性質を調べるモデル理論の根幹をなす。

三角形内の点から各頂点への距離の和が、各辺への距離の和の2倍以上。

エルデス・モデルの不等式とも呼ばれ、幾何学における有名な不等式。

等号が成立するのは、正三角形の中心に点がある場合に限られる。

金融派生商品（オプション）の理論価格を算出するための偏微分方程式。

株価が幾何ブラウン運動に従うと仮定し、無裁定条件から導出される。

現代金融工学の出発点となり、開発者はノーベル経済学賞を受賞した。

原子核の結合エネルギーを、液滴モデルに基づいて近似的に計算する式。

体積項、表面項、クーロン項など5つの寄与を組み合わせて核子の結合を説明する。

原子核の安定性や核分裂、核融合のエネルギー放出を理解する基礎となる。

一階述語論理のモデルの大きさと存在に関する、モデル理論の基本定理である。

無限モデルを持つ理論は、任意の無限濃度を持つモデルも持つことを示す。

実数の理論が可算なモデルを持つという「スコーレムのパラドックス」を生む。

被食者と捕食者の個体数が相互に影響し合い、周期的に変動する様子を示す方程式。

餌が増えれば天敵が増え、天敵が増えれば餌が減るという連鎖を記述する。

数理生物学における最も有名なモデルの一つで、生態系の安定性を論じる基礎となる。

二つの種が同じ資源を巡って競争する際の個体数変化を表す微分方程式である。

捕食者と被食者の関係を示すモデルを拡張し、種間競争の影響を取り入れている。

生態学において、種の共存条件や競争排除の原理を説明するために利用される。