方程式・恒等式・関数の違い

序論

数学という広大な知的体系において、方程式、恒等式、そして関数は、その言語と論理を形成する最も根源的な礎石である。初学者がこれらの概念に初めて触れるとき、それらはしばしば独立したトピックとして提示される。しかし、その本質を深く探求すると、これら三者は単なる記号の配列や計算の規則ではなく、それぞれが独自の哲学的目的を持つ、相互に深く関連し合った概念であることが明らかになる。

本稿の核心的命題は、これら三つの概念の差異が、その構文上の形式（シンタックス）に留まらず、その根源的な目的にあるという点に集約される。方程式は、特定の条件下でのみ成立する等式であり、「この等式を真ならしめる未知の値は何か」という問いを投げかける。対照的に、恒等式は、変数が取りうる全ての値に対して無条件に成立する等式であり、「これは普遍的な真実である」という事実の陳述として機能する。そして、関数は、等式そのものではなく、ある入力に対してただ一つの出力を決定するプロセスや関係性を記述するものである。

この報告書では、これらの概念を多角的に分析する。まず、それぞれの厳密な定義から始め、その歴史的起源をたどることで、各概念がどのような数学的・科学的要請から生まれたのかを明らかにする。次に、これら三者がいかにして相互に作用し、一つの数学的対象を異なる側面から照らし出す「レンズ」として機能するのか、その統合的な関係性を探求する。最後に、物理学、経済学、コンピュータサイエンスといった応用分野の最前線において、これらの概念がどのように活用され、我々の世界をモデル化し、理解するための強力なツールとなっているかを示す。この探求を通じて、読者は方程式、恒等式、関数を単なる数学の道具としてではなく、思考の枠組みそのものとして捉え直す視点を得るであろう。

第1章 等式の解剖学：方程式 vs. 恒等式

数学における表現の根幹をなすのは「等しい」という関係性の表明である。この関係性を記述する「等式」は、二つの異なる概念、すなわち「方程式」と「恒等式」へと分岐する。本章では、これら二つの等式の形態を解剖し、その真理条件と目的に存在する決定的差異を詳述する。

1.1 共通の祖先：等式の概念

方程式と恒等式の議論を始める前に、その共通の祖先である**等式（equality）**の概念を確立する必要がある。等式とは、二つの数式が同じ値を持つことを、等号「=」を用いて表明するものである ¹。この単純な記号が、数学的言明の文法構造の基礎を形成している。

等号「=」そのものの歴史は、1557年にウェールズの数学者ロバート・レコードが著書『知恵の砥石（The Whetstone of Witte）』で導入したことに遡る ⁴。彼は、「二本の平行な直線ほど等しいものは存在し得ない」という直観から、この記号を考案したとされる ⁴。

等式が持つ基本的な性質は、その後のあらゆる操作の正当性を保証する公理として機能する。

• 反射律（Reflexivity）: 任意の対象 a について、a=a は常に成り立つ。
• 対称律（Symmetry）: a=b が成り立つならば、b=a も成り立つ。
• 推移律（Transitivity）: a=b かつ b=c が成り立つならば、a=c も成り立つ。

これらの性質に加え、等式の両辺に対して同じ操作を施しても等式が維持されるという等式の性質は、方程式を解く上での根幹をなす ³。すなわち、両辺に同じ数を足す、引く、掛ける、あるいはゼロでない同じ数で割るといった操作は、等式の真理性を保存する変換であり、未知の値を明らかにするための手続きの基盤となる ⁵。

1.2 方程式：問いを投げかける条件的言明

等式という大きな枠組みの中で、方程式は極めて特殊な役割を担う。

定義と目的

方程式（equation）とは、式に含まれる一つまたは複数の未知数（変数）に特定の値を代入したときにのみ真となる等式である ¹。方程式の根源的な目的は、未知のものを探求することにある。それは、「この等式を成立させる変数の値は何か？」という

問いを提起する ²。この問いに答える行為が「方程式を解く（solve）」ことであり、その答えとなる特定の数値が「解（solution）」または「根（root）」と呼ばれる ¹。

変数の性質

方程式における変数 x は、単なるプレースホルダーではない。それは、ある特定の、しかし未だ決定されていない値を表す**未知数（unknown）**として扱われる。方程式を解くプロセスは、この未知のベールを剥がし、その正体を突き止める探求の旅に他ならない。

具体例

方程式は、その構造によって様々な種類に分類される。

• 一次方程式（Linear Equation）: 未知数の最高次数が1である方程式。例えば、2x+1=9 という式は、x=4 という特定の値でのみ成立する ³。
• 二次方程式（Quadratic Equation）: 未知数の最高次数が2である方程式。例えば、x2−4=0 は、x=2 と x=−2 の二つの値でのみ真となる。
• 連立方程式（System of Equations）: 複数の未知数を含む複数の等式からなる系。その解は、全ての等式を同時に満たす値の組でなければならない ⁴。例えば、連立一次方程式は、座標平面上での二直線の交点を求める問題として幾何学的に解釈することができる ⁸。
• 微分方程式（Differential Equation）: 未知の関数とその導関数を含む方程式。これは、数の探求から関数の探求へと概念を拡張したものであり、後述する ⁴。

1.3 恒等式：無条件の真理の表明

方程式が条件付きの問いであるのに対し、恒等式は普遍的な事実の陳述である。

定義と目的

恒等式（identity）とは、式に含まれる変数が、その定義域内でどのような許容される値をとっても常に真となる等式である ⁶。その名称「恒等式」が示す通り、「恒（つね）に等しい式」を意味する ¹⁰。恒等式の目的は、未知の値を求めることではない。その目的は、普遍的な数学的真実を表明すること、あるいは他の数式を

変形し、簡略化するための道具（ツール）を提供することにある ⁶。我々は恒等式を「解く」のではなく、「証明する」か「利用する」。

変数の性質

恒等式における変数は、特定の未知数を指すのではなく、定義域内の任意の数を代入できるプレースホルダーとしての役割を持つ。それは、特定の個体を指す固有名詞ではなく、あらゆる個体に適用可能な普通名詞に似ている。

恒等式の特徴と証明法

恒等式にはいくつかの明確な特徴がある。

• 多くの場合、一方の辺を代数的に操作（展開や因数分解など）することで、もう一方の辺と完全に同一の形にすることができる ¹⁴。例えば、
  (x+1)2 を展開すれば x2+2x+1 となり、恒等式 (x+1)2=x2+2x+1 が成立することがわかる ¹²。
• n 次の多項式に関する等式が、互いに異なる n+1 個以上の値に対して成立するならば、その等式は恒等式でなければならない ¹⁰。この事実は、恒等式であるか否かを判定する強力な理論的根拠となる。

恒等式であることを証明したり、恒等式に含まれる未定の係数を決定したりするためには、主に二つの手法が用いられる。

• 係数比較法（Coefficient Comparison）: 二つの多項式が恒等的に等しい場合、両辺の同じ次数の項の係数はそれぞれ等しくなければならない ⁹。例えば、
  ax2+bx+c=a′x2+b′x+c′ が x についての恒等式ならば、a=a′,b=b′,c=c′ が成立する。
• 数値代入法（Numerical Substitution）: 恒等式は任意の変数に対して成立するため、計算が容易になるような都合の良い値を代入して、未定係数に関する連立方程式を導き、それを解くことができる ¹²。ただし、この方法で得られた係数が本当に恒等式を成立させるかを確認するためには、元の式が恒等式であることを理論的に保証する必要がある ¹²。

具体例

恒等式は数学のあらゆる分野に遍在する。

• 代数恒等式: (x+y)(x−y)=x2−y2 のような展開・因数分解の公式 ¹²。
• 三角恒等式: sin2θ+cos2θ=1 のように、三角関数の間に常に成り立つ関係式 ¹⁶。
• オイラーの公式: eiθ=cosθ+isinθ は、指数関数と三角関数という、全く異なる起源を持つ二つの概念を複素数の世界で結びつける、極めて深遠な恒等式である ¹¹。

1.4 比較分析：概念の対照表

これまでの議論を統合し、方程式と恒等式の本質的な差異を明確にするため、以下の比較表を提示する。この表は、単なる定義の羅列を超え、各概念の目的、性質、そして数学的実践における役割の違いを浮き彫りにすることを意図している。学習者が 2x=4 と 2(x+1)=2x+2 のような二つの式を見たとき、その構文的な類似性の裏にある目的論的な断絶を理解することは、数学的直観を養う上で不可欠である。この表は、その断絶を埋めるための橋渡しとなる。

表1：方程式と恒等式の核心的比較

属性 (Attribute)	方程式 (Equation)	恒等式 (Identity)
目的 (Purpose)	未知の値を特定する（未知の探求）2	普遍的な関係性を表明し、式の変形・簡略化の道具を提供する（事実の陳述）6
真理条件 (Truth Condition)	変数に特定の、限られた値を代入した時のみ成立する 2	変数に全ての許容される値を代入した時に常に成立する 9
変数の性質 (Nature of Variables)	特定の値を表す未知数 (unknowns)	任意の数を代表するプレースホルダー (placeholders)
関連する操作 (Associated Action)	解く (solve) 4	証明する (prove), 簡略化する (simplify), 展開する (expand), 因数分解する (factor)
比喩 (Metaphor)	問い (A question)	法則・事実の陳述 (A law or statement of fact)
具体例 (Example)	3x−6=0	3(x−2)=3x−6

この区別は、単なる学術的な分類に留まらない。それは数学的実践そのものを規定する、能動的かつ操作的な区別である。この区別は、**探求（未知を求めること）と論理（既知の規則を適用すること）**という、数学における二つの根源的な活動の間の二元性を象徴している。

この操作上の差異は、現代の数式処理システム（Computer Algebra Systems, CAS）のアーキテクチャに深く刻み込まれている。solve というコマンドは方程式を対象とし、未知の値を求めるために設計されている ¹⁹。一方で、

simplify、expand、factor といったコマンドは、恒等式の知識を内蔵し、ある式を等価な別の形式に変換するために存在する ²²。例えば、CASに「

sin2x+cos2x=1 を解け」と命じることは無意味である。それは既に真だからだ。しかし、「簡略化せよ」と命じれば 1 という結果を返す。逆に、「2x=10 を簡略化せよ」と命じるのは目的を見誤っており、正しくは「x について解け」と命じるべきである。したがって、方程式と恒等式の違いを理解することは、数学という言語を正しく「話す」ための第一歩であり、いつ問いを発し（solve）、いつ道具を使うべきか（simplify）を知ることに等しいのである。

1.5 歴史的間奏曲：解の探求と普遍的真理の認識

方程式の概念は、古代バビロニアやエジプトにおける土地測量や分配といった実用的な問題にその起源を持つ、非常に古いものである ²⁵。楔形文字で記された粘土板には、二次方程式を幾何学的に解く方法が記されており、その原型が見られる ²⁵。日本語の「方程式」という言葉自体は、古代中国の数学書『九章算術』の第八章「方程」に由来する ²⁸。

方程式を体系的に扱った最初の人物として、しばしば「代数学の父」と称されるのが、3世紀頃のギリシャの数学者ディオファントスである ²⁹。彼の著作『算術』は、一次から三次の不定方程式の問題と解法を扱っており、未知数や負の数に対する考察を含んでいた ²⁹。

その後、多項式方程式の解を求める探求は、数学の発展における主要な駆動力となった。正方形の辺と対角線の比に関する方程式 x2−2=0 の探求は無理数の発見をもたらし ⁴、三次・四次方程式の解の公式を巡るカルダノやタルタリアの研究は、複素数という新たな数の体系への扉を開いた ²⁵。そして、五次以上の方程式に一般の代数的な解の公式が存在しないことを証明したアーベルとガロアの研究は、群論という、現代数学の根幹をなす抽象的な構造理論を生み出した ⁴。

一方で、恒等式は、しばしば「公式」や「定理」として、方程式を解くための道具として並行して発展してきた。ピタゴラスの定理は、直角三角形の三辺の間に成り立つ恒等式であり、ユークリッドの『原論』には幾何学的な恒等式が数多く含まれている ²⁶。9世紀の数学者アル＝フワーリズミーの研究は、これらの操作を体系化し、代数学の基礎を築いた ²⁵。恒等式は、方程式という特定の問いに対する答えを探す過程で発見され、整備されてきた普遍的な真理の集積なのである。

第2章 関係性の建築術：関数

方程式と恒等式が「等しい」という静的な状態を記述するのに対し、関数は「変化」と「依存」という動的な関係性を捉えるための、全く異なる概念的枠組みを提供する。本章では、この関係性の建築術としての関数を定義し、その役割と表現方法、そしてその抽象化の歴史的経緯を探る。

2.1 対応から写像へ：関数の定義

中核となる定義

関数（function）とは、ある集合（定義域）の各要素（入力）に対し、別の集合（終域）の要素（出力）をただ一つだけ対応させる規則（ルール）である ³⁰。ここで決定的に重要なのは、「ただ一つだけ」という制約である。一つの入力が複数の異なる出力を持つことは許されない（一対一または多対一の対応）³³。

目的：関係性やプロセスの記述

等式とは異なり、関数の目的は、真偽を問うべき言明をすることではない。その目的は、二つの量の間の依存関係や、ある入力を特定の出力に変換するプロセスを記述することにある ⁷。

y=f(x) という表記は、「y は x の関数である」と読み、その意味するところは「もしあなたが私に x を与えるならば、私はあなたに y を返す」という決定論的な約束である ³²。

「ブラックボックス」という比喩

関数はしばしば、一種の機械や「ブラックボックス」に喩えられる ³²。実際、日本語の「関数」という言葉は、元々「函数」と書かれ、この「函」は「はこ」を意味する ³⁶。このブラックボックスに特定の入力（input）を入れると、内部で定義された操作が実行され、予測可能な唯一の出力（output）が生成される。この比喩は、関数のプロセスとしての側面を的確に捉えている。

主要な専門用語

関数を正確に議論するためには、以下の用語の理解が不可欠である。

• 定義域（Domain / 定義域）: 入力値 x が取りうる全ての値からなる集合 ³²。
• 終域（Codomain / 終域）: 出力値が属する可能性のある全ての値からなる集合 ³⁴。
• 値域（Range / 値域）: 定義域の全ての入力に対して、関数が実際に出力する値 y の集合。値域は終域の部分集合である ³²。

2.2 関数の言語：記号的、表形式、そしてグラフによる表現

関数という抽象的な関係性は、多様な形式で表現される。

• 記号的表現: y=3x ³¹ や
  f(x)=x2 のように、数式を用いて関係性を記述する。f(x) という表記法は、18世紀の数学者レオンハルト・オイラーによって広められた ³⁶。
• 表形式表現: 入力値 x とそれに対応する出力値 y のペアを一覧にした表。
• グラフ表現: 座標平面上に、定義域の各 x とその像 f(x) からなる点の集合 (x,f(x)) をプロットしたもの ³⁷。グラフは、
  x と y の関係性を視覚的に、一目で理解することを可能にする強力なツールである ³⁸。

2.3 厳密な基礎：集合論的観点

関数の概念は、より厳密には集合論の言葉で定義される。この形式化により、関数は数式から解放され、より広範な対象を扱えるようになる。

集合論的定義

集合 A から集合 B への関数 f とは、直積集合 A×B の部分集合であって、全ての a∈A に対して、順序対 (a,b) がその部分集合 f に含まれるような b∈B がただ一つ存在する、という条件を満たすものである ³⁹。

この定義の強みは、その抽象性にある。これにより、数値以外の集合（例えば、アルファベットの集合）の間にも関数を定義できる。例えば、「アルファベットの小文字を入力すると、その大文字を出力する」という規則も、この定義の下では厳密な関数となる ³⁴。

関数 vs. 写像 vs. 関係

• 関数と写像（Mapping / 写像）: 現代数学の多くの文脈において、「関数」と「写像」は本質的に同義語として扱われる ³⁴。一部では、終域が数の集合である場合を「関数」、より一般的な場合を「写像」と呼び分ける慣習もあるが、これは根本的な差異ではなく、分野ごとの用語法の問題である ³⁴。
• 関数と関係（Relation / 関係）: 関数は、「関係」または「対応（correspondence）」と呼ばれる、より広範な概念の特殊なケースである。一般的な「関係」は、一つの入力に複数の出力を対応させること（一対多の関係）を許容するが、関数はそのような多価性を許さない ⁴⁴。

2.4 歴史的間奏曲：関数概念の誕生とその可視化

関数的な思考は古代の天文学者たちの天体運行表などにその萌芽が見られるが、近代的な関数概念が明確に意識されたのは17世紀、微積分学の発展と共にであった。ゴットフリート・ヴィルヘルム・ライプニッツは、曲線上の点に依存して変化する量を記述するために、ラテン語の functio（「遂行する」「機能する」の意）に由来する「関数」という言葉を初めて用いた ⁴⁶。

当初、関数はオイラーが考えたように、変数と定数を組み合わせた解析的な式（数式）そのものと同一視されていた ³⁶。しかし19世紀に入り、フーリエ解析などが扱う、単一の滑らかな数式では表現できないような「病的な」振る舞いをする対象を数学的に厳密に扱う必要が生じた。これに応える形で、ペーター・グスタフ・ディリクレは、関数をより抽象的な「対応の規則」として再定義した ⁴⁷。これは、関数概念の大きな飛躍であった。

そして、この抽象的な関係性を我々の目が捉えられる形、すなわちグラフとして可視化することを可能にしたのが、ルネ・デカルトによる解析幾何学（座標系）の発明である。天井の格子模様に止まった一匹のハエの位置を、二つの軸からの距離で表現できるという彼の着想は ⁴⁹、代数学と幾何学という二つの巨大な数学分野を統一する画期的なものであった ⁵¹。これにより、代数的な関係性を空間的な図形として、また空間的な図形を代数的な式として解釈する道が開かれ、関数の振る舞いを直観的に理解することが可能になったのである。

関数概念の定義が、具体的な「数式」から抽象的な「写像」へと進化してきた歴史は、数学と科学が拡張し続ける要求に応えてきた証左である。この進化は、概念をその起源となった具体的な事例から切り離し、より広範な適用可能性を獲得するという、数学における強力な抽象化の傾向を反映している。

1. 初期段階: ガリレオが物体の落下運動を記述したように、初期の関数は力学の問題を解くために必要な「数式」であった ⁴⁶。
2. 危機と拡張: フーリエによる熱伝導の研究は、単一の滑らかな数式では表現できない周期的現象を扱った。これは、既存の関数観に危機をもたらした。
3. 抽象化による解決: ディリクレは、この危機に対応するため、関数を数式に限定せず、任意の「対応規則」として定義し直した ⁴⁷。これは、新しい数学を厳密化するために不可欠な一般化であった。
4. 究極の抽象化: 最終的に集合論に基づく定義 ³⁹ へと至ったのは、数学全体の普遍的な基礎を築きたいという要請からであった。この定義は非常に抽象的であるため、コンピュータのアルゴリズム、物理法則、論理演算といった多様な対象を、同じ形式で記述することができる。

現代の関数概念の力は、まさにこの抽象性にある。それは、数学の定義が天から与えられた静的な真理ではなく、知的挑戦に応えるために人類が創造してきた動的な構築物であることを物語っている。この歴史を理解することは、数学が新たな、より複雑な問題を解決するために、いかにして自己を一般化し、進化させてきたかを理解することに他ならない。

第3章 ネクサス：概念の統合

方程式、恒等式、関数は、それぞれが独立した概念ではなく、数学という一つの体系の中で深く絡み合い、互いを補完し合う存在である。本章は、本稿の核心部として、これら三者がいかにして一つの「ネクサス（結節点）」を形成し、数学的対象を多角的に解釈するための統合的な枠組みを提供するのかを明らかにする。

3.1 関数と方程式の二元性：関係性についての問い

関数が「関係性」を記述するものであるならば、方程式はその関係性について「特定の問い」を投げかける手段である ⁵⁴。この二元性は、数学的探求における最も基本的な相互作用の一つである。

ある関数 y=f(x) が与えられたとき、我々は様々な問いを立て、それらを方程式として定式化することができる。

• 特定の出力に対する入力の探求: 「出力が特定の値 c になるのは、入力 x がどのような値のときか？」という問いは、f(x)=c という方程式を生み出す。例えば、関数 y=x2−1 に対して、「出力が 8 になるのはいつか？」と問えば、それは方程式 x2−1=8 を解くことに等しく、解 x=±3 が得られる。
• 二つの関数の等価性の探求: 「二つの関数 f(x) と g(x) の出力が等しくなるのは、入力 x がどのような値のときか？」という問いは、f(x)=g(x) という方程式を形成する。この方程式の解は、二つの関数が交差する点、すなわち両者の関係性が一致する瞬間を捉える。例えば、「y=x2 と y=x+2 が等しくなる点はどこか？」という問いは、方程式 x2=x+2 を解くことで答えが得られる。

逆に、一見すると単なる方程式に見えるものも、関数的な関係性を内包している場合がある。例えば、二元一次方程式 ax+by=c は、x と y の間の特定の関係性を定義している。この式を y について解き、y=(−ba​)x+(bc​) と変形することで、その背後にある明示的な関数関係を白日の下に晒すことができる ⁵⁶。

3.2 座標平面上での統一的視点：グラフ、解集合、そして交点

デカルトがもたらした座標平面は、これら異なる概念を視覚的に統合する、強力な舞台装置である。

グラフという統一概念

関数 y=f(x) のグラフとは、二変数方程式 y−f(x)=0 を満たすすべての点 (x,y) の集合である ³⁷。この観点から見ると、グラフは関数の振る舞いを描いた「絵」であると同時に、対応する二変数方程式の完全な「解の集合」でもある ⁵⁷。この事実は、関数と方程式の間に存在する深い結びつきを視覚的に示している。

方程式を幾何学的に解く

この統一的視点に立つと、代数的な方程式を解くという操作は、幾何学的な交点を探すという操作に翻訳される。

• 方程式 f(x)=c の解は、グラフ y=f(x) と水平線 y=c との交点の x 座標に他ならない。
• 方程式 f(x)=g(x) の解は、二つのグラフ y=f(x) と y=g(x) との交点の x 座標である ⁵⁸。
• 連立一次方程式の解は、それに対応する二本の直線グラフの唯一の交点として視覚化される ⁵⁷。

この多面的な解釈を具体的に示すため、一つの数式が文脈によってどのように異なる役割を果たすかを以下の表にまとめる。学習者はしばしば、y=2x+1 という式がある章では「関数」と呼ばれ、別の章では「方程式」と呼ばれることに混乱する。この混乱は、式が「何であるか」ではなく、我々がその式で「何をするか」、あるいはその式に「何を問うか」によってその役割が決まるという、文脈依存性を理解することで解消される。この表は、その文脈的理解を促すためのものである。

表2：数式 y=2x+1 の多角的解釈

〜としての解釈 (Interpretation As…)	中核的な問い・目的 (Core Question / Purpose)	変数の役割 (Variable Roles)	グラフ上の意味 (Graphical Meaning)
関数 (A Function)	f(x) = 2x + 1 として、任意の入力 x を一意な出力 y に対応付けるプロセスを記述する。	x: 独立変数y: 従属変数	入出力関係の全体像を表す一本の直線そのもの 38。
二元一次方程式 (A Two-Variable Equation)	y = 2x + 1 として、数の組 (x,y) が満たすべき条件を定義する。	x,y: 解の集合を構成する、相互に束縛された変数。	直線上に存在する全ての点の集合。直線が解集合である 57。
一元一次方程式 (A One-Variable Equation)	5 = 2x + 1 として、この条件を満たす特定の x の値を求める。	x: 特定の未知数。	直線 y=2x+1 と水平線 y=5 が交わる一点の x 座標 58。

3.3 恒等式の有用性：関数と方程式の変形と簡略化

恒等式は、関数や方程式という舞台で数式を操作するための「ゲームのルール」である。それは、表現をより扱いやすく、本質が見えやすい形へと変形させるための強力な道具となる。

• 関数の簡略化: 恒等式を用いることで、複雑に見える関数をより単純な形に書き換えることができる。例えば、関数 f(x)=(x+1)2−(x−1)2 は、一見すると二次関数のようだが、恒等式 (a+b)2=a2+2ab+b2 と (a−b)2=a2−2ab+b2 を用いて展開・整理すると、f(x)=(x2+2x+1)−(x2−2x+1)=4x となる。この簡略化された形は、元の形よりも分析やグラフ化が格段に容易である。
• 方程式の解法: 方程式を解く過程において、恒等式の適用は不可欠である。例えば、三角方程式 sin(2x)=cos(x) を解くためには、倍角の恒等式 sin(2x)=2sin(x)cos(x) を利用して、方程式を 2sin(x)cos(x)=cos(x) へと変形する必要がある。この変形によって、方程式は cos(x)(2sin(x)−1)=0 と因数分解でき、解を求めることが可能になる。
• 性質の証明: 数学における最も美しい関係式の一つとされるオイラーの等式 eiπ+1=0 は、関数に関する恒等式 eix=cos(x)+isin(x) に x=π を代入することで導かれる ¹⁷。これは、恒等式が単なる計算の道具に留まらず、数学の根源的な定数同士の深遠な結びつきを明らかにする力を持つことを示している。

3.4 論理学的枠組み：述語、量化子、そして数学的言明の性質

これら三つの概念の区別は、一階述語論理の言語を用いることで、より厳密に形式化することができる。

• x+5>10 や x2=4 のような、変数の値によって真偽が定まる文は**述語（predicate）**と呼ばれ、P(x) と表記される ⁶⁰。
• 方程式 x2=4 は、述語 P(x)≡(x2=4) の解集合を求める問題と解釈できる。方程式を解くという行為は、存在量化子（existential quantifier） ∃ を用いて、「∃x,P(x)」を真にする x の集合を見つけ出すことに対応する ⁶¹。
• 恒等式 (x+1)2=x2+2x+1 は、述語 Q(x)≡((x+1)2=x2+2x+1) が全称量化子（universal quantifier） ∀ の下で真である言明、「∀x,Q(x)」に対応する。それは定義域内の全ての x について真である ⁶¹。
• 関数 f(x) は、それ自体が真偽を持つ述語ではなく、項（term）を生成する規則である。関数は、述語を形成するための構成要素として機能する。例えば、f(x)=0（方程式）や f(x)>g(x)（不等式）のように、関数を用いて述語が作られる。

これらの概念間の関係は一方通行ではなく、数学的発見を駆動する動的で周期的な相互作用を形成している。物理的な関係性をモデル化するために関数を導入し、そのモデルについて「いつ特定の状態になるか」という問いを立てることで方程式が生まれ、その方程式を解くために恒等式という道具を用いる。そして、その方程式の解（時には、より複雑な微分方程式の解全体）が、新たな関数を定義することもある。この「関数 → 方程式 → 恒等式 → 関数」というサイクルは、数学的モデリングの根幹をなすエンジンである。それは、我々が世界を記述し（関数）、それについて問い（方程式）、そしてその答えを見つけ出す（解）ことで、元の記述に対する理解を深めていくプロセスそのものを体現している。この統合的な視点は、三者を個別の辞書項目として捉えるよりもはるかに強力な知的枠組みを提供する。

第4章 高等数学と応用科学における顕現

方程式、恒等式、関数の区別と相互作用は、純粋数学の深淵から応用科学の最前線に至るまで、あらゆる領域でその重要性を発揮する。本章では、これらの基礎概念がより高度な文脈でどのように顕現し、我々の世界を理解し、操作するための不可欠な道具となっているかを探る。

4.1 未知数が関数であるとき：関数方程式への導入

代数学における方程式が未知の「数」x を求めるものであったのに対し、解析学ではしばしば未知の「関数」f そのものを求める方程式が登場する ⁶⁴。これは、数学の表現力における大きな飛躍を意味する。「この値は何か？」という静的な問いから、「このシステムの振る舞いを記述するプロセスは何か？」という動的な問いへの移行である。

微分方程式

**微分方程式（differential equation）**は、未知関数とその導関数（変化率）の間の関係を記述する方程式である ⁴。これは自然科学における「変化の言語」そのものである。

• 例：ニュートンの運動法則: F=ma は、加速度 a が位置 x の時間に関する二階微分 d2x/dt2 であることから、F=m⋅d2x/dt2 という微分方程式として記述できる。この方程式の「解」は、特定の数値ではなく、物体の時間経過に伴う位置を記述する関数 x(t) である。
• 例：マルサスモデル: 人口 P の増加率が人口自身に比例するというモデルは、微分方程式 dP/dt=kP で表される。この解は、指数関数 P(t)=P0​ekt であり、指数関数的成長という動的なプロセスを記述する ⁶⁸。

物理学の基本法則

• マクスウェル方程式（Maxwell’s Equations）: 古典電磁気学の基礎をなす、4つの連立偏微分方程式の組である。これらの方程式は、電荷や電流（源）によって電場と磁場（空間と時間に依存する関数）がどのように生成され、相互に作用するかを記述する ⁶⁹。マクスウェル方程式を解くことで、電磁波の伝播といった現象を予測できる。
• ブラック＝ショールズ方程式（Black-Scholes Equation）: 金融工学において、オプション価格の時間的変動を記述する偏微分方程式である。この方程式の解は、原資産価格 S と時間 t に依存するオプション価格を算出するための価格評価関数 C(S,t) を与える ⁷²。

このような関数を未知数とする方程式の登場は、数学が静的な世界の構造だけでなく、動的な世界のプロセスをもモデル化する能力を獲得したことを意味する。代数方程式から関数方程式へのこの飛躍こそが、近代的な数理物理学、工学、経済学の基盤を築いたのである。

4.2 計算論的レンズ：数式処理システムにおける solve vs. simplify

第1章で論じた方程式と恒等式の操作上の区別は、Mathematica, Maple, SymPyといった数式処理システム（Computer Algebra Systems, CAS）の実装において、極めて明確な形で具現化されている。

• solve: このコマンドは方程式を扱うために設計されている。等式と未知変数を入力として受け取り、その等式を真にする特定の解の集合を返すことを目的とする ¹⁹。
• simplify, expand, factor: これらのコマンドは、数式（expression）を操作するために設計されている。システムに内蔵された恒等式の知識ベースを利用して、入力された式と等価な、しかし別の（多くはより「単純な」）形式の式を返すことを目的とする ²²。

PythonのライブラリであるSymPyを例に取ると、この違いは一目瞭然である。

• solve(x**2 – 4, x) を実行すると、解の集合 [-2, 2] が返される。これは方程式を解いている。
• simplify(sin(x)**2 + cos(x)**2) を実行すると、恒等式 sin2(x)+cos2(x)=1 が適用され、1 が返される。これは恒等式による簡略化である。
• factor(x**2 – 4) を実行すると、恒等式 a2−b2=(a−b)(a+b) が適用され、(x-2)*(x+2) が返される。これは恒等式による式の書き換えである。

CASの存在は、方程式と恒等式の機能的な差異が、単なる人間の解釈上の問題ではなく、計算論的に実装可能な、厳密な操作上の区別であることを示している。

4.3 関数型パラダイム：プログラミングから人工知能へ

関数の概念は、現代の計算科学においても中心的な役割を果たしている。

• プログラミングにおける関数: Pythonなどのプログラミング言語における「関数」は、数学的な関数の直接的な類似物である。それは、特定のタスクを遂行するための再利用可能なコードブロックであり、入力（引数, arguments）を受け取り、処理を行い、出力（返り値, return value）を生成する ⁷⁹。これにより、複雑なプログラムを論理的な部品に分割し、コードの保守性や再利用性を高めることができる。
• ニューラルネットワークにおける活性化関数: 人工知能、特に深層学習（ディープラーニング）において、**活性化関数（activation function）**はニューロン（神経細胞）のモデルに不可欠な要素である ⁸²。活性化関数は、複数のニューロンからの入力の重み付き和を受け取り、それを非線形に変換して、そのニューロンの出力を決定する ⁸⁴。

• 非線形性の重要性: ReLU関数やシグモイド関数といった活性化関数が導入する非線形性が、ニューラルネットワークの表現力を飛躍的に高める鍵である。もし活性化関数が線形（あるいは存在しない）ならば、どれだけ多くの層を重ねても、ネットワーク全体としては単一の複雑な線形変換を行うに過ぎず、現実世界の複雑な非線形パターンを学習することはできない ⁸⁴。
• 出力の整形: 出力層で用いられる活性化関数（例えば、分類問題におけるソフトマックス関数）は、ネットワークの最終的な出力を、解釈しやすい形式（例えば、各クラスに属する確率分布）に整形する役割を担う ⁸⁶。

4.4 現実のモデル化：物理学と経済学における役割

方程式、恒等式、関数の三位一体の枠組みは、物理的世界や社会経済現象を数学的に記述し、分析するための基盤となっている。

• 物理学: 前述のマクスウェル方程式のように、物理学の基本法則は、物理量（場や位置など）を記述する関数を未知数とする微分方程式として定式化されることが多い。そして、ベクトル解析の恒等式などを駆使してこれらの方程式を解くことで、系の振る舞いを予測する。例えば、オイラーの公式はフーリエ解析において中心的な役割を果たし、波や信号を異なる周波数成分の重ね合わせとして分析することを可能にする ⁸⁸。これは光学、音響学、量子力学など、幅広い分野で応用されている。
• 経済学: 一般均衡モデルなどの経済モデルでは、市場の均衡状態（例えば、需要と供給の一致）を表現するために、多数の連立方程式が用いられる ⁹¹。これらの方程式に含まれる変数（価格、生産量など）は、消費者の効用関数や企業の生産関数といった、経済主体の行動を記述する
  関数によって決定される。この巨大な連立方程式系の「解」が、経済全体の均衡状態を表す。一方で、「資産 ≡ 負債 + 純資産」のような会計上の関係は、行動を記述する方程式ではなく、定義によって常に成立する会計恒等式として扱われる ⁹⁴。

このように、関数は現象の「振る舞い」を記述し、方程式は系の「状態」に関する問いを立て、恒等式はそれらを分析するための「文法」を提供する。これら三者の協調なくして、現代科学の精緻なモデルは成り立たない。

結論

本稿では、数学の根幹をなす三つの概念、すなわち方程式、恒等式、そして関数について、その定義、目的、相互関係、そして応用を多角的に分析した。この探求を通じて明らかになったのは、これらの概念が単なる独立した数学的対象ではなく、世界を記述し、理解するための、それぞれが独自の役割を持つ相互補完的な言語体系を形成しているという事実である。

結論として、三者の本質的な差異と役割は以下のように要約できる。

• 方程式は、問いを立てる。 それは、特定の条件下でのみ成立する等式であり、「この条件を満たす未知の値は何か？」という探求への招待状である。その目的は、未知を既知へと変換することにある。
• 恒等式は、事実を陳述する。 それは、変数が取りうる全ての値に対して成立する普遍的な真理であり、数式を変形し、簡略化するための論理的な道具である。その目的は、証明と操作の正当性を保証することにある。
• 関数は、関係性を記述する。 それは、入力と出力の間に存在する決定論的なプロセスや依存関係をモデル化する。その目的は、静的な値ではなく、動的な振る舞いや変化のパターンそのものを捉えることにある。

これら三者は、独立して存在するのではなく、数学的および科学的探求のサイクルの中でダイナミックに相互作用する。関数が現実の「関係性」をモデル化し、そのモデルに対して「問い」を立てることで方程式が生まれ、その方程式を「論理規則」である恒等式を用いて解くことで得られた答えが、元の関数への理解を深め、時には新たな関数を発見させる。

この統合的な視座は、初歩的な代数学から、物理学の基本法則を記述する微分方程式、金融市場をモデル化する確率微分方程式、そして人工知能の学習アルゴリズムに至るまで、あらゆるレベルで一貫している。したがって、数学およびその応用分野における真の習熟とは、これらの道具が「何であるか」を暗記することに留まらず、それらが「なぜ存在するのか」、そして「いかにして協調して機能するのか」を深く理解することに他ならない。方程式が問い、恒等式が述べ、関数が記述するという、この三者のシンフォニーを理解することこそが、我々が数理的な思考を通じて世界をモデル化し、問い、そして究極的には理解するための鍵なのである。

引用文献

1. 方程式とはなにか？|これが正確にわからないから数学ができてない！ – HIRO ACADEMIA https://hiroacademia.jpn.com/blog/5minutes/5minmt/hoteishiki/
2. 【中学数学】式と方程式ってどう違うの？2つの違いについて解説します！ https://asunaro-a.com/tips/how-to-study-jhs/75590/
3. 方程式とは何か？数学の基礎から学ぶ重要な5つのルールと具体例 – YBA教育研究会 https://yba1975.jp/blog/%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%A8%E3%81%AF%E4%BD%95%E3%81%8B%EF%BC%9F%E6%95%B0%E5%AD%A6%E3%81%AE%E5%9F%BA%E7%A4%8E%E3%81%8B%E3%82%89%E5%AD%A6%E3%81%B6%E9%87%8D%E8%A6%81%E3%81%AA5%E3%81%A4%E3%81%AE.html
4. 方程式 – Wikipedia https://ja.wikipedia.org/wiki/%E6%96%B9%E7%A8%8B%E5%BC%8F
5. 【中学数学】方程式とは？解き方や問題例についてわかりやすく解説 – 森塾 https://www.morijuku.com/column/7/
6. 【高校数学】恒等式と方程式の違いとは？意味や例題を徹底解説！ – 勉強お助け猫の庭 https://interuniversitylearning.com/archives/7835
7. わかりやすい一次関数の教え方！ – 塾講師ステーション https://www.juku.st/info/entry/1017
8. 連立1次方程式の定義 | 行列 | 線型代数 | 数学 | ワイズ – WIIS https://wiis.info/math/linear-algebra/system-of-linear-equations/system-of-linear-equations/
9. 恒等式 – Kanazawa Institute of Technology – 金沢工業大学 https://w3e.kanazawa-it.ac.jp/math/category/suu-to-siki/seisiki/henkan-tex.cgi?target=/math/category/suu-to-siki/seisiki/koutousiki.html&pcview=0
10. センター数学|恒等式を判別する分かりやすい方法！ – 塾講師ステーション https://www.juku.st/info/entry/117
11. 恒等式 – Wikipedia https://ja.wikipedia.org/wiki/%E6%81%92%E7%AD%89%E5%BC%8F
12. 恒等式の解き方を超分かりやすく解説 – 理系ラボ https://rikeilabo.com/identity
13. 【高校数学Ⅱ】「方程式と恒等式」(例題編) | 映像授業のTry IT (トライイット) https://www.try-it.jp/chapters-6357/sections-6420/lessons-6421/example-2/
14. 【高校数学Ⅱ】「方程式と恒等式」 | 映像授業のTry IT (トライイット) https://www.try-it.jp/chapters-6357/sections-6420/lessons-6421/
15. 恒等式と方程式の違い 今日の数学#208 – アイデア数理塾 https://kyoto-school.com/2022/08/09/question208/
16. 三角関数 – Wikipedia https://ja.wikipedia.org/wiki/%E4%B8%89%E8%A7%92%E9%96%A2%E6%95%B0
17. オイラーの公式 – Wikipedia https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E5%85%AC%E5%BC%8F
18. flashcards.world https://flashcards.world/flashcards/sets/3fcebd09-5231-4f2f-9e14-6efa163360f1/#:~:text=%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%A8%E6%81%92%E7%AD%89%E5%BC%8F%E3%81%AE%E9%81%95%E3%81%84%E3%81%AF%E4%BD%95%E3%81%A7%E3%81%99%E3%81%8B%EF%BC%9F,%E5%B8%B8%E3%81%AB%E6%88%90%E3%82%8A%E7%AB%8B%E3%81%A4%E7%AD%89%E5%BC%8F%E3%81%A7%E3%81%99%E3%80%82
19. What’s the difference between evaluate, simplify, and solve? : r/matheducation – Reddit https://www.reddit.com/r/matheducation/comments/grhdqz/whats_the_difference_between_evaluate_simplify/
20. How do Computer Algebra Systems, like Wolfram Alpha, solve algebraic problems? – Reddit https://www.reddit.com/r/askscience/comments/2g4puh/how_do_computer_algebra_systems_like_wolfram/
21. Solve Equations – SymPy 1.14.0 documentation https://docs.sympy.org/latest/guides/solving/index.html
22. Computer algebra system – Wikipedia https://en.wikipedia.org/wiki/Computer_algebra_system
23. Simplification – SymPy 1.14.0 documentation https://docs.sympy.org/latest/tutorials/intro-tutorial/simplification.html
24. simplification.rst.txt – Sympy Documentation https://docs.sympy.org/dev/_sources/tutorials/intro-tutorial/simplification.rst.txt
25. 二次方程式の解の公式の歴史とその意義：数学の基本を学ぼう https://alphazeminaru.com/shibata/quadratic-formula-history-and-application/
26. 2次方程式の歴史 – 数学トピックQ&A https://www.shinko-keirin.co.jp/keirinkan/kosu/mathematics/qanda/02-02.html
27. 方程式の歴史 | MAT塾ブログ https://ameblo.jp/matterhorn33/entry-10730506145.html
28. 方程式の歴史 http://www.chitakyoiku.ed.jp/CCM/H21/JHS/04suugaku/H21math1_03_ws1.pdf
29. 方程式を作った人は誰？ 算遊館-千葉市(西千葉駅)の算数数学個別塾 https://www.sanyukan.jp/blog_detail-16-D.php
30. www.try-it.jp https://www.try-it.jp/chapters-508/sections-509/lessons-510/#:~:text=%E3%80%8C%E9%96%A2%E6%95%B0%E3%80%8D%E3%81%A8%E3%81%AF%E3%80%81%20%E3%80%8C,%E3%81%A7%E3%81%82%E3%82%8B%E3%80%8D%20%E3%81%A8%E3%81%84%E3%81%86%E3%82%93%E3%81%A0%E3%80%82
31. 【中1数学】「関数とは？」 | 映像授業のTry IT (トライイット) https://www.try-it.jp/chapters-508/sections-509/lessons-510/
32. 関数 – Kanazawa Institute of Technology – 金沢工業大学 https://w3e.kanazawa-it.ac.jp/math/category/kansuu/henkan-tex.cgi?target=/math/category/kansuu/kansuu.html&list=1
33. 関数の定義と具体例 – 実数 – WIIS https://wiis.info/math/real-number/function/function/
34. 関数とは何か,写像とは何かを図解～定義と表記法と具体例～ | 数学の景色 https://mathlandscape.com/function/
35. 関数とは何か? (ビデオ) – カーンアカデミー https://ja.khanacademy.org/math/cc-eighth-grade-math/cc-8th-linear-equations-functions/8th-functions-and-function-notation/v/what-is-a-function
36. 関数 (数学) – Wikipedia https://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0_(%E6%95%B0%E5%AD%A6)
37. 関数のグラフ – Kanazawa Institute of Technology – 金沢工業大学 https://w3e.kanazawa-it.ac.jp/math/category/kansuu/henkan-tex.cgi?target=/math/category/kansuu/gurafu.html&pcview=0
38. 5分でわかる！関数は「グラフが命！」 – 高校数学Ⅰ – Try IT https://www.try-it.jp/chapters-5954/sections-5955/lessons-5960/
39. Functions in Set Theory – Number Analytics https://www.numberanalytics.com/blog/functions-in-set-theory
40. Function in Set Theory Essentials – Number Analytics https://www.numberanalytics.com/blog/function-in-set-theory-essentials
41. What is the set-theoretic definition of a function? – Mathematics Stack Exchange https://math.stackexchange.com/questions/60365/what-is-the-set-theoretic-definition-of-a-function
42. 【個人の感想】関数と写像は違う? – YouTube https://www.youtube.com/watch?v=QSXSOut7j5g
43. 関数と写像の違いは何ですか？ – Quoraで数学 https://q-math.quora.com/%E9%96%A2%E6%95%B0%E3%81%A8%E5%86%99%E5%83%8F%E3%81%AE%E9%81%95%E3%81%84%E3%81%AF%E4%BD%95%E3%81%A7%E3%81%99%E3%81%8B
44. 対応の定義 | 対応 | 数学 | ワイズ – WIIS https://wiis.info/math/correnspondence/correspondence/correspondence/
45. 対応 (数学) – Wikipedia https://ja.wikipedia.org/wiki/%E5%AF%BE%E5%BF%9C_(%E6%95%B0%E5%AD%A6)
46. 数学史の一端として～記号の話 http://izumi-math.jp/S_Yoshida/sign/history_of_the%20sign.pdf
47. 関数の歴史 – RIMS, Kyoto University https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/okamoto.pdf
48. 関数史と我が国の中学校数学教科書における関数の定義の変遷 https://air.repo.nii.ac.jp/record/3162/files/tosu49%283%29.pdf
49. Mathematics And Nature Science https://www.kansai-u.ac.jp/dai-ichi/high/discovery_reports/asset/report4.pdf
50. 歴史のなかで数学の進歩に貢献した人物を点描し，彼等の足跡，業績をたどりながら，今学んだことの本当の大切さやその背景にある考え方の深まり – 課題学習の指導（数学） https://www.shinko-keirin.co.jp/keirinkan/j-kadaimath/0401/index.htm
51. デカルトによる数学の革新 http://iitakashigeru.math-academy.net/maed/09snakamura.pdf
52. 哲学者デカルトの偉業 今日の数学#119 – アイデア数理塾 https://kyoto-school.com/2022/05/11/question119/
53. math-sites.uncg.edu https://math-sites.uncg.edu/sites/pauli/112/HTML/secfundef.html#:~:text=%F0%9F%94%97,is%20assigned%20exactly%20one%20output.
54. 方程式と関数 https://www.juen.ac.jp/g_katei/nunokawa/MathTips/letters/equations_and_functions.htm
55. 方程式と関数の違い (ビデオ) – カーンアカデミー https://ja.khanacademy.org/math/pre-algebra/xb4832e56:functions-and-linear-models/xb4832e56:functions/v/difference-between-equations-and-functions
56. 関数とグラフ／ホームメイト – 中学校 https://www.homemate-research-junior-high-school.com/useful/20100_junio_study/2_mathematics/graph/
57. 第６節 １次関数と方程式 https://www.juen.ac.jp/g_katei/nunokawa/function/2-2-5.pdf
58. 方程式と関数は一緒のもの！？〜数学に関する与太話〜｜ヨタバナ！ – note https://note.com/yotabanasi/n/n73030079780d
59. 「連立方程式と一次関数のグラフとの関係」 １ 出題の趣旨 https://www.nier.go.jp/tyousakekka/tyousamondai_kaisetsu_kaitou/chuu_suugaku_A13_renritsu.pdf
60. First-order logic – Wikipedia https://en.wikipedia.org/wiki/First-order_logic
61. Predicates and Quantifiers – GeeksforGeeks https://www.geeksforgeeks.org/mathematic-logic-predicates-quantifiers/
62. Predicate Logic (Detailed w/ 23 Examples for Clarity!) – Calcworkshop https://calcworkshop.com/logic/predicate-logic/
63. SYMBOLIC LOGIC https://www.csus.edu/indiv/n/nogalesp/symboliclogicgustason/symboliclogicoverheads/phil60gusch5quantifiers/predlogicidentitydefinitedescriptions/predicatelogicidentity.doc
64. まず知るべきこと：関数方程式編 https://gochisuu.netlify.app/intro/intro-fe/
65. en.wikipedia.org https://en.wikipedia.org/wiki/Differential_equation
66. なぜ微分方程式を学ぶのか http://www.ccn.yamanashi.ac.jp/~kondoh/why-we-learn-deq.pdf
67. 微分方程式を図解する http://irobutsu.a.la9.jp/mybook/ykwkrMC/sim/DE.html
68. 微分方程式とは：生物の増減から物体の運動まで【初心者向け】 – YouTube https://www.youtube.com/watch?v=ex0RZmdg6kQ
69. マクスウェルの方程式 – Wikipedia https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%AF%E3%82%B9%E3%82%A6%E3%82%A7%E3%83%AB%E3%81%AE%E6%96%B9%E7%A8%8B%E5%BC%8F
70. マクスウェル方程式の意味 – 物理の学校 https://physics-school.com/maxwell-equation/
71. 「マクスウェル電磁場方程式」紹介 – Qiita https://qiita.com/tshimizu8/items/902c1121b8e883979a7b
72. ブラック・ショールズ・モデルのデルタ導出とN(d1)、N(d2)の考え方 https://fmurakami.securesite.jp/bsdelta.html
73. ブラックショールズ方程式 まとめ #Python – Qiita https://qiita.com/N-H-Shimada/items/5c284b8e5c8e26a3a316
74. ブラック–ショールズ方程式 – Wikipedia https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9%E3%83%83%E3%82%AF%E2%80%93%E3%82%B7%E3%83%A7%E3%83%BC%E3%83%AB%E3%82%BA%E6%96%B9%E7%A8%8B%E5%BC%8F
75. Solving simultaneous equations with sympy – Python Reliability Library https://reliability.readthedocs.io/en/latest/Solving%20simultaneous%20equations%20with%20sympy.html
76. Solve an Equation Algebraically – SymPy 1.14.0 documentation https://docs.sympy.org/latest/guides/solving/solve-equation-algebraically.html
77. Expression Simplification Algorithm – math – Stack Overflow https://stackoverflow.com/questions/24948079/expression-simplification-algorithm
78. Simplification · SymPy http://www.cas.cmc.osaka-u.ac.jp/~paoon/Lectures/2020-8Semester-NA-basic/sympy-package-doc-html/Tutorial/simplification/
79. Python Functions: How to Call & Write Functions – DataCamp https://www.datacamp.com/tutorial/functions-python-tutorial
80. Defining Your Own Python Function https://realpython.com/defining-your-own-python-function/
81. Python Functions – GeeksforGeeks https://www.geeksforgeeks.org/python/python-functions/
82. 活性化関数の役割と代表的な活性化関数～ステップ・シグモイド・ReLU – AVILEN https://avilen.co.jp/personal/knowledge-article/activation_function/
83. 活性化関数ReLU：その仕組みと利点 | AI用語解説 AIコンパス https://ai-compass.weeybrid.co.jp/algorizm/relu-activation-function-mechanism-and-advantages/
84. 【初心者】ネコでも分かる「活性化関数」ってなに？ – Zenn https://zenn.dev/nekoallergy/articles/4e224b57a97af9
85. 機械学習初心者必見！なぜ活性化関数が必要なのか | AIワナビードットコム https://aiwannabe.com/why-activation-functions-are-needed-for-machine-learning/
86. aiwannabe.com https://aiwannabe.com/why-activation-functions-are-needed-for-machine-learning/#:~:text=%E5%87%BA%E5%8A%9B%E5%B1%A4%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E6%B4%BB%E6%80%A7%E5%8C%96%E9%96%A2%E6%95%B0%E3%81%AE%E5%BD%B9%E5%89%B2%E3%81%AF%E3%80%81%E3%83%8B%E3%83%A5%E3%83%BC%E3%83%A9%E3%83%AB,%E9%96%A2%E6%95%B0%E3%81%8C%E4%BD%BF%E7%94%A8%E3%81%95%E3%82%8C%E3%81%BE%E3%81%99%E3%80%82
87. 機械学習・深層学習 学習まとめ: 活性化関数と損失関数 – Qiita https://qiita.com/kayokamoto/items/4a1b2707bcaaf1f6357d
88. 【フーリエ級数編５：複素フーリエ級数】イメージでしっかりつかむ信号処理〜基礎から学ぶFFT https://www.aps-web.jp/blog/106689/
89. 応用数学III (8) フーリエ解析 https://www.rs.noda.tus.ac.jp/skimura/AppMath3/AppMathIII-8.pdf
90. フーリエ解析 https://web.tohoku.ac.jp/sspp/tomita/doc/090410_fr2.pdf
91. 政府を追加した経済モデル https://www2.kumagaku.ac.jp/teacher/~sasayama/macroecon/lecture07.html
92. 第３章経済学における均衡分析 – 西南学院大学 https://www.seinan-gu.ac.jp/~shito/courses/mod/resource/view.php?id=222
93. 第 2 章：一般均衡モデル – Shiro Takeda’s Website https://shirotakeda.github.io/content/files/research/cge_howto/CGE_chap_2.pdf
94. マクロ経済学における会計恒等式モデルと構造方程式モデルの違いについて – note https://note.com/fsakura/n/nc0f77c66fdf7