1201
天皇家が飼っている動物が死んだときは普通に「死んだ」と言っていいんだ、とニュースを見ながらボンヤリと考えていた。
眠かった。会社で使っているClaude Codeを一度解約したあと稟議を出すのをサボっていたためにしばらくぶりにAIの助けを借りずにコードを書くことになった。面倒。
なんか懐かしくなり、10年以上ぶりにSrednickiを開いて読み始めた。もっとも、計算を手で追うようなことも、演習問題を解くようなこともしていないので、こんなことで何かが身につくわけはないのだけど、暇潰しなんだから別にいいでしょう。それでも学生時代よりは英語も多分読めるし、ものを考えるのもすこし上手くなった気がするし、AIにも訊けるから、理解できそうな気がする。気がするだけだけど。
寝ます。明日もなんか忙しい。