/論理・基礎論 ペアノの公理とは
ペアノの公理は自然数の全体を定義する公理、自然数は個数や順番を表す一群の数、加法の定義と公式、乗法の定義と公式、大小関係
数学
/論理・基礎論 
/幾何学 測地線とは
空間内の２点を結ぶ距離が最短となる経路、平面上では直線、球面上では大円、２点間の光の経路、クリストッフェル記号を
/統計学 二項分布とは
ベルヌーイ試行、製品の不良率が従う分布、二項分布の期待値を導く、二項分布の分散を導く、統計量、正規近似
/解析学 ローラン展開とは
負のべき数にも拡張した級数展開、テイラー展開、複素関数の表示が可能、不正則な点周りの展開が可能、ローラン展開を導く
/機械学習 回帰分析とは
短回帰、目的変数と説明変数の関係を表す回帰式を求める、平方和、偏差積和、残差平方和、寄与率、標準化残差、テコ比
/解析学 ラグランジュ乗数法とは
制約条件下で関数の停留点を求める手法、等式制約、不等式制約、ラグランジュ関数、カルーシュ･クーン･タッカー条件
/数値計算 シンプソンの公式とは
数値解析における数値積分の方法の１つ、分割区間を２次関数で近似、台形公式、シンプソンの公式を導く
/金融・ゲーム理論 フォーク定理とは
無限回の繰り返しゲームにおいて協力解が均衡として成立、市場利率が十分に低くトリガー戦略を取った場合に現れる
/機械学習 サポートベクトルマシンとは
空間内の点の分類、目的変数、マージン、ラグランジュ未定乗数法、ラグランジュ関数、双対表現、カーネル関数
/代数学 二項定理とは
二項式のべき展開を表した式、二項定理を導く、数学的帰納法
/金融・ゲーム理論 ブラック･ショールズ方程式とは
派生証券、デリバティブ、ブラック･ショールズ方程式の導出、ブラック･ショールズの評価式、ヨーロピアン・コールオプション
/数値計算 ガウス･ザイデル法とは
連立一次方程式を反復法で解く手法、反復法、ヤコビ法、ガウス・ザイデル法、収束の条件
/幾何学 クリストッフェル記号とは
曲面座標（リーマン幾何学）での微分を表記するための記号、第１種、第２種、クリストッフェル記号を導く
/幾何学 ベクトルの公式
ベクトルの定義、ベクトルの分解、内積、ベクトルの微分演算、ベクトルの公式、位置ベクトルの公式
/特殊関数・他 ルジャンドル多項式とは
ルジャンドル方程式の特解、ルジャンドル多項式の母関数、ロドリゲスの公式、ルジャンドル多項式の直交性、漸化式
/機械学習 カルマンフィルタとは
離散的な誤差のある観測から時間変化する量を推定、状態モデル、事前推定値、事後推定値、時系列アルゴリズム、カルマンゲイン
/特殊関数・他 ラプラス変換とは
時間領域の関数を複素領域（周波数領域）の関数に写像する積分変換、逆ラプラス変換
/幾何学 ガウス・グリーンの定理とは
ガウス・グリーンの定理を導く、グリーンの定理を導く、ガウスの定理を導く
/解析学 コーシーの積分定理とは
正則関数の単純閉曲線上の積分が０になることを示す定理、コーシーの積分定理を導く、コーシーの積分表示を導く
/代数学 ユークリッド互除法とは
２つの正数の最大公約数を求めるアルゴリズム、拡張ユークリッド互除法、２つの正数と最大公約数の間の関係式
/情報・暗号 ハミング符号とは
データの誤りを検出・訂正できる線型誤り訂正符号、ハミング距離、情報信号、検査信号、エラー箇所の特定とエラー訂正
/幾何学 オイラー角とは
三次元空間の２つの直交座標系の関係を表す方法、回転行列、単位ベクトルの変換、任意のベクトル変換
/情報・暗号 情報源とは
事象の系列、ある事象の発生する確率が過去の事象に依存、情報源のエントロピー、情報源の冗長度
/機械学習 ニューラルネットワークとは
脳機能の特性に類似した数理的モデル、ニューロンとシナプスのネットワーク、ネットワーク関数、二乗和誤差、誤差逆伝搬法
/特殊関数・他 フーリエ変換とは
フーリエ級数、空間成分、時間成分、フーリエ積分定理、フーリエ余弦積分、フーリエ正弦積分
/解析学 フーリエ級数とは
フーリエ級数、三角関数での表示、指数関数での表示、フーリエ係数の収束、リーマン・ルベーグの定理、フーリエ級数の収束
/特殊関数・他 ベッセル関数とは
ベッセルの微分方程式、第１種ベッセル関数、ベッセル関数の母関数、ベッセル関数の漸化式
/金融・ゲーム理論 投資機会集合とは
投資家が選択できるリターンとリスクの組み合わせ、リスク低減、２資産の場合のリターンとリスク、相関係数、順相関、無相関
/論理・基礎論 ゲーデル数とは
数理論理式で用いられる論理式に対し一意的に割り当てられた自然数、原始記号、式系列、ゲーデル数を使うことで証明を形式化
/統計学 確率と統計（高校数学）
分散、標準偏差、相関関係、個数定理、和の法則、積の法則、順列、組合せ、期待値、二項分布、正規分布、標本平均
/解析学 初等関数の公式
初等関数の定義と関係式、指数関数、対数関数、三角関数、双曲線関数、加法定理、オイラーの公式、微分公式
/特殊関数・他 離散フーリエ変換とは
有限個の離散的な値に対するフーリエ変換、フーリエ級数から離散フーリエ変換の形を類推、離散フーリエ変換の性質
/統計学 期待値とは
ある確率変数に確率分布の重みをつけて足し合わせた加重平均、期待値、分散、共分散、相関係数
/代数学 固有値問題とは
あるベクトルの線形変換が元のベクトルのスカラー倍になるための条件、固有値、固有ベクトル、固有方程式、行列の対角化
/幾何学 ストークスの定理とは
ベクトル解析の基本公式、ベクトル場の任意の曲面の周回積分がベクトル場の回転の面積分に一致
/機械学習 決定木とは
機械学習、分類や意思決定の分岐を階層的に表した樹形図、学習アルゴリズム、多様性指数、ジニ係数、情報利得
/金融・ゲーム理論 部分ゲーム完全均衡とは
展開ゲームの全ての部分ゲームに対してナッシュ均衡を与える行動戦略の組、ゲーム理論
/統計学 推定とは（統計学）
帰無仮説、対立仮説、有意水準、標準化正規分布、第１種の過誤、第２種の過誤、点推定、区間推定、不偏推定量
/代数学 フェルマーの小定理とは
素数の性質についての定理、実用面でもRSA暗号に応用、フェルマーの小定理を導く、フェルマーの小定理の対偶
/金融・ゲーム理論 ポートフォリオのリターンとリスク
２銘柄のポートフォリオの場合のリターンとリスクを求める、無相関の資産を組み合わせたポートフォリオのリスクは低減される
/情報・暗号 RSA暗号とは
桁数が大きい合成数の素因数分解の困難さが安全性の根拠、公開鍵暗号、非対象鍵暗号、公開鍵、暗号化鍵、秘密鍵、複合化鍵
/統計学 検定とは（統計学）
帰無仮説、対立仮説、有意水準、標準化正規分布、第１種の過誤、第２種の過誤、母平均の検定、母分散の検定
/金融・ゲーム理論 二項価格評価モデルとは
株価の変化を上昇と下落に場合分けして将来の株価の推移を予測、現在のオプションの価値を推定する方法
/解析学 コーシー・リーマンの関係式とは
複素関数が正則であるための条件、正則関数、コーシー・リーマンの関係式を導く
/幾何学 反変ベクトルと共変ベクトル
反変ベクトル、共変ベクトル、基底ベクトル、スカラー積、計量、テンソル、座標変換
/機械学習 ｋ平均法とは
k-means 法、クラスタ分析、クラスタの重心との距離を最も小さくする基準でクラスタを形成、アルゴリズム
/幾何学 メネラウスの定理とは
直線が三角形の辺またはその延長と交わる点に関する関係式、メネラウスの定理の導出、多角形の場合のメネラウスの定理
/幾何学 ガウスの発散定理とは
ガウスの定理、ベクトル場の閉曲面上の面積分、ベクトル場の発散の体積積分、ベクトル解析
/情報・暗号 ブロック暗号とは
固定長さのブロックを同じ長さのブロックに変換する暗号化方式、ECBモード、CBCモード、CFBモード、OFBモード
/論理・基礎論 述語論理とは
「任意の」と「適当な」という変数の範囲を表す語により推論を行う、公理系、ド・モルガンの法則