睡眠時間短し。眠い。かなり眠かったが実数論で悩んでいるうちに頭が起きてきた。それにしても実数論は全然慣れない。論理や算術、代数と感じがまったく異なる。出かける。書類書き。書類書き。さらに出かける。夜遅く帰る。

どうやらゴールデンウィークはかなりやることがありそう。とりあえず明日明後日は遊びに行くのだが。5月中もなかなかにハードな予定。頑張って行きましょう。