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

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