日々の流転

λ. representing algebraic data types in OOP

その表現方法は良く使いますよね。実は似たような事を最近考えていたのですが、その時はconstructorの追加によるsupertypingをOOPの方でどう表現するか悩みました。

λ. 読書

『ブレスオブファイア PART2』

ハヤト コウジ [漫画], 沢村 烈 [原案協力]

λ. 君に言えなかったあの一言が今も心残り。

λ. とりあえず、食っては寝ての、健康的でなければ知的でもない春休み。

λ. 御神本(笑)

が三田に配架されている事に気が付く。(請求番号: A@410.9@Ya2@1-1)

誰か読んだ人がいたら、感想を聴かせて欲しいところ。

λ. ロリータ?

どうでも良いのですが「アダルトロリータ画像」って何か激しく矛盾してませんか?

λ. colist

1/2にcolistについて書いたけど、charityにはそのものズバリのものがあった。

data SF(A) -> C = ss: A -> C
                | ff: 1 -> C.
 
data C -> colist(A) = delist: C -> SF(A*C).

ただ、"Strong Categorical Data Types I"の方では、 head: colist -> X と tail: colist -> coprod(1,colist) によって定義していて、 こっちは空でないリストだけを表している。

λ. 読書

『ブレス オブ ファイア 1』

『ブレス オブ ファイア 2』

ハヤト コウジ [漫画], 沢村 烈 [原作]

λ. Ruby-GNOME2

に久しぶりにさわる。自分が書いたコードをすっかり忘れていて焦った。

RubyスレッドのスケジューリングをGSourceを使って何とか出来ないか試してみたが、どうもダメそうな感じ。

λ. 今朝の夢

どっかの温泉に行く夢。いい湯だった。ちなみに混浴ですた(笑)

λ. アッカーマン関数

CPLでアッカーマン関数の続き。萩谷先生の「止まれ」という記事にも、Ackermann関数も、primitive recursiveな汎関数としてならば定義することができると書いてあった。さらに、任意のprimitive recursiveな汎関数が停止するということから、Peano算術の形式体系としての無矛盾性を導くこともできるという事が書いてあって感嘆する。すごいものだなぁ。

λ. キノの旅 6

『キノの旅 Ⅴ』

時雨沢恵一[著] 黒星紅白[イラスト]

「祝福のつもり」を読んで、何とも言えない気持ちに駆られる。

λ. category of Chu spaces

これまで「classificationとinfomorphismの圏」とか適当に呼んでたけど、 名前はちゃんとあったようだ。

The category whose objects are classifications and whose morphisms are infomorphisms is sometimes called the category of Chu spaces, or the “Chu over Set” category.

λ. infomorphism vs adjunction

ところで、infomorphismの条件「f^∨(b) ⊨_A α iff b ⊨_B f^∧(α) 」って、adjointの条件「Hom_A(F(X),Y) ≅ Hom_B(X,G(Y))」と似てるな、とふと思った。

これって、例のInstitutionではfunctorがinfomorphismに相当するって話と何か関係ある?

λ. 読書

『吸血遊技(ヴァンパイアゲーム) 2』

『吸血遊技(ヴァンパイアゲーム) 4』

Judal [著]

λ. RHG

いちおう読了。読んで良かったです。だからといって、いきなり明日からRubyをハックできるようになるかと言ったら、そんな事は無いですが。……というか、正直、よくこれだけの物をメンテナンス出来てるよなぁ。ruby-devの常連さん達が如何に人間離れしてるか分かったような気がする。

λ. variance

O'Haskellでは全ての型構築子(type constructor)はvarianceを持っている。おそらく、subtypeの判定時にはCPLのCSL(Categorical Specification Language)と同様の計算を行っているはず。他にvarianceの概念を明示的に用いているものにはどんなものがあるだろうか?

λ. 祖母が亡くなった。

病院に残っていた親父から9時過ぎに「血圧が下がってきてるから……」という電話があったので病院に駆け付けたのだけど、病院に着いた時には既に心臓が停まってしまっていた。頬に手を当てるとまだ温もりが残っているのに、見た目は今までとほとんど変わらないのに、それなのに、それなのに心臓はもう動かないのだと思うと、何だかやるせない。

近くの親族が皆集まって、それから白い布を顔に被せたのだけど、それで初めて「死んでしまったんだな」と思った。

λ. その後、葬儀屋さんと諸々の打ち合わせ。決めなくちゃいけないことが随分沢山あって、家に帰ったのは1時過ぎ。

λ. 読書

『天国に涙はいらない 6 - 狐の夜滅入り』

『天国に涙はいらない 7 - 魔女爺合戦(へくせんやかっせん)』

佐藤ケイ[著] さがのあおい[イラスト]

λ. 明日のナージャ

なんとか早起きして、石川さん、なかださん絶賛の「明日のナージャ」を見た。結構良かったです。

λ. お通夜

.

λ. 読書

『仙術師はくじけない—恋愛中毒的仙術師』

『仙術師は恋におぼれる—恋愛中毒的仙術師』

川添 真理子 [画], 甲斐 透 [原作]

λ. 告別式

.

λ. 火葬場

.

λ. 繰り上げ初七日

.

λ. 読書

『彼氏彼女の事情 15』

津田 雅美 [著]

λ. この一週間色々あったけど、ボチボチ復活していきます。

λ. nanzen

酒井君がnanzenにたまにログインしているようなので，
generic-haskellとGHCをインストールしてみた．

う、バレてしまった(←そりゃバレるって)。実は、GNOME2を入れたと聞いて、Ruby-GNOME2で遊んでいたのでした。GNOME2が入っている研究室マシンって今nanzenだけですよね?

λ. 読書

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

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

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

渡瀬 悠宇 [著]

λ. 早起きしてみる。でも、夕方にはもう眠くなる罠。

λ. gtk2 on cygwin

久しぶりにコンパイル。コードに関してはパッチをある程度送ってあるので、前回よりはだいぶ楽。ただ、例によってldとlibtool周りは良く分かってなくてパッチも怖くて送ってなかったりするので、その辺りは若干面倒。今回は、少しでも面倒を避けるために「LDFLAGS=-Wl,--export-all-symbols ./configure」とかして逃げてみる。

そのうち Cygwin Gnome @ sf.net あたりが、ちゃんとしたバイナリを公開してくれないかなー

λ. glib-2.2.1

dlopen系の関数を使うようにするパッチをあてて、特に問題なくコンパイル。

λ. atk-1.2.0

同じく問題なし。

λ. fontconfig.2_1

pangoのxftバックエンドとft2バックエンドがfcpackageのfontconfigを必要とするのだけど、こいつはwindowsのことを全く考えていないようなので、とりあえず後回し。

λ. pango-1.2.1

パッチをあてて、とりあえずx11バックエンド用とwin32バックエンド用だけコンパイル。basic-win32モジュールがusp10.hが無い場合にコンパイル出来なくなってた。usp10.hのことは知らないので、適当に対処。

λ. gtk+-2.2.1

リンク時に以下のようなメッセージが出て、強制的にスタティックライブラリにされてしまう。どう対処するのが正しいのか知らないので、「-luuid」を「-Wl,-luuid」に置き換えてlibtoolを黙らせる。

*** Warning: linker path does not have real file for library -luuid.
*** I have the capability to make that library automatically link in when
*** you link to this library.  But I can only do this if you have a
*** shared version of the library, which you do not appear to have
*** because I did check the linker path looking for a file starting
*** with libuuid and none of the candidates passed a file format test
*** using a file magic. Last file checked: /lib/w32api/libuuid.a
*** The inter-library dependencies that have been dropped here will be
*** automatically added whenever a program is linked with this library
*** or is declared to -dlopen it.
 
*** Since this library must not contain undefined symbols,
*** because either the platform does not support them or
*** it was explicitly requested with -no-undefined,
*** libtool will only create a static version of it.

そーいや、モジュールの拡張子に関するqueryimmodule.cのパッチや、x11関係の細かいパッチを送るのをすっかり忘れてた事に気が付いた。

λ. 読書

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

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

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

渡瀬 悠宇 [著]

λ. 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) 』

渡瀬 悠宇 [著]

λ. なんか、運動しない生活をしていると、考えがどんどん後ろ向きになってく気がする。少し体を動かそっと。

λ. cograph

Conceptual Mathematics の以前理解できなかった部分をボーっと眺めていて、「internal diagram は cograph である」事がふと理解できた。気付けばごく当たり前の事実なんだけどね。

λ. zsh (今日の「欝生活」)

あと，kterm起動して，mozilla &して，ktermを無理やり閉じると，
back groundで動いていたmozillaが落ちてしまう．
これはどうにかならんもんか．

「mozilla &!」で起動するってのはどうでしょう?

λ. essaさん

なんとtnakaさんだったとは。ビックリ。

λ. PC

今使ってるPC(のハードディスク)が死にそうなので、どうせなので新しいPCを買おうと思って、近くのワットマンで暇を潰してみたが、どれもイマイチのような気がする。探すのも面倒だし、PCの事は正直良く分からないし、http://www.sofmap.com/shop/topics/topics_02.asp?TPC_CD=2863 にでもしちゃおっかなー

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

思ってたよりずっと良かったです。

【2006-01-21 追記】 また聴きたくなってきた。「迷宮百年の睡魔」もラジオドラマになったらしいけど、聞き逃してしまったしさ。再放送の予定とかないのかなぁ。録音して iPod nano で聴きたい。

λ. モナド(Monad)

モナドの概念が重要な第一の理由は、それが普遍代数(universal algebra)と随伴(adjunction)を結び付けるからです。……というのはさておき、Haskellでのモナドの使い方は

• Noel Winstanley "What the hell are Monads?"
• Theodore Norvell "Monads for the Working Haskell Programmer -- a short tutorial."

あたりを読めば大体理解できるのではないかと。

【2006-01-21 追記】今なら「モナドのすべて」を読むのが良いのだろうな。

• 「モナドのすべて—Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド」
• 「All About Monads - A comprehensive guide to the theory and practice of monadic programming in Haskell」

λ. 『妖しのセレス—天空お伽草子』10〜12, 渡瀬 悠宇

を読んだ。

λ. ruby-dl with ffcall callback library

暇潰しにこんなの書いてみたり。dl-ffcall-callback.patch

このパッチを当てると、ffcallのlibcallbackが使えるときには、コールバック関数の個数の制限が無くなります。ただし、FuncTableは互換性を保つの面倒だったのでRubyレベルからは見えなくしてしまいました(これって何のためにあるんだろう?)。あと、ffcallは関数の呼び出しなんかにも使えるのだけど、暇潰しなので今回はパス。

……こういうのは、後でruby-devに送れば良いのかな? ……と思ったけど、ruby-devに投げるほどの内容でもなかろうと思い [ruby-ext:02156] 。

λ. head

ちなみに、行毎に取り出すには lines :: String -> [String] が便利です。

putLines :: String -> Int -> IO ()
putLines s n = mapM_ putStrLn . take n . lines $ s

λ. 抵当権?

テレビのニュースで、ロシアにはこれまで抵当権の仕組みが実質的に無かったというような事を言っていて、少し驚く。

λ. 読書

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

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

渡瀬 悠宇 [著]

λ. 新PC

新しいPCが届いた。一昨日の夜注文して、昨日お金を振り込んで、今日届いたのだから、早いものだなぁ。で、早速東方紅魔郷と東方妖々夢を試してみたら、紅魔境はちゃんと動いたけど、妖々夢はステージ表示やスペルカード名その他の文字がぼやけて表示されてしまう。ま、何にしても自宅で遊べるようになったのは嬉しい。早速、近くの電気屋に行って、ジョイパッド(とハブとネットワークケーブル)を買ってくる。それから、普段使うソフトウェアは大体インストールしたし、あとはノートの方の死にそうなHDDからデータを持ってくるか……

λ. non-regular datatypes

現在のCDTでは「data GRose f a = GBranch a (f (GRose f a))」のようなデータ型を取り扱えない。これを取り扱うには functor category を導入して Funct(C,C) × C -> C といった functor を許せば良いのだろうけど、functor category を無制限に導入してしまって大丈夫だろうか……

λ. 借りた本

『スカイ・クロラ』

森 博嗣 [著]

小説すばる 2002年8月号

-

『吸血鬼ハンターD - 薔薇姫』

菊地 秀行 [著]

『人体部品ビジネス - 「臓器」商品化時代の現実』

栗屋 剛 [著]

『16歳のセアラが挑んだ世界最強の暗号』

セアラ・フラナリー (Sarah Flannery), デイヴィッド・フラナリー (David Flannery) [著] 亀井よし子[訳]

随分久しぶりに図書館へ。

λ. 買った本

• ウルトラジャンプ 2003年3月号
• ソフトウェアデザイン 2003年3月号

λ. 論文読み会: DCD----Disk Caching Disk: A New Approach for Boosting I/O Performance

次回は誰なんだろ……

λ. 本

学校に行ったついでに本を借りてこようかと思ったら、メディア・センターの三階が蔵書チェック中だとかで借りれなかった。残念。

λ. 最近の論理型言語

ただ、風のために。5 (2003-02-18) よりメモ。

• Mercury
• Curry

ところで、最近の論理型言語と言えば、線形論理型言語とかって実際のところどうなんでしょう?

λ. FGL/Haskell - A Functional Graph Library for Haskell

[haskell-jp:34]でnobsunさんに教えてもらった、グラフ処理のためのライブラリ。

λ. 謎は全て解けた

マガジン(9)のゴルフ漫画で「謎は全て解けた」とか言ってますが、金田一君 の原作者は文句を言わないのでしょうか。まあ、同じ雑誌だからいいのでしょ う。そうでないと成り立たない漫画もありますしね…

そもそも、金田一少年の事件簿からして、そうでないと成り立たない漫画のような……

λ. 東方紅魔狂

Extraを少し頑張ってみる。

サイレントセレナ

大体平気

ロイヤルフレア

ようやく一回だけかわせた。 動きは分かっているのだけど、実際にはなかなか避けられない。

賢者の石

なかなかしんどい。かわせる時はかわせるのだけど……

クランベリートラップ

大体平気なんだけど、時々追い込まれてしまったり

レーヴァティン

簡単

フォーオブアカインド

大体平気なんだけど、時々追い込まれてしまったり

カゴメカゴメ

大体平気

恋の迷路

かなり無理げ

λ. JSA

以前に朝鮮語の授業で見た時はあまりよく分からなかったですが、素晴らしい映画ですね。