大学数学
固有値・固有ベクトル
行列で変換しても「向きが変わらない」特別な方向
その軸に沿って長さが何倍に引き伸ばされるかを表すスケール係数が固有値である。
フーリエ変換と周波数分解
どんなに複雑な波も、単純なサイン波の重ね合わせに分解できる
どんなに複雑な波も、単純なサイン波の重ね合わせに分解できる。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
ベイズの定理(条件付き確率と事前・事後確率)
新たな情報や証拠(エビデンス)を得て「確信度」を更新する確率論
新たな情報や証拠(エビデンス)を得て「確信度」を更新する確率論。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
正規分布と中心極限定理
あらゆるランダムなばらつきが最終的に収束する「釣鐘型の山」
あらゆるランダムなばらつきが最終的に収束する「釣鐘型の山」。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
線形変換と基底
行列が空間をどう歪めるか──基底ベクトルの行き先がすべてを決める
変換の結果は、基底ベクトル $\mathbf{e}_1=(1,0)$ と $\mathbf{e}_2=(0,1)$ がそれぞれどこへ移るかだけで決まる。行列の列ベクトルがまさにその行き先である
マルコフ連鎖と定常分布
「今の状態」だけが未来を決める確率過程と、時間が経つと収束する一定の分布
状態間の推移確率を行列にまとめた「推移確率行列」を確率ベクトルに繰り返し掛けていくと、多くの場合、初期状態によらず一定の分布「定常分布」に収束する
特異値分解(SVD)と次元圧縮
データの「本当に重要な方向」を数値で取り出す万能の行列分解
$\Sigma$ の対角成分(特異値)は大きい順に並び、最大の特異値に対応する方向がデータのばらつき(分散)が最も大きい方向を示す
グラフ理論の基礎(最短経路)
点と線のネットワークから「最も安く」目的地へ到達する経路を見つける
ダイクストラ法は、始点から各頂点までの最短距離を「確定済みの中で最も近い頂点」から順に確定させていく貪欲アルゴリズムで、負の重みがなければ最短経路を必ず正しく求められる
多変数関数の偏微分・全微分
複数の変数が絡み合う関数を「1変数ずつ」切り取って理解する微分の拡張
偏微分係数を成分に並べたベクトル「勾配 $\nabla f = (\partial f/\partial x,\ \partial f/\partial y)$」は、関数が最も急激に増加する方向とその増加率を表す
テイラー展開・マクローリン展開
複雑な関数を「多項式のはしご」で近似する解析学の万能ツール
展開の中心が $x=0$ の特別な場合を「マクローリン展開」と呼び、$\sin x, \cos x, e^x$ などの初等関数がよく知られた級数を持つ
微分方程式の基礎(振動・減衰)
ばね・質量・ダンパー系の運動方程式から学ぶ常微分方程式と、その数値解法(オイラー法)
質量 m・ばね定数 k・減衰係数 c を持つ系の運動方程式 $m x'' + c x' + k x = 0$ は、減衰の強さによって「振動しながら減衰(不足減衰)」「振動せず戻る(過減衰)」「最速で戻る(臨界減衰)」の3種類の挙動に分かれる
線形計画法(最適化問題)
一次不等式が作る実行可能領域から、目的関数を最大化する頂点を探す最適化理論
制約条件が作る「実行可能領域」は必ず凸多角形(凸多面体)になり、線形の目的関数の最適解は領域の内部ではなく必ずどこかの「頂点」で達成される(頂点定理)
複素関数論入門とオイラーの公式
オイラーの公式 e^(ix) = cos x + i sin x が示す複素平面上の回転運動と、信号処理・交流回路への応用
$x$ を実数として動かすと、複素平面上の点 $e^{ix}$ は原点を中心とする半径1の円周上を等速で回転し、その実部が $\cos x$、虚部が $\sin x$ に一致する
合同式・モジュラー算術
時計盤のように数がぐるぐる回る「割った余り」の世界と、暗号・ハッシュ関数を支える剰余演算
モジュラー算術の世界では数直線がまっすぐ伸びるのではなく、$m$ 個の数字が並んだ「時計の文字盤」のように輪になって繰り返す($m$ を超えると 0 に戻る)
情報エントロピー
確率分布の「乱雑さ・予測不能性」を測るシャノンの公式と、データ圧縮の理論的限界
エントロピーは、すべての結果が等確率(一様分布)のときに最大値を取り、逆にどれか1つの結果がほぼ確実(確率1に近い)に偏るほど0に近づく
凸最適化の基礎
凸関数が保証する「局所最適解 = 大域最適解」という最適化理論の要
凸関数には『局所的な最小値は必ず大域的な最小値でもある』という強力な性質があり、どこから探索を始めても勾配降下法などの局所探索が必ず唯一の最適解に収束することが数学的に保証される
四元数(クォータニオン)と3D回転
オイラー角のジンバルロックを回避する4次元数の代数と3D回転表現
オイラー角(3軸の回転角を順番に適用する方式)は特定の角度の組み合わせで自由度が1つ失われる「ジンバルロック」を起こすが、四元数はこの特異点を持たない
ラプラス変換と伝達関数
時間領域の微分方程式をs領域の代数方程式に変える制御理論の要
指数減衰関数 $e^{-at}$ のラプラス変換は $\frac{1}{s+a}$ となり、この分母を0にする $s=-a$ が「極(pole)」と呼ばれ、システムの安定性や応答速度を決める
ニュートン法(数値解法)
接線を使って方程式の解に高速収束する反復アルゴリズム
更新式 $x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}$ を繰り返すと、初期値が適切であれば正解付近で反復ごとに正しい桁数がほぼ倍になる「2次収束」が起こる
集合論の基礎(ベン図・論理演算)
和集合・積集合・差集合・補集合とブール論理・SQLの共通言語
2つの有限集合の要素数について $|A \cup B| = |A| + |B| - |A \cap B|$ が成り立ち(包除原理)、重複を引くことで正しい合計人数・件数を数えられる
母関数(組合せ論の生成関数)
べき級数の係数に数え上げ問題の答えを閉じ込める組合せ論の魔法
額面1円玉と2円玉だけで n 円を作る場合の数は、$\frac{1}{1-x}\cdot\frac{1}{1-x^2}$ という母関数を展開したときの $x^n$ の係数として一発で求まる
生態系の捕食・被食ダイナミクス(ロトカ・ヴォルテラ方程式)
ウサギとキツネの増減ループを解き明かす連立非線形微分方程式と相平面の閉軌道
「エサが増えれば捕食者が増え、エサが減れば捕食者も飢える」という非線形微分方程式の永遠の相平面サイクルと、乱獲防止の数理的直感が身につく。
チューリング・パターン(反応拡散方程式と生物の形態形成)
アラン・チューリングが解き明かした、遺伝子に設計図がなくても自然にヒョウ柄や縞模様が生まれる数理
DNAに絵が描かれていなくても、数式の物理法則に従うだけで自律的に幾何学模様が湧き出る「自己組織化の美」を体感し、先端CGやナノテクに応用できる。
ローレンツ・カオスとバタフライ効果(決定論的カオスの数理)
初期値がわずか0.001ズレただけで全く異なる未来を描く、大気対流の3次元非線形方程式
「決定論的でありながら予測不可能」というカオスの本質を理解し、台風進路のアンサンブル予報や、株式市場の不確実性リスクを冷静に評価できるようになる。
量子力学と線形代数(量子ビットの状態ベクトルとブロッホ球)
0と1の重ね合わせ、複素ヒルベルト空間の内積、そしてユニタリ行列による量子ゲート操作の数理
量子状態の変形はノルム(確率の総和=1)を保存するユニタリ行列 $U$($U^\dagger U = I$)の積に対応し、ブロッホ球上の回転幾何として直感化できる
化学反応速度論と連立微分方程式(ミカエリス・メンテン機構)
分子の衝突確率から導く質量作用の法則と、酵素触媒による代謝・飽和現象の数理解析
生体内の代謝を担う酵素反応は、中間複合体 $[ES]$ の濃度変化がゼロと見なせる「準定常状態近似(QSSA)」により、シンプルな有理関数(ミカエリス・メンテン式)に縮約される
マンデルブロ集合と複素力学系(フラクタル次元の数理)
単純な二次漸化式 から現れる、無限の自己相似とカオスの小宇宙
拡大しても拡大しても常に新たな自己相似の幾何学パターンが現れ、境界線のハウスドルフ次元は整数ではなくちょうど「2」であることが証明されている
最適停止問題と秘書問題(37%の法則)
面接・結婚・物件探し — いつ決断すべきか?数学が導く人生の最適戦略
探索と活用のトレードオフ(Exploration vs. Exploitation)の理解、ネイピア数 $e$ の日常応用、合理的な意思決定力
安定結婚問題とゲール=シャプレー法
ノーベル経済学賞理論 — 研修医マッチングから大学入試まで、誰も浮気しない安定ペアリング
戦略的インセンティブとアルゴリズム設計の理解、駆け引きや不満を最小化する数理的思考力
待ち行列理論とポアソン到着のパラドックス
「なぜ自分の並んだレジだけ遅いのか?」バスの待ち時間パラドックスと窓口数理
日常の待ち時間に対する数学的洞察、キャパシティ設計(M/M/1・M/M/cモデル)の実務感覚、直感の錯覚の看破
誤り訂正符号とハミング符号の数学
宇宙探査機からQRコード、Wi-Fi、SSDまで — 壊れたビットを自己修復する数理マジック
有限体 $\mathbb{F}_2$ 上の線形代数の直感理解、デジタル通信の根幹プロトコルの把握、自己修復アルゴリズムの思考法
ブラック=ショールズ方程式と金融工学
ノーベル賞金融モデル — 幾何ブラウン運動と偏微分方程式によるオプション価格決定
伊藤の補題と確率微分方程式の実世界応用、ボラティリティ(価格変動リスク)の数学的把握、金融工学の基本素養
マクスウェル方程式とベクトル解析
スマホ通信から光の本質まで — 発散(div)と回転(rot/curl)が織りなす電磁気の世界
ベクトル解析の空間的直感(ガウスの定理・ストークスの定理)、電磁気現象の統一的把握、通信工学・アンテナ設計の基礎
ホジキン=ハクスレー方程式と神経回路の数学
ノーベル賞生理学 — ナトリウムとカリウムのイオン透過が生む脳のパルス電気信号
生体電気現象の数理モデル化手法、リミットサイクルと分岐理論の感覚、AIニューロンモデル(Leaky Integrate-and-Fire等)の起源理解
誤差逆伝播法(バックプロパゲーション)と合成関数の微分
ディープラーニングの学習エンジン — 微分の連鎖律(チェインルール)によるパラメータ更新
自動微分(Autograd)の数学的理解、PyTorch等の深層学習フレームワークの内部動作の直感、数理最適化の確固たる基盤
特殊相対性理論とローレンツ変換の幾何学
光速不変が生むウラシマ効果 — ミンコフスキー時空と時間の遅れ・空間の縮み
4次元時空(ミンコフスキー幾何)の幾何学的センス、ローレンツ因子 $\gamma$ の数式直感、不変量(時空インターバル)の概念理解
ゲーム理論とナッシュ均衡の数学
ノーベル賞数学モデル — 囚人のジレンマ・価格競争・チキンゲームの最適意思決定
戦略的思考(Strategic Thinking)の体得、相手の出手を先読みした意思決定センス、社会の非効率メカニズムの看破
三体問題とカオス軌道・ラグランジュ点
3つの星が引き合うだけで解けない宇宙の謎 — ポアンカレの発見と現代天文学
万有引力連立微分方程式のモデリング能力、Velocity Verlet法などシンプレクティック数値計算アルゴリズムの理解、カオスと安定性の直感
ブラックホールとシュワルツシルト半径の数学
光さえ脱出できない事象の地平面 — 脱出速度とアインシュタイン方程式の厳密解
脱出速度のエネルギー積分、事象の地平面の物理的直感、極限時空のスケール感の把握
重力レンズ効果とアインシュタインリングの幾何学
時空の歪みが巨大な天然の宇宙望遠鏡になる — 光の測地線と幾何光学
曲率テンソル・光の偏向角の幾何学的解釈、ヤコビアン行列による像の増幅率(Magnification)計算、ダークマター間接探査の思考法
ロシュ限界と天体潮汐破壊の数学
衛星が惑星に近づきすぎたとき — 潮汐力と自重引力の破壊限界と土星の環
微分(引力関数の勾配)を用いた潮汐力導出の直感理解、自重平衡と流体静力学平衡の理解、天体崩壊シミュレーションの基礎力
ダークマターと銀河回転曲線問題の数学
外側の星が遅くならない謎 — ニュートン力学の破綻と未知の暗黒物質ハロー
球対称質量分布の積分(ガウスの法則・ニュートンの球殻定理)の直感理解、質量プロファイル $M(r) \propto r$ のモデリング力、科学的データ検証の思考法
楕円曲線暗号(ECC)と代数幾何学の最前線
ビットコインとApple端末の鍵を守る曲線 — 点の加算群と離散対数問題の不可逆性
代数曲線上の幾何学的群演算の直感、有限体($\mathbb{F}_p$)上の離散数学の基礎、ECDSA(楕円曲線電子署名)の仕組み理解
浸透理論(パーコレーション)と相転移の数学
突然森全体が燃え広がる臨界点 — 確率論・フラクタル・感染症爆発の数理
幅優先探索・ユニオンファインド(Union-Find)アルゴリズムの理解、ベキ乗則(Power Law)と臨界指数の概念、複雑系ネットワークの耐障害性評価力