今日も仕事が無いといいなと思いながら出勤（ぉ でも残念なことに社長が仕事を3つもくれる。１．HDDがブートしないから何とかしろ ２．顧客のページのCGIを改造しろ ３．OpenVPNの導入実験しろ 取りあえず1つ目から片付けていくことにする。

朝というか昼ごろに起きて教授に会ったところ、モデル検査の本が出てると教えられる。 教授が持っていたので、少しだけお借りして中身を見る。 どうやら産業技術総合研究所システム検証研究センターが出版したらしく、日本語だったので読みやすかった。 取り…