形式手法はじめました！ （その1：はじめようと思った編） - Qiita

# はじめに 形式手法という技術がなにやら面白そうですので、勉強してみたいと思います。 なんか面白いことができそう、ポテンシャル高そう、エッジな技術という印象です。 # 形式手法とは 数理論理学等に基づき品質の高いソフトウェアを効...