この間買った「4日で学ぶモデル検査 初級辺」がかなりの誤植があることが判明。 Spinは手をつけていないが、NuSMVのところを見るとかなりの間違えがある。 中には例題のソースコード通りだと動かないものまであり、学んでいるはずの私が大まかな予想をつけて…

学校に行って成績を貰わねばと思いながらもいつもどおりに6時に寝る。 そして、10時の目覚ましを止めて軽く目を瞑り起きる。 そして携帯を開けると 13:27 ( ﾟдﾟ) (つд⊂)ｺﾞｼｺﾞｼ (；ﾟдﾟ) (つд⊂)ｺﾞｼｺﾞｼ _, ._ （；ﾟ Дﾟ）念のため横の時計を見ると短針長針ともに…