niszetの日記

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

2020-04-26から1日間の記事一覧

メモ(4/25)

最近はPandocのことを考えないようにしていたんですが、LT用の資料を作ろうと思って頭を使い始めたら色々出てきたので整理中です。 Pandocに関係して今考えていることは大きく分けるとこんな感じに分類されます。 「初心者にわかりやすい書籍」はどのように…

モデル検査[初級編]を読んだ

さすがに4日では厳しい感ある そんなわけで、NuSMVだけですがこの本を使ってモデル検査の入門をしました。 www.kinokuniya.co.jp Spinはちょっと環境を整えるところが面倒くさいな…ということで一旦放置中。NuSMVとちょっと動きが違うようなので、その差異は…