日々の流転

λ. 読書

『半分少女』

流星ひかる[著]

『屈折リーベ』

西川魯介[著]

λ. 向井研

代数の話がサッパリわからない。チャネル理論は今日は Distributed System の話。きちんと話についていけているのはチャネル理論だけかも……

λ. 構造的・摩擦的失業率は4%もあるのか?

を読んだ。(黒木のなんでも掲示板より。)

λ. monadとF,G-dialgebra

monadとF,G-dialgebraについて分かったような気がする。気がするだけかも。

λ. かけ算のような物

そういえば、有野さんが「かけ算のような物、という言葉で説明しているのは、 おおざっぱに言えば直積、A*Aから、Aへの写像全般な訳です」と書いている「掛け算のようなもの」とは、product functor Id×Id T(A)=A×A, T(f)(x,y)=(f(x),f(y)) であるような endo-functor T によって定義される T-algebra 全般になるのかな。

λ. Generic Programming - An Introduction -

Backhouse, Jansson, Jeuring, and Meertens による ``Generic Programming - An Introduction -'' (summer school on Advanced Funcational Programming 1998 の Lecture notes, http://www.cs.chalmers.se/~patrikj/poly/afp98/) の第二章にあたる部分の summary です。

使っている概念は圏論のものであるにも関わらず、 圏論という言葉が一度も出てきていないのが少し不思議。

ふむ。functorにも、polynominal functor や regular functor といったクラスがあるのか。

λ. ごはん

今日もあろ〜む