Similar to 直観主義型理論
安定結婚問題
Stable marriage problem安定写像
Stable map安定性理論
Stability theory安定多様体
Stable manifold安定分布
Stable distribution安定ホモトピー理論
Stable homotopy theory▼-1 trendsアンティポン
Antiphon (orator)鞍点
Saddle point▲1 trends安藤毅 (数学者)
安藤有益
アンドリカの予想
Andrica's conjectureジョージ・アンドリューズ
George Andrews (mathematician)アンの定理
Anne's theoremアンビリック・トーラス
Umbilic torusイマナント
Immanant▲1 trendsEMアルゴリズム
Expectation–maximization algorithmEKG数列
型理論
Type theoryNullable型
Nullable typeOption型
Option typeSystem F
System F値 (計算機科学)
Value (computer science)依存型
Dependent typeカインド (型理論)
Kind (type theory)型クラス
Type class型消去
Type erasure型推論
Type inference型付きラムダ計算
Typed lambda calculus