ヒビルテ(2005-03-27)

日々の流転

2005-03-27 [長年日記]

λ. Traced Premonoidal Categories - Nick Benton and Martin Hyland

メモ。 Haskell の Arrows でいう ArrowLoop クラスが、traced premonoidal category に相当する。premonoidal category 一般については Premonoidal categories and notions of computation を見よ。

Tags: 論文圏論 haskell

λ. キチガイ将棋戦法

http://d.hatena.ne.jp/yaneurao/20050328#p1 より。

面白すぎ。将棋はしばらくやってないけど、またやりたいなぁ。

[ツッコミを入れる]


		2005年 3月
日	月	火	水	木	金	土
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31

日々の流転

2005-03-27 [長年日記]

λ. Traced Premonoidal Categories - Nick Benton and Martin Hyland

λ. キチガイ将棋戦法

プロフィール

カレンダー

日記内検索

タグ

最近のツッコミ

最近のトラックバック

この日記と連携する

アンテナ等