2008-09-18から1日間の記事一覧

陰定義

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