/幾何学 メネラウスの定理とは
直線が三角形の辺またはその延長と交わる点に関する関係式、メネラウスの定理の導出、多角形の場合のメネラウスの定理
数学
/幾何学 
/幾何学 極座標と円柱座標
球座標、円筒座標、直交曲線座標、微小体積、勾配、分散、回転、ラプラシアン
/幾何学 ガウスの発散定理とは
ガウスの定理、ベクトル場の閉曲面上の面積分、ベクトル場の発散の体積積分、ベクトル解析
/情報・暗号 ブロック暗号とは
固定長さのブロックを同じ長さのブロックに変換する暗号化方式、ECBモード、CBCモード、CFBモード、OFBモード
/論理・基礎論 述語論理とは
「任意の」と「適当な」という変数の範囲を表す語により推論を行う、公理系、ド・モルガンの法則
/解析学 ロルの定理とは
ロルの定理、ロルの定理を導く、平均値の定理、平均値の定理を導く
/代数学 クラメルの公式とは
連立１次方程式の解を行列式により求める手法、余因子、余因子行列、逆行列の公式を導く、クラメルの公式を導く
/情報・暗号 ディフィ・ヘルマン鍵交換とは
DH鍵交換、暗号化に用いる共通秘密鍵を生成・共有するためのプロトコル、離散対数問題が困難であることに基づく
/統計学 正規分布とは
平均値を中心としたデータのバラつきを表す分布、ガウス分布、誤差分布、正規分布の標準化、標準偏差、標準分布の特徴
/情報・暗号 シャノンの通信路定理とは
雑音のある通話路の基本定理、誤りのない情報の伝送速度を通話路容量に近づけられることを示した定理、情報伝達速度
/代数学 環論とは
加法と乗法の二項演算を備えた代数系、整数と似た性質を持つ、有理整数環、イデアル、剰余環
/特殊関数・他 ガンマ関数とは
階乗 の概念を複素数全体に拡張した特殊関数、ガンマ関数の定義式、ガンマ関数の公式
/数値計算 ラグランジュ補間法とは
離散的なデータ間の値の近似を行う手法、与えられた全ての点を通る多項式を求める、関数補間、ラグランジュ補間法を導く
/金融・ゲーム理論 モジリアーニ・ミラー理論とは
MM理論、企業価値保存の法則、企業価値は資本構成に無関係、完全市場の仮定、無裁定の仮定
/金融・ゲーム理論 ゲーム理論とは
戦略形ゲーム、展開形ゲーム、協力ゲーム、同時進行ゲーム、交互進行ゲーム、情報完備、ゲーム理論の事例、囚人のジレンマ
/解析学 【高校数学】微積分の公式
導関数、不定積分、定積分、接線と法線、平均値の定理、速度と加速度、置換積分法、部分積分法、区間積分法、面積と体積
/情報・暗号 情報量とエントロピー
情報量の定義、知識の不可実さ、問合せの回数、ビット、情報量の加法性、情報のエントロピーの定義
/数値計算 ベアストゥ法とは
一般的な多項式の根の全てを求めることができる数値計算法、多項式から２次の多項式で因数分解、剰余を０にする手順
/幾何学 直交曲線座標とは
座標変換の不変量、計量の定義、直交条件、微小体積、ベクトルの微分、勾配、分散、回転、ラプラシアン
/数値計算 ニュートン法とは
高次方程式の根を求めるための数値計算法、関数が単調に増加または減少している範囲で有効、２分法
/論理・基礎論 命題論理とは
命題・論理式、論理記号、含意・否定・同値・論理和・論理積、公理系、推論規則、背理法、ド・モルガンの法則
/解析学 関数と方程式（高校数学）
２次関数、解の公式、判別式、２次不等式、逆関数と合成関数、分数関数、無理関数、複素数、ド･モアブルの定理、極限、無限級数
/情報・暗号 情報伝送速度とは
ノイズのある通信路で送信することのできる単位時間当たりの情報量、不確定度、あいまい度、相互情報量
/解析学 テイラー展開とは
関数のある一点での導関数の値から計算される項の無限和、マクローリン展開、初等関数の級数展開
/論理・基礎論 チャーチ・チューリングの定立とは
計算可能な関数とチューリングマシンで計算できる関数は同じ、帰納的関数、計算システムの等価性
/幾何学 リッチテンソルとは
歪んだ空間の球体と平らな空間の球体との差を表す量、リーマン曲率テンソルの縮約、対称性、スカラー曲率、ビアンキの関係式
/論理・基礎論 チューリングマシンとは
計算を行うための基本的な機能が定義された仮想的な装置、制御部（ヘッド）、記憶部（テープ）、万能チューリングマシン
/特殊関数・他 エルミート多項式とは
エルミート多項式の母関数、エルミート多項式の一般項、エルミート微分方程式、直交条件、諸公式の導出
/金融・ゲーム理論 マックスミニとミニマックス
マックスミニ戦略は各選択肢の最悪の利得を最大にする戦略、ミニマックス戦略は各選択肢の最悪の損失を最小にする戦略
/金融・ゲーム理論 伊藤の公式とは
確率微分方程式の確率過程、ウィーナー過程、ランダムウォーク（ブラウン運動）、一般化ウィーナー過程、伊藤過程
/幾何学 リーマン曲率テンソルとは
空間の曲率を表すテンソル、平らな空間の場合は０、共変微分、リーマン曲率テンソルの導出、対称性
/数値計算 ルンゲ・クッタ法とは
現在の値から次の値を求める過程で複数の中間的地点の値を利用、４次の公式、６次の公式、ルンゲ・クッタ・ギル法
/金融・ゲーム理論 資本資産価格モデル（CAPM）とは
CAPM、期待投資収益率と価格の関係、資本市場線、証券市場線、シャープレシオ、トレイナー尺度、ジェンセンのアルファ
/代数学 群とは
半群、可換群、部分群、置換群（対称群）、巡回群、直積群、直交群、回転群、点群、空間群、ユニタリ群、特殊ユニタリ群
/統計学 相関分析とは
２つのデータ群の関係性の強さを評価する分析手法、相関係数、母相関係数、ｒ分布、ｔ分布、相関分析の手順、検定と推定
/機械学習 重回帰分析とは
目的変数（従属変数） と説明変数（独立変数） の間に定量的な関係、回帰式、残差、回帰式の導出と評価、寄与率、テコ比
/情報・暗号 通話路容量とは
通話路の能力を表す量、１秒当たりのビット数、報伝達速度、情報量、エントロピー、平均伝送時間
/幾何学 ビアンキの関係式とは
ビアンキの恒等式、リーマン曲率テンソル、クリストッフェル記号、共変微分、添え字の巡回置換
/解析学 共変微分とは
曲線座標においてテンソルとなる微分、テンソルの条件、反変微分はテンソルではない、共変微分はテンソルである
/金融・ゲーム理論 効率的フロンティアとは
同じリスクに対しリターンが最大となる曲線、効用無差別曲線、最適ポートフォリオ、接点ポートフォリオ、トービンの分離定理
/機械学習 ベイズの定理とは
ある事象の確率 を関連する条件の知識に基づいて求める手法、加法定理と乗法定理、ベイズの定理を導く、ベイズ推定
/統計学 分散分析とは
データ集合の間の差異が誤差範囲かどうかを判定、データ構造式、総平方和、グループ間平方和、誤差平方和、分散、統計検定量
/情報・暗号 リトルの公式とは
定常的な待ち行列システム、系内の平均客数と平均滞在時間の関係、平均待ち行列長と平均待ち時間の関係
/情報・暗号 エルガマル暗号とは
位数が大きい離散対数問題の困難さ安全性の根拠、公開鍵暗号、暗号化と複合化、公開鍵の作成
/特殊関数・他 変分法とは
汎関数が極値となるための関数を求める手法、オイラーの微分方程式、複数変数の場合、複数関数の場合、高階微分の場合
/金融・ゲーム理論 ナッシュ均衡とは
他のプレイヤが戦略を変えない限り自分の戦略を変える動機を持たない状態、純粋戦略、混合戦略、支配戦略、最適反応戦略
/金融・ゲーム理論 ナッシュ交渉解とは
交渉ゲームでの交渉の妥協点がもつ性質、パレート最適性、対称性、得の尺度や原点からの独立性、無関係な結果からの独立性
/機械学習 主成分分析とは
互いに相関のある多数の変数から相関のない少数の合成変数（主成分）に要約、主成分の導出、寄与率、累積寄与率、因子負荷率
/代数学 中国の剰余定理とは
整数の剰余に関する定理、中国の算術書「孫子算経」に由来、ユークリッド互除法
/特殊関数・他 球面調和関数とは
ラプラスの方程式の変数分離解、同次関数、体球関数の母関数、第１種のルジャンドル陪関数、球面関数の直交性