トップ «前の日記(2002-06-06) 最新 次の日記(2002-06-09)» 月表示 編集

日々の流転


2002-06-07 [長年日記]

λ. 読書

『半分少女』
流星ひかる[著]
『屈折リーベ』
西川魯介[著]
Tags:

λ. 向井研

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

λ. monadとF,G-dialgebra

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

Tags: 圏論

λ. かけ算のような物

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

Tags: 圏論

λ. 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 といったクラスがあるのか。

Tags: URL 論文

λ. ごはん

今日もあろ〜む