andante

今日はひどく眠かった。調子があまり良くないのかも。
仕事もあんまりテンションが上がらなかった。決めなきゃいけないこと、そのために調べなきゃいけないこと、手を動かさなきゃいけないこと、全部があって、どれも中途半端になってしまう。やはり手を動かす必要性は減らしていかねばならない。コードを書かない。読むだけにする。それができるように整理するのがまたひと仕事なのだが……。

寝ます。明日が終わったらゴールデンウィークだ。

疲れた。会議が5つもあったので疲れた。すこし風邪っぽいかもしれない。喉に違和感がある。

今日も天気不明。暑くはない。夕方に外に出たら少し雨が降っていたような気がする。

最近妻がゼルダ（BotW）を再プレイしているのを時々見ている。やっぱり完成度がメチャクチャに高い。これが2017年なんだから、2022年のポケモンもこのくらいだったら良かったのになとどうしても思う。ともあれ、新作が楽しみだ。

最近の自動掃除機は静音にこだわったモデルもあるらしい。リモート勤務になってから、どうせうるさいなら自分で掃除機かけても一緒だなと思ってルンバを処分してしまったのだが、静かなのならもう一度買ってみてもいいかもしれない。……と、妻に提案したらメチャメチャに反対されたのだが、そうは言っても、な。

寝ます。

今日も天気のことを書きたかったが、わからない。少し涼しかった気がする。最近は暑い日は室温が30℃に達して、4月なのにエアコンをつけざるを得ないことがあったが、そういうのとは一線を画す涼しさ。しかし、この先はもう暑くなる一方であろう。

去年の春にGroup Buyで購入したキーキャップが今更届いた。今更というのは、購入してからの間に自分で無地のキーキャップに昇華印刷して自作するなどをやってしまったから。でも、せっかくだから取り付けてみた。やはりきちんとデザインされているものはいい。ワンポイントで色つきにしてるのもかわいいし。あと樹脂が違うのか手触りがちょっといい気がする。ただホーミングキーの出っ張りがあまり目立たないのは気になる。これがないと（特にオーソリニアなので）ミスタイプが増えるんだよな。まあしばらく使ってみようかな。

「丁寧な暮らし」的なものって確実に抑圧である部分があるのだけど、一方でただそれに反発したって生活が荒廃するだけなので、難しいなと思う。Twitterとかは抑圧に厳しい（抑圧された人に優しい）ので、なんとなくアンチ丁暮ら的言説がもてはやされる傾向にあるが、本当にそれでいいのかは疑問がある。自分で自分を律するべし、というだけの話といえばそう。

昨夜もそこそこ夜更かしをしたせいで今日も眠かった。頭も痛かったし。
そういえばこの日記には天気のことをあまり書いていないなと思ったので、書きます。すごしやすい気温。陽射しがけっこうある。ベランダのアボカドは新しい芽が伸びてきている。冬の間にほとんどの葉が落ちてしまって心配していたのだが、また元気になりそうでよかった。

夕方に不動産会社を訪ねてまたいろいろの説明や相談をした。たぶんこのまま来週に契約するだろう。動き出してから一ヶ月半、なんだかあっけないというか、こんなに素早く決めていいのかという反射的な不安があるが、悩んでいても仕方のないことであるようにも思う。家を買うといっても、別に終の棲家になることはない見込みだ。それならまあ、人生経験の一つ程度のことなのかもしれない。

今日は暇だったわりにはぜんぜん何もできなかった。去年の夏頃に注文していたGroup Buyのキーキャップがやっと届くらしい。でも、もうオリジナルのを自作しちゃったんだよな。まあ、せっかくだしつけてみるか？

なんか二日酔いで呻いていた。そんなに飲んだ覚えはないのだけど、水をちゃんと飲まなかったのが良くなかったのかもしれない。

夕方は期日前投票に行った。区議選は候補者が多くて選ぶの大変だなと思った。選挙区みたいな概念を導入できないのだろうか。

寝ます。そういえば最近小説書いてない。プロンプトエンジニアリングはここらで諦めをつけてそっちに戻ろうかな。

喜多郁代さんのお誕生日だそうですね。

会議がちな日。あと目標設定とかをした。そろそろなんかでかいことやりたいので、準備をしていきましょうねという話をした。

夜は前職の同僚と飲んだ。近況を共有したりした。隣の席の人が異常な社交性を発揮してきたので絡まれたりした（同様にどこかで知り合ったらしいおとなしい若者と来ており、最終的に彼と名刺交換を命じられた）。こういうの、昔だったらつらい気持ちだっただろうが、最近はそれもまた人生！みたいな感じで楽しめるようになってきた。人生に制御不可能な要素を取り入れること。取り入れても全体として大きく揺らがないこと。

なんか夜更かししています。明日は特に何もすることがない。

今日もあまり調子は出ない。ずっと考えていた設計はざっくり妥協する方針になった。無理矢理実現しても、いずれもっと大きな枠組みで設計をし直さないと、禍根を残すことになりかねない。それなら今は見送りでいい。

元気がないので他には特に何も。少しずつF#mが押さえられるようになってきた。

なんかいまいち調子が出ない。謎のエラーログは今日も少し追ったが何もわからないので調査打ち切りにした。もっと分かりやすくトラブルになれば尻尾も掴めるであろう。
副産物的に現行実装の厳しい挙動をいくつか見つけたが、まあ、それはそれ……。

ガウス過程回帰の本の続きを読んでいる。補助変数法、難しい。どこを近似したかは式の上ではまあわかるが、それをすると何を諦めたことになるのかとかがまだわからない。うーん。

寝ます。

午前休とって午後から仕事。少し手が空いたので謎のエラーログの調査をしてみたが、全然歯が立たない。スタックトレースを信じる限り、世の道理に反したことが起きているのだが、そんなことがあっていいはずがないのだ。しかしスタックトレースを信じなければ何も手掛かりはない。発生タイミングの偏りから当たりをつけようと試みているが、今のところは捗々しくない。あまり深追いしないほうが賢明かも。

寝ます。