数学を、暗記から
「使える実践スキル」へ。
プログラミングのように、数学も動かして使いこなす武器。
AI・ゲーム開発・資産形成・データ分析まで、実践で即役立つ数学スキルをインタラクティブに習得・評価できます。
難易度から選ぶ
工学・現場テーマから逆引き
円の面積と円周率
半径を変えると、円周と面積はどう変わる?
半径を変えると、円周と面積はどう変わる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
分数の割り算(なぜひっくり返して掛けるのか)
が になる理由を、図で確かめよう
「逆数を掛ける」ことの幾何学的・単位的な意味を理解し、比率や単位変換を混乱せずに正しく扱える基礎体力が身につく。
比例と反比例
と 、グラフと表はどう違う?
$y = kx$ と $y = \frac{k}{x}$、グラフと表はどう違う?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
最小公倍数・最大公約数
数直線に並ぶ倍数と、ユークリッドの互除法で公約数を探る
数直線に並ぶ倍数と、ユークリッドの互除法で公約数を探る。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
三角形・多角形の面積
頂点を動かして、面積の公式が成り立つ理由を確かめよう
頂点を動かして、面積の公式が成り立つ理由を確かめよう。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
平均値・中央値・データの活用
棒グラフを動かして、平均と中央値の違いを体で覚えよう
棒グラフを動かして、平均と中央値の違いを体で覚えよう。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
単位変換(長さ・面積・体積)
長さが2倍になると、面積・体積は何倍になる?
長さが2倍になると、面積・体積は何倍になる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
線対称・点対称と敷き詰め模様
図形を鏡に映すと、もう半分はどう決まる?
図形を鏡に映すと、もう半分はどう決まる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
位取り記数法(2進数・10進数)
0と1だけの世界で、数はどう表される?
コンピュータがデータをどのように文字・画像・数値として内部保持しているかの仕組み(ビットとバイト)が腑に落ちるようになる。
時計の針の角度と時刻計算
長針と短針がつくる角度は、時刻からどう求まる?
長針と短針がつくる角度は、時刻からどう求まる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
縮尺と地図の読み取り
地図上の1cmは、実際には何mになる?
地図上の1cmは、実際には何mになる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
速さ・時間・距離の関係
「はじき」の公式で理解する、動くものの位置を計算する第一歩
速さが一定(等速)のとき、距離は時間に比例するので、グラフに描くと原点を通る直線になる
場合の数と樹形図(組み合わせの初歩)
「もれなく、重複なく」数え上げるための樹形図と積の法則
「Aの選び方がm通り、Bの選び方がn通りあるとき、両方をあわせた選び方は m×n 通り」という考え方を積の法則と呼ぶ
小数・割合・百分率
「もとにする量」に対する「くらべる量」の比を、小数・分数・%の3つの姿で理解する
百分率は割合を100倍して「%」をつけたもの(0.25 = 25%)、歩合は10倍して「割」をつけたもの(0.25 = 2割5分)
三平方の定理
直角三角形の3辺に隠れた面積の等式
縦と横の長ささえ分かれば、斜めの最短距離(ユークリッド距離)を平方根で瞬時に計算できる空間幾何学の基礎が身につく。
一次関数とグラフ
傾きと切片を動かすと、直線はどう変わる?
「初期値(切片)」と「1単位あたりの変化量(傾き)」の2つで将来の数値を予測する、最も基本的で強力なモデリング力が手に入る。
二次関数と放物線
a, b, c を動かすと放物線の形と位置はどう変わる?
a, b, c を動かすと放物線の形と位置はどう変わる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
確率の基礎(場合の数)
サイコロを何度も振ると、確率はどこに落ち着く?
サイコロを何度も振ると、確率はどこに落ち着く?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
相似と拡大縮小
図形を拡大・縮小すると、辺の比と面積の比はどう変わる?
図形を拡大・縮小すると、辺の比と面積の比はどう変わる?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
連立方程式
2つの直線の交点が、方程式の「解」になる理由とは?
2つの直線の交点が、方程式の「解」になる理由とは?。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
四分位範囲・箱ひげ図
データを並べて4等分すると、散らばり具合が一目でわかる
データを並べて4等分すると、散らばり具合が一目でわかる。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
モンティ・ホール問題(確率のパラドックス)
「ドアを変えるべきか?」数学者をも惑わせた条件付き確率の罠
「ドアを変えるべきか?」数学者をも惑わせた条件付き確率の罠。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
平方根と無理数
「2乗するとxになる数」を図形の面積と数直線から理解する
多くの平方根(√2, √3 など)は分数で表せない無理数であり、小数点以下が無限に続き循環もしない
三角形の成立条件と三角不等式
3本の線分が「本当に三角形を作れるか」を判定する不等式
最も長い辺を c としたとき、a + b > c さえ確認すれば(他の2つの不等式は自動的に満たされるため)三角形が作れるか判定できる
反比例のグラフと双曲線
積が一定に保たれる y = k/x の関係と、なめらかに枝分かれする双曲線の形
反比例のグラフは「双曲線」と呼ばれる2本のなめらかな曲線になり、x = 0 と y = 0 の直線(座標軸)には決して触れない(漸近線)
多角形の内角・外角の性質
辺の数がいくつになっても外角の和は必ず360°になる、という驚くべき規則性
多角形の外角(1つの内角ととなり合う、辺の延長線とつくる角)の和は、辺の数 n がいくつであっても必ず360°になる
一次不等式と領域
境界線を動かして、不等式が表す「平面の半分」を目で見る
不等号が $>$ や $<$(等号を含まない)のときは境界線を破線で、$\geq$ や $\leq$(等号を含む)のときは実線で描き、境界そのものを領域に含めるかどうかを区別する
円の方程式(基礎)
中心と半径を動かして、円の方程式が「距離」そのものであることを確かめる
この式は三平方の定理(ピタゴラスの定理)を座標平面上の2点間の距離にそのまま当てはめたものにすぎない
関数の概念と対応表
「1つの入力にはただ1つの出力」というルールを対応表で確かめる
対応表($x$ と $y$ の値を並べた表)を作ると、同じ $x$ に対して $y$ の値が常に1つしか現れないことが視覚的に確認できる
三角形の合同条件と証明
SSS・SAS・ASA──どの3つの情報が揃えば「同じ形」と言い切れるか
三角形の合同は、6つある要素(3辺・3角)すべてを確認しなくても、SSS(3辺)・SAS(2辺と間の角)・ASA(2角と間の辺)のいずれか3つの情報が一致すれば証明できる
誕生日問題(直感に反する確率のパラドックス)
「わずか23人で50%以上が同じ誕生日?」人間の直感がバグる組み合わせ爆発の謎
「自分と誰か」ではなく「あらゆるペアの比較」という多対多の思考法が身につき、暗号技術やサイバーセキュリティの根本脆弱性を直感できる。
ゲーム物理とジャンプの放物線(二次関数の運動学)
「なぜマリオは気持ちよく跳べるのか?」重力加速度と二次関数で創る2Dアクションの物理
二次関数の頂点や平方完成が、ゲーム開発のステージ設計(穴の飛び越え判定や足場の高さ)に直結する快感を体感できる。
ガチャ確率と大数の法則(確率の心理バイアス)
「確率1%を100回引けば当たる?」余事象と二項分布が暴くスマホゲームの現実
スマホゲームのガチャや宝くじで「確率の心理トラップ」に惑わされず、大数の法則とネイピア数1/eに基づいた冷静なリスク管理・意思決定ができるようになる。
ベクトルの内積
2本の矢印の「向きの近さ」を1つの数値にする
多次元のデータ同士の類似度を一瞬で割り出し、影の長さや仕事量を瞬時に導く線形代数の最重要直感が手に入る。
三角関数(単位円とサイン・コサイン)
回転する点のx座標・y座標が三角関数の正体
「円運動」と「波の振動」が本質的に同じ現象であることを見抜き、周期的に繰り返すあらゆる自然現象を数式化できるようになる。
微分の基本(接線と変化率)
平均変化率の極限として現れる「その瞬間の傾き」
関数の山(最大値)や谷(最小値)では傾きが 0 になる性質を利用し、最もコストが低く効果が高い「最適解」を見つけ出す力が身につく。
積分の基本(面積と区分求積法)
微小な短冊を無限に足し合わせることで現れる「曲線下の面積」
「細かく刻んで(微分)、全部足し合わせる(積分)」という極限思考により、連続的な変化のトータル蓄積量を求められるようになる。
行列の基本とアフィン変換
2×2行列で平面の空間を伸縮・回転・せん断させる幾何学
数万個の座標やデータ点を、たった1回の行列の掛け算で「回転・拡大・移動」させる並列計算の思考体系が身につく。
複素数と複素平面(ガウス平面)
虚数単位 i を掛けると「90度回転する」という幾何学的世界
行列を使わずに複素数の掛け算だけで「回転と拡大」をシンプルに扱え、交流回路や量子力学の波を直感的に記述できるようになる。
指数関数と対数関数
「爆発的な急成長」と「莫大な桁数を扱いやすい尺度に圧縮する」表裏一体の数学
雪だるま式に急増する「倍々ゲームの爆発」を見抜き、10億件のデータから高々30回で目的のデータを見つけ出す O(log n) の情報処理能力が手に入る。
数列と漸化式(フィボナッチと再帰)
過去の状態から次の状態を紡ぎ出すルール。再帰・動的計画法(DP)と複利の数理
プログラミングの根幹である「再帰(Recursion)」や「動的計画法(DP)」を直感的に操り、複雑な問題を小さな漸化式に分割して解く思考力が身につく。
順列と組み合わせ(nPr と nCr)
「並べる順番」を区別するかどうか。パスワードセキュリティとガチャ確率の数理
「並び順が関係あるか否か」を瞬時に見分け、天文学的な組み合わせ爆発を見積もってリスクや計算量を判断できるようになる。
正弦定理と余弦定理(三角測量)
直接行けない遠方の山や島までの距離を「角度」から精密に測る測量・GPSの基礎数学
直角三角形に限らず、あらゆる歪んだ三角形から「たった2つの角度と1つの辺」で未知の距離や角度を完全に逆算できるようになる。
3D空間ベクトルと外積(クロス積)
3次元空間におけるポリゴンの表裏・法線ベクトルと3DCGライティングの数理
3D空間内のあらゆる物体に対し、「面がどこを向いているか(法線)」や「光がどの角度で当たっているか」を瞬時に計算できる空間把握力が手に入る。
2次曲線(放物線・楕円・双曲線)
「なぜパラボラアンテナは電波を集められるのか?」焦点と光線反射の幾何学
放物線・楕円・双曲線の「焦点と反射の幾何学的性質」を理解し、エネルギーや波を効率よく送受信・制御する形状設計の眼が身につく。
極限とネイピア数 e(連続複利の数理)
「利息を1秒ごとに細かく受け取ったら無限に増えるのか?」という問いから生まれた数学定数
「変化のスピードが現在の量そのものに比例する」自然界の自己増殖法則を理解し、微積分やAIの活性化関数を本質から扱えるようになる。
確率分布と二項分布(期待値と分散)
「平均して何回当たるか?」「どれくらいブレるのか?」を定量化するデータサイエンスの土台
1回の結果に一喜一憂せず、期待値(リターン)と分散・標準偏差(リスク)の2軸で物事を科学的に判断するリスクリテラシーが身につく。
極座標とパラメータ曲線(サイクロイドとリサージュ)
直交座標(x, y)の呪縛を解き放ち、回転・周期・弾幕の軌道を自由自在に操る幾何学
「原点からの距離 r」と「回転角 θ」で考えることで、円・回転・弾幕・螺旋の軌道を極めてシンプルかつ美しく記述できるようになる。
二項定理とパスカルの三角形(フラクタル構造)
多項式展開の係数に潜む美しい規則性と、奇数・偶数の色分けで現れる幾何学フラクタル
二項係数と組み合わせの深い繋がりを理解し、パスカルの三角形に潜むフラクタル構造やアルゴリズムの対称性を見抜く感覚が養われる。
三角関数のグラフ(sin, cos, tan)
振幅・周期・位相のパラメータが波形を変形させる仕組みと振動現象への応用
y = A sin(Bx + C) の形では、A が波の高さ(振幅)、B が波の詰まり具合(周期 2π/|B| を決める)、C が波の左右のずれ(位相)をそれぞれ独立にコントロールする
逆関数と合成関数
y = x を鏡として入出力を入れ替える写像と、暗号化・復号のペア構造
逆関数が存在するのは f が全単射(1対1対応)のときだけであり、y = x² のように1つの出力に2つの入力が対応する場合は定義域を制限する必要がある
統計的検定の基礎(仮説検定)
「たまたま」と「意味のある差」を数式で見分けるための帰無仮説・有意水準・p値
検定統計量 Z を正規分布上にプロットし、あらかじめ決めた有意水準(多くは5%)に対応する棄却域に入るかどうかで「有意差あり/なし」を判定する
直線・平面の方程式とレイキャスティング
「銃弾は壁のどこに着弾したか?」FPSゲームの射撃判定とLiDARセンサーの衝突幾何学
幾何学的な直線をパラメータ t の1次関数として定式化し、平面の方程式と連立させて交点をミリ秒未満で算出するアルゴリズム思考が身につく。
行列式(Determinant)と図形の面積・拡大率
「行列式とは何か?」単位正方形の面積拡大率と、符号がマイナスのときの鏡像反転
行列変換によって図形の面積・体積が何倍に拡大されるかを一目で把握し、符号を見るだけで「裏表が反転したか」を判定できるようになる。
加法定理と波の干渉(ノイズキャンセリング)
「なぜ逆位相の音をぶつけると騒音が消えるのか?」三角関数の合成と音響工学の秘密
複雑に入り組んだ波形をシンプルなサイン波の足し引きに分解・合成し、逆位相によって騒音を相殺する高度な波動制御の思考が身につく。
仮説検定とP値(統計的有意差の境界線)
「表が何回連続で出たらイカサマと断定できるか?」科学と意思決定を支える有意水準5%の数理
「差がない」という帰無仮説を立て、P値が5%未満(滅多に起きない)かどうかで白黒つける背理法的な科学的思考力が身につく。
複利の魔法とローンの罠(等比数列の現実世界)
「人類最大の数学的発見」アインシュタインも驚嘆した資産形成と借金の数理
リボ払いや高金利借金の搾取構造から自分の資産を完全に防衛し、月数万円の積立で数千万円の老後資産を論理的に築くファイナンシャルリテラシーが身につく。
ベジェ曲線とデザイン幾何学(フォント・UIの数理)
「制御点を引っ張ると曲線が曲がる理由」線分内分が創り出す美しきグラフィックス
高校数学の「線分の内分」だけで、IllustratorのペンツールやCSSアニメーションの滑らかな曲線を自在にデザイン・実装できるようになる。
相関係数と散布図(データの連動性と外れ値)
「気温が上がるとビールはどれくらい売れるのか?」ピアソンの相関係数 r と直線の傾きの数理
データのバラツキの中から真の関連性を見抜き、外れ値1個に惑わされないデータリテラシーと「相関と因果の混同」を防ぐ眼が養われる。
逆関数と合成関数(暗号と可逆パイプライン)
「加工したデータを元通りに復元できるか?」y = x 対称のグラフとプログラムの関数合成
「入力を変換し、逆順で元に戻す」パイプライン思考を確立し、直線 y = x に関する対称性を通して関数の構造を深く把握できるようになる。
固有値・固有ベクトル
行列で変換しても「向きが変わらない」特別な方向
その軸に沿って長さが何倍に引き伸ばされるかを表すスケール係数が固有値である。
勾配降下法
谷底を探すAIの基本アルゴリズム
谷底を探すAIの基本アルゴリズム。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
フーリエ変換と周波数分解
どんなに複雑な波も、単純なサイン波の重ね合わせに分解できる
どんなに複雑な波も、単純なサイン波の重ね合わせに分解できる。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
ベイズの定理(条件付き確率と事前・事後確率)
新たな情報や証拠(エビデンス)を得て「確信度」を更新する確率論
新たな情報や証拠(エビデンス)を得て「確信度」を更新する確率論。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
正規分布と中心極限定理
あらゆるランダムなばらつきが最終的に収束する「釣鐘型の山」
あらゆるランダムなばらつきが最終的に収束する「釣鐘型の山」。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。
線形変換と基底
行列が空間をどう歪めるか──基底ベクトルの行き先がすべてを決める
変換の結果は、基底ベクトル $\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$ の係数として一発で求まる
ニューラルネットワークの数学(順伝播と活性化関数)
入力に重みを掛けて足し合わせ、非線形関数で発火させる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 から「何%の人間がワクチンを打てば感染がストップするか(集団免疫閾値)」を自ら数式で計算し、感情論に惑わされない科学的判断ができる。
生態系の捕食・被食ダイナミクス(ロトカ・ヴォルテラ方程式)
ウサギとキツネの増減ループを解き明かす連立非線形微分方程式と相平面の閉軌道
「エサが増えれば捕食者が増え、エサが減れば捕食者も飢える」という非線形微分方程式の永遠の相平面サイクルと、乱獲防止の数理的直感が身につく。
チューリング・パターン(反応拡散方程式と生物の形態形成)
アラン・チューリングが解き明かした、遺伝子に設計図がなくても自然にヒョウ柄や縞模様が生まれる数理
DNAに絵が描かれていなくても、数式の物理法則に従うだけで自律的に幾何学模様が湧き出る「自己組織化の美」を体感し、先端CGやナノテクに応用できる。
交通渋滞の数理(最適速度モデルとファントムジャム)
事故も信号もないのに、なぜ高速道路で自然渋滞が発生するのかを解き明かす非線形追従モデル
車間距離を詰めすぎることの危険性を数理的に理解し、スムーズな車間維持(ACCクルーズコントロール)が社会全体の渋滞を消滅させる理屈が身につく。
スイングバイ宇宙航法(惑星重力アシストと運動量保存)
燃料を一切使わずに、惑星の公転運動量を盗んで探査機を超加速させる天体力学の幾何学
天体の公転運動量保存則を味方につけ、「燃料消費ゼロ」で機体を脱出速度まで一気に加速・方向転換させるダイナミックなベクトル幾何学が手に入る。
ローレンツ・カオスとバタフライ効果(決定論的カオスの数理)
初期値がわずか0.001ズレただけで全く異なる未来を描く、大気対流の3次元非線形方程式
「決定論的でありながら予測不可能」というカオスの本質を理解し、台風進路のアンサンブル予報や、株式市場の不確実性リスクを冷静に評価できるようになる。
交流電気回路と2階微分方程式(RLC共振とインピーダンス)
抵抗・コイル・コンデンサが織りなす減衰振動と、特定周波数だけを通すバンドパスフィルターの数理
電源の角周波数 $\omega$ が系の固有振動数 $\omega_0 = 1/\sqrt{LC}$ に一致すると、リアクタンスが相殺して合成インピーダンスが最小化し、最大の電流が流れる(共振)
量子力学と線形代数(量子ビットの状態ベクトルとブロッホ球)
0と1の重ね合わせ、複素ヒルベルト空間の内積、そしてユニタリ行列による量子ゲート操作の数理
量子状態の変形はノルム(確率の総和=1)を保存するユニタリ行列 $U$($U^\dagger U = I$)の積に対応し、ブロッホ球上の回転幾何として直感化できる
DNA配列アラインメントと動的計画法(Needleman-Wunsch法)
生命の暗号(塩基配列)の進化・変異を2次元グリッド上の最適経路問題として解き明かす数理
動的計画法(Needleman-Wunsch法)を用いることで、$O(2^{m+n})$ の爆発的計算量を $O(mn)$ の多項式時間へと劇的に圧縮できる
化学反応速度論と連立微分方程式(ミカエリス・メンテン機構)
分子の衝突確率から導く質量作用の法則と、酵素触媒による代謝・飽和現象の数理解析
生体内の代謝を担う酵素反応は、中間複合体 $[ES]$ の濃度変化がゼロと見なせる「準定常状態近似(QSSA)」により、シンプルな有理関数(ミカエリス・メンテン式)に縮約される
マンデルブロ集合と複素力学系(フラクタル次元の数理)
単純な二次漸化式 から現れる、無限の自己相似とカオスの小宇宙
拡大しても拡大しても常に新たな自己相似の幾何学パターンが現れ、境界線のハウスドルフ次元は整数ではなくちょうど「2」であることが証明されている
カプレカ数と6174のブラックホール
並び替えて引き算を繰り返すと、どんな数も必ず「6174」に吸い込まれる数の神秘
四則演算に対する直感力と、動的システムが一定の安定解(アトラクター)へ収束していく力学系・アルゴリズムの基礎感覚が身につきます。
コラッツ予想と3n+1の未解決世界
偶数は半分、奇数は3倍+1。世界中の大数学者を悩ませ続ける魔の数列
単純な規則から予測不能な複雑性(決定論的カオス)が生まれる現象を直感し、計算機科学における「停止性問題」やアルゴリズムのループ検出センスを養えます。
ベンフォードの法則と不正会計検知
自然界の数字の先頭はなぜか「1」が30%を占める。脱税・データ捏造を見破る数理
対数スケール(対数目盛)の直感的な意味やスケール不変性(単位に依存しない法則)を深く理解でき、データサイエンスにおける異常値検知の実務的感覚が身につきます。
ハノイの塔と再帰・指数爆発
3本の柱と円盤パズル。再帰的思考と2ⁿ-1手の爆発的宇宙を解き明かす
プログラミングやアルゴリズムで最も重要な「分割統治法(Divide and Conquer)」と再帰的思考力、および指数関数($2^n$)の爆発的な増大スケール感覚が身につきます。
ナイト・ツアーとグラフ巡歴パズル
チェスの騎士で全マスを1度ずつ踏破せよ。ハミルトン路と貪欲探索の極致
バックトラッキング(深さ優先探索での後戻り)の概念と、Warnsdorffヒューリスティクス(局所的な候補数が少ないものから選ぶ貪欲法)という実用的な探索最適化の知恵が身につきます。
シンプソンのパラドックスと統計の錯覚
個別グループでは新薬Aが勝っているのに、合算すると従来薬Bが勝つ!?因果推論の罠
単純な平均値や割合の集計に騙されず、潜伏変数(交絡因子:Confounder)を見抜いて真の因果関係を特定する因果推論(Causal Inference)のリテラシーが身につきます。
完全数・友愛数 — 古代から愛された神秘の数
自分自身を除く約数の和が自分と等しい「完全な数」、互いに結びついた「友愛数」の不思議
数の持つ神秘的な構造への感性・約数と倍数の深い理解・暗号理論や素数探索アルゴリズムの基礎
ルーローの三角形(定幅図形)
「四角い穴を開けるドリル」とロータリーエンジンの心臓部
円以外の回転機構の設計思想、定幅曲線の幾何学的性質、機構学(キネマティクス)の基礎感覚
モビウスの帯とトポロジーの不思議
表と裏が1つしかない輪 — ハサミを入れると何が起きる?
連続変形と位相不変量の感覚、3次元空間における向き付け可能性の数理的理解
囚人のジレンマと進化ゲーム理論
利己的な世界で『協力』はどうやって進化するのか?しっぺ返し戦略の奇跡
ナッシュ均衡の限界理解、インセンティブ設計、長期的な交渉術と信頼関係構築の戦略論
ギャンブラーの破滅とマーチンゲール法
「負けたら倍賭け」は絶対に勝てる?数学が暴くカジノ必勝法の破綻
指数関数の爆発スピードの直感把握、リスクマネジメント、破産確率(確率過程)の基礎知識
一筆書きとケーニヒスベルクの橋
グラフ理論の夜明け — なぜこの橋は絶対に渡りきれないのか?
抽象化(モデリング)の威力、グラフ理論の基本概念(次数・パス・オイラー路)、アルゴリズム的思考
2進数マジック(年齢当てカードの秘密)
「この中にあなたの数字はある?」5つの質問で心を読み当てる数理手品
位取り記数法と基数変換の直感理解、ビットマスク・論理演算のセンス、手品としての披露力
アテンション機構とTransformerの数学
ChatGPTやLLMの心臓部 — Query・Key・Valueの内積とSoftmaxによる文脈理解
最新AI(LLM)の理論基盤の理解、高次元ベクトル空間と行列積の直感的センス、AIエンジニアリングの実装力
最適停止問題と秘書問題(37%の法則)
面接・結婚・物件探し — いつ決断すべきか?数学が導く人生の最適戦略
探索と活用のトレードオフ(Exploration vs. Exploitation)の理解、ネイピア数 $e$ の日常応用、合理的な意思決定力
安定結婚問題とゲール=シャプレー法
ノーベル経済学賞理論 — 研修医マッチングから大学入試まで、誰も浮気しない安定ペアリング
戦略的インセンティブとアルゴリズム設計の理解、駆け引きや不満を最小化する数理的思考力
ボロノイ図とドロネー三角形分割の幾何学
コンビニ商圏からキリンの皮膚模様、スマホ基地局、最寄り避難所マップまで
垂直二等分線の幾何学的性質の直感理解、計算幾何学(Computational Geometry)の基礎、空間インデックスのセンス
待ち行列理論とポアソン到着のパラドックス
「なぜ自分の並んだレジだけ遅いのか?」バスの待ち時間パラドックスと窓口数理
日常の待ち時間に対する数学的洞察、キャパシティ設計(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$ のモデリング力、科学的データ検証の思考法
ドレイクの方程式とフェルミのパラドックスの数理
宇宙に知性は何文明存在するか? — フェルミ推定・確率の積・大いなる沈黙の謎
フェルミ推定の論理的ブレークダウン力、確率の独立事象の積の理解、不確実性下でのパラメータ感度分析(Sensitivity Analysis)
楕円曲線暗号(ECC)と代数幾何学の最前線
ビットコインとApple端末の鍵を守る曲線 — 点の加算群と離散対数問題の不可逆性
代数曲線上の幾何学的群演算の直感、有限体($\mathbb{F}_p$)上の離散数学の基礎、ECDSA(楕円曲線電子署名)の仕組み理解
ピタゴラス音律と純正律・平均律の数学
ドレミの起源と和音の美学 — 整数比 3/2(完全5度)とピタゴラスコンマの矛盾
周波数と波長・比率の直感的理解、無理数 $\sqrt[12]{2}$(等比数列)の必然性の把握、音響信号処理への導入
音のうなりと三角関数の積和公式・干渉の数理
2つの近い周波数が生む心地よい揺らぎ — 包絡線と楽器チューニングの原理
振幅変調(AM変調)の信号処理直感、三角関数の合成・積和変形の幾何学的イメージ、音響エンジニアリング基礎
ボイドモデルと群衆シミュレーションのアルゴリズム
全体を操るリーダーはいない — 衝突回避・整列・凝集の3ルールから生まれる自己組織化の美
エージェントベースモデリング(ABM)の基礎、近傍距離探索($k$-d木やグリッド空間分割)の高速化思考、ベクトル加速度合成のプログラミング技術
浸透理論(パーコレーション)と相転移の数学
突然森全体が燃え広がる臨界点 — 確率論・フラクタル・感染症爆発の数理
幅優先探索・ユニオンファインド(Union-Find)アルゴリズムの理解、ベキ乗則(Power Law)と臨界指数の概念、複雑系ネットワークの耐障害性評価力
幾何学的錯視と視覚心理学・脳の幾何情報処理
同じ長さが違って見え、平行線が波打つ — ミュラー・リヤー錯視とカフェウォール錯視の数理
画像処理のエッジ検出フィルタ(Sobelフィルタ・ガウス・ラプラシアン)の数理直感、サイズ恒常性と射影幾何学の理解、UIの視認性向上設計力
損失関数の地形(Loss Landscape)とオプティマイザの数理
AIはなぜ谷底へ辿り着けるのか? — SGD・Momentum・Adamの鞍点脱出と多変数微分
ヘッセ行列の固有値(正定値・不定値)による鞍点の数学的判定、1次・2次モーメント推定(Adam)の数式理解、ハイパーパラメータ調整の直感