日々の流転

λ. 大分から帰る

今日は、午後から懐かしの関東へと帰る。 思い返すと、この一ヶ月色々あったなぁ。 この出会いと経験とを大切にしたい。

大分は天晴れだったが、関東に着いたら雨で、少し驚く。 しかも、雷で自宅と学校が一瞬停電したりもしたし。

明日からは配属先でまた研修である。 周囲には「現実に引き戻される」ことを残念がる人も多いが、個人的にはこっちに戻ってこれて結構ウキウキしている。 大分での生活はもちろん満喫していたが、それでもやはり我慢していたことというのも多いしね。

λ. Topology via Logic だいたい読了

Topology via Logic を一応最後まで読み終わった。 後半の練習問題はほとんど解いてないし、本文も SFP domain, Power domain, Cohn's field spectrum 等についてはさらっと読んだだけで流してしまったが。

次は『位相と論理』でも読もうか。これは似たタイトルだけど内容はだいぶ違う。