http://d.hatena.ne.jp/m-hiyama-memo/20100109/1263025526 http://d.hatena.ne.jp/m-hiyama-memo/20120210/1328853295 これらの続き。いやいやいや、コゥゼン代数やっぱり非常に便利だわ。コゥゼン代数（Kozen algebra）は僕の命名で、コゥゼン自身は terms…

次のようなtyping rulesを設けたとする。 Γ ⇒ f:: A->B Γ ⇒ g:: C->D Γ ⇒ B⊆C ------------------------[パイプ] Γ ⇒ (f | g):: A -> D Γ ⇒ x∈B Γ ⇒ f:: A-> B ------------------------[変数生成] Γ ⇒ (f > x) :: A-> B Γ ⇒ x∈B ------------------------[…

式の構成に従って型付けするが、その構成法は： パイプ |と; 配列構成 [,] オブジェクト構成 {,} タギング @ 変数生成 > 変数参照 % each each --obj 単なるeachと挙動が違う take when分岐 case分岐（難しい） cond分岐はやらない beginブロック repeat cal…