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
形式手法
Formal methods
CICS
CICS
Guarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式体系
Formal system
