| Γ0(N) と重さ 2 の新形式 | 楕円曲線とモジュラー形式：谷山・志村予想への道 定義 5.6 | 数学 |
| Ck アトラスと Ck 構造 | 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む 定義 3.3 | 数学 |
| Ck 級多様体 | 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む 定義 4.1 | 数学 |
| Ck 両立 | 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む 定義 3.2 | 数学 |
| k 次微分形式 | ベクトル場と微分形式：切断・外積代数・外微分 定義 6.1 | 数学 |
| Lp 収束 | 大数の法則と中心極限定理：標本平均はどこへ、どれだけ速く近づくか 定義 3.3 | 数学 |
| 0-1 ナップサック問題 | 動的計画法：部分問題を一度だけ解いて指数時間を多項式時間に変える 定義 6.1 | 情報科学 |
| 1 の分割による積分 | ストークスの定理：微分と境界の双対性 定義 5.3 | 数学 |
| 2 次形式 | スペクトル定理：対称行列はなぜ「回転だけ」で対角化できるのか 定義 6.1 | 数学 |
| 2つの戦略 | モンティ・ホール問題：なぜドアを変えると当たる確率が2倍になるのか 定義 2.2 | 数学 |
| 3-way マージ | バージョン管理システム Git：Merkle DAG としての履歴と共同開発フロー 定義 5.1 | 情報科学 |
| 4 元ポテンシャルと 4 元電流 | 電磁ポテンシャルとゲージ変換：場の裏にある「余分な自由度」 定義 6.1 | 物理学 |
| 4元ベクトルとミンコフスキー内積 | 相対論的力学：4元運動量が語る E=mc² の意味 定義 2.1 | 物理学 |
| 4元運動量 | 相対論的力学：4元運動量が語る E=mc² の意味 定義 4.1 | 物理学 |
| 4元速度 | 相対論的力学：4元運動量が語る E=mc² の意味 定義 3.3 | 物理学 |
| ABC三つ組 | ABC予想：足し算と掛け算を隔てる根基の不等式 定義 3.1 | 数学 |
| ABC三つ組の質 | ABC予想：足し算と掛け算を隔てる根基の不等式 定義 3.10 | 数学 |
| ABC予想（Masser–Oesterlé, 1985） | ABC予想：足し算と掛け算を隔てる根基の不等式 公理 3.7 | 数学 |
| C*-代数 | 非可換幾何学への動機：ゲルファント双対性が語る「空間 = 関数環」 定義 2.2 | 数学 |
| C*-代数の K₀ 群 | K-理論入門：射影とユニタリで測る非可換空間の位相 定義 5.3 | 数学 |
| C*-代数の K₁ 群 | K-理論入門：射影とユニタリで測る非可換空間の位相 定義 6.1 | 数学 |
| Fock 空間 | なぜ場の量子論が必要か：一粒子の量子力学が相対論と両立しない理由 定義 7.2 | 物理学 |
| Git オブジェクト | バージョン管理システム Git：Merkle DAG としての履歴と共同開発フロー 定義 3.1 | 情報科学 |
| IPv4 アドレスと CIDR プレフィックス | ネットワーク（TCP/IP）：URL を入力してからページが表示されるまで 定義 4.1 | 情報科学 |
| L-平滑（勾配のリプシッツ連続性） | 勾配降下法：勾配はなぜ「最も急な坂」なのか 定義 4.2 | 情報科学 |
| L-平滑性 | 数学を学び直す意義：AI を読み解く三つの言語 定義 4.1 | 情報科学 |
| L^p 空間 | L^p 空間と関数解析への導入：ヘルダーの不等式から完備性・ヒルベルト空間まで 定義 3.1 | 数学 |
| MAP 推定量 | 確率論とベイズ統計：最尤推定・MAP 推定と正則化の正体 定義 4.1 | 情報科学 |
| mod p ガロア表現 | フェルマーの最終定理：フライ曲線とモジュラー性が閉じた 357 年 定義 6.1 | 数学 |
| MTU と MSS | ネットワーク（TCP/IP）：URL を入力してからページが表示されるまで 定義 3.3 | 情報科学 |
| n 回微分可能・C^n 級 | 平均値の定理とテイラーの定理：微分から関数の姿を復元する 定義 2.2 | 数学 |
| NP 困難と NP 完全 | P≠NP 予想とは何か：多項式時間・証明書・帰着で計算の壁を測る 定義 6.1 | 情報科学 |
| o 記法・ω 記法 | 計算量と O 記法：アルゴリズムの速さを入力サイズの関数で測る 定義 3.2 | 情報科学 |
| O 記法・Ω 記法・Θ 記法 | 計算量と O 記法：アルゴリズムの速さを入力サイズの関数で測る 定義 3.1 | 情報科学 |
| pass@k | AI時代のITエンジニアの生存戦略：自動化の上限を定量的に見積もる 定義 4.4 | 情報科学 |
| Pod | Docker と Kubernetes：コンテナはなぜ軽く、クラスタはなぜ自己修復するのか 定義 6.4 | 情報科学 |
| sinc 関数 | ボールウェイン積分：π/2 が 7 回続いて 8 回目に崩れる理由 定義 2.1 | 数学 |
| T0・T1・T2 | 分離公理と距離づけ可能性：T1 から T4 へ、そしてウリゾーンの距離化定理 定義 3.1 | 数学 |
| アインシュタインの光量子仮説 | 量子力学の誕生：黒体放射・光電効果・物質波が壊した古典像 公理 5.1 | 物理学 |
| アインシュタインの等価原理 | 一般相対性理論への招待：等価原理が重力を幾何学に変えるまで 定義 3.3 | 物理学 |
| イメージとレイヤ | Docker と Kubernetes：コンテナはなぜ軽く、クラスタはなぜ自己修復するのか 定義 4.1 | 情報科学 |
| インフレーション | 物理学の未解決問題：宇宙の 95% はまだ名前しかついていない 定義 5.3 | 物理学 |
| ヴィルティンガー微分 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 4.4 | 数学 |
| ウェッジ積 | ベクトル場と微分形式：切断・外積代数・外微分 定義 5.2 | 数学 |
| エネルギー関数 | ラグランジュ形式の力学：最小作用の原理からオイラー・ラグランジュ方程式へ 定義 6.3 | 物理学 |
| エネルギー関数（ヤコビ積分） | 対称性と保存則：ネーターの定理を「変換の生成子から保存量を作る機械」として読む 定義 5.1 | 物理学 |
| エネルギー密度とポインティング・ベクトル | マクスウェル方程式と電磁波：4 本の式から光速が出てくるまで 定義 6.1 | 物理学 |
| エルミート演算子 | 演算子と物理量：エルミート演算子と交換関係から不確定性関係へ 定義 3.2 | 物理学 |
| エルミート行列・ユニタリ行列・正規行列 | スペクトル定理：対称行列はなぜ「回転だけ」で対角化できるのか 定義 3.1 | 数学 |
| エンタングルメント（量子もつれ） | シュレーディンガーの猫：重ね合わせはどこで終わるのか 定義 3.2 | 物理学 |
| オイラーのトーシェント関数 | 合同式とフェルマーの小定理：余りだけの世界で計算する 定義 4.6 | 数学 |
| オープンアドレス法 | 探索アルゴリズム：二分探索の O(log n) とハッシュ表の平均 O(1) 定義 6.1 | 情報科学 |
| オッズとロジット | ロジスティック回帰：シグモイドと交差エントロピーを最尤推定から導く 定義 3.3 | 情報科学 |
| オルバース宇宙 | 夜空はなぜ暗いのか：オルバースのパラドックスと宇宙の有限な年齢 定義 2.3 | 物理学 |
| カーマイケル数 | 合同式とフェルマーの小定理：余りだけの世界で計算する 定義 6.3 | 数学 |
| カノニカル集団と分配関数 | カノニカル集団：ボルツマン因子と分配関数から熱力学を組み立てる 定義 4.1 | 物理学 |
| カプセル化 | ネットワーク（TCP/IP）：URL を入力してからページが表示されるまで 定義 3.2 | 情報科学 |
| ガリレイの相対性原理 | 特殊相対性理論の原理：ガリレイの相対性から二つの公準へ 公理 2.4 | 物理学 |
| ガリレイ変換 | 特殊相対性理論の原理：ガリレイの相対性から二つの公準へ 定義 2.3 | 物理学 |
| ギブスのエントロピー | カノニカル集団：ボルツマン因子と分配関数から熱力学を組み立てる 定義 4.3 | 物理学 |
| キュー | 基本的なデータ構造：配列・連結リスト・スタック・キュー 定義 7.1 | 情報科学 |
| クーロンゲージ条件 | 電磁ポテンシャルとゲージ変換：場の裏にある「余分な自由度」 定義 5.5 | 物理学 |
| クーロンの法則と重ね合わせの原理 | 静電場とガウスの法則：クーロンの法則からポアソン方程式まで 公理 3.1 | 物理学 |
| クライン・ゴルドン方程式 | なぜ場の量子論が必要か：一粒子の量子力学が相対論と両立しない理由 定義 3.1 | 物理学 |
| クラウジウスの原理 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 公理 6.2 | 物理学 |
| クラウドコンピューティング（NIST SP 800-145） | クラウドコンピューティング：オンプレミスとの分岐点を数式で見る 定義 2.1 | 情報科学 |
| クラス NP（検証器による定義） | P≠NP 予想とは何か：多項式時間・証明書・帰着で計算の壁を測る 定義 4.1 | 情報科学 |
| クラス P | P≠NP 予想とは何か：多項式時間・証明書・帰着で計算の壁を測る 定義 3.1 | 情報科学 |
| グラフ | グラフアルゴリズム：BFS・DFS・ダイクストラ法を正しさから理解する 定義 2.1 | 情報科学 |
| グランドポテンシャル | グランドカノニカル集団：粒子数を手放して化学ポテンシャルを握る 定義 4.2 | 物理学 |
| くりこみ可能性の分類 | くりこみ理論入門：ループ発散の正則化から、くりこみ群の流れまで 定義 5.4 | 物理学 |
| クリティカルセクションと相互排除 | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 6.1 | 情報科学 |
| グレートフィルター | 宇宙人はどのくらいいるのか：ドレイクの方程式とフェルミのパラドックス 定義 7.1 | 物理学 |
| グロタンディーク群 | K-理論入門：射影とユニタリで測る非可換空間の位相 定義 2.1 | 数学 |
| ゲージ変換 | 電磁ポテンシャルとゲージ変換：場の裏にある「余分な自由度」 定義 4.1 | 物理学 |
| ゲーデル数 | ゲーデルの不完全性定理：「真だが証明できない」とは何のことか 定義 4.1 | 数学 |
| ゲルファント変換 | C*-代数の基礎：スペクトル理論とゲルファント表現 定義 5.3 | 数学 |
| ゲルファント変換 | 非可換幾何学への動機：ゲルファント双対性が語る「空間 = 関数環」 定義 3.4 | 数学 |
| ケンペ鎖 | 四色定理：地図が4色で塗れる理由と、コンピュータが書いた最初の証明 定義 4.1 | 数学 |
| コーシーの主値 | 留数定理と定積分への応用：孤立特異点の分類から実積分の計算まで 定義 8.2 | 数学 |
| コーシー列 | 実数の完備性とコーシー列：解析学を支える「穴のなさ」 定義 7.1 | 数学 |
| コミットグラフと祖先関係 | バージョン管理システム Git：Merkle DAG としての履歴と共同開発フロー 定義 4.1 | 情報科学 |
| コラッツ写像 | コラッツ予想：3行で書けるのに誰も解けない問題 定義 2.1 | 数学 |
| コンテキストスイッチ | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 3.2 | 情報科学 |
| コンテナ | Docker と Kubernetes：コンテナはなぜ軽く、クラスタはなぜ自己修復するのか 定義 3.1 | 情報科学 |
| コンヌの距離 | スペクトル三つ組 (A, H, D)：ディラック作用素で幾何を定義する 定義 5.1 | 数学 |
| コンパクト空間 | コンパクト性：有限部分被覆で捉える「有界閉集合」の一般化 定義 3.2 | 数学 |
| サービスモデル（IaaS・PaaS・SaaS） | クラウドコンピューティング：オンプレミスとの分岐点を数式で見る 定義 2.2 | 情報科学 |
| シグモイド関数（標準ロジスティック関数） | ロジスティック回帰：シグモイドと交差エントロピーを最尤推定から導く 定義 3.1 | 情報科学 |
| システムコール | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 2.2 | 情報科学 |
| シュヴァルツシルト半径 | 曲がった時空と重力：アインシュタイン方程式から GPS の 38 マイクロ秒まで 定義 5.3 | 物理学 |
| ジョルダン細胞とジョルダン標準形 | 対角化とジョルダン標準形：変換が一番簡単に見える座標を探す 定義 6.1 | 数学 |
| シラードのエンジン | マクスウェルの悪魔：情報を食べて動く機械は作れるか 定義 4.1 | 物理学 |
| シンプレクティック行列 | 正準変換とポアソン括弧：母関数・シンプレクティック条件から量子交換関係へ 定義 7.1 | 物理学 |
| スーパーキー・候補キー・主キー・外部キー | データベース設計の基礎：関係モデル・SQL・正規化を「事実の置き場所」から考える 定義 2.2 | 情報科学 |
| スケール因子 | ビッグバンは本当にあったのか：膨張・背景放射・元素の比という三つの証拠 定義 2.2 | 物理学 |
| スケール因子と共動距離 | 宇宙の果てと年齢：138 億年と 465 億光年はどこから来た数字か 定義 2.1 | 物理学 |
| スタック | 基本的なデータ構造：配列・連結リスト・スタック・キュー 定義 6.1 | 情報科学 |
| スピノル束とディラック作用素 | スペクトル三つ組 (A, H, D)：ディラック作用素で幾何を定義する 定義 4.1 | 数学 |
| スピン角運動量 | 角運動量とスピン：交換関係から固有値・パウリ行列・合成則を導く 定義 5.1 | 物理学 |
| スペクトルエネルギー密度 | 量子力学の誕生：黒体放射・光電効果・物質波が壊した古典像 定義 2.2 | 物理学 |
| スペクトルとレゾルベント | C*-代数の基礎：スペクトル理論とゲルファント表現 定義 3.1 | 数学 |
| スペクトル三つ組 | スペクトル三つ組 (A, H, D)：ディラック作用素で幾何を定義する 定義 3.1 | 数学 |
| ゼーマン分裂とラーモア周波数 | 日常の中の物理：スマホ・GPS・MRI を動かしている量子力学と相対論 定義 5.1 | 物理学 |
| ソート問題 | ソートアルゴリズム：バブルソート・マージソート・クイックソートと「二乗の壁」 定義 2.1 | 情報科学 |
| ダークエネルギーと宇宙定数 | 物理学の未解決問題：宇宙の 95% はまだ名前しかついていない 定義 4.1 | 物理学 |
| ダークマター | ダークマターとダークエネルギー：宇宙の 95% はまだ名前しかない 定義 2.2 | 物理学 |
| ダークマター | 物理学の未解決問題：宇宙の 95% はまだ名前しかついていない 定義 3.1 | 物理学 |
| タグ付き分割とリーマン和 | 積分の基本定理と定積分：リーマン和から原始関数へ 定義 2.2 | 数学 |
| チェビシェフ関数と対数積分 | リーマン予想とは何か：ゼータ関数の零点が素数を支配する 定義 6.1 | 数学 |
| チャート（座標近傍） | 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む 定義 3.1 | 数学 |
| チャート内での積分 | ストークスの定理：微分と境界の双対性 定義 5.1 | 数学 |
| テイラー多項式と剰余項 | 平均値の定理とテイラーの定理：微分から関数の姿を復元する 定義 5.1 | 数学 |
| ディラック方程式 | なぜ場の量子論が必要か：一粒子の量子力学が相対論と両立しない理由 定義 4.1 | 物理学 |
| デッドロック | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 6.2 | 情報科学 |
| ド・ブロイの関係式 | 量子力学の誕生：黒体放射・光電効果・物質波が壊した古典像 公理 6.1 | 物理学 |
| トポロジストの正弦曲線 | 連結性：「ひとつながり」を開集合で測り、中間値の定理を位相の言葉で証明する 定義 8.1 | 数学 |
| トムソン（ケルビン）の原理 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 公理 6.1 | 物理学 |
| ドメイン名の階層と権威サーバ | ネットワーク（TCP/IP）：URL を入力してからページが表示されるまで 定義 6.1 | 情報科学 |
| ドレイクの方程式 | 宇宙人はどのくらいいるのか：ドレイクの方程式とフェルミのパラドックス 定義 3.1 | 物理学 |
| トレース ap | 楕円曲線とモジュラー形式：谷山・志村予想への道 定義 4.4 | 数学 |
| ノルムと距離 | 内積空間とグラム・シュミット直交化：長さと角度を線形代数に持ち込む 定義 4.1 | 数学 |
| ハウスドルフ空間 | コンパクト性：有限部分被覆で捉える「有界閉集合」の一般化 定義 2.1 | 数学 |
| ハッシュ表・ハッシュ関数・負荷率 | 探索アルゴリズム：二分探索の O(log n) とハッシュ表の平均 O(1) 定義 5.1 | 情報科学 |
| ハッブル時間 | 宇宙の果てと年齢：138 億年と 465 億光年はどこから来た数字か 定義 3.1 | 物理学 |
| ハッブル定数 | 宇宙の果てと年齢：138 億年と 465 億光年はどこから来た数字か 定義 2.2 | 物理学 |
| バナッハ *-代数 | 非可換幾何学への動機：ゲルファント双対性が語る「空間 = 関数環」 定義 2.1 | 数学 |
| バナッハ空間 | L^p 空間と関数解析への導入：ヘルダーの不等式から完備性・ヒルベルト空間まで 定義 5.1 | 数学 |
| バナッハ代数 | C*-代数の基礎：スペクトル理論とゲルファント表現 定義 2.1 | 数学 |
| ハミルトニアン | ハミルトン形式の力学：ルジャンドル変換が開く位相空間 定義 3.6 | 物理学 |
| ハミルトンの原理 | ラグランジュ形式の力学：最小作用の原理からオイラー・ラグランジュ方程式へ 公理 4.1 | 物理学 |
| パラメータを含む積分 | ボールウェイン積分：π/2 が 7 回続いて 8 回目に崩れる理由 定義 4.2 | 数学 |
| バンドギャップ | 日常の中の物理：スマホ・GPS・MRI を動かしている量子力学と相対論 定義 3.1 | 物理学 |
| バンドルの切断とベクトル場 | ベクトル場と微分形式：切断・外積代数・外微分 定義 3.1 | 数学 |
| ビオ・サバールの法則 | 定常電流と静磁場：ビオ・サバールの法則から rot B = μ0 J へ 公理 3.1 | 物理学 |
| ファインマンの経路積分 | 経路積分量子化：時間分割から生成汎関数とファインマン則へ 定義 3.2 | 物理学 |
| ファラデーの電磁誘導の法則 | 電磁誘導と変位電流：マクスウェルが方程式系を閉じた瞬間 公理 3.3 | 物理学 |
| フィルトレーションと適合過程 | マルチンゲールとブラウン運動：公平な賭けから連続時間の確率過程へ 定義 2.1 | 数学 |
| フィルトレーションと適合過程 | 確率微分方程式：伊藤積分はなぜ「未来を見ない」のか 定義 2.1 | 数学 |
| ブール関数 | コンピュータアーキテクチャとCPUの構造：トランジスタから RISC-V まで 定義 2.1 | 情報科学 |
| フェルミエネルギーとフェルミ温度 | 量子統計：不可弁別性から生まれるボース統計とフェルミ統計 定義 6.1 | 物理学 |
| フェルミのパラドックス | 宇宙人はどのくらいいるのか：ドレイクの方程式とフェルミのパラドックス 定義 5.4 | 物理学 |
| フォック空間と粒子数演算子 | スカラー場の正準量子化：場の交換関係から粒子描像へ 定義 6.1 | 物理学 |
| フライ曲線 | フェルマーの最終定理：フライ曲線とモジュラー性が閉じた 357 年 定義 4.1 | 数学 |
| ブラウン運動（ウィーナー過程） | マルチンゲールとブラウン運動：公平な賭けから連続時間の確率過程へ 定義 5.1 | 数学 |
| プランクの関係式 | 日常の中の物理：スマホ・GPS・MRI を動かしている量子力学と相対論 定義 2.1 | 物理学 |
| プランクの量子仮説 | 量子力学の誕生：黒体放射・光電効果・物質波が壊した古典像 公理 4.1 | 物理学 |
| プランク単位 | 物理学の未解決問題：宇宙の 95% はまだ名前しかついていない 定義 6.1 | 物理学 |
| フレドホルム加群 | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 4.5 | 数学 |
| フレドホルム作用素と指数 | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 2.1 | 数学 |
| プロセス | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 3.1 | 情報科学 |
| プロトコルと PDU | ネットワーク（TCP/IP）：URL を入力してからページが表示されるまで 定義 2.1 | 情報科学 |
| ペアノの公理 | 証明の技術：数学的帰納法と背理法はなぜ正しいのか 公理 4.1 | 数学 |
| ペアノ算術 PA とロビンソン算術 Q | ゲーデルの不完全性定理：「真だが証明できない」とは何のことか 定義 2.2 | 数学 |
| ページングによるアドレス変換 | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 5.1 | 情報科学 |
| ベータ関数と異常次元 | くりこみ理論入門：ループ発散の正則化から、くりこみ群の流れまで 定義 6.1 | 物理学 |
| ベクトルポテンシャル | 定常電流と静磁場：ビオ・サバールの法則から rot B = μ0 J へ 定義 4.1 | 物理学 |
| ベクトル空間 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 3.1 | 数学 |
| ヘッセ行列・臨界点・極値 | 多変数関数の微分と偏微分：微分とは「一次近似」のことである 定義 7.3 | 数学 |
| ヘリウム質量比 | ビッグバンは本当にあったのか：膨張・背景放射・元素の比という三つの証拠 定義 5.1 | 物理学 |
| ポアソン括弧 | 正準変換とポアソン括弧：母関数・シンプレクティック条件から量子交換関係へ 定義 5.1 | 物理学 |
| ポアソン括弧 | ハミルトン形式の力学：ルジャンドル変換が開く位相空間 定義 8.1 | 物理学 |
| ホーキング温度 | ブラックホールの先にあるもの：事象の地平面、スパゲッティ化、そして蒸発 定義 5.1 | 物理学 |
| ほとんど可換なスペクトル三つ組 | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 7.1 | 数学 |
| ほとんど至るところ | ルベーグ積分の定義と収束定理：値域を分割して極限と積分を交換する 定義 6.3 | 数学 |
| ボルツマンのエントロピー | マクスウェルの悪魔：情報を食べて動く機械は作れるか 定義 2.2 | 物理学 |
| ボルツマンのエントロピー | ミクロカノニカル集団：等重率の原理と S = k log W 定義 4.1 | 物理学 |
| ボルンの規則（位置の確率密度） | シュレーディンガー方程式と波動関数：確率解釈から期待値の時間発展まで 定義 4.1 | 物理学 |
| ボルン則 | シュレーディンガーの猫：重ね合わせはどこで終わるのか 定義 2.2 | 物理学 |
| ホロノミック拘束と一般化座標 | ラグランジュ形式の力学：最小作用の原理からオイラー・ラグランジュ方程式へ 定義 2.1 | 物理学 |
| マルチンゲール | マルチンゲールとブラウン運動：公平な賭けから連続時間の確率過程へ 定義 3.1 | 数学 |
| マレー–フォン・ノイマン同値 | K-理論入門：射影とユニタリで測る非可換空間の位相 定義 5.1 | 数学 |
| ミクロカノニカル分布 | ミクロカノニカル集団：等重率の原理と S = k log W 定義 3.2 | 物理学 |
| ミクロ状態数 | ミクロカノニカル集団：等重率の原理と S = k log W 定義 2.1 | 物理学 |
| ムーア・ペンローズ擬似逆行列 | 線形回帰と最小二乗法：正規方程式を直交射影として読む 定義 8.6 | 情報科学 |
| モジュラーな楕円曲線 | フェルマーの最終定理：フライ曲線とモジュラー性が閉じた 357 年 定義 5.1 | 数学 |
| もっともらしい誤り | LLMとプログラミング：委譲の損益分岐点と「もっともらしい誤り」の見抜き方 定義 7.1 | 情報科学 |
| モンティ・ホール問題（標準ルール） | モンティ・ホール問題：なぜドアを変えると当たる確率が2倍になるのか 定義 2.1 | 数学 |
| ヤコビ行列とヤコビアン | 重積分と累次積分：フビニの定理とヤコビアンで多変数の積分を計算する 定義 6.2 | 数学 |
| ラグランジアンの準対称性 | 対称性と保存則：ネーターの定理を「変換の生成子から保存量を作る機械」として読む 定義 3.2 | 物理学 |
| ラグランジュ関数と作用汎関数 | ラグランジュ形式の力学：最小作用の原理からオイラー・ラグランジュ方程式へ 定義 3.1 | 物理学 |
| ラプラスの悪魔 | ラプラスの悪魔と決定論：未来はすでに決まっているのか 定義 3.1 | 物理学 |
| ランダウの o 記号 | 平均値の定理とテイラーの定理：微分から関数の姿を復元する 定義 5.4 | 数学 |
| ランダウの小文字 o | 導関数の定義と基本的な微分法：差分商の極限から連鎖律まで 定義 2.1 | 数学 |
| リアプノフ指数 | ラプラスの悪魔と決定論：未来はすでに決まっているのか 定義 4.1 | 物理学 |
| リーマン・ゼータ関数（級数表示） | リーマン予想とは何か：ゼータ関数の零点が素数を支配する 定義 2.1 | 数学 |
| リーマン予想（未解決の主張） | リーマン予想とは何か：ゼータ関数の零点が素数を支配する 公理 5.3 | 数学 |
| リー環 | リー群とリー環：連続的な対称性を接空間の線形代数へ翻訳する 定義 5.4 | 数学 |
| リー群 | リー群とリー環：連続的な対称性を接空間の線形代数へ翻訳する 定義 3.1 | 数学 |
| リプシッツ連続 | 連続関数と一様連続性：δ が点に依存しないとはどういうことか 定義 6.6 | 数学 |
| ルジャンドル変換 | 自由エネルギーと熱力学ポテンシャル：ルジャンドル変換で「制御できる変数」に乗り換える 定義 3.1 | 物理学 |
| ルベーグ可測集合（カラテオドリの条件） | 可測集合とルベーグ測度：外測度とカラテオドリ条件から測度を作る 定義 4.1 | 数学 |
| ルベーグ外測度 | 可測集合とルベーグ測度：外測度とカラテオドリ条件から測度を作る 定義 3.1 | 数学 |
| ルベーグ測度 | 可測集合とルベーグ測度：外測度とカラテオドリ条件から測度を作る 定義 4.5 | 数学 |
| レベル 1 のモジュラー形式 | 楕円曲線とモジュラー形式：谷山・志村予想への道 定義 5.1 | 数学 |
| ローレンツゲージ条件 | 電磁ポテンシャルとゲージ変換：場の裏にある「余分な自由度」 定義 5.1 | 物理学 |
| ロジスティック回帰モデル | ロジスティック回帰：シグモイドと交差エントロピーを最尤推定から導く 定義 3.6 | 情報科学 |
| 安定性とin-place性 | ソートアルゴリズム：バブルソート・マージソート・クイックソートと「二乗の壁」 定義 2.4 | 情報科学 |
| 伊藤過程 | 確率微分方程式：伊藤積分はなぜ「未来を見ない」のか 定義 5.1 | 数学 |
| 位相の基底 | 位相空間の定義と基本概念：距離を捨てても「近さ」は残る 定義 5.1 | 数学 |
| 位相空間 | 位相空間の定義と基本概念：距離を捨てても「近さ」は残る 定義 4.1 | 数学 |
| 位相空間と正準座標 | ハミルトン形式の力学：ルジャンドル変換が開く位相空間 定義 4.1 | 物理学 |
| 位相的 K-理論 | K-理論入門：射影とユニタリで測る非可換空間の位相 定義 3.1 | 数学 |
| 位相的性質 | 連続写像と同相写像：開集合の逆像で連続性を捉え直す 定義 5.5 | 数学 |
| 委譲コストモデル | LLMとプログラミング：委譲の損益分岐点と「もっともらしい誤り」の見抜き方 定義 2.1 | 情報科学 |
| 一径数変換族と生成子 | 対称性と保存則：ネーターの定理を「変換の生成子から保存量を作る機械」として読む 定義 3.1 | 物理学 |
| 一次分数変換（メビウス変換） | 等角写像とリーマン写像定理：正則関数が描く「角度を保つ地図」 定義 4.1 | 数学 |
| 一般の有界領域上の重積分と面積確定 | 重積分と累次積分：フビニの定理とヤコビアンで多変数の積分を計算する 定義 5.1 | 数学 |
| 一般化運動量（正準運動量） | ハミルトン形式の力学：ルジャンドル変換が開く位相空間 定義 3.1 | 物理学 |
| 一般化運動量と循環座標 | ラグランジュ形式の力学：最小作用の原理からオイラー・ラグランジュ方程式へ 定義 6.1 | 物理学 |
| 一様コーシー列 | 関数列と一様収束：極限と積分・微分はいつ交換できるか 定義 6.1 | 数学 |
| 一様コスト RAM モデル | 計算量と O 記法：アルゴリズムの速さを入力サイズの関数で測る 定義 2.1 | 情報科学 |
| 一様ノルム | 関数列と一様収束：極限と積分・微分はいつ交換できるか 定義 2.1 | 数学 |
| 一様収束 | 関数列と一様収束：極限と積分・微分はいつ交換できるか 定義 3.2 | 数学 |
| 一様密度と畳み込み | ボールウェイン積分：π/2 が 7 回続いて 8 回目に崩れる理由 定義 4.1 | 数学 |
| 一様連続性 | 極限と連続性：ε-δ 論法を「誤差の契約」として読む 定義 6.1 | 数学 |
| 一様連続性 | 連続関数と一様連続性：δ が点に依存しないとはどういうことか 定義 6.1 | 数学 |
| 円板・開集合・閉集合 | 複素数と複素平面：虚数はなぜ必要になり、なぜ「回転」になるのか 定義 6.1 | 数学 |
| 演算子の分類 | くりこみ理論入門：ループ発散の正則化から、くりこみ群の流れまで 定義 7.1 | 物理学 |
| 応答関数 | 自由エネルギーと熱力学ポテンシャル：ルジャンドル変換で「制御できる変数」に乗り換える 定義 7.1 | 物理学 |
| 下限位置 | 探索アルゴリズム：二分探索の O(log n) とハッシュ表の平均 O(1) 定義 3.1 | 情報科学 |
| 化学ポテンシャル | グランドカノニカル集団：粒子数を手放して化学ポテンシャルを握る 定義 2.1 | 物理学 |
| 可解群 | ガロア理論への招待：方程式の対称性が「解の公式」の有無を決める 定義 5.2 | 数学 |
| 可換環 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 3.2 | 数学 |
| 可逆過程 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 定義 5.1 | 物理学 |
| 可算・高々可算・非可算 | 濃度と無限：全単射で測る「無限の大小」 定義 5.1 | 数学 |
| 可積分関数と積分 | ルベーグ積分の定義と収束定理：値域を分割して極限と積分を交換する 定義 7.1 | 数学 |
| 可測関数 | ルベーグ積分の定義と収束定理：値域を分割して極限と積分を交換する 定義 3.1 | 数学 |
| 可予測過程とマルチンゲール変換 | マルチンゲールとブラウン運動：公平な賭けから連続時間の確率過程へ 定義 3.6 | 数学 |
| 可用性 | クラウドコンピューティング：オンプレミスとの分岐点を数式で見る 定義 6.1 | 情報科学 |
| 解析接続 | リーマン予想とは何か：ゼータ関数の零点が素数を支配する 定義 4.1 | 数学 |
| 解析的関数 | 正則関数の強力な性質：無限回微分可能性から一致の定理まで 定義 5.1 | 数学 |
| 解析的指数 | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 2.6 | 数学 |
| 回転 | 定常電流と静磁場：ビオ・サバールの法則から rot B = μ0 J へ 定義 5.1 | 物理学 |
| 回転曲線 | ダークマターとダークエネルギー：宇宙の 95% はまだ名前しかない 定義 2.1 | 物理学 |
| 開写像・閉写像 | 連続写像と同相写像：開集合の逆像で連続性を捉え直す 定義 5.1 | 数学 |
| 開発工程と自動化率 | AI時代のITエンジニアの生存戦略：自動化の上限を定量的に見積もる 定義 2.1 | 情報科学 |
| 開被覆と部分被覆 | コンパクト性：有限部分被覆で捉える「有界閉集合」の一般化 定義 3.1 | 数学 |
| 階数 | 行列と連立一次方程式：線形写像の座標表示と解の構造 定義 8.1 | 数学 |
| 階段形と簡約階段形 | 行列と連立一次方程式：線形写像の座標表示と解の構造 定義 7.3 | 数学 |
| 外延性の原理 | 数学の国語：集合と論理を正確に読み書きする 公理 3.2 | 数学 |
| 外向きベクトルと誘導される向き | ストークスの定理：微分と境界の双対性 定義 4.4 | 数学 |
| 概収束 | 大数の法則と中心極限定理：標本平均はどこへ、どれだけ速く近づくか 定義 3.1 | 数学 |
| 各点収束 | 関数列と一様収束：極限と積分・微分はいつ交換できるか 定義 3.1 | 数学 |
| 核と像 | 群の準同型定理：核で潰した商が像と同型になる仕組み 定義 4.1 | 数学 |
| 核と像 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 7.1 | 数学 |
| 確率収束 | 大数の法則と中心極限定理：標本平均はどこへ、どれだけ速く近づくか 定義 3.2 | 数学 |
| 確率振幅と経路の和 | アインシュタインとファインマン：時空を曲げた男と、光を数え上げた男 定義 6.1 | 物理学 |
| 確率測度と確率空間（コルモゴロフの公理） | 確率空間とコルモゴロフの公理：確率を「全測度 1 の測度」として定義する 定義 4.1 | 数学 |
| 確率的勾配降下法とミニバッチ | 勾配降下法：勾配はなぜ「最も急な坂」なのか 定義 7.1 | 情報科学 |
| 確率微分方程式と強解 | 確率微分方程式：伊藤積分はなぜ「未来を見ない」のか 定義 6.1 | 数学 |
| 確率変数 | 確率変数と期待値：可測関数としての確率変数、ルベーグ積分としての期待値 定義 3.1 | 数学 |
| 確率変数の独立性 | 確率変数と期待値：可測関数としての確率変数、ルベーグ積分としての期待値 定義 2.3 | 数学 |
| 確率流・透過率・反射率 | 1次元の簡単な系：無限井戸・トンネル効果・調和振動子 定義 4.1 | 物理学 |
| 角運動量演算子 | 角運動量とスピン：交換関係から固有値・パウリ行列・合成則を導く 定義 3.1 | 物理学 |
| 角度と直交性 | 内積空間とグラム・シュミット直交化：長さと角度を線形代数に持ち込む 定義 4.5 | 数学 |
| 割り算（積の逆演算） | ゼロで割ってはいけない理由：0 に逆数を与えると数の世界が 1 点に潰れる 定義 2.1 | 数学 |
| 滑らかな写像の微分 | 接ベクトル空間と接バンドル：曲がった空間で「速度」を定義する三つの流儀 定義 7.1 | 数学 |
| 滑らかな部分代数と標準導分 | 非可換トーラス A_θ：無理数回転がつくる「点のない空間」 定義 5.1 | 数学 |
| 完全な熱力学関数 | 自由エネルギーと熱力学ポテンシャル：ルジャンドル変換で「制御できる変数」に乗り換える 定義 2.1 | 物理学 |
| 完備性の公理（単調収束の原理） | 実数の完備性とコーシー列：解析学を支える「穴のなさ」 公理 3.1 | 数学 |
| 慣性系 | ニュートン力学の基礎：三法則から運動量・エネルギー保存則へ 定義 3.1 | 物理学 |
| 慣性系 | アインシュタインとファインマン：時空を曲げた男と、光を数え上げた男 定義 2.1 | 物理学 |
| 慣性系 | 特殊相対性理論の原理：ガリレイの相対性から二つの公準へ 定義 2.2 | 物理学 |
| 慣性質量と重力質量 | 一般相対性理論への招待：等価原理が重力を幾何学に変えるまで 定義 2.1 | 物理学 |
| 換算コンプトン波長 | なぜ場の量子論が必要か：一粒子の量子力学が相対論と両立しない理由 定義 6.1 | 物理学 |
| 環 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 3.1 | 数学 |
| 環準同型 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 7.1 | 数学 |
| 関係スキーマと関係 | データベース設計の基礎：関係モデル・SQL・正規化を「事実の置き場所」から考える 定義 2.1 | 情報科学 |
| 関係の 3 法則 | 関係と同値関係：「同じ」とは何か（同値類・商集合・well-defined） 定義 2.4 | 数学 |
| 関数の芽 | 接ベクトル空間と接バンドル：曲がった空間で「速度」を定義する三つの流儀 定義 2.1 | 数学 |
| 関数の極限 | 極限と連続性：ε-δ 論法を「誤差の契約」として読む 定義 3.1 | 数学 |
| 関数従属 | データベース設計の基礎：関係モデル・SQL・正規化を「事実の置き場所」から考える 定義 4.1 | 情報科学 |
| 基底変換行列 | 行列と連立一次方程式：線形写像の座標表示と解の構造 定義 5.1 | 数学 |
| 基本行変形と行同値 | 行列と連立一次方程式：線形写像の座標表示と解の構造 定義 7.1 | 数学 |
| 寄与率と累積寄与率 | 主成分分析：分散最大化はなぜ固有値問題になるのか 定義 6.1 | 情報科学 |
| 期待リスクと経験リスク | なぜ機械学習に数学が必要か：学習を「損失の最小化」に書き直す 定義 2.2 | 情報科学 |
| 期待値 | 確率変数と期待値：可測関数としての確率変数、ルベーグ積分としての期待値 定義 4.1 | 数学 |
| 期待値と不確定性 | 演算子と物理量：エルミート演算子と交換関係から不確定性関係へ 定義 5.1 | 物理学 |
| 記憶プログラム方式（フォン・ノイマン型アーキテクチャ） | コンピュータアーキテクチャとCPUの構造：トランジスタから RISC-V まで 定義 6.1 | 情報科学 |
| 起電力 | 電磁誘導と変位電流：マクスウェルが方程式系を閉じた瞬間 定義 3.2 | 物理学 |
| 軌道・停止時間・巡回 | コラッツ予想：3行で書けるのに誰も解けない問題 定義 2.3 | 数学 |
| 軌道角運動量演算子 | 角運動量とスピン：交換関係から固有値・パウリ行列・合成則を導く 定義 2.1 | 物理学 |
| 軌道要素 | 惑星の運動と中心力：角運動量保存からケプラーの三法則へ 定義 5.3 | 物理学 |
| 逆・裏・対偶 | 証明の技術：数学的帰納法と背理法はなぜ正しいのか 定義 2.1 | 数学 |
| 逆数 | ゼロで割ってはいけない理由：0 に逆数を与えると数の世界が 1 点に潰れる 定義 2.2 | 数学 |
| 球面調和関数 | 水素原子：中心力場のシュレーディンガー方程式から n, l, m が現れるまで 定義 3.3 | 物理学 |
| 級数の並べ替え | 級数と収束判定：部分和の極限・4 つの判定法・絶対収束と条件収束 定義 7.5 | 数学 |
| 距離づけ可能 | 分離公理と距離づけ可能性：T1 から T4 へ、そしてウリゾーンの距離化定理 定義 5.3 | 数学 |
| 距離空間 | 位相空間の定義と基本概念：距離を捨てても「近さ」は残る 定義 2.1 | 数学 |
| 距離空間の開集合・閉集合 | 位相空間の定義と基本概念：距離を捨てても「近さ」は残る 定義 3.1 | 数学 |
| 共役運動量密度とハミルトニアン密度 | 古典場の理論とラグランジアン：無限自由度の変分原理からネーターの定理まで 定義 7.1 | 物理学 |
| 共役事前分布 | 確率論とベイズ統計：最尤推定・MAP 推定と正則化の正体 定義 4.3 | 情報科学 |
| 共役複素数と絶対値 | 複素数と複素平面：虚数はなぜ必要になり、なぜ「回転」になるのか 定義 3.1 | 数学 |
| 境界付き多様体 | ストークスの定理：微分と境界の双対性 定義 4.1 | 数学 |
| 教師あり学習の設定 | なぜ機械学習に数学が必要か：学習を「損失の最小化」に書き直す 定義 2.1 | 情報科学 |
| 局所 U(1) 変換と共変微分 | ゲージ理論と自発的対称性の破れ：ヒッグス機構はなぜ質量を生むのか 定義 3.1 | 物理学 |
| 局所慣性系 | 一般相対性理論への招待：等価原理が重力を幾何学に変えるまで 定義 3.4 | 物理学 |
| 極大・極小 | 平均値の定理とテイラーの定理：微分から関数の姿を復元する 定義 2.1 | 数学 |
| 近傍 | 位相空間の定義と基本概念：距離を捨てても「近さ」は残る 定義 6.1 | 数学 |
| 近傍・除外近傍・集積点 | 極限と連続性：ε-δ 論法を「誤差の契約」として読む 定義 2.1 | 数学 |
| 区分的に滑らかな道 | コーシーの積分定理と積分公式：正則関数の値は周囲の積分だけで決まる 定義 2.1 | 数学 |
| 空集合・べき集合 | 数学の国語：集合と論理を正確に読み書きする 定義 3.5 | 数学 |
| 偶数と奇数 | 証明の技術：数学的帰納法と背理法はなぜ正しいのか 定義 7.2 | 数学 |
| 群・アーベル群 | 群論入門：群の公理と、対称性を計算するための言葉 定義 3.1 | 数学 |
| 群準同型写像 | 群の準同型定理：核で潰した商が像と同型になる仕組み 定義 3.1 | 数学 |
| 形式体系と証明 | ゲーデルの不完全性定理：「真だが証明できない」とは何のことか 定義 2.1 | 数学 |
| 系の不変質量 | 相対論的力学：4元運動量が語る E=mc² の意味 定義 6.1 | 物理学 |
| 計画行列と線形回帰モデル | 線形回帰と最小二乗法：正規方程式を直交射影として読む 定義 2.1 | 情報科学 |
| 計算グラフ | ニューラルネットワークと逆伝播：連鎖律を計算グラフの上で逆向きに走らせる 定義 4.1 | 情報科学 |
| 計量と線素 | 曲がった時空と重力：アインシュタイン方程式から GPS の 38 マイクロ秒まで 定義 2.1 | 物理学 |
| 決定問題と言語 | P≠NP 予想とは何か：多項式時間・証明書・帰着で計算の壁を測る 定義 2.1 | 情報科学 |
| 決定論的な系 | ラプラスの悪魔と決定論：未来はすでに決まっているのか 定義 2.2 | 物理学 |
| 検出地平線 | 宇宙人はどのくらいいるのか：ドレイクの方程式とフェルミのパラドックス 定義 6.1 | 物理学 |
| 検証器と偽陽性率 | LLMとプログラミング：委譲の損益分岐点と「もっともらしい誤り」の見抜き方 定義 2.2 | 情報科学 |
| 見かけの等級と絶対等級 | なぜ星までの距離がわかるのか：宇宙の距離はしごを一段ずつ登る 定義 2.4 | 物理学 |
| 元の位数 | 群論入門：群の公理と、対称性を計算するための言葉 定義 6.1 | 数学 |
| 原始関数 | コーシーの積分定理と積分公式：正則関数の値は周囲の積分だけで決まる 定義 3.1 | 数学 |
| 原始関数と不定積分 | 積分の基本定理と定積分：リーマン和から原始関数へ 定義 5.1 | 数学 |
| 弦と接線による加法 | 楕円曲線とモジュラー形式：谷山・志村予想への道 定義 3.1 | 数学 |
| 言語 L の型付け関係 | プログラミング言語論：機械語から型システムとパラダイムまで 定義 5.1 | 情報科学 |
| 言語 L の構文と簡約関係 | プログラミング言語論：機械語から型システムとパラダイムまで 定義 4.1 | 情報科学 |
| 古典分配関数 | カノニカル集団：ボルツマン因子と分配関数から熱力学を組み立てる 定義 4.6 | 物理学 |
| 固有空間 | 固有値と固有ベクトル：線形変換が向きを変えない方向を探す 定義 5.1 | 数学 |
| 固有時 | 日常の中の物理：スマホ・GPS・MRI を動かしている量子力学と相対論 定義 4.1 | 物理学 |
| 固有時 | 曲がった時空と重力：アインシュタイン方程式から GPS の 38 マイクロ秒まで 定義 2.2 | 物理学 |
| 固有時 | ローレンツ変換：時間の遅れと空間の縮みを光時計から導く 定義 3.2 | 物理学 |
| 固有時 | 相対論的力学：4元運動量が語る E=mc² の意味 定義 3.1 | 物理学 |
| 固有値と固有ベクトル | 固有値と固有ベクトル：線形変換が向きを変えない方向を探す 定義 3.1 | 数学 |
| 固有長 | ローレンツ変換：時間の遅れと空間の縮みを光時計から導く 定義 4.1 | 物理学 |
| 孤立特異点 | 留数定理と定積分への応用：孤立特異点の分類から実積分の計算まで 定義 3.1 | 数学 |
| 孤立特異点とその分類 | 正則関数の強力な性質：無限回微分可能性から一致の定理まで 定義 6.2 | 数学 |
| 交換子 | 演算子と物理量：エルミート演算子と交換関係から不確定性関係へ 定義 4.1 | 物理学 |
| 交差エントロピーと KL ダイバージェンス | 数学を学び直す意義：AI を読み解く三つの言語 定義 5.1 | 情報科学 |
| 交差エントロピー誤差（負の対数尤度） | ロジスティック回帰：シグモイドと交差エントロピーを最尤推定から導く 定義 4.1 | 情報科学 |
| 交代 k 重線形形式 | ベクトル場と微分形式：切断・外積代数・外微分 定義 5.1 | 数学 |
| 交比 | 等角写像とリーマン写像定理：正則関数が描く「角度を保つ地図」 定義 4.5 | 数学 |
| 光速度不変の原理 | 特殊相対性理論の原理：ガリレイの相対性から二つの公準へ 公理 5.3 | 物理学 |
| 光度と放射照度 | なぜ星までの距離がわかるのか：宇宙の距離はしごを一段ずつ登る 定義 2.1 | 物理学 |
| 勾配降下法 | 勾配降下法：勾配はなぜ「最も急な坂」なのか 定義 4.1 | 情報科学 |
| 向き付け可能性 | ストークスの定理：微分と境界の双対性 定義 3.1 | 数学 |
| 工程分解と工程正答率 | LLMとプログラミング：委譲の損益分岐点と「もっともらしい誤り」の見抜き方 定義 5.1 | 情報科学 |
| 行列の積 | 行列と連立一次方程式：線形写像の座標表示と解の構造 定義 4.1 | 数学 |
| 行列式（ライプニッツの公式） | 行列式とその性質：符号付き体積としての det 定義 3.1 | 数学 |
| 合同 | 合同式とフェルマーの小定理：余りだけの世界で計算する 定義 3.1 | 数学 |
| 合同（時計算術） | 数学はなぜ難しいのか：抽象・論理・積み重ねという三つの壁 定義 3.2 | 数学 |
| 黒体 | 量子力学の誕生：黒体放射・光電効果・物質波が壊した古典像 定義 2.1 | 物理学 |
| 黒体放射 | ビッグバンは本当にあったのか：膨張・背景放射・元素の比という三つの証拠 定義 2.3 | 物理学 |
| 根基 | ABC予想：足し算と掛け算を隔てる根基の不等式 定義 2.1 | 数学 |
| 根号拡大の塔・根号で解ける | ガロア理論への招待：方程式の対称性が「解の公式」の有無を決める 定義 5.1 | 数学 |
| 混合状態 | シュレーディンガーの猫：重ね合わせはどこで終わるのか 定義 4.1 | 物理学 |
| 左イデアル・右イデアル・両側イデアル | イデアルと剰余環：環を「割る」ための正規部分群 定義 3.1 | 数学 |
| 左剰余類・右剰余類 | 部分群と剰余類：ラグランジュの定理はなぜ「割り切れる」を生むのか 定義 5.1 | 数学 |
| 左剰余類・右剰余類・指数 | 正規部分群と商群：剰余類に演算を入れるための条件 定義 2.1 | 数学 |
| 左不変ベクトル場 | リー群とリー環：連続的な対称性を接空間の線形代数へ翻訳する 定義 5.1 | 数学 |
| 最悪時間計算量・空間計算量 | 計算量と O 記法：アルゴリズムの速さを入力サイズの関数で測る 定義 2.3 | 情報科学 |
| 最小二乗問題 | 線形回帰と最小二乗法：正規方程式を直交射影として読む 定義 3.1 | 情報科学 |
| 最小分解体 | ガロア理論への招待：方程式の対称性が「解の公式」の有無を決める 定義 2.4 | 数学 |
| 最適部分構造 | 動的計画法：部分問題を一度だけ解いて指数時間を多項式時間に変える 定義 5.1 | 情報科学 |
| 最尤推定 | なぜ機械学習に数学が必要か：学習を「損失の最小化」に書き直す 定義 5.1 | 情報科学 |
| 最尤推定量 | 確率論とベイズ統計：最尤推定・MAP 推定と正則化の正体 定義 3.1 | 情報科学 |
| 作用の連続対称性（準不変性） | 古典場の理論とラグランジアン：無限自由度の変分原理からネーターの定理まで 定義 6.1 | 物理学 |
| 参照・ブランチ・HEAD | バージョン管理システム Git：Merkle DAG としての履歴と共同開発フロー 定義 3.2 | 情報科学 |
| 参照透過性 | プログラミング言語論：機械語から型システムとパラダイムまで 定義 6.3 | 情報科学 |
| 仕事と運動エネルギー | ニュートン力学の基礎：三法則から運動量・エネルギー保存則へ 定義 7.1 | 物理学 |
| 仕事関数 | 量子力学の誕生：黒体放射・光電効果・物質波が壊した古典像 定義 5.2 | 物理学 |
| 仕様符号 | AI時代のITエンジニアの生存戦略：自動化の上限を定量的に見積もる 定義 6.1 | 情報科学 |
| 指数 | 部分群と剰余類：ラグランジュの定理はなぜ「割り切れる」を生むのか 定義 5.4 | 数学 |
| 指数写像 | リー群とリー環：連続的な対称性を接空間の線形代数へ翻訳する 定義 6.1 | 数学 |
| 指標とゲルファントスペクトル | C*-代数の基礎：スペクトル理論とゲルファント表現 定義 5.1 | 数学 |
| 指標とゲルファントスペクトル | 非可換幾何学への動機：ゲルファント双対性が語る「空間 = 関数環」 定義 3.1 | 数学 |
| 事後予測分布 | 確率論とベイズ統計：最尤推定・MAP 推定と正則化の正体 定義 6.3 | 情報科学 |
| 事象 | 特殊相対性理論の原理：ガリレイの相対性から二つの公準へ 定義 2.1 | 物理学 |
| 事象と標準配置 | ローレンツ変換：時間の遅れと空間の縮みを光時計から導く 定義 2.1 | 物理学 |
| 事象の地平線 | 宇宙の果てと年齢：138 億年と 465 億光年はどこから来た数字か 定義 6.1 | 物理学 |
| 事象の地平面 | ブラックホールの先にあるもの：事象の地平面、スパゲッティ化、そして蒸発 定義 3.3 | 物理学 |
| 事象の独立性 | 確率空間とコルモゴロフの公理：確率を「全測度 1 の測度」として定義する 定義 6.1 | 数学 |
| 時間依存シュレーディンガー方程式 | シュレーディンガー方程式と波動関数：確率解釈から期待値の時間発展まで 定義 3.1 | 物理学 |
| 時間非依存シュレーディンガー方程式と定常状態 | シュレーディンガー方程式と波動関数：確率解釈から期待値の時間発展まで 定義 6.1 | 物理学 |
| 次元 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 5.6 | 数学 |
| 次数と一筆書き | オイラーとラマヌジャン：計算の巨人と、直感の人 定義 5.1 | 数学 |
| 磁束 | 電磁誘導と変位電流：マクスウェルが方程式系を閉じた瞬間 定義 3.1 | 物理学 |
| 自己同型群・ガロア拡大・ガロア群 | ガロア理論への招待：方程式の対称性が「解の公式」の有無を決める 定義 3.1 | 数学 |
| 自発的対称性の破れ | ゲージ理論と自発的対称性の破れ：ヒッグス機構はなぜ質量を生むのか 定義 4.1 | 物理学 |
| 自由実スカラー場の演算子 | なぜ場の量子論が必要か：一粒子の量子力学が相対論と両立しない理由 定義 7.4 | 物理学 |
| 辞書（連想配列） | 探索アルゴリズム：二分探索の O(log n) とハッシュ表の平均 O(1) 定義 2.1 | 情報科学 |
| 実スカラー場の正準量子化 | スカラー場の正準量子化：場の交換関係から粒子描像へ 定義 3.1 | 物理学 |
| 実数の連続性公理（上限性質） | 数とは何か：自然数から実数へ、そして 1 = 0.999… はなぜ正しいのか 公理 5.1 | 数学 |
| 弱い等価原理 | 一般相対性理論への招待：等価原理が重力を幾何学に変えるまで 定義 3.2 | 物理学 |
| 主成分方向と主成分得点 | 主成分分析：分散最大化はなぜ固有値問題になるのか 定義 3.2 | 情報科学 |
| 主要部と特異点の三分類 | 留数定理と定積分への応用：孤立特異点の分類から実積分の計算まで 定義 3.2 | 数学 |
| 周期光度関係 | なぜ星までの距離がわかるのか：宇宙の距離はしごを一段ずつ登る 定義 4.1 | 物理学 |
| 集合と元 | 数学の国語：集合と論理を正確に読み書きする 定義 3.1 | 数学 |
| 集合の分割 | 関係と同値関係：「同じ」とは何か（同値類・商集合・well-defined） 定義 4.3 | 数学 |
| 充足可能性問題 SAT と 3SAT | P≠NP 予想とは何か：多項式時間・証明書・帰着で計算の壁を測る 定義 4.3 | 情報科学 |
| 重み付き最短経路 | グラフアルゴリズム：BFS・DFS・ダイクストラ法を正しさから理解する 定義 5.1 | 情報科学 |
| 縮退部分空間と摂動行列 | 摂動論：解けない問題を「解ける問題の近く」で解く 定義 5.1 | 物理学 |
| 述語 | 数学の国語：集合と論理を正確に読み書きする 定義 5.1 | 数学 |
| 循環座標 | 対称性と保存則：ネーターの定理を「変換の生成子から保存量を作る機械」として読む 定義 2.2 | 物理学 |
| 準静的過程 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 定義 2.2 | 物理学 |
| 準同型写像と核 | 正規部分群と商群：剰余類に演算を入れるための条件 定義 2.4 | 数学 |
| 巡回コサイクルと巡回コホモロジー | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 4.1 | 数学 |
| 順序体 | 数とは何か：自然数から実数へ、そして 1 = 0.999… はなぜ正しいのか 定義 2.1 | 数学 |
| 順序体 | 実数の完備性とコーシー列：解析学を支える「穴のなさ」 定義 2.1 | 数学 |
| 小行列式・余因子・余因子行列 | 行列式とその性質：符号付き体積としての det 定義 5.1 | 数学 |
| 昇降演算子 | 角運動量とスピン：交換関係から固有値・パウリ行列・合成則を導く 定義 3.4 | 物理学 |
| 消滅演算子・生成演算子・数演算子 | 1次元の簡単な系：無限井戸・トンネル効果・調和振動子 定義 5.1 | 物理学 |
| 証明 | 数学はなぜ難しいのか：抽象・論理・積み重ねという三つの壁 定義 4.1 | 数学 |
| 証明可能性述語と無矛盾性の文 | ゲーデルの不完全性定理：「真だが証明できない」とは何のことか 定義 4.2 | 数学 |
| 上界・上限 | 数とは何か：自然数から実数へ、そして 1 = 0.999… はなぜ正しいのか 定義 4.4 | 数学 |
| 上界・上限・下限 | 実数の完備性とコーシー列：解析学を支える「穴のなさ」 定義 4.1 | 数学 |
| 上極限 | 級数と収束判定：部分和の極限・4 つの判定法・絶対収束と条件収束 定義 2.2 | 数学 |
| 上積分・下積分とリーマン可積分性 | 積分の基本定理と定積分：リーマン和から原始関数へ 定義 3.1 | 数学 |
| 剰余環 | 合同式とフェルマーの小定理：余りだけの世界で計算する 定義 4.1 | 数学 |
| 場の強さテンソル | ゲージ理論と自発的対称性の破れ：ヒッグス機構はなぜ質量を生むのか 定義 3.3 | 物理学 |
| 場の作用汎関数とラグランジアン密度 | 古典場の理論とラグランジアン：無限自由度の変分原理からネーターの定理まで 定義 4.1 | 物理学 |
| 条件付き確率 | 確率空間とコルモゴロフの公理：確率を「全測度 1 の測度」として定義する 定義 5.1 | 数学 |
| 条件付き確率とベイズの定理 | モンティ・ホール問題：なぜドアを変えると当たる確率が2倍になるのか 定義 2.3 | 数学 |
| 条件付き期待値 | 条件付き期待値：σ-加法族で条件づけ、ラドン・ニコディムで存在を保証する 定義 3.1 | 数学 |
| 条件付き分散 | 条件付き期待値：σ-加法族で条件づけ、ラドン・ニコディムで存在を保証する 定義 5.3 | 数学 |
| 状態と位相空間 | ラプラスの悪魔と決定論：未来はすでに決まっているのか 定義 2.1 | 物理学 |
| 状態と波動関数 | シュレーディンガー方程式と波動関数：確率解釈から期待値の時間発展まで 定義 2.1 | 物理学 |
| 状態の重ね合わせ | シュレーディンガーの猫：重ね合わせはどこで終わるのか 定義 2.1 | 物理学 |
| 状態方程式パラメータ | ダークマターとダークエネルギー：宇宙の 95% はまだ名前しかない 定義 5.1 | 物理学 |
| 真空 | スカラー場の正準量子化：場の交換関係から粒子描像へ 定義 5.3 | 物理学 |
| 真空多様体 | ゲージ理論と自発的対称性の破れ：ヒッグス機構はなぜ質量を生むのか 定義 4.2 | 物理学 |
| 真空中のマクスウェル方程式（微分形） | マクスウェル方程式と電磁波：4 本の式から光速が出てくるまで 定義 3.1 | 物理学 |
| 水素原子の量子数と軌道 | 水素原子：中心力場のシュレーディンガー方程式から n, l, m が現れるまで 定義 6.1 | 物理学 |
| 随伴演算子 | 演算子と物理量：エルミート演算子と交換関係から不確定性関係へ 定義 3.1 | 物理学 |
| 随伴行列 | スペクトル定理：対称行列はなぜ「回転だけ」で対角化できるのか 定義 2.1 | 数学 |
| 随伴表現 | リー群とリー環：連続的な対称性を接空間の線形代数へ翻訳する 定義 7.1 | 数学 |
| 随伴変数 | ニューラルネットワークと逆伝播：連鎖律を計算グラフの上で逆向きに走らせる 定義 4.2 | 情報科学 |
| 数列の収束・有界性・単調性 | 実数の完備性とコーシー列：解析学を支える「穴のなさ」 定義 2.2 | 数学 |
| 世界間隔 | ローレンツ変換：時間の遅れと空間の縮みを光時計から導く 定義 7.1 | 物理学 |
| 整域 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 4.3 | 数学 |
| 整関数 | 正則関数の強力な性質：無限回微分可能性から一致の定理まで 定義 2.1 | 数学 |
| 整除と最大公約数 | 素数の魅力と素数定理：無限性・一意分解から分布の法則へ 定義 2.1 | 数学 |
| 整列性 | 証明の技術：数学的帰納法と背理法はなぜ正しいのか 公理 3.1 | 数学 |
| 星の平均自由行程（見通し距離） | 夜空はなぜ暗いのか：オルバースのパラドックスと宇宙の有限な年齢 定義 3.2 | 物理学 |
| 正の無限大に発散する | ゼロで割ってはいけない理由：0 に逆数を与えると数の世界が 1 点に潰れる 定義 5.2 | 数学 |
| 正規順序 | スカラー場の正準量子化：場の交換関係から粒子描像へ 定義 5.2 | 物理学 |
| 正規直交系・正規直交基底 | 内積空間とグラム・シュミット直交化：長さと角度を線形代数に持ち込む 定義 5.1 | 数学 |
| 正規直交系と完全性 | L^p 空間と関数解析への導入：ヘルダーの不等式から完備性・ヒルベルト空間まで 定義 6.3 | 数学 |
| 正規部分群 | 正規部分群と商群：剰余類に演算を入れるための条件 定義 4.1 | 数学 |
| 正準エネルギー・運動量テンソル | 古典場の理論とラグランジアン：無限自由度の変分原理からネーターの定理まで 定義 6.5 | 物理学 |
| 正準変換 | 正準変換とポアソン括弧：母関数・シンプレクティック条件から量子交換関係へ 定義 3.1 | 物理学 |
| 正則・正規と T3・T4 | 分離公理と距離づけ可能性：T1 から T4 へ、そしてウリゾーンの距離化定理 定義 4.1 | 数学 |
| 正則ラグランジアン | ハミルトン形式の力学：ルジャンドル変換が開く位相空間 定義 3.3 | 物理学 |
| 正則関数・整関数 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 3.2 | 数学 |
| 正則性と次元スペクトル | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 5.1 | 数学 |
| 正定値・半正定値 | スペクトル定理：対称行列はなぜ「回転だけ」で対角化できるのか 定義 6.2 | 数学 |
| 生成 σ-加法族とボレル集合族 | 確率空間とコルモゴロフの公理：確率を「全測度 1 の測度」として定義する 定義 3.5 | 数学 |
| 生成・消滅演算子 | スカラー場の正準量子化：場の交換関係から粒子描像へ 定義 4.1 | 物理学 |
| 生成されるイデアルと単項イデアル | イデアルと剰余環：環を「割る」ための正規部分群 定義 3.4 | 数学 |
| 生成される巡回部分群と元の位数 | 部分群と剰余類：ラグランジュの定理はなぜ「割り切れる」を生むのか 定義 4.1 | 数学 |
| 生成される部分群と巡回群 | 群論入門：群の公理と、対称性を計算するための言葉 定義 6.4 | 数学 |
| 生成検証サイクル | AI時代のITエンジニアの生存戦略：自動化の上限を定量的に見積もる 定義 4.1 | 情報科学 |
| 生成汎関数 | 経路積分量子化：時間分割から生成汎関数とファインマン則へ 定義 5.1 | 物理学 |
| 静電ポテンシャル | 静電場とガウスの法則：クーロンの法則からポアソン方程式まで 定義 6.1 | 物理学 |
| 赤方偏移 | ビッグバンは本当にあったのか：膨張・背景放射・元素の比という三つの証拠 定義 2.1 | 物理学 |
| 接バンドル | 接ベクトル空間と接バンドル：曲がった空間で「速度」を定義する三つの流儀 定義 8.1 | 数学 |
| 接ベクトル（曲線による定義） | 接ベクトル空間と接バンドル：曲がった空間で「速度」を定義する三つの流儀 定義 3.2 | 数学 |
| 接ベクトル（座標成分による定義） | 接ベクトル空間と接バンドル：曲がった空間で「速度」を定義する三つの流儀 定義 4.1 | 数学 |
| 接続を識別する 4 つ組 | ネットワーク（TCP/IP）：URL を入力してからページが表示されるまで 定義 5.1 | 情報科学 |
| 接平面 | 多変数関数の微分と偏微分：微分とは「一次近似」のことである 定義 5.1 | 数学 |
| 摂動されたハミルトニアン | 摂動論：解けない問題を「解ける問題の近く」で解く 定義 2.1 | 物理学 |
| 絶対収束と条件収束 | 級数と収束判定：部分和の極限・4 つの判定法・絶対収束と条件収束 定義 7.1 | 数学 |
| 占有数表示 | 量子統計：不可弁別性から生まれるボース統計とフェルミ統計 定義 3.3 | 物理学 |
| 宣言的 API と調整ループ | Docker と Kubernetes：コンテナはなぜ軽く、クラスタはなぜ自己修復するのか 定義 6.1 | 情報科学 |
| 線形結合と張る空間 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 4.3 | 数学 |
| 線形写像 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 6.1 | 数学 |
| 線形独立・生成系・基底 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 5.1 | 数学 |
| 遷移振幅（伝播関数） | 経路積分量子化：時間分割から生成汎関数とファインマン則へ 定義 2.1 | 物理学 |
| 全加算器と桁上げ伝播加算器 | コンピュータアーキテクチャとCPUの構造：トランジスタから RISC-V まで 定義 4.1 | 情報科学 |
| 全角運動量 | 角運動量とスピン：交換関係から固有値・パウリ行列・合成則を導く 定義 6.1 | 物理学 |
| 全称記号と存在記号 | 数学の国語：集合と論理を正確に読み書きする 定義 5.2 | 数学 |
| 全微分可能 | 多変数関数の微分と偏微分：微分とは「一次近似」のことである 定義 4.1 | 数学 |
| 全微分可能性と勾配 | 勾配降下法：勾配はなぜ「最も急な坂」なのか 定義 2.1 | 情報科学 |
| 素イデアルと極大イデアル | イデアルと剰余環：環を「割る」ための正規部分群 定義 6.1 | 数学 |
| 素数と合成数 | 素数の魅力と素数定理：無限性・一意分解から分布の法則へ 定義 2.2 | 数学 |
| 素数計数関数と漸近同値 | 素数の魅力と素数定理：無限性・一意分解から分布の法則へ 定義 5.1 | 数学 |
| 双正則写像・等角同値 | 等角写像とリーマン写像定理：正則関数が描く「角度を保つ地図」 定義 2.1 | 数学 |
| 相似 | 対角化とジョルダン標準形：変換が一番簡単に見える座標を探す 定義 2.1 | 数学 |
| 総和可能性と計量次元 | スペクトル三つ組 (A, H, D)：ディラック作用素で幾何を定義する 定義 3.4 | 数学 |
| 束縛状態と散乱状態 | 1次元の簡単な系：無限井戸・トンネル効果・調和振動子 定義 2.1 | 物理学 |
| 測地線 | 曲がった時空と重力：アインシュタイン方程式から GPS の 38 マイクロ秒まで 定義 2.3 | 物理学 |
| 測定の公理 | 演算子と物理量：エルミート演算子と交換関係から不確定性関係へ 公理 6.2 | 物理学 |
| 測度零集合とほとんど至るところ | 可測集合とルベーグ測度：外測度とカラテオドリ条件から測度を作る 定義 6.1 | 数学 |
| 属性閉包 | データベース設計の基礎：関係モデル・SQL・正規化を「事実の置き場所」から考える 定義 4.2 | 情報科学 |
| 多項式環 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 6.1 | 数学 |
| 多項式時間アルゴリズム | 計算量と O 記法：アルゴリズムの速さを入力サイズの関数で測る 定義 7.1 | 情報科学 |
| 多項式時間多対一帰着（カープ帰着） | P≠NP 予想とは何か：多項式時間・証明書・帰着で計算の壁を測る 定義 5.1 | 情報科学 |
| 多重線形性と交代性 | 行列式とその性質：符号付き体積としての det 定義 4.1 | 数学 |
| 多層パーセプトロン | ニューラルネットワークと逆伝播：連鎖律を計算グラフの上で逆向きに走らせる 定義 2.1 | 情報科学 |
| 多様体間の Ck 級写像と微分同相 | 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む 定義 6.3 | 数学 |
| 多様体上の Ck 級関数 | 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む 定義 6.1 | 数学 |
| 楕円曲線（短ヴァイエルシュトラス形） | 楕円曲線とモジュラー形式：谷山・志村予想への道 定義 2.1 | 数学 |
| 楕円型微分作用素と主表象 | 指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ 定義 2.3 | 数学 |
| 体 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 5.1 | 数学 |
| 体の拡大・拡大次数・最小多項式 | ガロア理論への招待：方程式の対称性が「解の公式」の有無を決める 定義 2.1 | 数学 |
| 対角化可能 | 対角化とジョルダン標準形：変換が一番簡単に見える座標を探す 定義 3.1 | 数学 |
| 対合・バナッハ *-代数・C*-代数 | C*-代数の基礎：スペクトル理論とゲルファント表現 定義 4.1 | 数学 |
| 対数の主枝 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 6.7 | 数学 |
| 対数積分 | 素数の魅力と素数定理：無限性・一意分解から分布の法則へ 定義 6.1 | 数学 |
| 対等（等濃） | 濃度と無限：全単射で測る「無限の大小」 定義 3.1 | 数学 |
| 代数的重複度と幾何学的重複度 | 固有値と固有ベクトル：線形変換が向きを変えない方向を探す 定義 6.1 | 数学 |
| 代数的重複度と幾何的重複度 | 対角化とジョルダン標準形：変換が一番簡単に見える座標を探す 定義 3.5 | 数学 |
| 大分配関数とフガシティー | グランドカノニカル集団：粒子数を手放して化学ポテンシャルを握る 定義 4.1 | 物理学 |
| 第 1 法則（慣性の法則） | ニュートン力学の基礎：三法則から運動量・エネルギー保存則へ 公理 3.2 | 物理学 |
| 第 1・第 2・第 3 正規形 | データベース設計の基礎：関係モデル・SQL・正規化を「事実の置き場所」から考える 定義 5.1 | 情報科学 |
| 第 2 法則（運動の法則） | ニュートン力学の基礎：三法則から運動量・エネルギー保存則へ 公理 3.3 | 物理学 |
| 第 3 法則（作用反作用の法則） | ニュートン力学の基礎：三法則から運動量・エネルギー保存則へ 公理 3.4 | 物理学 |
| 第二可算公理 | 分離公理と距離づけ可能性：T1 から T4 へ、そしてウリゾーンの距離化定理 定義 2.1 | 数学 |
| 脱出速度 | ブラックホールの先にあるもの：事象の地平面、スパゲッティ化、そして蒸発 定義 2.1 | 物理学 |
| 単関数 | ルベーグ積分の定義と収束定理：値域を分割して極限と積分を交換する 定義 3.6 | 数学 |
| 単元と零因子 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 4.1 | 数学 |
| 単元群 | 合同式とフェルマーの小定理：余りだけの世界で計算する 定義 4.3 | 数学 |
| 単項イデアル整域 | イデアルと剰余環：環を「割る」ための正規部分群 定義 7.1 | 数学 |
| 単純過程に対する伊藤積分 | 確率微分方程式：伊藤積分はなぜ「未来を見ない」のか 定義 4.2 | 数学 |
| 単方向連結リスト | 基本的なデータ構造：配列・連結リスト・スタック・キュー 定義 4.1 | 情報科学 |
| 単連結領域 | コーシーの積分定理と積分公式：正則関数の値は周囲の積分だけで決まる 定義 4.1 | 数学 |
| 単連結領域 | 等角写像とリーマン写像定理：正則関数が描く「角度を保つ地図」 定義 5.2 | 数学 |
| 短縮コラッツ写像 | コラッツ予想：3行で書けるのに誰も解けない問題 定義 2.2 | 数学 |
| 断熱仕事の経路独立性（第一法則） | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 公理 4.1 | 物理学 |
| 地図と塗り分け | 四色定理：地図が4色で塗れる理由と、コンピュータが書いた最初の証明 定義 2.1 | 数学 |
| 置換とその符号 | 行列式とその性質：符号付き体積としての det 定義 2.1 | 数学 |
| 置換と対称群 | 群論入門：群の公理と、対称性を計算するための言葉 定義 5.2 | 数学 |
| 中間規格化 | 摂動論：解けない問題を「解ける問題の近く」で解く 定義 2.2 | 物理学 |
| 中心化ガウス過程 | マルチンゲールとブラウン運動：公平な賭けから連続時間の確率過程へ 定義 5.4 | 数学 |
| 中心化データ行列と標本共分散行列 | 主成分分析：分散最大化はなぜ固有値問題になるのか 定義 2.1 | 情報科学 |
| 中心力 | 惑星の運動と中心力：角運動量保存からケプラーの三法則へ 定義 2.1 | 物理学 |
| 中心力ポテンシャル | 水素原子：中心力場のシュレーディンガー方程式から n, l, m が現れるまで 定義 2.1 | 物理学 |
| 抽象データ型 | 基本的なデータ構造：配列・連結リスト・スタック・キュー 定義 2.2 | 情報科学 |
| 抽象化 | 数学はなぜ難しいのか：抽象・論理・積み重ねという三つの壁 定義 3.1 | 数学 |
| 長方形の分割と分割の幅 | 重積分と累次積分：フビニの定理とヤコビアンで多変数の積分を計算する 定義 3.1 | 数学 |
| 長方形上の 2 重積分 | 重積分と累次積分：フビニの定理とヤコビアンで多変数の積分を計算する 定義 3.2 | 数学 |
| 停止時刻 | マルチンゲールとブラウン運動：公平な賭けから連続時間の確率過程へ 定義 4.1 | 数学 |
| 定常電流 | 定常電流と静磁場：ビオ・サバールの法則から rot B = μ0 J へ 定義 2.4 | 物理学 |
| 転倒（inversion）と転倒数 | ソートアルゴリズム：バブルソート・マージソート・クイックソートと「二乗の壁」 定義 2.3 | 情報科学 |
| 点における導分 | 接ベクトル空間と接バンドル：曲がった空間で「速度」を定義する三つの流儀 定義 5.1 | 数学 |
| 点における連続性 | 極限と連続性：ε-δ 論法を「誤差の契約」として読む 定義 5.1 | 数学 |
| 点における連続性 | 連続写像と同相写像：開集合の逆像で連続性を捉え直す 定義 3.2 | 数学 |
| 電磁ポテンシャル | 電磁ポテンシャルとゲージ変換：場の裏にある「余分な自由度」 定義 3.2 | 物理学 |
| 電場 | 静電場とガウスの法則：クーロンの法則からポアソン方程式まで 定義 3.3 | 物理学 |
| 電束（フラックス） | 静電場とガウスの法則：クーロンの法則からポアソン方程式まで 定義 4.1 | 物理学 |
| 電流密度 | 定常電流と静磁場：ビオ・サバールの法則から rot B = μ0 J へ 定義 2.1 | 物理学 |
| 等価原理 | アインシュタインとファインマン：時空を曲げた男と、光を数え上げた男 公理 5.1 | 物理学 |
| 等角性 | 等角写像とリーマン写像定理：正則関数が描く「角度を保つ地図」 定義 3.1 | 数学 |
| 等重率の原理 | ミクロカノニカル集団：等重率の原理と S = k log W 公理 3.1 | 物理学 |
| 統計力学的な温度・圧力・化学ポテンシャル | ミクロカノニカル集団：等重率の原理と S = k log W 定義 4.5 | 物理学 |
| 同期式順序回路とタイミングパラメータ | コンピュータアーキテクチャとCPUの構造：トランジスタから RISC-V まで 定義 5.1 | 情報科学 |
| 同型写像と同型 | 群の準同型定理：核で潰した商が像と同型になる仕組み 定義 3.2 | 数学 |
| 同種粒子と置換対称性 | 量子統計：不可弁別性から生まれるボース統計とフェルミ統計 定義 3.1 | 物理学 |
| 同相写像 | 連続写像と同相写像：開集合の逆像で連続性を捉え直す 定義 5.2 | 数学 |
| 同値関係 | 関係と同値関係：「同じ」とは何か（同値類・商集合・well-defined） 定義 3.1 | 数学 |
| 同値類・商集合・自然な射影 | 関係と同値関係：「同じ」とは何か（同値類・商集合・well-defined） 定義 4.1 | 数学 |
| 導関数と高階導関数 | 導関数の定義と基本的な微分法：差分商の極限から連鎖律まで 定義 3.3 | 数学 |
| 道と弧状連結性 | 連結性：「ひとつながり」を開集合で測り、中間値の定理を位相の言葉で証明する 定義 7.1 | 数学 |
| 特権モードとユーザモード | OS の役割：抽象化・スケジューリング・仮想記憶はなぜ必要か 定義 2.1 | 情報科学 |
| 特殊相対性原理 | 特殊相対性理論の原理：ガリレイの相対性から二つの公準へ 公理 5.2 | 物理学 |
| 特殊相対性理論の 2 つの原理 | アインシュタインとファインマン：時空を曲げた男と、光を数え上げた男 公理 2.2 | 物理学 |
| 特性関数 | 大数の法則と中心極限定理：標本平均はどこへ、どれだけ速く近づくか 定義 5.1 | 数学 |
| 特性多項式 | 固有値と固有ベクトル：線形変換が向きを変えない方向を探す 定義 4.1 | 数学 |
| 特徴写像による拡張 | 線形回帰と最小二乗法：正規方程式を直交射影として読む 定義 2.2 | 情報科学 |
| 凸関数 | なぜ機械学習に数学が必要か：学習を「損失の最小化」に書き直す 定義 4.1 | 情報科学 |
| 内積とコサイン類似度 | 数学を学び直す意義：AI を読み解く三つの言語 定義 3.1 | 情報科学 |
| 内積空間 | 内積空間とグラム・シュミット直交化：長さと角度を線形代数に持ち込む 定義 3.1 | 数学 |
| 内積空間とヒルベルト空間 | L^p 空間と関数解析への導入：ヘルダーの不等式から完備性・ヒルベルト空間まで 定義 6.1 | 数学 |
| 内部・閉包・境界 | 位相空間の定義と基本概念：距離を捨てても「近さ」は残る 定義 6.3 | 数学 |
| 内容アドレス格納庫 | バージョン管理システム Git：Merkle DAG としての履歴と共同開発フロー 定義 2.1 | 情報科学 |
| 二項演算 | 群論入門：群の公理と、対称性を計算するための言葉 定義 2.1 | 数学 |
| 二項関係 | 関係と同値関係：「同じ」とは何か（同値類・商集合・well-defined） 定義 2.1 | 数学 |
| 熱 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 定義 4.3 | 物理学 |
| 熱機関の効率 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 定義 7.1 | 物理学 |
| 熱的ド・ブロイ波長と縮退度 | 量子統計：不可弁別性から生まれるボース統計とフェルミ統計 定義 5.1 | 物理学 |
| 熱浴 | カノニカル集団：ボルツマン因子と分配関数から熱力学を組み立てる 定義 3.1 | 物理学 |
| 熱力学ポテンシャル | 自由エネルギーと熱力学ポテンシャル：ルジャンドル変換で「制御できる変数」に乗り換える 定義 4.1 | 物理学 |
| 熱力学第二法則（ケルビンの表現） | マクスウェルの悪魔：情報を食べて動く機械は作れるか 公理 2.1 | 物理学 |
| 熱力学第零法則 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 公理 3.1 | 物理学 |
| 年周視差とパーセク | なぜ星までの距離がわかるのか：宇宙の距離はしごを一段ずつ登る 定義 3.1 | 物理学 |
| 濃度の大小 | 濃度と無限：全単射で測る「無限の大小」 定義 3.4 | 数学 |
| 配置・不可避集合・可約配置 | 四色定理：地図が4色で塗れる理由と、コンピュータが書いた最初の証明 定義 5.3 | 数学 |
| 配列 | 基本的なデータ構造：配列・連結リスト・スタック・キュー 定義 3.1 | 情報科学 |
| 発散（湧き出しの密度） | 静電場とガウスの法則：クーロンの法則からポアソン方程式まで 定義 5.1 | 物理学 |
| 半安定 | フェルマーの最終定理：フライ曲線とモジュラー性が閉じた 357 年 定義 4.4 | 数学 |
| 比較ソートモデル | ソートアルゴリズム：バブルソート・マージソート・クイックソートと「二乗の壁」 定義 2.2 | 情報科学 |
| 比較モデル | 探索アルゴリズム：二分探索の O(log n) とハッシュ表の平均 O(1) 定義 2.2 | 情報科学 |
| 被積分過程のクラスと単純過程 | 確率微分方程式：伊藤積分はなぜ「未来を見ない」のか 定義 4.1 | 数学 |
| 非可換トーラス（回転代数） | 非可換トーラス A_θ：無理数回転がつくる「点のない空間」 定義 3.1 | 数学 |
| 非可換トーラス（無理数回転環） | 非可換幾何学への動機：ゲルファント双対性が語る「空間 = 関数環」 定義 5.2 | 数学 |
| 非自明解 | フェルマーの最終定理：フライ曲線とモジュラー性が閉じた 357 年 定義 2.1 | 数学 |
| 非自明零点と臨界帯 | リーマン予想とは何か：ゼータ関数の零点が素数を支配する 定義 5.2 | 数学 |
| 非負可測関数のルベーグ積分 | ルベーグ積分の定義と収束定理：値域を分割して極限と積分を交換する 定義 5.1 | 数学 |
| 非負単関数の積分 | ルベーグ積分の定義と収束定理：値域を分割して極限と積分を交換する 定義 4.1 | 数学 |
| 微細構造定数 | アインシュタインとファインマン：時空を曲げた男と、光を数え上げた男 定義 6.3 | 物理学 |
| 微分係数 | 導関数の定義と基本的な微分法：差分商の極限から連鎖律まで 定義 3.1 | 数学 |
| 必要条件と十分条件 | 数学の国語：集合と論理を正確に読み書きする 定義 6.1 | 数学 |
| 標準トレースと条件付き期待値 | 非可換トーラス A_θ：無理数回転がつくる「点のない空間」 定義 4.2 | 数学 |
| 標準光源 | なぜ星までの距離がわかるのか：宇宙の距離はしごを一段ずつ登る 定義 2.3 | 物理学 |
| 標数 | 環と体の基礎：加法と乗法が同居する構造を整域・体まで分類する 定義 5.7 | 数学 |
| 表現行列 | 行列と連立一次方程式：線形写像の座標表示と解の構造 定義 3.1 | 数学 |
| 表面的発散次数 | くりこみ理論入門：ループ発散の正則化から、くりこみ群の流れまで 定義 5.1 | 物理学 |
| 部分空間 | ベクトル空間と線形変換：8 つの公理から次元定理まで 定義 4.1 | 数学 |
| 部分群 | 部分群と剰余類：ラグランジュの定理はなぜ「割り切れる」を生むのか 定義 3.1 | 数学 |
| 部分型と包摂規則 | プログラミング言語論：機械語から型システムとパラダイムまで 定義 6.6 | 情報科学 |
| 部分集合 | 数学の国語：集合と論理を正確に読み書きする 定義 3.3 | 数学 |
| 部分問題族と依存グラフ | 動的計画法：部分問題を一度だけ解いて指数時間を多項式時間に変える 定義 3.1 | 情報科学 |
| 部分列 | 実数の完備性とコーシー列：解析学を支える「穴のなさ」 定義 6.1 | 数学 |
| 複素関数の極限 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 2.1 | 数学 |
| 複素三角関数 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 6.4 | 数学 |
| 複素指数関数 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 6.2 | 数学 |
| 複素数の指数関数 | オイラーとラマヌジャン：計算の巨人と、直感の人 定義 2.2 | 数学 |
| 複素数体 | 複素数と複素平面：虚数はなぜ必要になり、なぜ「回転」になるのか 定義 2.1 | 数学 |
| 複素線積分 | コーシーの積分定理と積分公式：正則関数の値は周囲の積分だけで決まる 定義 2.2 | 数学 |
| 複素微分可能性 | 正則関数とコーシー・リーマンの関係式：複素微分はなぜ強い条件なのか 定義 3.1 | 数学 |
| 物理量の期待値 | シュレーディンガー方程式と波動関数：確率解釈から期待値の時間発展まで 定義 5.2 | 物理学 |
| 分割とダルブー和 | 積分の基本定理と定積分：リーマン和から原始関数へ 定義 2.1 | 数学 |
| 分割数 | オイラーとラマヌジャン：計算の巨人と、直感の人 定義 6.5 | 数学 |
| 分散・共分散・相関係数 | 確率変数と期待値：可測関数としての確率変数、ルベーグ積分としての期待値 定義 5.1 | 数学 |
| 分配関数 | 経路積分量子化：時間分割から生成汎関数とファインマン則へ 定義 4.1 | 物理学 |
| 分布と分布関数 | 確率変数と期待値：可測関数としての確率変数、ルベーグ積分としての期待値 定義 3.5 | 数学 |
| 分布収束（弱収束） | 大数の法則と中心極限定理：標本平均はどこへ、どれだけ速く近づくか 定義 3.4 | 数学 |
| 分離と連結性 | 連結性：「ひとつながり」を開集合で測り、中間値の定理を位相の言葉で証明する 定義 2.1 | 数学 |
| 平均利用率と損益分岐利用率 | クラウドコンピューティング：オンプレミスとの分岐点を数式で見る 定義 3.1 | 情報科学 |
| 平衡状態と状態量 | 熱力学の諸法則：温度・内部エネルギー・エントロピーはどこから来るのか 定義 2.1 | 物理学 |
| 平面グラフ | オイラーとラマヌジャン：計算の巨人と、直感の人 定義 5.4 | 数学 |
| 平面グラフとその彩色 | 四色定理：地図が4色で塗れる理由と、コンピュータが書いた最初の証明 定義 2.2 | 数学 |
| 平面波 | マクスウェル方程式と電磁波：4 本の式から光速が出てくるまで 定義 5.1 | 物理学 |
| 閉形式と完全形式 | ベクトル場と微分形式：切断・外積代数・外微分 定義 6.4 | 数学 |
| 偏角と極形式 | 複素数と複素平面：虚数はなぜ必要になり、なぜ「回転」になるのか 定義 4.3 | 数学 |
| 偏微分係数と偏導関数 | 多変数関数の微分と偏微分：微分とは「一次近似」のことである 定義 3.1 | 数学 |
| 変位電流密度 | 電磁誘導と変位電流：マクスウェルが方程式系を閉じた瞬間 定義 6.3 | 物理学 |
| 変分と停留経路 | ラグランジュ形式の力学：最小作用の原理からオイラー・ラグランジュ方程式へ 定義 3.2 | 物理学 |
| 編集距離（レーベンシュタイン距離） | 動的計画法：部分問題を一度だけ解いて指数時間を多項式時間に変える 定義 7.1 | 情報科学 |
| 保存量 | 対称性と保存則：ネーターの定理を「変換の生成子から保存量を作る機械」として読む 定義 2.1 | 物理学 |
| 保存力とポテンシャル | ニュートン力学の基礎：三法則から運動量・エネルギー保存則へ 定義 7.3 | 物理学 |
| 歩道・道・距離 | グラフアルゴリズム：BFS・DFS・ダイクストラ法を正しさから理解する 定義 2.2 | 情報科学 |
| 方向への射影と射影分散 | 主成分分析：分散最大化はなぜ固有値問題になるのか 定義 2.3 | 情報科学 |
| 方向微分 | 勾配降下法：勾配はなぜ「最も急な坂」なのか 定義 2.3 | 情報科学 |
| 方向微分 | 多変数関数の微分と偏微分：微分とは「一次近似」のことである 定義 4.2 | 数学 |
| 法 I による合同と剰余類 | イデアルと剰余環：環を「割る」ための正規部分群 定義 4.1 | 数学 |
| 本質的上限と L^∞ 空間 | L^p 空間と関数解析への導入：ヘルダーの不等式から完備性・ヒルベルト空間まで 定義 3.2 | 数学 |
| 翻訳器と解釈器 | プログラミング言語論：機械語から型システムとパラダイムまで 定義 3.1 | 情報科学 |
| 万能ハッシュ族 | 探索アルゴリズム：二分探索の O(log n) とハッシュ表の平均 O(1) 定義 5.6 | 情報科学 |
| 無限級数・部分和・和 | 級数と収束判定：部分和の極限・4 つの判定法・絶対収束と条件収束 定義 3.1 | 数学 |
| 無限級数の和 | オイラーとラマヌジャン：計算の巨人と、直感の人 定義 2.1 | 数学 |
| 無限集合・デデキント無限 | 濃度と無限：全単射で測る「無限の大小」 定義 4.1 | 数学 |
| 無限小数の値 | 数とは何か：自然数から実数へ、そして 1 = 0.999… はなぜ正しいのか 定義 6.1 | 数学 |
| 無限小数の値 | 1 は 0.999… と等しいか：無限小数の意味を決めてから答える 定義 2.2 | 数学 |
| 無損失結合分解 | データベース設計の基礎：関係モデル・SQL・正規化を「事実の置き場所」から考える 定義 6.1 | 情報科学 |
| 無矛盾性・完全性・健全性・帰納的公理化可能性 | ゲーデルの不完全性定理：「真だが証明できない」とは何のことか 定義 3.1 | 数学 |
| 命題 | 数学の国語：集合と論理を正確に読み書きする 定義 2.1 | 数学 |
| 命令セットアーキテクチャ（ISA） | コンピュータアーキテクチャとCPUの構造：トランジスタから RISC-V まで 定義 8.1 | 情報科学 |
| 尤度・事前分布・事後分布 | 確率論とベイズ統計：最尤推定・MAP 推定と正則化の正体 定義 2.1 | 情報科学 |
| 有限交叉性 | コンパクト性：有限部分被覆で捉える「有界閉集合」の一般化 定義 4.4 | 数学 |
| 有限小数の値 | 1 は 0.999… と等しいか：無限小数の意味を決めてから答える 定義 2.1 | 数学 |
| 有効ポテンシャル | 惑星の運動と中心力：角運動量保存からケプラーの三法則へ 定義 4.1 | 物理学 |
| 有理数と無理数 | 証明の技術：数学的帰納法と背理法はなぜ正しいのか 定義 7.1 | 数学 |
| 余接空間・余接バンドル・1 形式 | ベクトル場と微分形式：切断・外積代数・外微分 定義 4.1 | 数学 |
| 裸のパラメータとくりこまれたパラメータ | くりこみ理論入門：ループ発散の正則化から、くりこみ群の流れまで 定義 4.1 | 物理学 |
| 離散型・連続型 | 確率変数と期待値：可測関数としての確率変数、ルベーグ積分としての期待値 定義 3.8 | 数学 |
| 流束と面輝度 | 夜空はなぜ暗いのか：オルバースのパラドックスと宇宙の有限な年齢 定義 2.1 | 物理学 |
| 留数 | 留数定理と定積分への応用：孤立特異点の分類から実積分の計算まで 定義 4.1 | 数学 |
| 粒子的地平線（観測可能な宇宙の半径） | 宇宙の果てと年齢：138 億年と 465 億光年はどこから来た数字か 定義 4.1 | 物理学 |
| 臨界密度と密度パラメータ | ダークマターとダークエネルギー：宇宙の 95% はまだ名前しかない 定義 5.5 | 物理学 |
| 臨界密度と密度パラメータ | 物理学の未解決問題：宇宙の 95% はまだ名前しかついていない 定義 2.1 | 物理学 |
| 隣接行列と隣接リスト | グラフアルゴリズム：BFS・DFS・ダイクストラ法を正しさから理解する 定義 2.3 | 情報科学 |
| 累次積分 | 重積分と累次積分：フビニの定理とヤコビアンで多変数の積分を計算する 定義 4.1 | 数学 |
| 零点の位数 | 正則関数の強力な性質：無限回微分可能性から一致の定理まで 定義 7.1 | 数学 |
| 連結性と領域 | 複素数と複素平面：虚数はなぜ必要になり、なぜ「回転」になるのか 定義 6.2 | 数学 |
| 連結成分 | 連結性：「ひとつながり」を開集合で測り、中間値の定理を位相の言葉で証明する 定義 9.1 | 数学 |
| 連続と一様連続 | 数学を学び直す意義：AI を読み解く三つの言語 定義 6.1 | 情報科学 |
| 連続写像 | 連続写像と同相写像：開集合の逆像で連続性を捉え直す 定義 3.1 | 数学 |
| 連続性 | 連続関数と一様連続性：δ が点に依存しないとはどういうことか 定義 3.1 | 数学 |
| 連続体濃度 | 濃度と無限：全単射で測る「無限の大小」 定義 6.5 | 数学 |
| 論理結合子 | 数学の国語：集合と論理を正確に読み書きする 定義 2.3 | 数学 |
| 論理的非可逆性 | マクスウェルの悪魔：情報を食べて動く機械は作れるか 定義 6.1 | 物理学 |
| 和集合・共通部分・差集合・補集合 | 数学の国語：集合と論理を正確に読み書きする 定義 4.1 | 数学 |
| σ-加法族と可測空間 | 確率空間とコルモゴロフの公理：確率を「全測度 1 の測度」として定義する 定義 3.1 | 数学 |