0331
@n_tomと飲んでた。上機嫌。計算妄想(と僕が呼んでいる種類の強迫観念)の話とかした。あと友人の卒業文集とか読んでた。余所の学校の卒業文集ってフォーマットが微妙に違ったりしてておもしろい。知っている奴がイメージ通りのことを書いていてうける。アインシュタインの特殊相対論の原論文の英訳を和訳している男がいた。
もののとらえ方の枠組みの置き方が似ているひととは話しやすいな、と思った。
補元律は示せたので、いちおう証明の⇒側はできた(些細な勘違いによる瑕疵はあるのですが修正は容易とすでに知られている(はず))ので、つぎは逆をいわねばなりません。そんなにむつかしくないと期待はするもののよくわかりません。別にそんなに重要な命題でもないわけで、いい加減片付けてしまいたい。
明日はfλとあってビリヤードにゆきます。彼らと会うのもビリヤードもひさびさだ。結局春休みのあいだは会わずじまいだったのですね。かれらの就活がうまくゆくといいのだけど。