Haskell の QuickCheck. DFA に対する処理が妥当かどうか、という観点で論理的に満たすべき性質、を書いてみた。最初の関数はユーティリティ。QuickCheck がデフォルトで作ってくれる、ランダムな Int の配列を、特定の DFA のアルファベットの配列に変換し…