日々の流転

λ. 『同盟を考える—国々の生き方 』, 船橋 洋一

読了。法理論的またはイデオロギー的な議論ではなく、現実主義的で生々しい安全保障と国益追求の視点で、冷戦後の変容しつつある同盟関係を読み解く、良書だと思う。安保を議論する全ての人に読んで欲しいな。

λ. "Type Classes with Functional Dependencies", Mark P. Jones

multi-parameter type class と functional dependency を提案した論文。functional dependency は名前からしてそうかなとは思ってたけど、やっぱり関係データベースに由来していたか。

[2005-04-28 追記] あと、この論文とは関係ないけど、multi-parameter type class はMPTCと略されることもあるようだ。