TypeScriptTypeScript でシーケント計算自動化(トークン化編) 命題論理のシーケント自動計算機 - Tokenizer の実装 やりたいこと シーケント計算自動化 形式手法を使えるようになりたいと思って何度か Alloy に取り組んでみましたが,根本的に数理論理学がわかっていないので,一旦数理論理学を勉... 2020.08.11TypeScript数理論理学