Alloy【形式手法】ボウリング第 10 フレームを Alloy と TLA+ (PlusCal) で定式化
ボウリングの第 10 フレームの定式化を Alloy と TLA+ (PlusCal) でやってみる Alloy と TLA+ (PlusCal) の使い方が徐々にわかってきたので，実際に仕様を書いてみます． ボウリングの第 10 フレーム...
2020-08
AlloyYouTubeStrange Loop の動画で形式手法の事例をみる
自宅で熟成させている TLA+ の書籍の著者名でググったり YouTube の動画を探したりしているといくつか出てきました． その中で，Alloy も含めて形式手法の事例の紹介の動画が見つかったので，その動画の大本になっている "...
TypeScriptTypeScript でシーケント計算自動化（トークン化編）
命題論理のシーケント自動計算機 - Tokenizer の実装 やりたいこと シーケント計算自動化 形式手法を使えるようになりたいと思って何度か Alloy に取り組んでみましたが，根本的に数理論理学がわかっていないので，一旦数理論理学を勉...