Heaven's Kitchen

長らく放置しておりました。久々の日記です。

今年のGWは長かったですねぇー。研究もしないといけないんだけど，就活終わった勢いで，ついつい満喫してしましました。しかし夜行バスはぼちぼち厳しいね。

ケンジに唐突に渡された「オーデュボンの祈り」という本を読みました。全然ミステリーな感じはしなかったけど，これはミステリーなんですか？

設定がむちゃくちゃだったり，非常識なことがいろいろあるわけですが今までに読んだことない感じで新鮮でした。音楽好きにはたまらないオチもあったし。ありがとうケンジ。

モナドがさっぱりわかりません。

>> 追記

今年のクリスマスこそ期待してみる

firefoxの拡張を作りたくって資料をあさっているわけですが，XULPlanetが落ちていて困り果てています。このまま使えないなんてことはないだろうな…。

そういえば「初めてのPython」読破しました。でもやっぱりアンダーバーいっぱいのソースとかselfやthisやが予約語じゃないとことかが，微妙です。なんでメソッド全部にselfって書くの…。(それを言ったらPerlはもっとひどいんだけど，なぜかPerlだと許せるw)

そういえば雑誌のPythonの記事を読んでいたらみっちゃきんとこの先生らしき人の名前がでてきた。みっちゃきがPythonを勧められてたのはこういう理由だったのね。

明日はLinkin Parkの新譜ですね。Meteoraを買ったときはあまりひねりのない展開にあっけらかんとしていたんだけど，今回はどうなることやら。そういえばあの時は亀Dくんひとっ走り買ってきてもらったなぁ。なつかしい。

という言葉が，mixiのキーワードランキングで２位になっちゃってますねぇ。まあ例に漏れずMinutes to Midnight買っちゃったわけですが。

LINKIN…。正直求めてたものと違ってたことは否めない…。いや，まあそれが彼らの目指すところなんだから仕方ないんだけど，今までと違った面を垣間見せてるとか，そういうレベルじゃない変わりようだよねぇ。

だれかMaloon貸して。

Dream Theaterの新曲の動画がアップされてますね。

http://www.roadrunnerrecords.com/artists/DreamTheater/showVideo.aspx?fileID=2343

またしてもマイキー歌いまくりですが，インストのとこは結構好き。この感じなら他の曲も期待できるなぁ。しかしマイアングのベースが…。

なんだかんだでLinkinの新譜聴きまくって，mixi musicで１位になってしまう今日このごろです。

Perlスクリプトの拡張子は、plx派です。

というわけで、Prologを勉強中。授業で使うとか使わないとかっていうから。もちろん拡張子はpl。

自分が生まれた年に出版された本を読んでます。実は１年半前ぐらいに一度読んだはずなんだけど、例によってさっぱり覚えてない（汗

とりあえず１章の概要っぽいとこまで読んで、自然数を表現したくなったのでやってみた。

zero.

succ(zero).
succ(succ(X)) :- succ(X).

int(zero).
int(succ(X)) :- int(X).

equal(zero,zero).
equal(succ(X),succ(Y)) :- equal(X,Y).

plus_(X, zero, Y) :- equal(X,Y).
plus_(X, succ(Y), Z) :- plus_(A, Y, Z), equal(X, succ(A)).

これで

?- plus_(X, succ(zero), succ(zero)).

とかやると1+1が計算できる（はず…）。

この本の３章あたりの例題にインスパイアされております。うん、わけわからんね。論理型の本質が分かってないので、関数型っぽく書くとこうなったというお話しでした。

たぶん、ダメダメのコードなのでとりあえず晒してみる。