Similar to 型理論
アレフ数
Aleph number
アレン＝カーン方程式
Allen–Cahn equation
アロンシャイン木
Aronszajn tree▲1 trends
暗号理論
Cryptography
暗黒通信団
Darkside communication group
暗算
Mental calculation
アンサンブルカルマンフィルタ
Ensemble Kalman filter
暗数
Dark figure of crime
アンスコムの例
Anscombe's quartet
安全素数
Safe prime
イゴール・アンゾフ
Igor Ansoff
アンダーソン–ダーリング検定
Anderson–Darling test
安定曲線
Stable curve
安定結婚問題
Stable marriage problem
Nullable型
Nullable type
Option型
Option typeSystem F
System F
値 (計算機科学)
Value (computer science)
依存型
Dependent type
カインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)サブタイピング (計算機科学)
Subtyping
始代数
Initial algebra