Similar to 仕様記述言語
暗号理論
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
CICS
CICS
Communicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式体系
Formal system
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic