andante

2012-03-30

0330

午後からバイト再設計三ヶ月前の自分の思慮に助けられある程度は手間を抑えられそうだけどもけっこう大改修する必要がありそうだ

月曜日からいきなり研究室に呼ばれた朝九時半とか無茶やで


一昨日くらいから考えてる命題がいまだに示せていませんブール代数のa∨¬a=1なのですけどどうも本が使っている公理系があんまり見慣れない感じなのでうまく扱えないし調べてもぜんぜん情報がありませんこんなつまらないことに何時間もかかっているのはほんとうになさけないあとはここが示せればブール代数の超フィルタがbか¬bのいずれか一方(のみ)を必ず要素に持つことを言えるのだけど(そしてそれは実はわりとどうでもいい脇道だったりする)


明日は夕方に友人が訪ねてくるといいますでもなにやるのか不明楽しんでもらえるといいのだけど