プログラミング

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