午後からバイト。再設計。三ヶ月前の自分の思慮に助けられ、ある程度は手間を抑えられそうだけども、けっこう大改修する必要がありそうだ。
月曜日からいきなり研究室に呼ばれた。朝九時半とか無茶やで。
一昨日くらいから考えてる命題がいまだに示せていません。ブール代数のa∨￢a=1なのですけど、どうも本が使っている公理系があんまり見慣れない感じなのでうまく扱えないし、調べてもぜんぜん情報がありません。こんなつまらないことに何時間もかかっているのはほんとうになさけない。あとはここが示せればブール代数の超フィルタがbか￢bのいずれか一方(のみ)を必ず要素に持つことを言えるのだけど(そしてそれは実はわりとどうでもいい脇道だったりする)。
明日は夕方に友人が訪ねてくるといいます。でもなにやるのか不明。楽しんでもらえるといいのだけど。
@n_tomと飲んでた。上機嫌。計算妄想(と僕が呼んでいる種類の強迫観念)の話とかした。あと友人の卒業文集とか読んでた。余所の学校の卒業文集ってフォーマットが微妙に違ったりしてておもしろい。知っている奴がイメージ通りのことを書いていてうける。アインシュタインの特殊相対論の原論文の英訳を和訳している男がいた。
もののとらえ方の枠組みの置き方が似ているひととは話しやすいな、と思った。
補元律は示せたので、いちおう証明の⇒側はできた(些細な勘違いによる瑕疵はあるのですが修正は容易とすでに知られている(はず))ので、つぎは逆をいわねばなりません。そんなにむつかしくないと期待はするもののよくわかりません。別にそんなに重要な命題でもないわけで、いい加減片付けてしまいたい。
明日はfλとあってビリヤードにゆきます。彼らと会うのもビリヤードもひさびさだ。結局春休みのあいだは会わずじまいだったのですね。かれらの就活がうまくゆくといいのだけど。