0330
午後からバイト。再設計。三ヶ月前の自分の思慮に助けられ、ある程度は手間を抑えられそうだけども、けっこう大改修する必要がありそうだ。
月曜日からいきなり研究室に呼ばれた。朝九時半とか無茶やで。
一昨日くらいから考えてる命題がいまだに示せていません。ブール代数のa∨¬a=1なのですけど、どうも本が使っている公理系があんまり見慣れない感じなのでうまく扱えないし、調べてもぜんぜん情報がありません。こんなつまらないことに何時間もかかっているのはほんとうになさけない。あとはここが示せればブール代数の超フィルタがbか¬bのいずれか一方(のみ)を必ず要素に持つことを言えるのだけど(そしてそれは実はわりとどうでもいい脇道だったりする)。
明日は夕方に友人が訪ねてくるといいます。でもなにやるのか不明。楽しんでもらえるといいのだけど。