工学応用
勾配降下法
谷底を探すAIの基本アルゴリズム
谷底を探すAIの基本アルゴリズム。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
ニューラルネットワークの数学（順伝播と活性化関数）
入力に重みを掛けて足し合わせ、非線形関数で発火させるAIの基本素子
入力に重みを掛けて足し合わせ、非線形関数で発火させるAIの基本素子。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
レコメンドの仕組み（コサイン類似度とベクトル検索）
ユーザーの好みと商品の近さを「ベクトルのなす角」で判定するアルゴリズム
ユーザーの好みと商品の近さを「ベクトルのなす角」で判定するアルゴリズム。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
RSA暗号と素数の秘密（公開鍵暗号）
「掛け算は簡単だが、素因数分解は極めて困難」という非対称性を利用した現代暗号の金字塔
「掛け算は簡単だが、素因数分解は極めて困難」という非対称性を利用した現代暗号の金字塔。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
最短経路探索（ダイクストラ法とA*アルゴリズム）
グラフ上の無数のルートから「最もコストが小さい道」を一瞬で見つけ出す数学
グラフ上の無数のルートから「最もコストが小さい道」を一瞬で見つけ出す数学。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
セル・オートマトン（ライフゲーム）
たった4つの単純なルールから、生命のような自己組織化と複雑系が創発する
たった4つの単純なルールから、生命のような自己組織化と複雑系が創発する。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
当たり判定アルゴリズムの数学
2点間の距離公式と座標の不等式だけで、ゲームの「衝突」を判定する仕組み
四角形同士の当たり判定（AABB: Axis-Aligned Bounding Box）は、各軸（x, y）の座標の範囲が重なっているかを調べる不等式の組み合わせで判定できる
画像圧縮の仕組み（離散コサイン変換の直感）
少数のコサイン波の足し算だけで、画像の明るさの並びを近似する数学
低周波（なだらかな変化）の少数の係数だけを使っても元のデータをかなり良く近似でき、高周波の細かい成分ほど視覚的な影響が小さいため間引きやすい
PageRankの数学（固有値問題としてのウェブ検索）
リンク構造を確率行列とみなし、繰り返し掛け算するだけでページの重要度が浮かび上がる仕組み
遷移行列を初期のランクベクトルに繰り返し掛け続ける「べき乗法（power iteration）」を行うと、ベクトルは行列の最大固有値（=1）に対応する固有ベクトル（定常分布）へ収束していく
PID制御の基礎
誤差の「今・積み重ね・変化」を微積分で読み取り、目標値へ滑らかに近づける制御工学の数学
比例だけの制御では目標値に到達しきらない定常偏差が残り、積分項がこれを解消する。一方、微分項は急激な変化を予測して抑え、行き過ぎ（オーバーシュート）や振動を抑制する
GPS測位の仕組み（三点測量）
距離を半径とする円（球）の交点を求めるだけで、地上の位置が一点に定まる幾何学
平面（2次元）上で位置を一意に決めるには、距離の情報だけでは円の交点が2つ生じてしまうため、最低3つの衛星（3つの円）からの距離情報が必要になる
音声圧縮の仕組み（周波数成分と人間の聴覚特性）
音波をフーリエ分解し、耳に聞こえにくい成分を削って情報量を減らす数学
音声圧縮（MP3など）はこの分解を利用し、音の各周波数成分をフーリエ変換で取り出したあと、振幅が小さく人間の耳に聞こえにくい成分ほど大胆にデータを削減する
ブロックチェーンとハッシュ関数の数学
一方向関数と合同算術で「改ざん不可能な鎖」と「計算コストの証明」を作る仕組み
ブロックチェーンは各ブロックに「1つ前のブロックのハッシュ値」を埋め込むことで鎖状につながっており、途中のどれか1つのデータを書き換えると、それ以降の全ブロックのハッシュ値が芋づる式に不一致になり改ざんが即座に露見する
ゲームのレーティングシステムの数学（Eloレーティング）
ロジスティック関数で「勝てる確率」を予測し、番狂わせを大きく評価する自己調整型スコアリング
対局後は「実際の結果 − 期待された勝率」の差（予測誤差）に比例してレーティングを増減させる、シンプルな自己修正アルゴリズム
プロシージャル生成の数学（補間ノイズ）
ランダムな制御点を滑らかにつなぐ補間関数が、自然に見える地形・テクスチャを生み出す仕組み
単純な直線補間（線形補間）は折れ線状のカクカクした変化になるが、滑らか補間（スムーズステップ・コサイン補間）を使うと自然な丘や谷のような滑らかな曲線になる
検索オートコンプリートの数学（編集距離）
文字列同士の「近さ」を動的計画法で測り、タイプミスを補正する仕組み
動的計画法（DP）を使うと、2つの文字列の全長さの組み合わせを総当たりせずに、DPテーブルを1マスずつ埋めるだけで最小回数を効率的に計算できる
天気予報の数学（数値予報の基礎）
微分方程式を細かい時間刻みで解き進める「数値シミュレーション」としての天気予報
コンピュータは連続的な時間・空間を微小な時間刻み $\Delta t$ と格子に分割し、オイラー法などの「離散化」手法で一歩ずつ未来の状態を計算する（数値予報, NWP）
CTスキャンの数学（逆投影法の直感）
あらゆる角度から撮った「影」の情報だけから、体内の断面画像を復元する数学
1方向からの投影だけでは断面の形は分からないが、複数の角度から集めた投影データを「逆投影（Back-Projection）」として重ね合わせると、元の断面画像が浮かび上がってくる
自動運転のカルマンフィルタ（センサー融合の数学）
ノイズだらけのセンサー値と予測モデルを「信頼度（分散）」に応じてブレンドする最適推定
分散が小さい（信頼できる）情報ほど大きな重みが与えられ、分散が大きい（信頼できない）情報ほど軽視される「分散重み付き平均」が数学的な核心
電子署名の数学（一方向性関数と検証）
秘密鍵で「署名」し公開鍵で「検証」する、法演算のべき乗が生む非対称性
RSA型の署名では、署名 = メッセージ^d mod n（秘密鍵dを使用）、検証 = 署名^e mod n（公開鍵eを使用）を計算し、その結果が元のメッセージと一致するかで真正性を確かめる
共振破壊と免震ビルの数理（固有値と外力周期）
地震や風の周波数と建造物の固有振動数が一致したとき、振幅が無限に跳ね上がる物理現象
建造物や機械の固有振動数を逆算し、ダンパーによる減衰比 ζ をチューニングして破滅的破壊を数理的に防ぐ「構造力学・振動制御の基礎」が身につく。
ノイズキャンセリングの音波干渉（逆位相合成の数学）
外来騒音に180度反転させた逆位相の音波をぶつけて完全消音する三角関数と波動力学
三角関数の加法定理や和積の公式、フーリエ解析が「日常生活の静寂（AirPods等のANC）」を生み出す魔法の道具であることを直感・実装できる。
ロボットアームの逆運動学（余弦定理と関節制御）
目標の物体を掴むため、手先座標 (x, y) から各モーターの回転角度を逆算する三角関数の幾何学
高校数学の余弦定理と逆三角関数（atan2）だけで、産業用ロボットアームやゲームの足接地判定（IK）を完全に自作・制御できる実践工学スキルが手に入る。
感染症数理モデル（SIRモデルと集団免疫の数理）
感染率 β と回復率 γ の比率から、パンデミックの山とワクチン接種の必要割合を予測する微分方程式
基本再生産数 R0 から「何%の人間がワクチンを打てば感染がストップするか（集団免疫閾値）」を自ら数式で計算し、感情論に惑わされない科学的判断ができる。
交通渋滞の数理（最適速度モデルとファントムジャム）
事故も信号もないのに、なぜ高速道路で自然渋滞が発生するのかを解き明かす非線形追従モデル
車間距離を詰めすぎることの危険性を数理的に理解し、スムーズな車間維持（ACCクルーズコントロール）が社会全体の渋滞を消滅させる理屈が身につく。
交流電気回路と2階微分方程式（RLC共振とインピーダンス）
抵抗・コイル・コンデンサが織りなす減衰振動と、特定周波数だけを通すバンドパスフィルターの数理
電源の角周波数 $\omega$ が系の固有振動数 $\omega_0 = 1/\sqrt{LC}$ に一致すると、リアクタンスが相殺して合成インピーダンスが最小化し、最大の電流が流れる（共振）
DNA配列アラインメントと動的計画法（Needleman-Wunsch法）
生命の暗号（塩基配列）の進化・変異を2次元グリッド上の最適経路問題として解き明かす数理
動的計画法（Needleman-Wunsch法）を用いることで、$O(2^{m+n})$ の爆発的計算量を $O(mn)$ の多項式時間へと劇的に圧縮できる
アテンション機構とTransformerの数学
ChatGPTやLLMの心臓部 — Query・Key・Valueの内積とSoftmaxによる文脈理解
最新AI（LLM）の理論基盤の理解、高次元ベクトル空間と行列積の直感的センス、AIエンジニアリングの実装力
ボイドモデルと群衆シミュレーションのアルゴリズム
全体を操るリーダーはいない — 衝突回避・整列・凝集の3ルールから生まれる自己組織化の美
エージェントベースモデリング（ABM）の基礎、近傍距離探索（$k$-d木やグリッド空間分割）の高速化思考、ベクトル加速度合成のプログラミング技術
損失関数の地形（Loss Landscape）とオプティマイザの数理
AIはなぜ谷底へ辿り着けるのか？ — SGD・Momentum・Adamの鞍点脱出と多変数微分
ヘッセ行列の固有値（正定値・不定値）による鞍点の数学的判定、1次・2次モーメント推定（Adam）の数式理解、ハイパーパラメータ調整の直感