andante

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

午後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時過ぎに会場入りするのが一番大変だなと月並みなことを思う。夜型のわりには朝起きることに困難を感じないタイプなのだけど、それでパフォーマンスが出せるかというのは別問題だ。

寝ます。

連休明けでボンヤリしていた。あんまりやる気が出ない。

ゲームしてたら遅くなっちゃったので日記はおやすみします。いつもおやすみみたいな日記しか書いてないだろ。

今日はずっとゲームしていた。相変わらず刑務所にいるが、ポーカーで小銭を稼ぐことを覚えた。空腹で具合悪くなるとかも減ってきたし。ただ1周目はボーッとしてたら時間切れになってしまったので、今は2周目。今のところはクエストは順調。

過去問も解いた。概念データモデル、やっぱり苦手っぽいが、それはそれとして部分点がどのくらい取れるのか不明瞭なので選びたくないというのもある。でも基本的に毎年形式が同じなので対策がしやすいのはそうなんだよなあ。悩む。

寝ます。4連休明け、何も思い出せない。

おいしいと評判のビリヤニをテイクアウトしたり、いま日本一有名な味噌ラーメンことみそきんを食べに行ったりした。こういうイベントを同日にすべきではないのだが、予約可能な日程の都合上こうなってしまった。
みそきん、なんとなくだけど、これは僕のようなフルリモート・パソコンカタカタ・ワーカーよりは、ある程度体力を使う労働のあとに食べるための味っぽい気がした（無論おいしいけど）。HIKAKINの記憶の中のラーメンというのがそういうことなんでしょう。コンセプトがしっかりしているのはいいなと思った。

今日は勉強はせずゲームをしていた。今は刑務所で健康に気を遣いながら暮らしている。

あと映画も観た。「ラストマイル」。悪くなかったけど、なんかこう、グローバル大企業の悪い面！みたいな社会問題への意識がストレートすぎて、うんうんそうだね〜の気持ちになってしまった。そういうことってある。

寝ます。

競歩という競技が昔からよくわからないのだけど、考えてみると競泳も自由型以外がある理由がよくわからなくて、まあたぶんこういうスポーツ観戦に向いてないということなんだろうと思う。対人競技なら多少恣意的なルールがあっても気にならないが、速さを追求するのにあんまり不自然な縛りがあるのは気になる。歩くことが不自然な縛りなのかは人によるだろうが。

午後IIの過去問をもう一つ解いた。やっぱり時間ギリギリで、配点はわからないがたぶん合格点よりすこしだけ上のようだった。ウーン、心配。全然解けなかった問題もあるし。
記述問題にまだ対応できていない。なんかこう、答案を書くのに使う、言語というか文法というか、それが掴めていない。電話に対する不安にすこし似ている。僕は記述問題に対して対人不安を感じているのか？

夜はゲームをした。舞台はつくばっぽいが、本郷キャンパスっぽい絵だなと思った。ぽいというか、はっきりと見覚えがある。もっとも、あまり他の大学キャンパスを知らないから、別にどこにでもある景色なのかもしれない。

寝ます。明日はすこし忙しい。

昼頃に起き、ゲームをして、昼寝をして、午後IIの過去問を解き、掃除をして、買いものに行った。なんか奇跡のようにいろいろなことをしている。4連休の初日がこんな生産的でいいのか？

過去問は、配点は公表されていないが低めに見て75点くらいだった。2時間もあるのに時間ギリギリだったし、記述問題はどう書くのかまだ不慣れで戸惑うことも多かったが、想像よりは取れそうでよかった。まあまだ他の年のも解かないとわからない。

ドンキーコング・バナンザは、本質的に塊魂なのではないかとふと思った。いや、塊魂そんなやりこんだわけではないけど。世界をメチャメチャにすると気分がいいという暗い欲求に訴え掛けてくる感じが。そういえば塊魂も新作出るらしいですね。やろうかな。

寝ます。

今日もひどく眠かった。わりと早めに寝たはずなんだけど。

眠かったので進捗はあまりよくない。Lambda@Edgeのログは出たりでなかったり出るとしても遅かったりするらしいので、デバッグには不便だということを知った。しかし動かしてみないとなんともなので仕方ない。

寝ます。

目にうつる　全てのことは　レコメンド

寝不足でかなりしんどかった。スケジュール通りだと会議続きで無理かもと思っていたが、運良くリスケになったりしたので助かった。

全社定例会で表彰されたので短いスピーチをした（最近やっていた作文はこれです）。まあなんか自分で読んでて嘘くさいなあと思うが、推薦してくれた人もいることだし、失礼のないようにはしないといけない。本当はこういう時にユーモラスな感じでやれたらよかったのだが、リモートだし社員の半分以上は知らない人だしで、事故りたくないのでやめた。こういう時に事故りがちなのが僕の弱点なのはもう知っている。
表彰されたこと自体は、まあ、当然求められていることを褒められてもナという気持ちもあるけれども、復帰してからずっと空回りしている気分だったから、ちゃんと誰かに有り難がられているのだなと感じることは嬉しくないことはない。

夜は昨日やった過去問の解説を読んだり、時間切れで解けなかった問題を解きなおしたりしていた。落ち着いて解けば合格点くらいは取れるのか……？配点がわからないから何ともか。
解くときに解答用紙がないと余計なことに時間をとられてしまうことがわかったので、印刷することにした。土日のうちに午後IIを1度解きたい。

寝ます。今日こそは早く寝る。明日は歯医者に行く。