やったこと

日常

寒い。突然寒くなりすぎだと思う。どうしたものか‥‥。

Nominal

NominalのL*がons-hsだとやたら早い理由がようやく判明した。
Haskellの実装の都合上あらゆるところがsortedになっているので、その結果短かいものから扱われて、結果的に高速になっていたっぽい。
同じように、closedやconsistentにする際に追加するprefix/suffixを短いものから優先するようにしたら、同様の結果になった。

もう少し最適化したいのでNSortedSetみたいな型を追加しよう。