Android 自体のテーマを Light にしていたが、そのテーマで Terminal を使うのはきつい。 仕方なく Android 自体を Dark テーマにしてその配色で Terminal を使っているのだが、 これも気に入らない。

Gemini に聞いたら /etc/systemd/system/ttyd.service の内容を書きかえればできるよ、ということなのでやってみた。

その結果:

なんとなくできたっぽい。

ただし、この設定変更が原因なのか定かではないが、ときどき エラーでターミナル全体が落ちる 。 今のところ何が問題か不明。画面にはJava関連のエラーが出ている。なんだろう。

Haskell では xs = [0..] を Kotlin ではどうするか？

出来上がったPDFはこんな感じ:

以前 LAMY ローラーボール再び、ただし中身は サラサ というか MUJIのサラサ互換替え芯を書いた。6mm のビーズと爪楊枝で替え芯の長さを調整して使う方法。 最近になってこれが V Corn ノックの替え芯でも使えることが判明して試してみることにした。

JavaScript で...というか TypeScript で 配列の要素をひっくり返す には list.reverse() すればよいだけなのだが、この方法では元の配列もひっくり返る（破壊される）らしい。 list.toReversed() を使えば問題ないらしい。

リリースしているアプリで今後も継続していくものについては いい加減 Jetpack Compose に移行しようと思っている。

自然文をSQLに変換する技術(Text-to-SQL)というのは LLM が登場する以前から存在しているらしい。 LLMを使うことでこれが業務に耐えられる品質になったとかなんとか（よくしらない）。 実際に Claude Code を使ってこれを試してみると確かにこれは機能する。 大量のテーブルがあるデータベースに対して、スキーマとその注釈（コラム名への日本語名マップのような情報）を用意して Claude Code に、「2025年1月から10月までの売上を知りたい」のように自然文で問いかけるとSQLを生成してくれる。

サンプルデータとして氏名を大量に用意する必要が生じた。 deno , haskell で試す。

方針としては 苗字と名前のリストをつくってそれらの組み合わせで大量の氏名をつくる。

「（本）すごい Haskell たのしく学ぼう」 の７章に出ているデータ型の例を TypeScript に移植する。

子コンポーネントは状態を管理させないで、 親コンポーネントですべて状態を管理する方法が基本だとは思う。

しかし ここでは、子コンポーネントで状態を管理して、 親コンポーネントからそれを任意のタイミングで把握する方法を調べます。

Apple 製品と MS 製品の混在したリストがあったとして、そこから Apple 製品だけ、または MS 製品だけのリストをつくるという例を考える。

以前のポスト 兼好法師に質問する を MCP サーバにしてみようと思ったのだが、 MCPサーバの実装は Spring AI を使いたい。 そこで、 Python で実装している兼好法師が質問にこたえる部分を Spring AI で実装することにした。 その覚え書きです。 ただし、このポストではまだテキストを埋め込み(Embeddings)に変換できることを確認しただけです。