とある事情で企業と共同研究をさせていただいているのですが、
その共同研究で扱っている形式仕様言語は陰定義と陽定義がある
で今日は時間が中途に余ったので勉強をしようということになった
私はその他の形式仕様言語を使ったことがあるのですが、その言語に使って仕様を書くのは初めてでした。その後、簡単な問題を出してもらい（その企業のものなのでここには残念ながら書けない）関数を作成中に色々とアドバイスを出してもらい、陰定義の本質をわずか３０分程度で教えてくれた。
非常に分かりやすくてとてもいい勉強になった。
このような勉強の場を与えてくれた先生に感謝したい。
