日々の流転

λ. ピアノ

指使いについて色々教えてもらった。変な癖がつきまくってたので大変。やっぱ最初が肝心。

λ. 夕焼け

λ. 『赤緑黒白』

ぐはっ。そ、そんな伏線があったとは……。いやぁ凄いね。鮮やかだね。見事に騙されてたよ。

……あれ?　でもそうすると『ぶるぶる人形にうってつけの夜』の最後は何だったのぉ? なんか引っかかるぞぉ。読み返そうと思ったら『今夜はパラシュート博物館へ』が手元にないや、残念。失くしちゃったかな。

λ. 紅葉

久しぶりに学校に来たら紅葉が綺麗だった。携帯のカメラでとった写真だとあんまし綺麗じゃないけど。

λ. MAD PEOPLE β01: EPISODE 1066 「不沈艦ケイト vs. 奇跡の連携」

<URL:http://straws.sakura.ne.jp/madb01/index.cgi?bid=1066>

衝動的に参加してしまった。EPISODE 1007 以来の久しぶりに参加だったので、結構ついていくのが大変で、特に状況を評価することに苦しんだ。

(後で書く)

他の方の感想など

• ナンシー(i-saintさん)

λ. 雑記

病院へ祖父を見舞う。

λ. 腰リール

腰リールを作ってみた。 リールは有隣堂にあった Dr.ion のマルチストラップ リールホルダー (165DRBK-1200)。ペンポッドとプチモと安物の単語カードを装着。このリールは耐荷重が約30gしかなく巻取りのパワーが足らない感じ。

【追記】 ……と書いたが、結局プチモは外してしまったこともあり、巻取りのパワーは全然問題なかった。

λ. DCG で a^n b^n c^n (n > 0) という言語を表現できるか?

数日前に水島さんがTwitterで「ところで、 DCG で a^n b^n c^n という言語を表現できます？ (PEG で表現できて CFG で表現できない言語の例 )」と書いていた。 その後の議論は追いかけていないけど、素性の一致を書ける(cf. Haskellでパーサを書く時に面倒な点)くらいだから、そんなのは自明に表現できる。

s --> {N=s(_)}, as(N), bs(N), cs(N).

as(z) --> [].
as(s(N)) --> [a], as(N).

bs(z) --> [].
bs(s(N)) --> [b], bs(N).

cs(z) --> [].
cs(s(N)) --> [c], cs(N).

使用例は以下のような感じ。

?- s([],[]).
No
?- s([a,b,c],[]).
Yes
?- s([a,a,b,c],[]).
No
?- s([a,a,b,b,c,c],[]).
Yes
?- s(X,[]).
X = [a, b, c] ;
X = [a, a, b, b, c, c] ;
X = [a, a, a, b, b, b, c, c, c]
Yes
?-

PrologやDCGについて興味のある方は、向井先生と尾崎先生の「論理プログラミング」講義資料(2004年度)などを参照すると良いかもしれません。

λ. 東方風神録、霊夢TypeBでノーマルクリア

霊夢TypeBでのノーマル初クリア(th10_03.rpy)。 ステージ6は集中力切れた。 けど、マウンテンオブフェイスは初めてとれた。

東方風神録 リプレイファイル情報
Version 1.00a
Name hiro    
Date 07/11/25 15:19
Chara ReimuB 
Rank Normal 
Stage All Clear
Score 38100982
Slow Rate 3.65

λ. PEG意見交換会

PEG意見交換会のUstream.tvでのストリーミングを見たら、ちょうど稲葉さんの発表の途中だった。

「A ← ‘a’ A ‘a’/ ‘a’」が「aaaaa」にマッチしないって、思ってたよりもPEGってだいぶ非直観的なんだな。 あと、ちょっと気になったのは、発表資料に「理論的に『PEGにマッチする例を完全に列挙』は不可能」と書いてあったところ。全ての文脈依存言語は帰納的(recursive)で当然帰納的可算(recursively enumerable)なので、これはつまりPEGでは文脈依存言語でない言語を表現できるということなのだろうか。

【追記】 色々と勘違いしてた。いくらなんでも構文解析は決定可能だろうから、PEGの表す言語は帰納的で、したがって帰納的可算なので、マッチする例を列挙することは可能。それと、文脈依存言語⊂帰納的言語なので、PEGが文脈依存でない言語を表せるかどうかはまた別の問題。

λ. TOEICの結果

そういえば、先日受けたTOEICの結果が出ていた。

Total Score

885 (前回 840)

Listening Score

435 (前回 420)

Reading Score

450 (前回 420)

前回2006年に受けたときからほぼ2年ぶり。 前回と違って見直している時間がなかったから、絶対下がってると思ってたんだけど、実は上がってた。 ちょっと前に、iKnowでおしごとの英語シリーズをやってて、ビジネス系の語彙が増えていたのが良かったのかも。 あと、前回「次に受けるときは900点を目指したい」と書いたけど、この目標は次に持ち越し。