や樋口一葉の描きかた。

s k s :: (a -> b -> c) -> a -> b -> c s k k :: a -> as f g x = f x (g x) k x y = x -- s :: (a -> b -> c) -> (a -> b) -> a -> c -- k :: a -> b -> a -- s: c == a -- s k :: (a -> b) -> a -> a -- s k: a == (a -> b -> c), b == ((a -> b) -> a ->…

明け方微睡んでいると、「ことえり」という言葉が浮かんできて、由来が「言選り」だろうと気づいた*1。 SKK 由来がSKK=Iからというのは、3文字目に全く意味がないところがしっくりこない。True or False = Trueという有名な等式から、True or False と名付け…