昼過ぎに実家を発ち、東京へ帰還。とりあえずは無事に事が終わり、妻も気を遣いつつそれなりには楽しんだようなので、まあよかった。しかしまあ、そんなに頻繁にはやりたくないな、疲れる。
帰ってからは数学をすこしやった。混合テンソルとか出てくると添字を書くのが疲れる。こんなに一般的に定義しても実際に使うのはせいぜい4階なのに……。まあいいや。
さて、明日からはまた仕事です。正月休みからなんか連休が多くて正月気分が抜けきらないが、そろそろ開発期間が終わりに近い。
帰省2日目。カニを食べた。カニの刺身を食べたのはたぶん初めて。まあうまいが、甘エビとあまり変わらないなとも思った。茹でたほうが好きかも。食べにくいけど。
それから実家に行き、漠然とアルバムを眺めたりした。写真の中の僕は心から楽しそうに笑っていて、だけど君は10年もしないうちにそこそこのつらさを知っていくだろうと思った。それでもまあ、確かに君は心から楽しそうに笑っているのだし、そのことは僕が覚えていてやらないとなとも思った。
あと古いペグソリティアがあったので挑戦してみたが、やはり解けない。向きになっていろいろ考えてみたが、やはり解けない。うーん、こういうのは昔から苦手だ。
明日は昼食ののち東京へ戻ります。疲れた。
実家、正確には実家近くのホテルにいます。実家はいろいろリフォーム中なので今回は泊まれず。母はたまに上京していたが父と対面で会う（レトロニム！）のは2年ぶりくらい。元気そうだが古稀が近く、なかなか気がかりではある。
夜はすこし数学をする。旅先で勉強をするのもなかなか乙なものだなと思う。ちょっとずつ、絶やさぬように。
明日はちょっと出かけてカニを食べたり、あと実家でなんかしたりします。なんか？なんだろう。アルバムみるとかかな……
仕事は休みで、なんかボンヤリしながらnecoccを触っていた。ポインタ型や配列型への対応ができた。多次元配列への対応がなんかおかしいが…… そもそも多次元配列の文法僕もよくわかってないんだよな。ううむ。
明日は実家行きます。2年ぶり？
なんだか今日は元気がない。いやはっきりどう具合が悪いというのはあまりないのだけど…… なんか眠い。頭が重い気もする。喉に違和感あるのは乾燥のせいか。ううむ。難儀です。
仕事はのろのろ進む。進捗なくはないけどテスト書くのに手間取ってたらけっこう遅くなってしまった。やれやれ。
Cコンパイラできたら次は日本語IMEでも作るか〜と急に思った。RustでInputMethodKitを触る方法について調べないと。そういえば僕は高校時代くらいにも日本語変換システム作ってみたいと思っていたんだった。なんかPSPで自作ソフトを動かすハックみたいなのがあって、じゃあそこで日本語入力できたらおもろいな的な。結局何もしなかったけど。あと普通に標準の入力メソッドを利用する方法が見つかってたな。あの頃はなんもわかってなかったけど、なんでも試そうという意欲だけはあって、なんもわからんなりにあれこれ見ていたなーと思う。いまはもうちょっとわかっているし、なんだか意欲も最近ちょっとあるんだ。
寝ます。明日から四連休。
リモート勤務も2年経ってようやく気づいたのだけど、通勤がないと午前中にTwitterに書くことあんまないな。布団と仕事が10秒で接続されちゃうのも味気ないものだ。
仕事は、なんだっけ。最近調整ばかりだなと思っていたら普通にけっこう手を動かさないといけないタスクがあったのでやってる。こういうのをやってると僕はまだ調整よりは実装のほうが楽しいのだなと思うけど、誰かが調整しなければプロジェクトは動かないのだし、貢献できる価値の総量としてはそっちのほうが大きいのだろうとも思う。うーむ。うーーむ。
寝よう。
なんかはてなスターのデザインが変わっている。ちょっとレイアウトがずれて見えるのが気懸かりなのと、このblogのautopagerize対応ははてなスターの内部実装をゴリゴリに参照しているので動きが変わっていないか心配。でも僕はいまautopagerizeを入れてないので確認していない。暇なときするか。
三連休明けのわりには元気。給与制度の改定があって説明を受けた。グレード基準が（形式的なものであるにせよ）ちゃんと整備されてるのはいいなと思った。前職のグレード基準は僕が昇格するまで作られてなかったり、遙か遠くまで定義されてるくせに昇格基準が存在していなかったりしたなと思った。たぶん異なる職種の給与テーブルを全部統合したせいだと思うんだけど、統合してそんな歪みが生じるくらいなら統合しなければいいのに。
仕事は今日もあまり進捗なかった。不具合があったのでサッと直したり、あと設計の議論をしたり。まあもうガリガリ手を動かさないといけない状況ではなくて、いろいろ決めてねじ伏せる段階なのかもと思う。いや、まだか？
夜はnecoccを触った。簡易的な関数定義が書けるようになって、フィボナッチ数を再帰で計算するなどが書けるようになった。うれしい。
寝よ。口内炎なおってきたけど、こういうことを意識してしまうとまたリセットされてしまいそうな気がして怖い。
三連休三日目。necoccを少し触って、簡単な関数呼び出しができるようになった。まだ引数の型のこととかぜんぜん考えていないが。あとは関数定義が書けるようになったら幾分それらしいコードが動かせるようになるだろう。
買いもののついでに近くのスパイス専門店を覗いてみた。思った以上にカレー用のスパイスが揃っているので、これはちょっと色々試してみたいなという感じになった。楽しみ。
『FLYING SAPA』貸してもらったので観ました。ディストピアものとしてはまあ普通。ディストピアの成り立ちに悲しい思い出があるのもまあ普通。僕はどちらかというとディストピア好きなんだけど（なぜなら清潔感のある世界が好きだから）、だからこそ人間賛歌を歌われるとそれなりに心動かされるところもある。社会の一構成員としての代替可能な自分を、この自分がいつでも裏切れるように、道徳のレベルでは清潔な世界を志向しながら、自分だけは裏切ってやりたいと思っているのかもしれない。そうかなあ？
寝ます。三連休でまた全部忘れた気がする。今週は3日働けばまた休み、それも四連休です。
朝一度起きてちょっとnecoccを触り、また寝て、妻に髪を切ってもらい、あと宝塚歌劇団の「シラノ・ド・ベルジュラック」の録画を観て、夜はまたnecoccを触った。if文、while文、for文が（簡易的にだが）書けるようになった。いいね。だんだんホンモノのプログラミング言語っぽくなってきたぞ。ただこのあたりからは参考にしている文書が執筆途中になってしまっていて、概略だけが書かれている感じになってきたので、行間を埋めるのは大変かもしれない。まあ、がんばろう。
結局夜更かししてしまっている。愚かなことだ。寝る。
正月ボケを直さないとと思ってはいるのに結局昼過ぎまで寝てしまう。少しnecoccを触る。比較演算ができるようになった。x86向けに書かれた説明を読みながらArm64向けに実装するのはむしろちょうどいい面白さなのかもと思ってきたが、この先どうなることか。
夜はカンパチを買ってきてしゃぶしゃぶにした。うまかった。またやりたいな。
道徳の反実在性と、その（仮想的）存在基盤について知ることができたのは、哲学をかじってよかったなと思える大きな点だ。世界の独我論的構造と、道徳がその忘却に立脚していることについて理解できたからこそ、僕にとっては茶番でしかないはずの道徳というものをそれなりに演じるということができるようになったように思う。茶番ならそう言ってくれればいいのだ。何か僕の知らないルールが実在するのでなければ。
寝る。明日は日曜日だけど、三連休だからまだ楽しい。