andante

昼までだらだら。夕方はfと渋谷の領域へ。軽く買い物など。

出かけるまえにあずにゃんにやらせた{4,4,4,4,4}の探索が7500秒ほどかかって完了していた。しかし今の僕にはこれを翻訳する手段がない。早くメソッドを書かなくてはなるまい。

明日はSがきます。

朝まで飲んでたら二日酔いであった。頭が痛かった。

思索のない日。そういえばfour-foursは持ってる文字列を短くしたらだいぶ高速化したけど、かわりにこれを読める形にする必要があるわけで、それを書かないと。あと演算の過程をあらわに持つようにしたから、その知識を利用した枝刈りができないかな、とか。連続した単項マイナスは省くとか。

明日は夕方出かけると思います。

おはなをあげましょぼんぼりに。

バイトのまえにSに本を貸した。スカイ・クロラの五冊目と六冊目。あるいは四冊目と六冊目。あれは読み直したいと思っているのだけど(スカイ・イクリプスなんてまだ読んでもいない)、散逸してしまって果たせていない。λらへんに貸しているのかなと思う。まあ読む時間もあまりなさそうに思います。

バイトの作業は上々ですが、そう思っているのは僕だけかもしれません。しかし最近自分がなんかすごいエンヂニャーな気がしてきた。そんなことはないのだけど。iPhoneアプリ、まだまだ慣れない。

いまはSとskypeで阿呆な話をしています。森ガールと星野道夫について。森ガール in IKEA。プラハの森ガール。モスバーガー。森ガールと数学ガールのどちらが早いか問題は森ガールに軍配が上がりました。一年弱かな。

あとプーチン元大統領は森ボーイとは違うと思うの。

さて、今夜はすこしお酒を飲もうかな、など。

昨晩はλ宅で梅酒を飲みながらコードを書きました。OpenMPのことをすこし調べて、てきとうに書いてみたところでうまくゆかなくて、ほかのライブラリなんかも調べたら遅くなって、あきらめかけたところでOpenMPをもうちょっとためしたらうまくいった。実際のところ20%くらいの高速化にはなっているようだけど、メモリアクセスは同時にできないわけで、単純に二倍とはゆかないのだと思う。まあ少しでも良くなったのなら万歳だ。ボトルネックはむしろメモリの容量なので、空からメモリが降ってこないかなと思う。次のマシンは64bitなのかなあ。来年にwindowsの後継が出たら変えようかと画策してるのだけども。

次は文字列生成をもうちょっとまともな方法にしようと思います。内部的に人間に読める文字列で持つのはあまりに非効率に思う。そもそも文字列で持つのも馬鹿げている。vector<char>かなにかでいいではないか。いやそれってほぼ文字列だけどさ。

明日はバイトです。バイトのまえにSに会って本を貸します。

λの新居で鍋をしています。ちょっと買いすぎたよ！

Sと水族館にゆきました。水族館にゆくとテンションが無闇に上がります。そろそろ僕はそれを学習すべき。隣にいる人を恥ずかしく思わせるような行動をしてはいけないと！(たいしたことはしていないつもりです)

雨でしたが海にゆきました。海を見ているSを見ていました。僕は彼女がなにを考えているのか、どんな景色をみているのか、想像もつかないのですが(そしてそれはたぶん、想像という操作で到達できる領域の外側にある)、彼女がなにかを見たいと言ってくれるのはうれしく思います。なんの話や。

ペンギンかわいい！

夜はfと「マトリックス」を観ました。あれSFじゃないな。SFぽい用語と設定がなんというか形式をつくっているだけで、そこで行われている思考実験はまったくSFではない。そういう点ではあまりおもしろくない。でもいろんな中二病妄想に火をつけるには十分すぎると思う。僕はあれを中学二年で観なくてよかった、と思う。絶対に僕は、そのとき好きだった女の子と世界を救う空想に耽るだろう。それが悪いこととも思わないけれど、さ。

まあ続編が気にはなるけど。でもf曰く第三部とかつまらんらしいです。まあ内容的にはドラゴンボールの実写映画とかでもいいような気はします。アクションシーンがかっこよければなんでもいい。

そういえば例のfour-foursプログラムですが一応の完成をみました。あとは些細なパラメータ調整とかで遊ぶだけです。枝刈りもだいぶいい感じにできてる。おもしろい表式をみつけたいなー。

さて、明日はバイトのあとfλqとλの新居で鍋です。

いまから日記を書きます。

例のプログラムは順調に進んでおります。たとえば http://bit.ly/fBBtdF などを吐き出して遊んでおりました。ただもうちょっとまともな式を出してきたいと思います。ほにほに。

枝刈りはある程度効率的にできるようになりました。ただ巨大すぎる探索空間に投げ込むとやっぱり死ぬし結果は出してもメモリの解放に失敗するか何かで落ちることもあります。そういう場合は結果は出てるのでどうでもいいのですが、なんとなくしっくりきません。

今夜はもうちょっとがんばって、結果のスコアをつけて一番良さそうなのを出力するなどさせるつもりです。そのあとは余裕があったらTeX形式で吐き出すようにしたらいいかなあ、など。

さて、明日はSと水族館だかなんだかにゆきます(てきとう)。観覧車にも乗るのです。位相を報告するっきゃないですね！

日記を書きました。

A=Aである。これは恒真命題である。正しいものが正しい故に、あるいは間違っているものが間違っているが故に正しい。あるいは単に記号の羅列と見て、左右に並ぶものは同じ記号に他ならず、同じであるが故に等号は正しい。記号列を解釈してみて、左のAは右のAと等しい。右のAはすぐさま左へと身を翻し、巡って矢張り、左のAは右のAと等しい。

この無限回の循環が、なにかを駆動する原動力になりはしないかと考えたのが彼女であり、なにかの原動力になるのならばそこにはエネルギーが費やされているだろうとしたのが彼であった。それならばそのエネルギーはどこから湧いてくるのかという疑問が当然に生じる。古来より、東に久遠に動くものあれば、と架空されるのが永久機関であり、それに対して与えられた情報理論からの回答は次のようであった。

「正しいものが正しく、あるいは間違っているものが間違っているためには、単位時間あたりに一定のエネルギーを必要とする」。

この結論はおよそ推論というものを行うほぼ全ての学問領域を震撼させたとされている。プランク・スケールの領域ではあるものの、真の真性が保持されるにはエネルギーが消費される。それは不確定性の霧の中に沸々と泡立つ無数の恒真命題たちを駆動してはどこかへ溶け込んでゆく。当然の想像力としてその微小な時間間隔につけ込んで真理を操作しようとする試みがあり、実験の失敗とともにそんな試みが存在したという事実もろともに消滅している。

人をn人呪うとき生成される墓穴の個数は(n+1)個である。素朴にn→∞の極限をとってみて、呪われた人数と墓穴の個数は一致することとなり、無限個の墓を作り終えたあなたは汗をぬぐってどこかへ出かけてしまう。この話をヒルベルトの無限墓穴パラドクスと呼ぶことには何らかの惜しさを感じる。

昨晩は一般化four fours問題のコードを書いていました。mapだのpairだのを覚えたばかりの中学生みたいなコードになっています。<と>ばかりで気持ち悪い。動作自体はうまくいきそうだけど、実行時間の予想が立たない。まあ元の記事が書かれてから五年くらい経つわけだし、けっこう無茶をしても大丈夫なのでは、とも思う。丸め誤差の問題は諦めるしかないだろうけど。今夜中には一定の解決を得られそう。やる気次第。

今日はSがきていました。まどマギ観てた。

森見登美彦「美女と竹林」読み始めた。おもしろい。

h.b. > c.

そういえば大学の入試の二次試験一日目でした。バイト先は大学の正面なのでわらわらと受験生が集まっているのが見えた。彼らの七割くらいは落ちるのだなあと思うとなんだか悲しくなってくる。入試会場で僕の隣に座った人はどうだったか。僕の前の席にいた高校のクラスメイトは落ちた。僕の受験した教室で、どれだけの人が落ちたのだろうか。いまそれをどう思っているのだろうか。関係ないけど。

昨晩はなんだか急に不安になっておかしかった。根拠のない不安はすぐに落ちつくけれども、自分の惨めな振る舞いは消えてくれない。

バイトでiPhoneアプリを開発しているのですが、Twitterの公式iPhoneクライアントの出来の良さに感服します。便利だし。最近はめっきり落ちなくなったし。正気のひとがていねいにつくったのでしょう。安心です。

http://deztec.jp/x/05/faireal/faireal-03-index.html
これをわりとそのままに実装してみようかなと思い中。

関連して
http://www.faireal.net/fairyology/Fairyland/
五年ぶりくらいにこれを読んでみようか。

明日はSが来ます。月曜日には水族館かなにかにゆきます。火曜日はλの新居で鍋だったと思います。iPhone開発も楽しみだ。ヘヴィだけど楽しい日々だ。わくわく。

昨晩はペスキン読みながら寝ました。ウィックの定理のこと、前は解らなかったけど今回はちょっとわかった。ファインマン・ダイアグラムすごい。

あとランダウ・リフシッツ物理学小教程の量子力学をすこし読んだのでした。四元スピノール。双スピノールのこととか。ディラック方程式とか。まだしっくりこないけれど。

起きて午後はバイト。今日は後半わりとやる気が出てた。問題解決の手応えがあるってうれしい。できることをすこしずつこなしてゆく人生に調整してゆかないといけないのだろうな。

明日もバイトです。今日やり残したことをがりがりやる感じで。そういえば明日は大学の入試ですね。受験生のみなさま、後悔のないように。