天地の造化に感謝である。

もともと慣性が大きいようで、放っておくといつまでも座ってぼんやりとしているし、眠っていると15時間くらい眠っているし、起きていると明け方まで眠らない。

しかしこのごろ動き回っている。動き回っている方がいろいろ思いつく。

1. 中目黒で850円/1.5人前の寿司を食べた
2. 神谷町で、「IDSとかIPSで、暗号化されたHTTPリクエストのSQLインジェクションを検知したいと思ったらどうすればいいですか」とくだらない質問をした。
3. 大学で、積ん読されている紙切れを、「役に立ちそう」「おもしろそう」「単に人気だから」と分類。しかし、「役に立ちそう」は、何の役に立ちそうなのか既に見えているので、用途別にわけた。
4. 家でカレーを食べた
5. 自転車に乗った
6. 中目黒でカレーを食べた
7. 中目黒の駅前でメールを読み書きしたら寒かった
8. 自転車で中目黒から恵比寿に移動したら坂道が辛かったけど、日常生活で脚にかかる負荷はこれが最大だと思われるので、心して漕いだ (が、電動の欲しい…7万円くらいで買えるのかー)
9. にわかTA
10. いろいろ飽きてきたので、いろいろな概念をμ計算に落として遊び始めた

わからないということが発覚するのは、ありがたいことである。自然には、人に言われてみないと、わからないということには気づかない。人に話すつもりで準備するときは、質問されてはじめてわからないと気づいてうろたえる様子を、想像してしまうので、わからないということに気づきやすい。

わからないところをよく愛でて、疑問をなるべく簡潔に言い切るようにつとめると、結局、単語ひとつの意味がわからないとか、なにがしたいかわからないとか、単純な疑問になる。単純な疑問にも落ちない場合は、もっと手前でわからなくなっていたはずなので、さかのぼる。

浅学非才ゆえに、わからないことばかりなので、愛玩する疑問には事欠かないが、見過ごしている疑問も多いはずだ。ぴらぴらは字面の整合性だけみて一人合点する傾向があるので、勘違いしやすいところは、まず間違いなく勘違いする。

くだらないことをたくさん聞いてしまった。五分の一でよかったはず。修行が足りない。

みみせんの効果をあまり理解していなかったようだ。夢をたくさん覚えているようになったし、起きている間の思いつきも増えた。このごろ起きている間は、思いつきの相手をして忙しい。代わりに、寝ている夢の中では、責任者と折衝したりとか、外部の人を案内したりとか、仕事っぽいことをしている。バベッジの解析機関みたいなものががちゃがちゃ動いている前で、これは何をしているところだとか説明したり、表とにらめっこしながら油をさすスケジュールの調整作業をしたり、していた。

主に部屋の隅っこに座っている。

そこは左右が狭いので、身動きがとれない。でも画面二つを縦に使えて楽しい。

昨夜は帰るのが面倒で、大学で眠っていたら、起きたところ、本を返してもらっていたことに気づいた。

大学にあった用事は、Cliff Jones講演会。{pre}Hoare{post}ということで、Hoare論理以前以後。以前の話が興味深くて、Turingとかvon Neumannとか、やっぱりなんでもやっているのであった。しかし忘れられてしまうあたりがなんとも言えない。あとは、言えることを犠牲にして言語を限定してtractableにすることの価値。

“It is reasonable to hope that the relationship between computation and mathematical logic will be as fruitful in the next century as that between analysis and physics in the last.” というJ. MacCarthyの言葉を初めて知った。20世紀に言われたことなので、19世紀の物理に思いを馳せると、この調子でなんでもわかっちゃうんじゃないかというくらい調子にのっていたら、なぜか煮詰まってきたというイメージがある。ほんとかどうかは知らない。21世紀に、どう煮詰まることができるのか想像するのは楽しいことである。ちゃんと煮詰まることを目指して、わかりやすいところはちまちま進めていくのが肝要である。煮詰まったところで22世紀に送ればいいのであろう。

次に何をするのか、思いついたので、喜んで帰る。青山ブックセンターに寄って、へなへな歩いて帰る。

Martin J. Osborne and Ariel Rubinstein: A Cource in Game Theoryという本を読んでいる。へんたいなので真っ先に5章を見たら普通だった。4章を読んだら、rationalizabilityの定義はcoinductive (余帰納的?)で、strictly dominated eliminationの定義はinductiveで、まじめに書いたら一致するのは当たり前にみえるようになるはずだと思った。

てんてこ舞いというのは、てんてこ踊りのことだと思うのだが、どういう踊りなのか知らない。気になる。そういえばカラテオドリという人がいたな。