Similar to ビリヤードボール・コンピュータ
ラムダ計算
Lambda calculus
ループ不変条件
Loop invariant
論理プログラミング
Logic programming
セーフティクリティカルシステム
Safety-critical system
Janus (可逆プログラミング言語)
Janus (time-reversible computing programming language)
トフォリゲート
Toffoli gate
フレドキンゲート
Fredkin gate
ロールバック
Rollback (data management)