日々の流転

λ. Representing Cyclic Structures as Nested Datatypes by Makoto Hamana (浜名 誠), Neil Ghani, Tarmo Uustalu and Varmo Vene

を読んだ。de Bruijn encoding のテクニックを一般化して、循環的なデータ構造を nested data type として表現する話。循環にのみ着目して共有については扱っていない。代数にするのは自明なのに、余代数にするにはコンテキストの概念が必要になるのが、少し不思議に感じた。

【2007-08-25追記(2006-10-02に追記しようとして忘れてた内容)】 循環的データ型の余代数的な位置づけを考えた。 FinSetを有限集合だけに制限したSetの部分圏とする。

1. FinSetには有限のダイアグラムの余極限が存在する
2. FinSetはcowellpowered
3. FinSetではhom-setは常に有限

Adámekらの議論から、FinSet^∞ (= free cocompletion of FinSet w.r.t. for all finite colimits) には、F: FinSet→FinSet を拡張した ω-accessible (finitary) な関手 F^∞: FinSet^∞→FinSet^∞ の終余代数が存在する。 この終余代数で循環的なデータ型を解釈出来るはず。

【追記】 ……というような話をもっとちゃんとしたのが、Monads of coalgebras: rational terms and term graphs に載っているような気がする。

λ. 『マルチコアCPUのための並列プログラミング—並列処理&マルチスレッド入門』

メモ。 萩野研の元女帝、安田絹子陛下の新しい本。

λ. 「真紀子節」炸裂も空回り　安倍首相、冷静にかわす　衆院予算委

衆院予算委で田中真紀子氏が外交を色々と批判しているのをテレビで見ていたが、「あなたが外務大臣だったとき何をしたよ?」と心の中でツッコミをいれたのは私だけではあるまい。

参考: Wikipedia:田中真紀子