Similar to 時相論理
暗算
Mental calculationアンサンブルカルマンフィルタ
Ensemble Kalman filter暗数
Dark figure of crimeアンスコムの例
Anscombe's quartet安全素数
Safe primeイゴール・アンゾフ
Igor Ansoffアンダーソン–ダーリング検定
Anderson–Darling test安定曲線
Stable curve安定結婚問題
Stable marriage problem安定写像
Stable map安定性理論
Stability theory安定多様体
Stable manifold安定分布
Stable distribution安定ホモトピー理論
Stable homotopy theory▼-1 trends仕様及び記述言語
Specification and Description Language形式手法
Formal methodsB-Method
B-MethodCICS
CICSCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+VDM
Vienna Development Method概念実証
Proof of concept型付きラムダ計算
Typed lambda calculusグレブナー基底
Gröbner basis