形式手法のサンプルの愚

形式手法がなかなかはやらない。俺はサンプルが悪いのだと思う。いつも通常の開発でもできそうなものばかり。この歯痒さは超能力がいつも手品でできることしかできないトホホ感に近い。あっと驚くサンプルがほしい