Similar to 概念実証
ボリュメトリックビデオ
ミュートスコープ
Mutoscope
ムービートーン
Movietone sound system
モーション補間
Motion interpolation
ルーマ
Luma (video)
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
CICS
CICSCommunicating Sequential Processes
Communicating sequential processes
DPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式体系
Formal system
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus