04/21(月)

午後3時起床。

MIT Informatics Tournament決勝の招待メールが届いていた。自分より上位にいたmaspyさんとpotato167さんが決勝を辞退していることは確認していたが、ほかにも数名辞退者がいたようで、自分のところまで回ってきた。しかし決勝が5月初めであまり時間がないし、支給される旅費の上限が500USDで全く足りないし、自分も辞退することとした。

午後3時半からインターン先定例会に出席。進捗は何もなし。勉強会はAHC作問の話だった。AHCでは送られてきた問題を全部wataさんが解いて評価する、AGCではmaroonさんが解く、ということでコンテストの質がただ一人の技量・才覚で担保されるシステムだが、そこにちゃんと日本最強の人が待ち構えているのがAtCoder社のすごいところだと思う。

大学で行われる健康診断の予約を明日の10時20分からの枠に入れた。周辺が軒並み満員だった中1枠だけ空いていたので、多分ちょっと前にキャンセルが出たのだろう。明日明後日くらい直近でないと予定を入れる気になれないので、運よく滑り込めてよかった。

先週の週記を書いて午後11時半に投稿。なんと今回は穴あきがない。それからCF #1019 div.2に出た。

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

Aは列をdistinctにすることが必要十分。Bは0と1を切り替える回数を最小化したい。ランレングス圧縮した文字列をいくつか手で解いて答えを導いた。Cは $a_i\le k$ を $+1$ に、 $a_i\gt k$ を $-1$ に置き換えて累積和を取り、切れ目の片方を固定して条件を考えた。

Dは $a_i=1$ の位置に大きな数を置く。このとき $a_i\ne 1$ なるインデックスを一つ選び、そこから左右に値が増えるようにする。あとは再帰。Eは操作可能なペアがあると、そこを使って3手でswapが可能。そこで、最初に2手使って $a_1+a_n=k$ とし、 $a_2,\dots,a_{n-1}$ をswapでソートして、最後に $a_1=0$ 、 $a_n=k$ とした。

Fはあるbitに注目したとき、 $b_2,\dots,b_m$ に $1$ が出現していればその最後に出現した位置に応じて $\operatorname{nor}(b_1,\dots,b_m)$ が決定する。このことから、区間の右端を固定したとき、値のパターンが $O(k)$ 通りしかないことがわかる。それぞれ最も左端が遠いものを選んでおけば、区間chmax・1点取得で答えが求まる。

コンテスト中は区間中の1点を固定し、左右それぞれ頑張って計算したが、右のほうはやたら大変だし無駄。まあ間に合ってよかった。

残り6分で全完し3位。solved数を見るとEとFが逆転している。全完直後、Fがやたら解かれているのに気づいてびっくりしたが、Eまで含めてすべて通した人はほとんどいなかった。噂によればChatGPTでFが解けたからとのことである。

www.youtube.com

今年も学振の季節がやってきた。まずは電子申請システムにログインし申請書情報を埋める。指導教員の研究者番号だったり大学の連絡先だったり、普段意識しないものを記入する必要があって初見のときはなかなか手間取ったところだが、さすがに3回目にもなるため昨年使用したデータをスクショ等で保存してあって、ほぼ丸写しすることができた。

しかし思ったより疲弊したので今日はここで切り上げることとする。午前6時半就寝。

04/22(火)

起きたら午前10時半だった。健康診断に遅刻。まあこのくらいなら十分セーフであることを過去の経験から知っていたので、急いで登校して受けた。

血圧・身長・体重の測定と胸部X線検査だけで10分もかからなかった。寝起きだったので血圧に異常があるかと心配していたが、何とか平常の範囲内に収まっていた。昔、健康診断に遅刻して走ってきたとき、息が上がったまま測ったら再検査になったのを覚えている。

先週末帰省したときに今年度の年金の書類を受け取ってきたので、郵便局に寄って1年分を一括で払い込んだら、20万円飛んでいって強い衝撃を受けた。これまでは学生納付特例制度を適用していたのかと思ったが、書類を見るに両親が納付してくれていたらしい。頭が上がらない。

混み合う前の時間帯に学食で食事して帰宅。布団に戻って午後5時まで二度寝し、起きて3時間ほどラノベを読んだあと、ゲーセンへ向かった。

閉店までで20クレプレイ。今日はLv.13の99AJ埋めをした。もともと16譜面残っていたが、大半は単にしばらくプレイしていないだけだったので、一発で出るものも多かった。苦労したのは「一触即発☆禅ガール」と「La Flesvelka」、つまりタップスライド譜面。前者は最終的に噛み合って995が出たものの、後者はギリギリでの達成となった。まあ終わってよかった。

今日は20クレ pic.twitter.com/kEznv2qKPH
— こたつがめ (@kotatsugame_t) 2025年4月22日

Lv.13+で同様のことをしようとすると、やはり「Äventyr」が鬼門になるだろう。初AJからずっとそのAJ称号を使っているが、確かその一度しかAJしたことがないはずで、スコアは1009600点を下回っている。めちゃくちゃ精度の取れない譜面なのに、昔の大会配信において、すとらさんが一発勝負で0-1-0を出していたのを未だに覚えている。

www.youtube.com

油そばを食べて日付が変わってから帰宅。ラノベを読んだ。

「アラサーがVTuberになった話。」5巻を読了。面白かった。ついにというべきか、主人公が配信者として真っ当に活躍しており楽しかった。終盤のイベントラッシュでは普段と同様に繰り出される笑いの中にも感慨深さのようなものを感じていた。

そういえば、Web版で読んだはずなのにこの巻のあらすじに全く覚えがないと思っていたのだが、どうやらメインはほとんど書き下ろしだったようだ。あれだけのイベントを企画してミカが柊先輩の3Dお披露目配信に出演できるようにしたのに、Web版の展開に合流させた結果、変わらず体調不良で休むことになってちょっともったいなかった。

午前9時前就寝。

04/23(水)

午後1時起床。パンを食べて登校し、半からセミナーに出席した。

この春から指導教員の下に進学してきた、論理学を志すM1の学生による初回発表。セミナーで扱う文献の概観から始まって丁寧だなと思っていたら、そこに登場する用語に関して先生が質問しまくり、さらには関連するらしき謎の計算を黒板でやらせて、結局よくわからないまま終わった。

傍から見ていると正直発表を迷走させようとしているようにしか思えないのだが、まあ自分は論理学の専門家というわけではないので、先生の意図を汲み取れていないだけという説もある。いずれにしても先生から即興で計算課題を与えられるのは自分も通ってきた道なので、準備してきたメモの内容をほとんど扱えず当惑していた後輩には、よくあることだと慰めの言葉を送っておいた。

数学ガールの新刊が出るらしい。7巻目にして最終巻、テーマはリーマン予想。ちょうど自分が大学に進学した2018年4月に6巻「ポアンカレ予想」が出て、当時購入ツイートに著者の結城浩さんからリプライをいただいたことを覚えている。序盤だけ読んで、それから7年間積んでしまったのだが……。

『数学ガール／リーマン予想』ついに登場。
数学青春物語、堂々の完結へ！
ただいま予約受付中！
（2025年8月刊行予定）

◆結城浩『数学ガール／リーマン予想』https://t.co/7gc0E8IH6a #数学ガール pic.twitter.com/gUh4nQ0zCq
— 結城浩 / Hiroshi Yuki (@hyuki) 2025年4月23日

学食で夕食を摂り、院生室でひたすら駄弁っていた。今日は面子がいないので麻雀はなし。もっぱら学振の話をしていたと思う。

昨年度の自分の申請書を読み返してみたら、信じられないくらいふわふわした内容でびっくりした。数学分野で確実な研究計画を立てられるならもう研究が終わっているも同然、というのはよく言われることだが、研究計画をでっち上げるにしても、分野に関する知識が不足していると説得力のないふわふわしたことしか書けない。

今も知識が足りているとは全く言えないものの、この1年で自分が取り組む研究については明確になったものと思う。最終年度の今年こそもうちょっとマシなものを書けるといいな。

午後11時半帰宅。

ラノベを読んだ。「アラサーがVTuberになった話。サブチャンネル」読了。特典小説などを集めた短編集で、ほぼすべて主人公以外が視点人物となっている。本編でも関係者からの主人公に対する愛が重いということは言われてきたが、その愛を注いでいる当人たちの口から語られるとより実感できる。2巻ラストの凸待ちの一幕をルナ・ブラン視点で読めたのが一番良かった。

午前5時半就寝。

04/24(木)

午後5時起床。ラノベを読んだ。午後10時から1時間ちょっと二度寝して、午後11時半からCF #1020 div.3。

Dashboard - Codeforces Round 1020 (Div. 3) - Codeforces

Aは $O(n^2)$ でもよいが、0と1の個数に関する式を立てて求めた。Bは $p=[0,1,\dots,x-1,x+1,\dots,n-1,x]$ とする。ただし $x=n$ のケースに注意。Cは $\max a\le a+b\le\min a+k$ であることに注意。Dは追加した花を割り当てる $b_i$ を全探索する。その左右についてはそれぞれ端から貪欲で判定できる。

Eは実際に $O(\log n)$ 回再帰して、もともと $p_i\lt k$ 、 $p_i\gt k$ だった値、 $p_i\lt k$ 、 $p_i\gt k$ になっている必要のある値をカウントし、算数。Fはマス目を行ごとに見ると難しいが、列ごとに見ると二パターンしかないため簡単。

Gは $200$ クエリで根を特定したい。頂点 $u$ とそれに隣接する頂点の部分集合 $V$ について、 $u$ をtoggleする前後における $V$ の差分から、根が頂点 $u$ から見て $V$ の方向にあるかが判定できる。これを繰り返すと $O(\log\deg u)$ 回で根がどの部分木にあるか、または $u$ が根かがわかり、重心分解のように聞いていけばクエリが足りる。

Gが書けてからFがオーバーフローで落ちているのに気付いた。このタイムロスが響いて11位。

www.youtube.com

「しゃまのデュエマちゃんねる」が昨年末復活していたことを知った。主に古いカードを使ったデュエマの対戦動画を上げているチャンネルで、一時期よく見ていた。

www.youtube.com

ラノベを読んだ。「アラサーがVTuberになった話。」6巻を読了。2巻から短編集含め6冊、積んでいた分を立て続けに読んできたが、つい先月出たこの巻でようやく一段落。大満足だった。6巻は珍しく平和な巻で、主人公と周囲の人との関わりにじんわりと温かい気持ちになりながら読んでいた。しかし何やら不穏な描写もあったりするため、この分の揺り戻しが怖い。

そういえば、主人公が新幹線で上京する際「雪に強い」「通信状況が悪い」「関西方面に行くのは不便になった」と言及していたところから、北陸新幹線だと気づいた。2番目はリアルにおいては開業当初だけの話のはずだが。ともかく、それでWeb版の感想欄で少し検索していた結果、6巻発売記念の閑話にほとんどはっきり富山在住であると書かれていたのを発見した。「世界一美しいスタバ」は県内では有名。

syosetu.org

日記を書いて午前11時半就寝。

04/25(金)

午後7時過ぎ起床。

今週末にはUniversal Cupがあるが、チームメイトの都合が合わなかったので、一日前倒しで今日の午後8時から参加することとした。35回目、Krakowセット。

https://qoj.ac/contest/1993

書く

秘密の作業をして午前9時就寝。

04/26(土)

午後2時半に目を覚ました。

最近一押しのラノベ「冒険者酒場の料理人」のコミカライズ宣伝ツイートが流れてきた。よく見たら数万件のいいねがついていてバズっている。ラノベと漫画という違いはあれ、自分が面白いと思ったものを他の人も面白いと思っていたということで、かなり嬉しい。

食べられない迷宮食材をどうにかして美味しくする料理人の話(1/12) pic.twitter.com/KiktxCctZ2
— 飴井涼@1巻発売4/25 (@amei_ryo) 2025年4月25日

ついでに調べたら、原作小説の3巻制作が決定していた。完結していたと思っていたばかりに驚き。非常に楽しみである。

(๑╹◡╹)つ【再掲】

／
『#冒険者酒場の料理人』

著：黒留ハガネ（@crol_kuroru）
イラスト：転（@kururirura）

第3巻制作決定！！
＼

「「これで終わるのはもったいない！」」

各サイトで高評価続出の話題作！
期待に応え新章・第3巻制作決定です！！

📗あらすじ📗… pic.twitter.com/nKEiQmIaR9
— みっひー（GA文庫） (@GA_mihhy) 2025年4月4日

二度寝して、午後5時過ぎ起床。急いで食事して半からCF #1021 div.1に出た。

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

書く

www.youtube.com

ひと月半ぶりに新刊チェックをして、33冊予約・注文した。「薬屋のひとりごと」16巻が5月末に出るらしい。さすがの人気ということか、普段使っているサイトではもう予約受付を終了していた。このシリーズは通常、年1冊というかなりゆっくり目のペースで刊行されている。アニメ一期のときは始まるタイミング・終わるタイミングで立て続けに出たが、二期は終わるタイミングだけらしい。

books.shufunotomo.co.jp

「攻撃力ゼロから始める剣聖譚」2巻を読了。積んでいるシリーズを読んでみようと思って1巻以来2年ぶりに手に取ったが、1巻に対して抱いていた印象に反し、格別面白いわけではなかった。ハーレム色が強すぎる。またこの巻で戦う敵が主人公の身内だったため、バトルも消化不良のままなあなあで終わった感じがした。

午前10時半就寝。

04/27(日)

午後8時半起床。シャワーを浴びて午後9時からABC403に出た。昨日AHC046があったからか、今週はABCが日曜日にずれてきた。

AtCoder Beginner Contest 403 - AtCoder

Aは問題名を読めば概要がわかるのでありがたい。Bは問題名ネタのためか?が4文字という制約がついているが、不要。Cはよい。Dは $\bmod D$ で分類して $D=1$ の問題に分割しそれぞれ解くところまではよかったものの、dpする必要があること、 $D=0$ のケースがあることに気づかずそれぞれでペナを出してしまった。

Eはtrie木を作って、部分木の答えへの寄与を管理。Fは最後に行う演算を遷移とするようなdpで、計算量は知らないがすべての $N\le 2000$ に対する答えが十分高速に求まるためOK。Gは必要なところだけ作るセグ木。

35分で全完、2ペナ。コンテスト終了時は13位だったが上位の人々がどんどんBANされていき5位まで浮上した。7問中でDに一番時間がかかっていて情けない。AだけNibblesでコードゴルフしておいた。

www.youtube.com

朝方までなろうの読み返しをしてしまった。2時間ちょっとインターンで稼働して、大学に向かい学食で朝食を摂った。

「攻撃力ゼロから始める剣聖譚」3巻を読了。面白かった。複数人のヒロインに振り回される主人公は相変わらずだが、この巻ではそれよりも主人公の特別性に焦点が当たっていた。ヒロインたちから借り受けた力を使って強大な敵を打ち倒すシーンはなかなか格好いい。

正午、就寝。