Windows GHC でText.regex を使おうとすると，regex-posix モジュールをロード時に次のようなエラーがでる． Loading package regex-posix-0.94.2 ... linking ... done. regex-posix はregex-posix-0.94.4 をインストールしているのだが，なぜか古いほうの …

CNF を自動計算するモジュールがほしかったのだけど，なかなか見つからなくて，ProcLogic にいきついた．ただProcLogic がバグだらけで理想どおりに使おうとすると苦労したんだけど，とりあえず以下のように書くととりあえず，できたので，メモ程度に残して…

そもそもテストとは何なのか？テストを一言で言うのは難しい．なぜなら，テストはいくつかの側面をもつからである．以下にテストが果たす役割の側面について考える．論文や新しいテスト技法を考えた時には，それがテストのどの側面に貢献するものなのかをこ…

Definition [Positive Normal Form (release PNF)]For a ∈ AP, LTL formulae in release positive normal form (release PNF, or simply PNF) are given by ϕ ::= true | false | a | ¬a | ϕ ∧ ϕ | ϕ ∨ ϕ | ○ϕ | ϕ U ϕ | ϕ R ϕ