01/05(月)

午前10時起床。

昼食でお雑煮とぜんざいを同時に食べたら満腹になった。餅を二個ずつ入れてもらったが、お雑煮というよりその汁が好きなので、それを踏まえて餅の数を配分するべき。

しばらくハーメルンを読んで、午後3時半からインターン先定例会に出席した。報告事項はなし。勉強会はAlphaFoldの話だった。M1のころプログラムを活用する生物学の講義を受講したことがあって、そこで少しだけ触った経験がある。当時のバージョンは2だったが今は3に上がったようだ。生物学的な知見も機械学習の経験も不足しており、説明は残念ながらピンと来なかった。

夜は先週の週記を書いていた。午後7時夕食、午後10時入浴。昨日のダーツの筋肉痛が丸一日経ってじわじわとやってきた。週記は日付が変わる少し前に投稿。日曜日が穴あきになってしまった。

眠いのでリビングから自室に戻ろうとしたのに、こたつから抜け出せずうっかり寝落ち。午前4時過ぎに目を覚まして、今度こそ移動し寝直した。

01/06(火)

午前10時起床。昼食を摂ったあとゲーセンに向かった。

今日は富山地方鉄道に乗って金筐体が三台ある「アピナ富山新庄店」へ。右端の台は反応しにくいセンサーがあった気がする。ほとんどの時間は自分一人しかいなかったが、帰り際になって三台埋まった。またずっとおじいさんがウロウロしていた。無料で屋内に長時間居座れるところが、このあたりだとゲーセンくらいしかないんだろうなと思う。

午後1時半から午後6時までじっくり26クレプレイして新曲をいろいろ触った。「モニタリング」の理論値は昨年末からの課題だったもの。微妙に遅いBPMのせいでリズムに乗りづらく、気を抜いた瞬間どこででも赤が出るので精神的に辛かった。

ツイートはしていないが、「化けの花」ULTに粘着してAJを出した。微縦連が苦手なので41小節以降が厳しい。譜面を覚えてド突いた。53小節は指が追い付かないのかリズムがわからないのか、押せなかったので餡蜜。74、75小節は相当ねっとり擦らないとフリックが抜けてしまう。一方ラストの認識難にはあまり苦労しなかった。

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

帰りは高校生・社会人の帰宅時間と被っていて乗客が多く、ゲーセン最寄りの東新庄駅には駅員さんが常駐していた。

夕食後、疲労を感じてこたつに潜り込み寝落ち。起きたら午後11時になっていた。

入浴後、紅白の録画を見返した。「IRIS OUT」をリアルタイムで見ていた時は突然登場したサメに衝撃を受けるばかりだったが、改めて見ると乗っている米津玄師さんの上着の少し大きめなシルエットが印象的で非常にかっこいい。この衣装はブランドのコーディネートそのままだったらしい。ランウェイ以外に似合うシーンが存在するんだ、と驚き。

【#NHK紅白】米津玄師さんは「サンローラン（SAINT LAURENT）」2025年秋冬コレクションを着用してパフォーマンス中。
#FS衣装情報 @nhk_kouhaku pic.twitter.com/hW2NcjSBcp
— FASHIONSNAP (@fashionsnap) 2025年12月31日

午前2時就寝。

01/07(水)

午前9時起床、朝食。

ここ数日、ボカロの楽曲ノベライズがTLで話題になっている。しかもあまりよくない扱われ方をしていて残念。自分が読んだことのあるのは「オーバーライド」だけだが、ちょうどその作者の方が楽曲ノベライズの制作過程についてツイートされていた。作品の解釈に対する公式解説のようなもので、参考になる。

オーバーライドの著者ですが、ボカロ小説は基本的に出版社が企画を立て、ボカロＰに許可を取ったのち作家に依頼する形で、仕事が回っていきます。原曲にシナリオ性がある場合はそれに準拠することが多いですが、そうでない場合はメインに出ているキャラクターやMVなどを原点に、ボカロ曲を聴きそうな層…
— 人間六度 ningen rokudo SF作家 (@rokudogobu) 2026年1月6日

少しハーメルンを読んで、またすぐ昼食。それから母の車で黒部宇奈月温泉駅まで送ってもらった。車内では母が持っていたMrs. GREEN APPLEのCDを聴いていた。

午後1時半の新幹線で仙台に向かって出発した。ついさっき特急券を購入したら指定席が埋まっていてびっくりしたが、自由席にいくらか空きがあったので座ることができた。車内ではずっとハーメルンを読んでいた。

午後5時に仙台駅に到着し、「パンセ」でパンを買って帰宅。夜のCFに備えて仮眠に入った。

午後11時起床。半からCF combined、Hello 2026に参加した。

Dashboard - Hello 2026 - Codeforces

Aは先頭または末尾が $1$ なら先手勝ち。Bは答えの上界を考えると元の列のMEXと $k-1$ のうち小さいほうが答えになる。Cはしばらく溜めて左右に動かすのが良さそう。左に $l$ マス、右に $r$ マス伸ばすとき必要な日数は $l+r+\max(l,r)-1$ となる。

Dは分割を求めることにして、深さの降順に見る。子を割り当ててから親を割り当てることにすると、各頂点に対して割り当てられないブロックの集合がdisjointになり、適当にrotateすることで綺麗に構築できる。

Eは実験すると $\sum\frac{1}{\operatorname{lcm}}\le 1$ であり、またgoodな列のprefixも常にgoodであることが分かった。逆にgoodな列を伸ばすことにして、計算すると $a_1=1$ かつ $\frac{1}{a_n}=\frac{1}{a_{n+1}}+\frac{1}{\operatorname{lcm}(a_n,a_{n+1})}$ なら $a_{n+1}$ を追加できることが判明。このような遷移は $O(m\log m)$ 個しかないので、 $n$ 回計算した。

Fは同じ文字列を作るパスの順序対を数え上げる。パスの始点のペア $O(n^2)$ 通りを状態とするdpは、遷移がそれぞれの部分木からの取得であり、あらかじめ頂点をオイラーツアー順に並べておけば領域の和を求めることになる。最初は二次元BITを持ち出したが当然TLE。冷静になると二次元累積和を作りながらテーブルを埋めていくことができた。

GはLを聞くのが強そうだが、どのヘビが生き残っているか特定できないと辛い。そこでLRも聞いてみると、Lで生き残ったヘビのみが最初と同じ位置に戻ってくるため、うまく特定できる。また生き残らなかったヘビについても、生き残らなかったという情報からスピードを求められることがある。

結局すぐ左にスピード0のヘビがいるケースのみ判明しない。今度はRを聞くと、スピード0のヘビを基準にすることでRLを聞かずともどこに移動したかがわかり、これまたスピードを求められる。両隣にスピード0のヘビがいる場合だけは相変わらず判明しないが、このケースは明らかに不可能なのでOK。

7完5位！レートは3220→3327(+107)となった。新年一発目から大変縁起が良い。また昨年末から三連続の大成功でとんでもないレートの上がり方をしており、現在ランキング19位にいる。ここまでくるともう怖い。今度highestを更新できるのはいつになるだろうか。

pic.twitter.com/8Mw1Vu13g8
— こたつがめ (@kotatsugame_t) 2026年1月8日

www.youtube.com

明日のセミナーの準備をしないといけないのにやる気が全く出ない。ハーメルンなどに逃避しているうち眠気が来て、仮眠と言い訳をしながら布団に入った。午前9時だった。

01/08(木)

午前10時の目覚ましで目を覚ました。眠気は強かったものの腹を壊していたのでトイレに立ち、そのまま二度寝を回避することに成功した。

ギリギリまでセミナー準備をして午後1時過ぎに登校した。若干雪がちらついていたが、今のところは積もりそうにない降り方だったし急いでいたので原付を使った。

午後1時半から午後3時までセミナー。内容はほとんどなく、昨年末の振り返りだけしたような感じだったが、辛うじてセミナーの体裁は保っていたはず。

午後5時まで院生室で時間を潰し、学食で食事した。お盆に「デルタとガンマの理学部ノート」シリーズの広告が出ていてびっくりした。

大学生協のお盆に「デルタとガンマの理学部ノート」シリーズの広告が！！！ pic.twitter.com/i2uClcyySv
— こたつがめ (@kotatsugame_t) 2026年1月8日

相変わらず雪らしきものは降り続けていたが、粒が非常に小さく、積もった様子は全くない。その状態が続くうちにと帰宅し、あとは夜中までずっと年末年始にPuzzle Square JPに投稿されたパズルを解いていた。午前3時半就寝。

01/09(金)

この日は一日中寝たり起きたりしながらハーメルンを読んでいた。

NHKが公式でアップロードしていた紅白の映像は01/07をもって非公開になってしまったが、なんと米津玄師さんの歌唱シーンがご本人のチャンネルに改めて投稿された。しかも一昨年の映像も一緒に。かなり異例のことらしい。このパフォーマンスをいつでも見られると思うと大変ありがたいことである。

紅白歌合戦の映像を再度投稿しました。よろしく🫠

IRIS OUThttps://t.co/asl1FWJMgY

さよーならまたいつか！https://t.co/6GnYCYJnND pic.twitter.com/RPo42PPBwX
— 米津玄師　ハチ (@hachi_08) 2026年1月9日

01/10(土)

午前7時起床。昼までずっとハーメルンを読んでいた。

午後1時、コンテスト前に大学生協に駆け込んで予約していたラノベを受け取った。本棚にまだ注文していなかった「サイレント・ウィッチ」の11巻があったので、それも追加で購入。以前、シリーズの途中の巻だけ本棚に並べるのは誰向けなんだという思いを日記に書いたが、実際に助けられてしまったのでもう何も言えない。

新刊コーナーに「サイレント・ウィッチ」9巻extraが並んでいてびっくり。それまでの巻を一切置いていないが、いったい誰が買うのだろう。
週記（2025/06/16-2025/06/22） - kotatsugameの日記

午後2時からUniversal Cup。今日は12回目、Grand Prix of Shanghai。

https://qoj.ac/contest/2908

書く

午後9時からABC440。

AtCoder Beginner Contest 440 - AtCoder

A、Bはよい。Cは一周 $2W$ の円環上で幅 $W$ の和を求めればよく、累積和を使う。

Dは答えをギリギリ上回る $A$ を求めた。これにはまず $X$ をギリギリ上回る $A$ を求めたあと、 $A_i-i$ を見て二分探索を行う。答えで直接二分探索してもよかったらしい。

Eは最も美味しいクッキーのみ $K$ 枚選んだ状態から初めて、徐々に選び方を悪化させるような遷移をdijkstraで行う。重複が発生しないよう遷移を注意深く設計したが、逐一重複を削除しても間に合うようだ。

Fは丁寧さが $2$ の馬の後ろに機嫌が良い馬を並べたい。ループができないようにするためには丁寧さが $2$ の馬のうちどれか一頭は先頭になる必要があって、その分でロスするケースを場合分けする。

Gはまず盤面をDAGに言い換えることができて、求めるものは「逆辺を高々一回使ったときのパス重みの最大値」となる。移動パターンを全列挙し、同じ頂点を通らないよう遷移元の上位二件を管理するようなdpを何種類か行うことで計算できる。ギリギリで実装を終えたがパターンが一つ漏れていて、コンテスト中にはACできなかった。

6完21位。Gは8分遅れでACした。途中まで、たどり着ける頂点の重みの和を求めるものと勘違いしており、DAGの到達可能性判定に思いを馳せていた時間のロスが響いた。

www.youtube.com

午前2時就寝。

01/11(日)

午前7時起床。

ハーメルン「なんか一人だけ世界観が違う」を読了。二週間ほどかけて一気読みした。とても面白かった。クトゥルフ神話に登場する神々の寵愛を得た主人公の話。いざとなれば神々の力を借りてすべて解決してしまえるが、周囲の人の正気度を損なってしまうので乱用はできない、という形で制限が設けられている。

テンプレ的なファンタジー世界で学院に通ったり冒険者をしたりして、剣技などを身に着け借り物の力だけではない主人公に成長していく点が良かった。また外なる神の強大さを知ってしまったため価値観が狂っており、人間らしさのない物の見方や振る舞いをしてしまうところではこの世のすべてを見下すような優越感があって楽しめた。

syosetu.org

しばらくなろうを読んで、午後2時半から5時間ほど二度寝。午後9時からはARC212 div.2に出た。今日は東北大学OBのmilkcoffeeさん回。面白い問題を作問されることに定評のある方である。

AtCoder Regular Contest 212 (Div. 2) - AtCoder

Aは三種類のサイクルを観察すると、辺のペア三つの組み合わせで書けるとわかる。よってペアの重みをまとめることができ、 $O(K^2)$ で列挙可能。Bは重み $c$ の辺 $x\rightarrow y$ があると解釈すれば一つ目の辺を含む最小重みサイクルを求めることになり、最短経路問題。

Cは $d_i:=|a_i-b_i|$ を固定してみる。 $d_i\gt 0$ なら赤青どちらが多いかで二通りあり、 $d_i=0$ ならそもそも重みが0になって無視されるので、色の区別は後から $2^M$ を掛けるだけでよい。また $\min(a_i,b_i)$ の割り振りは、 $\sum d$ が決まっていれば重複組み合わせで書ける。

あとは $\sum d$ に対して $\prod d$ の和を求めるパート。実は積の和典型そのものだがコンテスト中は気づかず、 $\sum_d dx^d=\frac{x}{(1-x)^2}$ の $M$ 乗を考えて $2M$ 回累積和としての解釈から二項係数に直した。

Dは難しい。条件の式の左辺から右辺を引いた値を考える。各 $i$ について非負にすればよい。しかしそうやって $N$ 個のパラメータを独立に扱うのは難しいので、総和を最大化するだけで何とかならないかと考えた。最適解をフローで求めるのは難しいが、負になっている人を移動させると必ず正の改善が行われるため、有限ステップで局所最適解にたどり着くことはできる。

局所最適であるということはつまり負になっている人がいないということで、実はもう条件を満たしていることに気づいた。操作回数のオーダーは総和の最大値と等しく $O(N^2\max|A|)$ 。見積もりが緩すぎる気もするが、これで十分通る制約の小ささである。

Eはまず $N$ の左右を独立に解いてよいことに気づいた。同様に最大値で分割し続けるとCartesian Treeのような構造が見えてくる。 $N$ 以外の最大値はそれを削除するタイミングも考慮する必要があり、左右どちらの値とペアにして消すかで可能な並べ方が変わってくる。そもそも左右どちらかにしか最大値を消せる値がないケースもあり、注意が必要。

Fは末尾から考えると $A_i=|A_{i+1}-A_{i+2}|$ という綺麗な関係が発見できる。よって $A_{N-1}$ を全探索した上で $(A_{N-1},A_N)$ から $(A_1,A_2)$ を十分高速に求められればよい。 $2A_i\le A_{i+1}$ のとき $(A_{i-3},A_{i-2})=(A_i,A_{i+1}-2A_i)$ という関係が成立し、ここだけ算数でスキップすれば $\log$ 回程度で終わりそうだった。大きなサンプルでも爆速であることを確認し提出した。

84分で全完して11位。どの問題もある程度の考察を要求される一方で実装は非常に軽く、解いていて楽しいコンテストだった。

www.youtube.com

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