正直自分の中で一番気になることであったのだが、近代科学社の Bメソッドによる形式仕様記述という本にばっちりと書いてありましたまだ本自体を読み込んでないので解らないが、ぱっと見たところかなり簡単に書かれていてびっくりした

とある事情で企業と共同研究をさせていただいているのですが、 その共同研究で扱っている形式仕様言語は陰定義と陽定義があるで今日は時間が中途に余ったので勉強をしようということになった私はその他の形式仕様言語を使ったことがあるのですが、その言語に…