05/05(月)

午後6時過ぎ起床。今日は祝日。

先週の週記を書き進めて午後9時前には投稿し、そのあと2時間ほどDiscordの通話で話し合いをしていた。午後11時半からはCF #1023 div.2。

Dashboard - Codeforces Round 1023 (Div. 2) - Codeforces

書く

www.youtube.com

ラノベ「凶乱令嬢ニア・リストン」8巻を読了。あらすじや口絵でピックアップされていた主人公のバトルは、最後の最後にほんの十数ページあるだけだったが、濃密で面白かった。強さのインフレがかなり進んできて、この調子なら主人公が本気を見せてくれるのもそう先の話ではないのかも。この巻で武闘大会編は終了し、次巻から新章に入る。ショッキングな引きだったので若干怖い。

午前8時就寝。

05/06(火)

午後4時起床。今日はみどりの日の振替休日で、祝日。月曜日が別の祝日だったため今日までずれてきた。ちゃんと次の平日までずれてくれることにちょっとした驚きがある。

シャワーを浴びて外出し、最近開店した煮干しラーメンの店「長尾中華そば」仙台国分町店に行った。

手打ち麺とちぢれ麺のどちらかを選べると聞いてちぢれ麺を選択したら、極細の麺が蛇腹折りになったようなものが出てきて、確かにスープにはよく絡むもののブツブツとした食感が全く口に合わなかった。後から写真を見たホスフィンに、ラーメンの器にSUSURU TVと書いてあることを指摘されたが、食べているときは全く気づけなかった。

食事 pic.twitter.com/Ekd6K9GgeL
— こたつがめ (@kotatsugame_t) 2025年5月6日

それからゲーセンに行き、閉店まで26クレプレイした。明日までのチュウニズムクエストを二つ終わらせ、また新しく解禁したLv.15「ZegalltA」のSSSを出した。簡単だと聞いていたものの思いのほか苦労した。成功テイクは中盤の小粒鍵盤で2ミスも出したのが激痛。こうなるとSSS+も狙いたいところだが、序盤から全然安定しないので苦しい。

今日は26クレ pic.twitter.com/KeBLAdwbX8
— こたつがめ (@kotatsugame_t) 2025年5月6日

さらにLv.13+の99AJ埋めに向け、残り39譜面だったところを10譜面まで減らした。昔のスコアが残っているものを改めて埋めなおすだけのつもりでいたのに、数プレイかかるものもちらほらあってなかなか大変だった。残った面子は納得感のある難関譜面ばかり。気力があれば一つ一つ向き合っていきたい。

13+の未99AJを39個から10個に減らした。これが10傑です pic.twitter.com/66AU0mKtwh
— こたつがめ (@kotatsugame_t) 2025年5月6日

立ち食いそばを食べようと思ったら祝日のため早めに閉店してしまっていた。代わりにラーメンを食べ、ドンキに寄って帰宅。

Instagramから、アカウントにログインできるようになったとのメールが来ていた。3年前に凍結されて今さら？と思いつつ試してみると、なんと確かにログインに成功。しかしアカウントの作成日が今年4月になっている。よく思い返してみると先月ログインを試みた記憶があるので、その時に何かが起こったということだろうか。ともかくアカウントが復活したのは嬉しいこと。せっかくだし動かしてみたい。

Instagramのアカウントを作成した瞬間ロックされてしまった。
週記（2022/01/31-2022/02/06） - kotatsugameの日記

https://www.instagram.com/kotatsugame_t/

ネットサーフィンで時間を浪費し、午前6時半就寝。

05/07(水)

午後1時過ぎ起床。今日は後輩のセミナーがある。パンを食べて大学に向かおうとしていたところで、当人から、先生の用事でセミナー開始が2時間ほど遅れる見込みとのメールが来た。

ということでしばらく家でのんびり過ごし、午後3時くらいに登校したのだが、そこで先生の用事がとっくの昔に終わっていたことを知らされた。1対1でセミナーするのを避けるため自分の到着を待ってくれていたらしい。

すぐにセミナー開始。今日も黒板でいろんな計算を行っていたが、前回とは異なり説明の補足だったり例を挙げていたりと、セミナーにおける必要性は明らかだった。どの資料に当たっても定義があやふやな用語について議論していたら、かなり長引いて午後7時くらいにようやく終了。

学食で食事したあと院生室にやってきたら強烈に眠くなり、机に突っ伏してしばらく寝ていた。人もほとんどいないためダラダラ過ごしていてもしょうがない。午後10時過ぎ帰宅。

眠気に負けそうになりつつ午前5時までセミナー準備を行い、少しラノベを読んで午前8時前就寝。

05/08(木)

午後0時半起床。今日は晴れているが、夜に飲み会が予定されているため地下鉄で登校した。学食で食事。

午後1時半から代数分野のセミナーに参加した。最近自分のセミナーで扱っている内容に関係あるのでは、という話だったが、そんな風には見えなかった。何も分からず苦しい時間。

そのあと午後3時半から自分のセミナー。前回不参加だった後輩が顔を出してくれたということで、張り切って振り返りから始めようとしたものの、予備知識の何をどこまで話すか決めていなかったためしどろもどろになってしまった。

また今日のメインのつもりだった定理の主張を述べ、一つ例を見せたところ、もっと自明な例ではどうなるかという質問が来た。答えとしては「有限個ある」というのが0個になるだけなのだが、なぜか詰まってしまい、やり取りを重ねるうち知識不足が露呈。普段優しい先生に呆れられてしまい、今日のセミナーは炎上気味に終了した。

駅前に移動して午後6時から飲み会。これは後輩の歓迎会で、指導教員とその学生つまり自分、M2、M1のほかに、院生室でよく話す人々も3名参加してくれた。店は「三枡三蔵」仙台駅前本店。会計は高めだったがかなり美味しかったと思う。自分は、最初に日本酒を頼んだ以外はずっと果実酒や紅茶酒を飲んでいた。

食事 pic.twitter.com/yRXgmHhVir
— こたつがめ (@kotatsugame_t) 2025年5月8日

午後8時に解散したあと、同じ指導教員を仰ぐ3人でヨドバシカメラをぶらつき、1Fにあるバー「お酒の美術館」に入った。M1の後輩がお酒好きらしく、仙台に来てまだ一ヶ月なのにもう店を開拓したようだ。ここで閉店まで飲み直した。ハイボールに挑戦するもやっぱり美味しさはよくわからず、カルーアミルクに逃げた。

二次会 pic.twitter.com/AA1yFsSAe6
— こたつがめ (@kotatsugame_t) 2025年5月8日

しっかり酔っ払って日付が変わるくらいに帰宅。午前1時就寝。

05/09(金)

午前4時半に起き、午後1時半にまた寝て、午後10時に起きた。合間にはずっとラノベを読んでいた。今日一日で「サイレント・ウィッチ」の2、3、4巻を読了。非常に面白かった。

もともとなろうで完結まで読んでいたシリーズで、クライマックスが強烈に面白かったことは今でも覚えている。もちろんほかの部分も非常に面白いのだが、最後のシーンまで書籍化されるのはいつになるだろうか、などと考えていたら気持ちが遠のき、1巻を読んでから4年弱積んでしまった。今年2月に出た9巻でついにそのシーンが描かれるようだったから、一念発起して読み進めることにした。

やはり主人公・モニカが好み。普段のおどおどした様子にはもどかしさではなく応援したくなる小動物らしさを感じ、しっかり決めるところでは圧倒的実力に裏打ちされた安心感がある。最高潮に達するシーンにはちょうどよく見開きの挿絵が配置され、震えるほど格好良い。

読んでいるとなろうでの記憶が蘇ってくるもので、物語の根幹をなす設定をいくつか思い出した。つまりなろうで読んでいたころの驚きはもう得られないということになるが、一方でかなり序盤のころから少しずつ張り巡らされている伏線に気付くことができるのは気持ちの良い体験だった。

Midnight Code Cup本戦について、いくつかのチームに繰り上げ参加の連絡が来ているらしい。公式Discordを見てScreenwalkersと我々しか日本人がいないのかと少し不安になっていたが、少なくとももう一チーム来てくれそう。

午前11時就寝。

05/10(土)

午後2時前起床。Universal Cupに参加した。今日は36回目、Wulinセット。WikipediaによるとWulin「武林」とはHangzhouの古い地名で、文学的あるいは詩的なシノニムとして扱われるらしい。同一シーズン内で同じ地名が使えないため、TUPCセットもSendaiとAobayamaの二つがあるが、旧地名を使うというのは何とも洒落ている。

https://qoj.ac/contest/2021

書く

急いで食事して午後9時からABC405。

AtCoder Beginner Contest 405 - AtCoder

Aは若干面倒。最近Rated範囲が小刻みに変わったため覚えていなかった。Bは線形でできるなと思いつつ安全をとって $O(NM)$ で解いた。Cはよい。Dは多始点BFSをしつつ求めた。単に距離が1小さくなる方向に移動するのもvalidではあるが、こちらのほうが実装が楽か。Eはリンゴまたはオレンジ、オレンジまたはバナナ、バナナまたはブドウの3ブロックに分かれることを確認する。

Fは円環を切り開き、区間 $[C,D]$ 内に $A$ と $B$ の片方だけがあるような線分を数える。線分のもう片方の端点を記録した列に対して、区間 $[C,D]$ にある $C$ 未満または $D$ より大である要素の数が答え。座圧してクエリ $O((\log M)^2)$ のデータ構造を持ち出したが間に合ってくれた。

GはMo's Algorithm。1点更新prefix積取得ができればよくて、いつものBITやセグ木を使うと更新と取得のどちらにも $\log$ がつき間に合わない。ここで更新回数よりも取得回数のほうが少ないことに注目すると、更新 $O(1)$ 取得 $O(\sqrt N)$ の平方分割を使うことで $\log$ が落ちるとわかる。出したら1150msで通った。

40分で全完して3位。Gはこの $\log$ 落としが想定だったらしい。試しにセグ木で書いてみたらランダムケースが9secくらいだった。TL 2secという普通の見た目をしていても $\log$ が区別できるんだなあと感心していたが、このTLはかなり際どいところを攻めていて、定数倍で落ちた人がTLに何人もいた。

www.youtube.com

日付が変わってすぐ寝た。

05/11(日)

午前5時に目を覚ました。

「サイレント・ウィッチ」4巻afterを読了。4巻と5巻の間の時期を扱う書き下ろし短編集。シリーズのナンバリングがローマ数字で行われており、4.5巻を表現できなかったためこのようになったらしい。伏線というほど重要な部分でなくても、何気ない描写が後の話と繋がってくることが多く、細かいところまで無駄なく話に組み込む構成が緻密だと感じた。

いったんハーメルンを開き、R-18作品「天竜人と奴隷の少女」を読んだ。権力を振りかざしてめちゃくちゃな振る舞いをするわけでも、逆に人間らしい価値観と優しさを持ち合わせているわけでもない、読んだことのない感じの天竜人。

syosetu.org

またラノベに戻り、「サイレント・ウィッチ」5巻を読了。クライマックスの9巻に向け、巻数でも内容的にも折り返し地点といったところか。ついに主人公の使い魔・ネロの重大な秘密が明かされた。巻の冒頭から露骨な描写がちらほら見受けられたためニヤニヤしていた。該当のシーンには見開きの挿絵が用意されていたほか、一部ページの白黒も反転しており、凝った装飾に大満足。

午後3時くらいから6時間ちょっと二度寝した。食事してシャワーを浴び、午後11時半からCF #1024 div.1。2¹⁰回目という節目を迎えたが、特別なことは何もなさそう。

Dashboard - Codeforces Round 1024 (Div. 1) - Codeforces

Aは中心から渦巻き状に配置するのが最適だとエスパー。実装に手間取ってしまった。Bはインデックスの偶奇で分けてそれぞれソートしたくなる。転倒数のパリティの変化にさえ気を付ければ、これで構成できる必要十分条件。

書く

www.youtube.com

日記を書いて午前10時半ごろ布団に入ったものの、まったく寝付けず、2時間ほどスマホを触っていた。明日から1週間は集中講義で毎日登校する予定。果たして起きられるだろうか。