日々の流転

λ. variance

On Variance-Based Subtyping for Parametric Types では fixed-variance を bivariance と呼んでいるようだ。

λ. 『女王の百年密室』ラジオドラマ

そういえば明日からですね。http://www.nhk.or.jp/audio/prog_se_future.html

『女王の百年密室』（全10回）

【放送日】

2月17日(月)〜2月21日(金) 22:45〜23:00（1-5回）
2月24日(月)〜2月28日(金) 22:45〜23:00（6-10回）

原作：

森博嗣

脚色：

富永智紀

選曲：

伊藤守恵

演出：

大久保篤

技術：

糸林薫

効果：

島津楽貴　木村充宏

出演：

高山みなみ　島本須美　八代駿　柴田秀勝　高戸靖広　水澤心吾　佐藤友紀

あらすじ：

時は２２世紀。全てがコンピュータで管理される世界。ナビの故障で道に迷ってしまったフリーライターのサエバ・ミチルとロイディは、女王が統治する幸福で豊かな楽園「ルナティック・シティ」にたどり着く。犯罪にも無縁の理想郷のような世界…だがある日、王子が女王の塔で殺される。そこは完全なる密室だった。調査を開始するミチルとロイディだったが、住民たちは誰も「殺人」の存在さえ認めない。この街にはそもそも「死」の概念がなかったのだ。誰が、どうやって、何のために？ミチルの調査が「神」にたどり着いた時、シティ創立の秘密を含め全ての謎が明らかとなる。

λ. 正格性フラグ

hugs98-Dec2001が以下のプログラムでsegmentation fault。これはまぁ仕方ないと思うのだけど、GHC-5.04.2でコンパイルして実行したら「Fail: <<loop>>」とか言って停まってくれて少し驚いた。でも、どうせならコンパイル時に検出できないものかな。

data Nat = Zero | Succ !Nat deriving Show
 
main = print.show $ infinity where
  infinity = Succ infinity

【2006-09-20追記】 ちなみに、これでループを検出するのは実行時のブラックホール化(black holing)の仕組みによる。

λ. 読書

『妖しのセレス—天空お伽草子 (7) 』

『妖しのセレス—天空お伽草子 (8) 』

『妖しのセレス—天空お伽草子 (9) 』

渡瀬 悠宇 [著]