1.1 Order 一般的な順序の例から、順序の紹介。 transitivity, antisymmetric, strict, non-strict, comparabilityについて軽く。 1.2 Definitions orderの定義。reflexivity, antisymmetry, transitivity。 ordered set (= partially ordered set = poset) …

さっそくIntroduction to Lattices and Orderを読む。 最初の方は以前読んだことがあるが、再度一番初めから。 第一印象としては大変初心者に優しい導入になっている。 でOrderd setsの話。 順序ってなんだっけ？と。 順序関係と、そのほかの関係の違いって…

http://d.hatena.ne.jp/bonotake/20071028/1193584460 haskellでちょっとやってみた。 evalとカリー。 (***) :: (f -> f1) -> (g -> g1) -> (f,g) -> (f1, g1) (f *** g) (a, b)= (f a, g b)eval :: (a -> b, a) -> b eval (ba, a) = ba af :: (Int, Int) ->…