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