Similar to 直観主義型理論
アルバネーゼ多様体
Albanese variety
アルファシェイプ
Alpha shape
アルファ・ベータ法
Alpha–beta pruning
アルファベット (計算機科学)
Alphabet (formal languages)
レオン・バッティスタ・アルベルティ
Leon Battista Albertiアルマゲスト
Almagest
アレクサンダー多項式
Alexander polynomial
アレクサンダーの角付き球面
Alexander horned sphere
アレクサンダーの定理
Alexander's theorem
アレクサンドリアのメネラウス
Menelaus of Alexandria
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
パヴェル・アレクサンドロフ
Pavel Alexandrov
アレクサンドロフ拡大
Alexandroff extensionアレクサンドロフの定理
Alexandrov theorem
アレフ数
Aleph number
アレン＝カーン方程式
Allen–Cahn equation
ナフマン・アロンシャイン
Nachman Aronszajn
アロンシャイン木
Aronszajn tree▲1 trends
型理論
Type theory
Nullable型
Nullable type
Option型
Option typeSystem F
System F値 (計算機科学)
Value (computer science)
依存型
Dependent typeカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
