Graphillion で遊んでみた。 やったこと 有限集合上の半順序の個数を数えてみた(cf. OEIS A001035)。これを効率的に求めるのは未解決問題らしい。ちなみに有限集合上の位相の個数を数える問題とだいたい同じ。要素数 n を固定して，Graphillion を使って [1.…