Sとまどマギみてました。四話まで。改めてみると二話までの「ちょっとひねくれてるけどまあ普通の魔法少女アニメだよね」感はなんだったのかと思います。あとやっぱりあの異空間デザインすごいや。なにを食べるとああいうものが出力されるのだろうねえ。
夜は高校のパソコン部の人たちと飲んでいました。法学部に進んだ先輩は就活をしているし、他の人も卒論とかいろいろやってるし、大変だなあと思います。そして、そういうのを大変だなあとしか思えない自分はやはり生きているだけ無駄なんだと思うのでした。君、人生、向いてないよ(ああ、言われたい！)。
彼らとは春休みのうちにまた飲めたらいいなと思います。あの集団はやはり僕にとって貴重なものだ。
さて、明日こそはレポートを書きます。でもあれ、それほど労力の必要なものでもない気がして来た。あ、こう思い出すとやる気が出なくなるんだった。しまった。
人任せで生きてきたから、人任せで生きてゆくのです。
昨晩から今朝にかけてSにskypeを繋いでいてもらいました。ねこはむってなんですか。
午後はレポートを書こうと思っていたらば高校の先輩から電話が来て、今夜泊めてくれと言われました(前から、今度一度泊めてくれと言われていたのです)。そういうわけで先輩が部屋にいます。さっきまでもう一人先輩がいて、三人でお酒を飲んでいたのですが、その先輩はエントリー・シートを書くとかで帰ってしまいました。「いやー、こんなにエントリー・シート書いてるの見られたらみんなに心配されちゃうなー」とか言って囃し立てました。
とりあえずこれからしばらくはレポートのための計算をするつもりです。やる気はあまりないのですが。
僕を詩人と認めるところの僕は(ここで唾を吐き棄てる仕草をして陰気に笑う)、あんなものは大嫌いだと言わなくてはならないのだ。あの先はないから。
だけど、あんなにも「すごい」もの、どうしたって好きにならずにはいられないのも確かなのだ。
ドミノピザの英語版サイトからだとほんとうにピザが一枚分の値段で二枚買えます(種類に制約はあるけれど)。それもLサイズです。Mはなぜか選べません。冷蔵すれば翌日の昼食にできます。しました。おいしかったです。
夕方に先輩が帰り(また誰か知り合いの家に泊まるようだ)、独りになった。チェレンコフ放射のことは結局よくわからない。あまり興味も持てない。何かが大切であることとそれが興味深く思えることは僕の中では一致してないので面倒だ。
願いと祈りと、その座標変換によって生まれる呪い。祈りが時に呪いの変わるのなら、呪いから生まれる祈りがあってもよい。
みんなが正気だったらいいのに。でも、みんなが正気だったら、みんながみんなとして生きる必要あんまりない気がするなあ。このあたり、結局「ハーモニー」みたいになってくるなあ(ねたばれ？)。ミ、ミ、ミァハビーム！
amazonのハーモニー英語版のページのあらすじらしき文章に"Tuan Kirie and her friends Miach Mihie and Cian Reikado"とあるので彼女たちはそう綴られているようだ。
とか調べてたら
http://en.wikipedia.org/wiki/Miach
http://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%82%A2%E3%83%B3%E3%83%BB%E3%82%B1%E3%83%92%E3%83%88
に元ねたがあった模様。へえ。
さて、やる気が出たらいいなあ。明日はバイトです。
にゃあ、にゃあ、にゃあ！(ねこ)
朝までかかって電磁気学のレポート。結局なにやらよくわからぬことをたくさん書きました。積分はうまくゆかなかったし。ただ、あれはやっぱりそれほど多くを求められていたわけではないのじゃないかと思うのです。わかりませんけれども。
午後はバイト。今日はそういうこともあったしなんだか具合も良くないしでパフォーマンス低め。CoreDataのことはけっこうわかったけれどもまだサンプルを読んでいる段階です。次回はなにか案件に繋がる小さいものを作れたらよい。
さあて、ほんとうに春休みがやってきた！パッパラパーとできるのは今月いっぱいくらいと予想しているのですがそれにしても嬉しい。なにしようかな。わくわく。いいかげん勉強しないとな、などなど。
心配する権利と、その心配を表出させる権利と、権利とかそういう言葉ってなんにでもつかえると思うなよという心の声と。いつもながら、心配です。
僕は人間として終わっている。僕は人間として終わっている。
そんなに思ってない、たぶん。ただ方向付けられていないネガティヴが横たえられている。こわい。くらい。せまい。さむい。そのどれでもあってどれでもない。こころぼそい。
今日は記憶に残るようなことをなにもしていません。ペスキンをすこし読んでいます。すこしだけです。言語処理ごっこもやりたいと思っているのですが、こっちのほうが目標としては優先度が高いのでこうなります。知識に接続する快楽。でも今日は具合が良くないのかそうでもありません。
"few"の美しさ。零個でも無限個でもない、有限個のものが慎ましやかに置いてある、その尊さ。
昨晩はペスキン読みながら寝ました。ウィックの定理のこと、前は解らなかったけど今回はちょっとわかった。ファインマン・ダイアグラムすごい。
あとランダウ・リフシッツ物理学小教程の量子力学をすこし読んだのでした。四元スピノール。双スピノールのこととか。ディラック方程式とか。まだしっくりこないけれど。
起きて午後はバイト。今日は後半わりとやる気が出てた。問題解決の手応えがあるってうれしい。できることをすこしずつこなしてゆく人生に調整してゆかないといけないのだろうな。
明日もバイトです。今日やり残したことをがりがりやる感じで。そういえば明日は大学の入試ですね。受験生のみなさま、後悔のないように。
h.b. > c.
そういえば大学の入試の二次試験一日目でした。バイト先は大学の正面なのでわらわらと受験生が集まっているのが見えた。彼らの七割くらいは落ちるのだなあと思うとなんだか悲しくなってくる。入試会場で僕の隣に座った人はどうだったか。僕の前の席にいた高校のクラスメイトは落ちた。僕の受験した教室で、どれだけの人が落ちたのだろうか。いまそれをどう思っているのだろうか。関係ないけど。
昨晩はなんだか急に不安になっておかしかった。根拠のない不安はすぐに落ちつくけれども、自分の惨めな振る舞いは消えてくれない。
バイトでiPhoneアプリを開発しているのですが、Twitterの公式iPhoneクライアントの出来の良さに感服します。便利だし。最近はめっきり落ちなくなったし。正気のひとがていねいにつくったのでしょう。安心です。
http://deztec.jp/x/05/faireal/faireal-03-index.html
これをわりとそのままに実装してみようかなと思い中。
関連して
http://www.faireal.net/fairyology/Fairyland/
五年ぶりくらいにこれを読んでみようか。
明日はSが来ます。月曜日には水族館かなにかにゆきます。火曜日はλの新居で鍋だったと思います。iPhone開発も楽しみだ。ヘヴィだけど楽しい日々だ。わくわく。
A=Aである。これは恒真命題である。正しいものが正しい故に、あるいは間違っているものが間違っているが故に正しい。あるいは単に記号の羅列と見て、左右に並ぶものは同じ記号に他ならず、同じであるが故に等号は正しい。記号列を解釈してみて、左のAは右のAと等しい。右のAはすぐさま左へと身を翻し、巡って矢張り、左のAは右のAと等しい。
この無限回の循環が、なにかを駆動する原動力になりはしないかと考えたのが彼女であり、なにかの原動力になるのならばそこにはエネルギーが費やされているだろうとしたのが彼であった。それならばそのエネルギーはどこから湧いてくるのかという疑問が当然に生じる。古来より、東に久遠に動くものあれば、と架空されるのが永久機関であり、それに対して与えられた情報理論からの回答は次のようであった。
「正しいものが正しく、あるいは間違っているものが間違っているためには、単位時間あたりに一定のエネルギーを必要とする」。
この結論はおよそ推論というものを行うほぼ全ての学問領域を震撼させたとされている。プランク・スケールの領域ではあるものの、真の真性が保持されるにはエネルギーが消費される。それは不確定性の霧の中に沸々と泡立つ無数の恒真命題たちを駆動してはどこかへ溶け込んでゆく。当然の想像力としてその微小な時間間隔につけ込んで真理を操作しようとする試みがあり、実験の失敗とともにそんな試みが存在したという事実もろともに消滅している。
人をn人呪うとき生成される墓穴の個数は(n+1)個である。素朴にn→∞の極限をとってみて、呪われた人数と墓穴の個数は一致することとなり、無限個の墓を作り終えたあなたは汗をぬぐってどこかへ出かけてしまう。この話をヒルベルトの無限墓穴パラドクスと呼ぶことには何らかの惜しさを感じる。
昨晩は一般化four fours問題のコードを書いていました。mapだのpairだのを覚えたばかりの中学生みたいなコードになっています。<と>ばかりで気持ち悪い。動作自体はうまくいきそうだけど、実行時間の予想が立たない。まあ元の記事が書かれてから五年くらい経つわけだし、けっこう無茶をしても大丈夫なのでは、とも思う。丸め誤差の問題は諦めるしかないだろうけど。今夜中には一定の解決を得られそう。やる気次第。
今日はSがきていました。まどマギ観てた。
森見登美彦「美女と竹林」読み始めた。おもしろい。
いまから日記を書きます。
例のプログラムは順調に進んでおります。たとえば http://bit.ly/fBBtdF などを吐き出して遊んでおりました。ただもうちょっとまともな式を出してきたいと思います。ほにほに。
枝刈りはある程度効率的にできるようになりました。ただ巨大すぎる探索空間に投げ込むとやっぱり死ぬし結果は出してもメモリの解放に失敗するか何かで落ちることもあります。そういう場合は結果は出てるのでどうでもいいのですが、なんとなくしっくりきません。
今夜はもうちょっとがんばって、結果のスコアをつけて一番良さそうなのを出力するなどさせるつもりです。そのあとは余裕があったらTeX形式で吐き出すようにしたらいいかなあ、など。
さて、明日はSと水族館だかなんだかにゆきます(てきとう)。観覧車にも乗るのです。位相を報告するっきゃないですね！
日記を書きました。
Sと水族館にゆきました。水族館にゆくとテンションが無闇に上がります。そろそろ僕はそれを学習すべき。隣にいる人を恥ずかしく思わせるような行動をしてはいけないと！(たいしたことはしていないつもりです)
雨でしたが海にゆきました。海を見ているSを見ていました。僕は彼女がなにを考えているのか、どんな景色をみているのか、想像もつかないのですが(そしてそれはたぶん、想像という操作で到達できる領域の外側にある)、彼女がなにかを見たいと言ってくれるのはうれしく思います。なんの話や。
ペンギンかわいい！
夜はfと「マトリックス」を観ました。あれSFじゃないな。SFぽい用語と設定がなんというか形式をつくっているだけで、そこで行われている思考実験はまったくSFではない。そういう点ではあまりおもしろくない。でもいろんな中二病妄想に火をつけるには十分すぎると思う。僕はあれを中学二年で観なくてよかった、と思う。絶対に僕は、そのとき好きだった女の子と世界を救う空想に耽るだろう。それが悪いこととも思わないけれど、さ。
まあ続編が気にはなるけど。でもf曰く第三部とかつまらんらしいです。まあ内容的にはドラゴンボールの実写映画とかでもいいような気はします。アクションシーンがかっこよければなんでもいい。
そういえば例のfour-foursプログラムですが一応の完成をみました。あとは些細なパラメータ調整とかで遊ぶだけです。枝刈りもだいぶいい感じにできてる。おもしろい表式をみつけたいなー。
さて、明日はバイトのあとfλqとλの新居で鍋です。