TLA+

ボウリングの第 10 フレームの定式化を Alloy と TLA+ (PlusCal) でやってみる Alloy と TLA+ (PlusCal) の使い方が徐々にわかってきたので，実際に仕様を書いてみます． ボウリングの第 10 フレーム...