日々の流転

λ. 昼食

家族でスカイラーク・グリルへ行った。僕はハーフチキングリル。

λ. 神の吹かす風

シドニィ・シェルダンの「神の吹かす風」の映画版をケーブルテレビでやっていたので見た。演出がまるでダメ。

λ. 『ドラゴンセンターを破壊せよ (上)』 クライブ・カッスラー(Clive Cussler)[著] 中山善之[訳]

を読んだ。

λ. 成績

成績がきた。今期は悲観していたのだけど思ってたよりは良かった。Bが一つ、Dが一つ。

λ. バイト

0xシリーズと5xシリーズの両方に対応するためにプリプロセッサを使って条件コンパイル……というところまではいいのだけど、紹介されたのはJavaPP。cppの中途半端なサブセットを使ってもなぁ、と思いcppを使う。

そういえば、Java用のプリプロセッサといえば、EPP なんかは結構面白そう。

λ. 『DEATH NOTE (3)』, 大場 つぐみ [著], 小畑 健 [イラスト]

を読んだ。

λ. 東方永夜抄

先生!、待宵(Lunatic)がノーコンティニューでクリアできません!

λ. 『しずるさんと偏屈な死者たち』, 上遠野 浩平 [著], 椋本 夏夜 [イラスト]

正直言ってつまらなかった。トリックの奇抜さは別に気にはならなかったけど……

λ. 「ベルセルク」トレーラー

http://www.quiter.jp/news/manga/040909002161.html より。良く出来てるなぁ。(スタッフ名とか全部日本語と英語なのにタイトルだけなんでハングルで「베르세르크 - 천년제국의 매 편 성마전기의 장」って書いてるんだろう……)

λ. Parsing expression grammar (PEG)

Matzにっき(2006-09-08) - Parsing expression grammar より。なかなか便利で扱いやすそうな形式化だと思った。

• 曖昧性が無い。
• 無制限の先読みが可能なのでレキサとパーサを分ける必要はない。
• Packrat Parser として実装することで、文字列長に対して線形の計算量に。

しかし、 {aⁿ bⁿ cⁿ | n≧1} のPEGはだいぶトリッキーだと思った。 こんなの普通書けないって。

S ← &(A !b) a+ B !c
A ← a A? b
B ← b B? c

それから、以下の部分がよくわからなかった。

It is also possible to build LL parsers and LR parsers from parsing expression grammars, but the unlimited lookahead capability of the grammar formalism is lost in this case.

PEGはCFGでない言語を表現可能なのにLLやLRで扱えるのか?　LLやLRってCFGじゃない言語を扱えたっけ?　それから、「the unlimited lookahead capability of the grammar formalism is lost in this case.」というのは、必要な先読みの上限を変換時に静的に決定可能だから LL(k) や LR(k) になるということか?　いや、上の例を考えてみても先読みの上限は静的に決定することは出来ないか。

Haskell用のパーサジェネレータもあるみたいだし、今度試してみるか。

追記

そういえば、言語の差分やintersectionをとることが可能なパーサコンビネータについて、暖めていたアイディアが一つあったのだけど、PEG + Packrat Parser があれば不要だということに気づいた。しょぼーん。

λ. 『τになるまで待って』 森 博嗣

を読んだ。 Amazonの書評では散々だけど、それなりに楽しめた。 トリックを強引と思う人もいるだろうけど、犯人の行動としてそこまで変だとは思わないしね。だいたい、犯人がミステリー受けするような行動を取らなくてはいけないという理屈はないわけで。

Quotation (p.209)

「そういった、何故そうしたのか、という理由に立ち入ると、最初から数々の可能性が否定されてしまうことになるんじゃないかな」山吹が言う。「そうじゃなくて、物理的にどんな方法が現実にありうるのか、をまず問うべきだよ。理由というのは人間の気持ちの問題であって、そんな心理まで考慮していたら、結局は論理に曖昧性を持ち込むだけで、目標が霞んじゃうと思う」

λ. HDDの調子悪い

2年前(20050829#p03)に購入したハードディスクの調子が悪い。 チェックディスクに書けたら凄い時間がかかった(そのせいで圏論勉強会に出れなかった)。 バッドセクタはあったが、ファイルは壊れていないようなのがせめてもの救いか。 「まだ2年間しか使ってないのに」と思わないでもないが、まあ仕方が無い。 近いうちに新しいHDDを買わないとなぁ。はぁ…。

【2007-09-12追記】 今使っているのはSeagateのだったので、今度はHGSTのにしてみよう。 250GBでも使いきるには程遠かったので、現在主流(?)の500GBのではなく320GBのHDT725032VLAT80を注文してみた。送料込みで約8000円。 HDDは消耗品なので、当面困らない容量で安いものを買えば十分。

λ. 第三十三回圏論勉強会

今回は残念ながら出席できず。 でも写真はいつものようにミラー。

λ. ALC 10 のビデオ

The 10th Asian Logic Conference (ALC 10) のビデオが公開されている。 面白そう。

λ. うみねこのなく頃に Episode 3

読了。 夜更かししてやっていたので、眠い。 面白かったけど、戦闘シーンとかの文章のノリは見てられなかった。