niszetの日記

アナログCMOS系雑用エンジニアが頑張る備忘録系日記

勉強

NuSMVを使ってみたのでメモ

モデル検査に入門しているのです。 色々あって、モデル検査[初級編]を読んでます。出版社さんのサイトはこちら。今はAmazonの在庫があるのかな?なければyodobashiとか色々選択肢はあるはず。まだ在庫はあると思うので。 www.kindaikagaku.co.jp ちょっと古…

Haskellの勉強中(勉強記録メモ)

昨日の続き。 昨日書いたコードに対して、showをいじってみる。 instance Show Atom where show s = "Hoge" などとすると、Atom型は常に"Hoge"と表示される。このとき、元々の定義、newtype Atom = Atom String deriving Show の deriving ... は消しておく…