2/9(水) 晴れ 11時に起きた。午前中は昨日の夜に思いついたことを改めて考えてたけどだめだった。ほしい性質を一つ成り立たせようとすると他の性質が成り立たなくなってしまう。例えば積閉性を得ようとすると代わりに包含関係がなくなってしまったり、そもそ…

2/8(火) 晴れ 11時に起きた。最近起きる時間が遅くなってる気がする。午前中というかほとんど午後は何してたっけ。明後日のセミナーのための準備してた。ちょっと飛ばして先のところをやって多分今回で最終回になりそう。ダラダラやってた。 その後はちょっ…

2/7(月) 晴れ 11時過ぎに起きた。もう授業が無いのでゆっくりしてる。一応ノルムの話のところを全部読み終えてまた色々考えてた。だけどやっぱりうまくいかない。どうしたものかとのんびり考えている。 夜はバイトに行って来た。帰ってきてからまた考えてて…