andante

昨晩はずっとうめいていた。夕方くらいになってようやくしんどさがなくなってきた。熱は37.5℃くらいだった。

うめいていただけなので特に書くことがない。あ、そういえば「新幹線大爆破」を観た。前半は緊迫感の中で知恵を絞るのが面白かったが、後半はそうでもなかった。動機が結局よくわからないし、さすがに犯行に無理があると思う。まあでも、まあまあかな。

寝ます。明日は元気になりたいね。

仕事の前にコロナワクチンを打ち、今は呻いている。熱っぽいし具合が悪いが、体温計によればまだ発熱はしていないらしい。しかし時間の問題だろう。

元気がないので寝ます。

なんだか眠くて元気がなかった。仕事が忙しい。
正直今の仕事が全然どうでもよく感じられていて、なのであんまり深く考えたくないのだけど、手を抜くこともできず、グズグズしている。やれやれ。

PythonのRailsみたいなフレームワークが話題になっていた。つまり、APIスキーマとDBスキーマの同一視。こういうものに対して反射的な恐怖を感じるようになってしまったが、（Railsがそうであるように）それなりに役に立つのだろう。そういうのは後々禍根を残すだろうなと思うが、禍根を残すまで生き残るプロダクトは多くはないのも事実だろう。
本当にほしいのはORMではなく、静的解析できてセキュリティのベストプラクティスが強制されるSQLなのである。sqlcとかがある程度それを実現しているのか？

寝ます。明日は早起きしてワクチンを打ちに行く。

眠かった。Antigravityの無料枠制限に引っ掛かったので、一行も自分で書いてないコードを修正していかないといけなくなった。厳しい。
BluetoothといってもAndroidとiOSでは微妙に挙動が違う。今はAndroidで動くけどiOSで動かず、何が悪いのかよくわからない。ログをいっぱい追加するしかないのか？

「イクサガミ」観たけどイマイチだった。なんか、明治時代の技術で本当にこんなデスゲームができるの？みたいな疑問を忘れることができないのと、根本的に殺陣にそんなに魅力を感じないのとがある。好きな人はああいうの好きなのだろうか？

寝ます。最近イカのゲームが楽しくて勉強できてないな。

Claudeに「フェイクニュース音頭」を作詞させて、Sunoで適当な曲にしたら、想像以上にいい感じになったのですげえ時代だなと思った。毎日すげえ時代だなと思っている気がする。
ChatGPTにも書かせたけど、あいつは独自の語彙を使いたがる癖があるのでこういうのには向かないなと思う。独自の語彙を使うならもっと上手くやってほしい。物理学の質問をするとかならそれほど気にならないけれど。

SwitchBotのカーテン開閉機を使っているのだけど、ローラーのパーツを変えたら動作時のノイズが劇的に改善した。よかった。

寝ます。

眠い。レビューをしたりBluetoothをいじくったりした。なんとか通信はできるようになったが、MTUが調整できなくて難儀している。OSが制御しているのか？

夜はイカのゲームをした。ChatGPTにコツを聞いたりして、とにかく1on1を避けるとか、なんかいろいろ意識するようにしたが、そんなすぐには上手くならない。

寝ます。

ボンヤリしていた。macbookに全部（全部）を接続するのに使っていたDockが調子悪くなってしまったので買い換えたのだけど、ディスプレイ出力の帯域が前より小さくなってしまったらしく設定の変更に難儀した。特定のディスプレイの組み合わせに対して適切なリフレッシュレートを設定しなければならないのだが、その設定ができるのはその組み合わせにした場合のみで、しかし設定を一度間違えたためにその状態ではまともにディスプレイが使えない状態になってしまい、GUI上での変更ができなくなってしまった（この説明、伝わりますか？）。4時間くらい試行錯誤した結果、システムファイルを直接編集することでなんとかなった。~/Library/Preferences/ByHost/com.apple.windowserver.displays.<uuid>.plistというファイルがあって、これにディスプレイの組み合わせごとに適用する設定が書いてあるので、手動でXMLを書き替えて対処することができた。やれやれ。
リフレッシュレートは下げざるを得なかったが、元々120Hzで動いていたものを100Hzにしただけで、それもサブディスプレイのほうだけなので、一旦は問題なしとする。それよりEthernetが怪しかったのが解消したのでよかった。

寝ます。

昼にすこし出かけ、夜はカレーを煮た。満足。

「THE W」の決勝をボンヤリと観た。M-1と比較してはっきりとレベルが低いとまでは思わないけれど、完成度が高いけど平凡なネタか、企てを感じるけど粗削りなネタかという感じだった。個人的な好みは後者なのだけど。
平凡というのは、それこそM-1だとそこまではジャブですよねみたいな、どう変化させてくるのか待っていたら終わってしまうというか。でもそれはM-1が異常発達しただけなのかもしれない。好みの問題というのはある。

あと「地面師たち」をなぜかもう一度観た（それでこんな時間になった）。この作品は、騙される側もただバカで騙されるというわけでは（あまり）ないのが魅力的だなと思う。彼らにも彼らの矜持があり、それはそれとしてコロッとやられる。
ところで池田エライザさんは美人ですね。今度からタイプを訊かれたらそう答えよう。

寝ます。

今年の漢字は「熊」らしい。来年の漢字が「人」だったら怖いなと思った。
熊なんて秋以降だけの話だし基本的に東北だけの話なのにこんなのが選ばれて相応しいとは思えないけど、そもそも誰も真面目に考えてないのは明白なのだった。夏季オリンピックの年は過去4大会にわたって毎年「金」である時点で、真面目に考えるべき対象ではない。

トイレのピクトグラムには実は男と女のシンボルだけが描かれていて、トイレに関係するものは何も描かれていない。おそらく男女それぞれの部屋を案内する記号を寄せ集めて作られているのではないかと思うが、こういう成り立ちのピクトグラムは他にあまりない気がする。修辞技法を感じる。
パイオニア探査機にはヒトの男女が描かれたプレートが搭載されているという。地球文明を観察した宇宙人がそれを見たら、これもトイレだと推測するかもしれない。

昼前に出かけて、おしゃれなカフェで昼食をとった。僕以外の客は全員女性だった。平日の昼におしゃれカフェに来るのは基本的には暇な主婦とかなのかもしれない。

あとはのんびりしていた。ChatGPTに、Transformerフレンドリーなプログラミング言語のあり得る構文について提案させたりした。ブロックの開き閉じの整合性をとるのが大変なので、end ifとかend fn sum_i32とか、何の閉じなのかを明示するのがいいとのことだった。あと関数呼び出しは全部名前つき引数で、記号による演算子を避けてすべて関数呼び出しにするとか。まあチャピ公の自称なので（ある程度既存のTransformerの特性についての研究を参照させたけど）実際に意味があるのかはわからないし、結局サンプルの多い言語が覇権でしょとも思う。

寝ます。

繰り込み処方にもいろいろあって、on-shell schemeの場合はプロパゲータの$k^2=-m^2$に極が立つことを要請して相殺項を決めるが、MS schemeでは単に発散を打ち消すことだけを考える。on-shellだと$m$が小さい極限で発散が出るが、MSでは出ない。これはLehmann-Källén表示したときmasslessだと全部が連続スペクトルに飲み込まれてしまって極が分離できないということに関係しているらしいが、そこの詳しい議論はちゃんとわかっていない。

明日は休暇です。