2004年05月

aを種として 次の規則により生成される無限語をThue-Morse語という。

• a |→ ab
• b |→ ba

これは、単純なオートマトンによっても生成される。オートマトンM=(a, I, S, δ, H)を次のように定義する。

初期状態

a

入力文字集合

I = {0,1}

状態集合

S = {a,b}

遷移関数

δ(a,0)=a, δ(b,0)=b, δ(a,1)=b, δ(b,1)=a

終了状態集合

H=ø

また、自然数nの2進数表示 ∈ I^* を与える写像f: N → I^* を考える。ただしf(0) は空語 λ とする。このとき状態列 δ(a, f(0)), δ(a, f(1)), δ(a, f(2)), ... はThue-Morse語である。

そっかー。こんな単純なところでThue-Morse語がでてくるわけか。そして、Thue-Morse語で定義される実数が再びβ展開のところで活躍すると。これはある意味で双対になってる？　もう少し構造を調べないとわからないけど、でも美しい。

今日の講義は最高だった。

パキシルのおかげか、とても仕事がはかどる。頭の中の霧が晴れ渡ってそこに透き通った論理の枝が伸びていく音を久しぶりに聞いた気がする。

どうにも不調で、ついに再びパキシルのお世話になることになってしまった。

それから、今回の不調の引き金も思い出した。大学では創作系サークルで小説を書いているのだけど、小説のネタになりそうな夢を見た。とても綺麗な文章が湧いてきて、それを必死になって夢の中から目覚めのときに持ち帰ったのだ。忘れないように、忘れないように。こうやって頑張って持ち帰っても、大抵は起きてみるとつまらない文章に過ぎないのだけど、今回は別だった。でもそれはとても脆くて、書き起こすと壊れてしまいそうで、だから書き留めはせずに私の頭の中にだけあった。数日、どうやってこの文章を構成するか考えた。

それから、急に不調が襲ってきた。そして、その嵐の中であたふたするうちに、その文章は消えてしまった。あれは、私が見てはいけないものだったのかもしれない。「劇場の外」に追い出された無意識から変なものを拾ってきたのかもしれない。

それはまだ私の中のどこかにはあって、今なら手を伸ばせば届くような気がしている。でも、それはやめたほうがいいのかもしれない。これ以上生活に支障が出たらどうしようもない。でも、それでも魅力的で、私はあれを書きたい。

病院へ行ったら偶然、ちひろさん、とこさんに会った。お久しぶりでした。ちひろさん、あなたはスタイル良すぎです。

バイトでWEBプログラムを作ってます。多言語展開なページです。ドイツ語はまだ多少は知ってるからいいものの、ポルトガル語なんか読めるかっ。言語別の部分はコピペで済む作業だから、やってやれなくはないんだけど、意味が分からないと適切な箇所をコピペするのも大変。

なんだかとっても卓袱台をひっくり返したい気分です。

最近書店でやけになるたるがプッシュされていると思ったら、いつの間にかアニメ化されていたらしい。「かけがえのない命なんてありません」（なるたる第12巻あとがき）と言い切る作者の少し危うげな思想も含めて、原作はとても好きだった。

• 続きを読む : "なるたる"

Netscape Communicator 4.xでblogを正常に表示できるよう、スタイルシートを調整。mod_rewriteで差し替えるようにした。

他のブラウザ用のスタイルシートも微調整。

ちょっと厚いけど、代数的整数論の話題を現代の代数幾何の視点からまとめ直した本ということで、代数的整数の定義から類体論、Riemann‐Roch理論まで網羅的に扱っていて、これ一冊で随分勉強できる。証明も丁寧。

私は今、類体論の勉強の補助のために断片的に読んでいるけど、本当に役に立つ。良い買い物だったと思う。買うかどうか迷っているときに背中を押してくれた栄里ちゃんに感謝。

それにしても、この本を電車の中で立って読んでいると疲れる……。重いんだもん。

ちょっと前に自主ゼミで使ったテキスト。要点が簡潔にまとまっていて説明は素っ気なく、おかげで初学者にはとても読みにくい。これは教科書じゃない、一度勉強したことのある人の忘備録だと愚痴を言い合った。

前半を少し読んだだけだけど、とてもためになったのは確か。でも、やっぱりノイキルヒの本の方が読みやすい。

前々から良い評判を聞いていた本。院生室にあったので（ゼミの準備が進まず現実逃避で）読んでみた。学部一年のときか入学前ぐらいに読んでおきたかったと思った。話題が豊富で文章もいいので、今読んでも気楽な読み物として楽しめた。数学科学部1年生は是非読むべき本。

今日も朝から今さっきまでお仕事。忙しくて髪を染められない〜。頭のてっぺんあたりが黒くなってきてて気になる。

先日の絶不調の最中に作ったモジュールはやっぱり設計がまずくて、今回の仕様変更に堪えられないことが判明。既に結構使われていたので広範囲の書き直しが必要になった。やっぱり、あのとき直感に従えば良かった。「入ったばかりで良く分からないし、今までの設計に近い方がいいだろう」とか余計なことを考え過ぎたみたい。いや、もっと正直に言うと、あのときは指を動かすのもしんどくて、その場で手間の掛からない方を選んだっていうのもある。絶対に。

そんなこんなですっかり気分が沈んで帰宅。気分転換にと思って友人ゆわさんの研修課題を手伝った。ゆわさんはこの春めでたく就職して、SEになるべく研修中。ただ、言語が私があまり詳しくないPASCALで、手元にPASCALコンパイラもないし、意外に手こずった。Cなら直ぐできるのに〜。っていうか、C++なら10分でできるのに〜。結局3時過ぎまで掛かって、御陰で酷く眠い。今日は早く寝よう。

ここのところ毎週日曜もバイトが入っていたのだけれど、今週はあるのかどうか確認していなかったのでとりあえず出勤してみた。でも、どうも今日はお休みの模様。

今日は比較的調子も良かったことだし、せっかく銀座にいるのだからと思ってぶらぶらしてみた。マリアージュフレールで紅茶を買った。午後のストレート向きのお茶ってことで店員さんにいくつか出してもらって、香りの新鮮な感じが良かったAmbootiaに決定。それから、もうひとつ気に入ったMargaret's Hopeも。

帰り際にお茶の水でふと途中下車して、神保町で何かいい本がないかと探した。いまいちピンとくるものがなくて、結局何も買わずに帰宅。といっても、自宅ではなくて栄里ちゃん宅に。今日は薄曇り時々霧雨という天気で、陽光を浴びないので体調が良かった。

どうしようもなく調子が悪い。何を食べても美味しくない。楽しくない。すぐ疲れるし、頭が働かない。ゼミの準備も進まなくて（今回の範囲が難しかったこともあるけど）、気が滅入る。数学やソフトウェア設計をやっているときのあの頭の中が透き通って冴え渡るようなあの感覚が全然やって来ない。それ以前に、不調期に入ってから記憶も断片的だし。

授業も、全部出ると処理限界を超えてしまってどこかで破綻するのが目に見えているので、あとで参考書を読んで取り戻せそうなものは出ないことにした。ひょっとしたら単位に響くかも知れないけど、留年したらしたで別にそれでいい。とにかく、後退しないことだけが大切。無理に進もうとしてもこの状態ではかえって事態を悪化させると思う。

救いは、まだ紅茶の香りを楽しむことはできること。院生室の自分の机に電気ポットとティーサーバー・お茶葉各種を置いてあるので、軽い発作ならこれで気分を落ち着けて対処できる。昨日はローズティーを買ってきた。落ち着く。

ゼミで相対的代数体の勉強をしているけれど、準備が終わらない。不調気味の頭には複雑すぎて理解できない。

• Movable Typeカスタマイズ

日記をMovable Type化してみる。とりあえずXrea-FAQの記事を見ながら設置して、プロが教えるMovable Typeの構造デザインを参考にテンプレートをいじってみて、何となく仕組みが分かってきた。

幾つか不満な点はマニュアルを見てみて、ダメならスクリプトを弄るとして、当面はデザインを検討しよう。丁度Web Designingを買ってきたところなのであれこれと検討中。