明日は試験なので、過去問を解いたりした。過去4年分においては問題なく合格できそうではあるのだが、毎年微妙に内容が違うから、今年のも解けるのかはいまだ自信がない。午前試験も年によって上振れ下振れ怖いところだが、よほどでなければ大丈夫でしょう。
それより体調悪くならないかのほうが心配ではある。トータル5時間あるわけで。閉所恐怖症的な怖さがある。
寝ます。早起きすること自体はそれほど困難がないが、午前中に頭が回らないタイプなので、そういう意味でも心配。まあ午前試験は時間余るし、なんとかなるでしょ。
やる気出ないながらClaude Codeにコード書かせている。指示がイマイチなのかなかなか思い通りにならない。まあ、思いがあるなら自分で書けよという話であるような気もする。
夜は会社の飲み会に行った。エンジニアの中では話しやすい、みたいな評価をもらった。まあ、嬉しいことではある。最近気づいたが、褒められてわりと素直に喜ぶのは、僕の少ない美点の一つなのかもしれない（？）。
でも実際は、面倒だったらスッと気配を消したりとかいろいろしているわけで、後ろめたい気持ちもある。コミュニケイション機会1回ごとに割くコストを、大きくすれば親切だと思われるが、その分持続性がないという模型で理解している。そんなに綺麗なトレードオフ関係にあるわけでもないだろうけれども。
寝ます。明日は試験前日なので、令和3年午後Iでも解こうかな。あと午前対策。
最近労働意欲がかなり低くて困っている。いや、意欲の問題というよりは単に調子がよくないような気もする。はっきりとした原因はわからないのだけど。
令和3年午後II問1、ほぼパーフェクトだったので嬉しい。まあこの設問は正答率高かったと講評にも書いてあるのでそんなもんなのでしょう。これで5年分解いて、まあまあ安定して合格点は拾えていそうなので、一安心か？
寝ます。
仕事を休んで用事をしたり、ラーメンを食べたり、OSを作り始めたりした。ほぼ写経してるだけだけど。UEFIって便利なんだな。
寝ます。
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の内部にどうエンコードされているのか、そのようなモデルがどうやって自発的に構築されるのか、そういった部分は今まさに探究が進められていることと思う。そしてそれが理解できてしまえば、そういう仕組みがあるからそういう振る舞いをしますという風に納得されるものなのだろう（そしてそのような理解が得られたなら、ヒトの脳に対してもその理解を適用することはある程度できるのではないかと想像する）。
寝ます。