例年ふりかえり記事を書いていないのですが、なんとなく書いてみるかという気になったので書いてみます。
健康
人生で初めて入院しました。
一時的な症状でよかったですが、またなるのはこりごりです。
抗鬱薬は続けて飲んでいます。
しごと
変わらず Herp からの業務委託を受けています。
Nix を書いてることが多い感じがします。
今のペースで続けていきたいです。
生活
妻と仲よく暮らしています。
昨年は庭できゅうりがめちゃくちゃ成りました。295 本。
屋外の水道管が破損して水漏れしました。賃借家屋なので管理会社経由で修理してもらいました。こういうとき水道局の減免制度があるから利用しよう。
同人
『モナドドリル』を発行しました。
ドリルという性質上解説をたくさん入れるわけにはいかないので構成に頭を悩ましました。2 回はちゃぶ台返しをした気がします。
技術書典 18 と 19 で販売しました。
購入はこちらからどうぞ。
趣味
写真
写真熱が冷めています。フィルムの期限が切れてるのでもっと撮った方がいいですね。歩くと体力も付くし。
カメラはちょっと増えました。
- Meopta Flexaret
- Konica C35 EF
- 小さいころ家にあったやつとたぶん同型機
- Yashica Contax RTS
- 前の所有者が自分で塗装したらしくハンマートーン塗装が似合ってる
旅行
「ハーベストの丘」でめちゃくちゃわんちゃんにモテました。ネネちゃんというらしい。かわいい。寒かった。1 月。
「第27回プログラミングおよびプログラミング言語ワークショップ」に参加しに三谷温泉へ行きました。おもしろい話がいっぱい聞けて楽しい。温泉も入れる。3 月。
寝台特急「ウェストエクスプレス銀河」の座席が取れたので初めて出雲大社に行ってきました。「銀河」の乗客はみんな一癖ある感じ。出雲はその日だけ寒かった。帰りの HOT7000 系の一番前の座席が展望ですごくよかった。4 月。
「大阪関西万博」は 5 月に行ってきました。個別館はドイツにしか入られないぐらい混んでたんですけど、秋はもっとすごかったみたいですね。
東京の知り合いと現地合流して「静岡ホビーショー」に行ってきました。これもすごい混みようでモデラー展示はちょっとしか見られなかったです。メーカー展示は見たいところだいたい見られてよかった。5 月。
このあと 6 月に技術書典で東京に行って、5 月 6 月の遠出の疲れのせいか冒頭のめまい症になりました。
めまいから復帰し「関数型まつり」へ。来年あるなら何か話せればいいなあ。
プログラミング
doujin.kakkun61.com のメンテナンスをしたり、envar というツールを作ったりしました。
今年中に動くところまでできたらいいなあというツールも作っています。
鉄道模型向けの自作デジタルコマンドコントロール（DCC）の実装は中断されています。再開したい。
また、Kubernetes とか触ってみるかとサーバー用途にするために GMK Tech の G3 という Intel N150 機を買ってみました。なんとか昨日に Raspberry Pi 2 B も込みのクラスターを組めました。いやあこの辺り何も分からん。
定理証明支援系である Lean をさわり始めました。Language Server がすごくちゃんと動いていてすごいです。Haskell Language Server も安定して使えたらいいのになという思いが強くなりました。
ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発
模型
鉄道模型がまた増えました。なんで……？ せめて部屋の線路を開通させねばならないです。一旦は開通させたものの出入りが難しくなるので跳ね上げ式にしようとした結果走れない状態になっています。Z ゲージのショーティー用のジオラマを作ったのは、小さくても満足感あるなという発見がありました。
プラモデルを組むのはいいけど塗装をしようとすると急に腰が重くなるので、それが簡単になるようなんかしくみを作りたいですね。
今年は
幸運であれば娘が生まれる予定で、しかも染色体異常があることが分かっているため、生まれた場合どういう生活になるのかまだ分からず、いろいろと予定が立てづらい状況です。無事に生まれてくれるといいなあ。
それでもこれらぐらいはしたいなと思っています。
- 開発中のツールをリリースする
- 鉄道模型のレイアウトを開通させる
- 自作 DCC の実装を進める
2026 年もよろしくお願いします。
