リディアのレベル50達成。 しかし、未だに隠し召還のゴブリンもコカトリスも出ない。 はたしてレベル60までにどちらか出るのだろうか・・・。

先輩がインターンに行く前に、資料として産業技術総合研究所でモデル検査の講座を受けたときにもらった資料を借りる。 NuSMVの日本語資料はほとんど読んだことがなかったので、サンプルソースを見てほぼ独自読解してたわけなのだが、 非常にわかりやすかった…