andante

7つだった会議予定は最終的に9つの会議になった。さすがに多過ぎると思う。

寝ます。明日は休暇なんだけど、ちょっとあちこち出かける。

今週もイマイチ調子が出なさそうな始まりだった。何だろうね。単に気が抜けているのか。

SQLのチューニングが一段落したかと思ったら、今度はMongoDBのチューニングが必要になっている。とりあえずインデックスを張ってはみたが、これはデータ構造を見直さないと早晩インデックスが増えすぎて困る気がする。しかしどう考えたものか。

ゼロ知識証明、総支払額をどう検証するかが難しいなと思っていたのだけど、真面目にやるならかなり大変であることがわかった。店側に現実的に期待できることは、請求額にデジタル署名してくれるくらいだと思われるが、そうなるとシステム側は「その署名を正しく検証した」ことをゼロ知識証明する必要があり、それはつまりハッシュ関数のような演算に対応する演算をコミットメントに対して行ったりしなくてはならない、らしい。でまあ、そういうのを丸ごといい感じにやってくれるライブラリというのはもうあるわけだが、自前で実装は大変すぎるので、じゃあこのくらいにしとくか。

寝ます。明日って会議7つあるらしいんだけど、どういうこと？

午後Iと午後IIの過去問を解いた。時間に余裕なかったがたぶん合格だとは思う。ただ信じられないほどのケアレスミスがあり、すこし凹んだ。余裕がない。
データベーススペシャリスト試験のことを界隈（？）ではデスペと呼ぶらしい。死刑のカジュアルな言いかたっぽい。

ゼロ知識証明の勉強も少しした。コミットメントに関する関係式のゼロ知識証明の方法についてはなんかわかった気がする。あとは、そのコミットメント自体は正当なものですか？という部分、具体的には総額Tがでっち上げでないことの証明が必要で、これは店側をシミュレイトする必要があるのでもうすこし追加の実装をする。そこまで行ければおそらく、店が署名した総額$T$、のコミットメント$C_T$、とCへの請求額$c$、のコミットメント$C_c$との間に、$T>3c$に対応するような関係が成立していることを証明できるはず。
なんでこんなこと真面目にやってるんだ？

なんか、前から思っていたけどChatGPTはあまりいい教育者ではない気がする。あいつらは「ゆっくり説明する」ということがあんまりできなくて、すぐに腹落ちさせようとしてくるし、実証コードをつらつら書き出すし、発展的な話題に触れてくるし。そうじゃなくて、普通に概念の定義や名前を丁寧に説明してほしいんだよな。いや、僕の頭が十分良くないと言われればそれまでなんだけども。

寝ます。明日はインフルエンザの予防接種を受ける。

親が上京してきたので夕飯を食べた。親が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周くらいは教科書を見ておきたい。

寝ます。