andante

親が上京してきたので夕飯を食べた。親が30年以上前の子育て経験を話してくるの、卒業した先輩がいつまでも昔話してくるみたいなダルさがあるなと思った。それ俺らの代の話じゃないっすよ。

ゼロ知識証明の学習用プログラムを書いてる。書いてるというか、ChatGPTが書いてくれたのを写経している。理論はともかく何をやってるのかはすこし分かった……と思う。いや、まだやっぱよくわかってないかも。うーん。

寝ます。

最近ずっと調子が出ない。SQLのチューニングは少し前進したが、そこで壁に突き当たってしまった。実行計画の読みかたが少しはわかってきたような気がするけれど、その結果これ以上は簡単には縮まりそうにないこともわかってきつつある。まあ一旦これで出すか？

「Back to the Dawn」トーマスとボブでクリアした。NPCとの会話やクエストなどなかなか楽しかった。もっと周回して会話を楽しみたい気持ちもあるが、そろそろ試験勉強に戻らないとヤバいのでこのくらいにしておく。

そう、実はもう試験まで10日を切っている。午後対策をちゃんとやらないと……。

寝ます。

しばらく落ち着いていたSQLチューニングだが、機能改修に伴ってさらなる改善が必要になってしまった。なんとも悩ましい……。

LLMの驚くべきところは、世界や言語についてのモデルを手で組み込むということ（ほぼ）なしに、後続トークン予測のみの訓練によってそれらのモデルを獲得したかのようにしか見えない出力が出てくるところであろう。たとえば天気予報は同じことをするのに大気の力学に関するモデルを手で組み込んでいると思われるが、LLMはそうではない。マルコフ連鎖人工無脳botのものすごい先にChatGPTができることを、20年前は誰も予想していなかったのではないかと思う。

世界に関するモデルがLLMの内部にどうエンコードされているのか、そのようなモデルがどうやって自発的に構築されるのか、そういった部分は今まさに探究が進められていることと思う。そしてそれが理解できてしまえば、そういう仕組みがあるからそういう振る舞いをしますという風に納得されるものなのだろう（そしてそのような理解が得られたなら、ヒトの脳に対してもその理解を適用することはある程度できるのではないかと想像する）。

寝ます。

なんか書くこと思いつかないな。

OpenAIがなんか新しい動画生成モデルを搭載したSNS？を発表してたから見てみたけど、インスタとかTik Tokとか全然触れてないおじさんだからか楽しみかたが全然よくわからなかった。ただ動画生成したいだけなのに、フォローだとか何だとか、余計なものがありすぎる。流れてくる動画は雑コラばっかりだし。
ガラケーの時代に、カメラで撮った写真とオモシロGIFアニメを合成してオリジナルの動画を作れるアプリがあったのを思い出した。でもじゃああれでよくない？オモシロショート動画の顔をサム・アルトマンに挿げ替えるためだけにそんな高度な技術が必要だともあんまり思えないし、それによってオモシロが高まるということも別にないように思う。まあ、イマドキの若者はこういうのが一番楽しいのかもしれないし、そこはわかりませんけれども。

それはそれとして、生成物のリアリティを見るとなんかもうネットリテラシーとかの時代は終わったのかもなという気がした。流れてくる画像や動画をいちいち合成だとか疑ってたら生きていけないのではないかと思う。やはり冷笑、全方位的冷笑しかインターネットで生き残る術はないのだ。生き残りたいか？

寝ます。早めに寝ようと思っていたのにゲームしてたら遅くなっちゃった。てかまた試験勉強サボってるな。午後IIがまだ自信ないのに。

h.b. > κ.

36歳になりました。中年になるとさすがに誕生日を忘れそうになる。昔は9月に入ったらずっと今月誕生日だな〜と思っていたような気がするのだが。今はもう、なんとなく疲れたまま生活をやり過ごしているだけで一週間とか平気で過ぎ去ってしまうので、思い出す余裕がない。

仕事は会議とか資料作成とか。Notionでドキュメント管理するの厳しいよっていう話を一年くらい訴え続けてきたが、最近ようやく支持を得られつつある気がする。そうは言っても当面はNotionに書かないといけないのだが。Markdownならどうにでもなるだろうけども。

ゲームしてたら遅くなっちゃった。寝ます。

よく眠れなかったせいか今週も調子が良くない。ノロノロとドキュメント書いたり目標設定の相談に乗ったりしていた。MBO？とかいうやつマジで茶番だと思っているので相談されてもナという感じなのだけど、中年になると茶番も少しはやらないといけない。適当にいくつかアイデアを出した。

寝ます。なんか明日は会議が多い。

過去問とゲームしてた。午後IIの概念データモデルの問題をもう一つ解いたけど、やっぱり問題文を読み落としていたりして正答率が低い。仮に部分点がないとしたら落ちるのだが、実際どうなんだろう？
午前Iと午前IIも解いた。こちらは問題なさそう。まあ午前Iに関しては当日までにもう1周くらいは教科書を見ておきたい。

寝ます。

ペンネームをつけることがあったら、「五億　魚（ごおく　さかな）」にしようかな。

午後Iの過去問を解いたらけっこう良かったので安心している。いや安心はできないが。問題選択で失敗したら詰む可能性は全然あるし。1年分うまくいったからって安心せずにもっと幅広く対応できるようにならないと。
あと問題文をちゃんと読むことが出来ていない感じがあり、焦っちゃうんだよな〜〜〜と思いつつ悩んでいる。読み終わって解答に反映した部分はチェックつけていくとか、そういう対策が考えられるが、そもそももっと出題形式に慣れていくべきなのだろう。

全然関係ないけど、「番」という漢字がひそかに苦手で、というのもなんか全然バランス良く書けなくないですか？どうやってもなんか縦長の串焼きみたいな形になってしまって、それを解答欄のマス目に書こうとするとはみ出してしまう。データベーススペシャリスト試験には「○○番号」という列名が頻出なので、これを書かされることも多く、地味につらい。そもそもこんなに漢字を手書きすることなんかもう何年もなかったし。去年1年で書いた文字数より今月書いたほうが多いんじゃないか。いや、去年は家を買ったから結構書いた気もするな……。

すこし本読んで寝ます。

とにかくやる気が出ない中でClaudeに実装をさせたりPR書いたりサービス仕様を書いたりしていた。今週はもうだめですね。

夜は映画を観たりゲームしたりしてた。ある種のゲームは最終的に段取りの追求になっていく。

A,B,Cの3人で飲食して、会計はAが支払い、Aがその1/3をBとCに個別に請求することを考える。いわゆる割り勘の一形態である。
ここで、Cが誕生日だったため、AとBは、Cの支払いをすこし減らしたいと考えるが、どれだけ少なくしたのかは教えたくないとする（考えられる理由としては、余計な気を遣わせたくないなど）。
このとき、具体的な総額をCに知らせることなく、Cへの請求が総額の1/3より少ないことを証明できるだろうか？

ChatGPTによれば、ゼロ知識証明の一種を用いれば、原理的にはできるらしい。つまり、総額$T$とCへの請求額$c$の間に不等式$T/3>c$が成り立っていることを、具体的な$T$をCに開示することなく、Cが検証する方法がある。マジかよ。
具体的なアルゴリズムも聞いたけどまだよくわかってない。もうちょっと調べたい。

寝ます。ゲームもしたいが過去問もちゃんと解きたい。

気圧のせいで調子が悪い。いや、気圧のせいだとは思っていないのだが、気圧のせいで調子が悪いと言っている人が何人かいたので、僕も気圧のせいということにしている。実際は単なる寝不足じゃないかと思う。

DBスペシャリスト試験の受験票が届いた。朝9時過ぎに会場入りするのが一番大変だなと月並みなことを思う。夜型のわりには朝起きることに困難を感じないタイプなのだけど、それでパフォーマンスが出せるかというのは別問題だ。

寝ます。