Similar to ギルモアのアルゴリズム
アル＝カーシー
Jamshid al-Kashi
アル＝カラジ
Al-Karaji
アルキタス
Archytas
アルキメデス
Archimedes▲4 trends
アルキメデスの螺旋
Archimedean spiral
アルキメデス・パリンプセスト
Archimedes Palimpsestアルクィン数
Alcuin's sequence
アルゴリズム情報理論
Algorithmic information theory
アルゴリズム的ランダムな無限列
Algorithmically random sequence
アルゴリズム的確率
Algorithmic probability
ワリード・アルサラム
Waleed Al-Salam
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods
CICS
CICSGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
形式仕様記述
Formal specification
形式的検証
Formal verification
