ココナッツサブレサンドアイスをリピートしている

例年はあずきバーを買うのだが、今年はココナッツサブレサンドアイスを何回も買っている。1個あたりのカロリーが 91kcal なので食べやすい。味も素朴で好き。ハーゲンダッツ（嫁用）も食べるけど、毎日食べたくはない。

ココナッツサブレサンドアイス

今年の夏は涼しいと感じていたが、下表の通りデータ上も涼しかった。ただし、外を歩けば汗が吹き出るし、最高気温35℃前後は暑い。玄関を開けた瞬間にムワッとした壁を感じる。

期間2025年2026年前年差
6月平均気温22.6℃21.7℃-0.9℃
7月平均気温28.6℃26.3℃-2.3℃
8月1〜15日平均約26.9℃約27.9℃+1.0℃
6/1〜8/15 日数加重平均約25.9℃約24.8℃約-1.1℃

思想が強い書籍は読みやすい

「ビットコイン・スタンダード:お金が変わると世界が変わる」を読んだ。著者の思想が強い。好戦的だ。ビットコインに軸足を置いたポジショントークな一面もある。ただし、前半の貨幣（貝、金属）、金本位制、法定通貨、ハイパーインフレーションあたりの説明は、下手な金融本より明快で理解しやすかった。金融本は、歴史の説明や引用が多くて、100ページほど読み進めたのに虚無が広がるときがある。それに比べれば、本書は主張が明確だ。

本書は、ビットコインの重要性を説いている。技術仕様が知りたい人は、O’Reilly 本を手に取るべきだ。中盤（5章〜7章）あたりから、「金本位制＝善、法定通貨（ついでに政府）＝悪、Bitcoin＝金本位制に近くてデジタル時代の最適解」という思想が、強引な因果関係として顔を出し始める。面白くないとは言ってない。一気に飛躍が始まる。例えば、5章では金本位制の時代に発明された技術や芸術文化を持ち上げ、それ以外を下げている。金本位制の時代に作曲されたクラシックと比較して、現代の音楽（例：ダンスミュージック）が低俗だと語っている。脳内でひろゆきが「あなたの感想ですよね」と論破を始めてしまう。中盤は経済学だけでなく、文化・政治・個人の自由まで話を広げる。著者の価値観や立場を把握してから読むと、スッと理解できる。

ふと考えたが、暗号資産がない世界で LLM に漠然としたプロンプトを与えて、ビットコインが完成するイメージが湧かなかった。サトシ・ナカモト氏の設計センスが無ければ生まれてこないだろう。非中央集権を維持するために何を捨てるかという判断、参加者をプロトコルに従わせるインセンティブ設計、ハードウェア性能の向上を吸収する仕組み……貨幣や金融に対するドメイン知識も必要である。LLM は与えられた制約の中では強い。しかし、初手でこの制約の置き方を選べるとは思えない。

白い毛、どこの毛

若い頃から白髪が多かった。残業時間が三六協定を超え始めたあたりから、白髪が急激に増えた。鼻毛が白い時は流石に動揺し、ネットで「むしろ鼻毛が髪より先に白くなる」と説明されているのを見て安心していた。

最近は何気なく見つめていた腕の毛が白いのを見つけて、慌てるでもなく「老いたな」と感想を抱いて終わった。次はどこの毛が白くなるのだろうか。

スマホの買い替え時期が近づく

スマホ購入から2年経つと、買い替えていいかなという気持ちになる。現行機（Xiaomi POCO F6 Pro）はまだ使えるので、候補の目星をつける段階だ。スマホ選びは難しい。以下の優先度で要件定義した段階で候補がなくなる。

  1. カメラ性能がある程度高い
  2. 物理キーボードを有する
  3. 画面が E-Ink
  4. ハイスペックである

カメラ性能に重きを置くのは、子供の写真を撮るからだ。過去にカメラ性能が低い機種を買って、子供の可愛い時期にフォーカスが合わなくて相当不満だった。Surface Duo 2、君のことだ。折りたたみ機種が欲しくて買った。パカパカにロマンを感じた。使い始めて気づいたが、タッチの反応が悪く、カメラフォーカスが動き続ける欠点があった。二度と折りたたみ機種を買わないと誓った。

前述の要件を満たすスマホはないので、普通に考えると2台持ちしなければならない。スマホアプリのデバッグを考えると、iPhone + Android が最高の組み合わせだ。しかし、私は iPhone に OS レベルで馴染めない。となると、Pixel + 変態 Android 機の組み合わせが思いつく。OS がほぼ同一なので、2台持ちの言い訳が難しい。しかも、2026年は半導体不足でスマホが高騰しており、Pixel 10a が約8万、Pixel 11が約14万と非常に高い。

色々書いたが、変態 Android 機の候補は以下のとおりである。

要件を満たしているのは Minimal Phone であるが、かなりの不具合が報告されていた。BOOX が信頼できるメーカーではあるが、物理キーボードの方が優先度が高い。こうして迷い続けた後に決断して買うため、Surface Duo 2 のようなハズレを引いた時の怒りが凄まじくなる。

関数型ドメインモデリング

技術ノートに「Parse, Don’t Validate - 不正な状態を後段へ持ち込まない」を追加した。私が書いた内容（殆ど LLM が書いた内容）を読むよりも、関数型ドメインモデリングを一読することをオススメする。本書の内容を忠実に再現している企業は、恐らく少ないだろう。状態ごとに型を変えたり、Read/Write などの用途にあわせて型を変える利点が理解できても、チームで型を清潔に維持するのが大変だからだ。

私は Go が好きだが、Goは Parse, Don’t Validate を実践するのに苦労する言語だ。Rust は、実践しやすい。よくある取り組みとして、Go や TypeScript に対して Linter や何らかの制約を駆使して、関数型言語の機能もどきを導入することがある。この発想に至る気持ちは理解できるのだが、言語レベルで一貫性を保証できないから採用しづらい。チーム開発であれば、言語標準の機能を前提として、Go や TS で開発するのが自然だ。理由は簡単で、言語の基本的な使い方を捻じ曲げるほどの熱意をチーム全体に伝搬させるのは、至難の業だからだ。冷めた目で見てくる人が出てくるよ多分。

なお、私は「Go + 関数型言語」の発想を SNOW 言語（自作言語）で形にした。未熟だったのでコンパイラが限定的にしか動作しない。標準ライブラリを作る段階で心が折れた。コンパイラに OCaml を採用したのだが、Rust を使った方が仕事に繋がったかもしれない。自作☓☓系は、自分も他人も使わないので開発しても不毛感がある。私は、パーサーを作る機会がやたら多いので、どうせならパーサー職人になりたい気持ちが僅かながらある。

ふるさと納税の予習中

ふるさと納税サイトをチラ見して候補を探している。欲しい物が高い。いくつか紹介する。なお、返礼品は寄附額の3割以下であり、以下に示す金額は寄付額。

上記は、稼ぎが億単位の富裕層向けである（節税を無視して、本気で寄付することも可能だが）。私に適用できるまともな節税案としては、楽天トラベルを絡めてホテル代にするのがコスパ良いかなと考えている。旅行へ行く理由にもなる。食べ物を選択するのが一般的だが、去年は消費期限オーバーしたので我が家に向いてない。

ブロックチェーン環境構築ツールを開発

書籍でのブロックチェーン勉強に飽きたので、実際に手を動かすことにした。ローカル環境に Ethereum のノードを立ち上げたりするには、複数のツールが必要である。調べたところ、ブロックチェーンごとのツールインストール方法が煩雑であった。Docker で環境ごと固める手もあるが、ホスト環境へ手軽にインストールする手段が欲しかった。そこで、以下のツールを作った。

block コマンドは、mise、aqua、nix から影響を受けている。信頼できる開発元からツールをダウンロードし、チェックサムも検証する。なるべく不正なツールをインストールしないための仕組みも入れている。用途や機能の多くは aqua と重なっている。初期設計では、block の裏側を mise と aqua にする案を考えていた。極端な話、ブロックチェーン向けの Registry を aqua 用に整備するだけでも、block 相当のことはかなりできる。

しかし、今後ブロックチェーン固有の機能を足したくなる可能性もあるので、最終的には独立したツールとして実装した。とはいえ、「aqua + block-registry で良かったのでは？」という疑惑は若干残っている。早まったかもしれない。一晩考えたが、将来的には「Blockchain Toolchain Manager」から「Blockchain Development Toolbox」になる気がする。環境を構築した先の、ローカルチェーンの起動や状態確認、開発環境の診断なども扱う。ただし何でも屋にすると即座にメンテナンス不能になるので、どこまでを block の責務にするかは慎重に決めたい。