06/23(月)

今週は基礎論分野、記述集合論の集中講義の週。

午後3時半に無理やり起きた。談話会が午後4時スタートなのでまあ間に合うかなと思いながら外を見たら小雨が降っていてたまげた。地下鉄を使うと絶対に間に合わない。トボトボ家を出ようとしたところで、雨合羽を着て原付に乗るという選択肢があることに気づいた。実際、ギリギリで間に合った。

1時間の談話会。先月の集中講義のそれには全くついていけなかったのに対して、今日はそこそこ分かったのではないかと思う。基礎論が自分にとって馴染みのある分野だから、ということのほかに、いろいろな定義をしっかり話してくれたことも大きい。時間の制約から代わりに命題の証明がほとんどスキップされたが、唯一行われたものはパズルチックで面白かった。

学食で食事したあと、しばらく院生室で雑談していた。同じ階にある男子トイレが非常に臭いと聞き、怖いもの見たさ（嗅ぎたさ？）で行ってみたところ、確かに使い込まれた公衆トイレのようなアンモニア臭がした。トイレ自体は綺麗なだけあってかなり違和感がある。

午後9時過ぎに帰宅し、先週の週記を書いて投稿。午後11時半からECR180に出た。

Dashboard - Educational Codeforces Round 180 (Rated for Div. 2) - Codeforces

Aは $x$ と $y$ を端点とする区間に $a$ が含まれているか判定。Bは1手以下でできなければ列が単調であるとわかり、このときどれだけ操作してもbeautifulにはならない。Cは二つ決めて三つ目を尺取り＋カウント。

Dは入次数0の頂点と出次数0の頂点を交互に配置することで $n-1$ ペアが達成でき、これが最小。そこから長さ2のパスをちょうど一つだけ作ればよい。次数2の頂点が存在することが必要条件で、また存在すればその二つある部分木のうち片方をflipするとうまくいく。Eは緑でない頂点について、その部分木がすべて同じ色になる。ここから木に対して塗り方を求めるdpを考え、状態と値を入れ替えた。

Fは2回以上のchminが連鎖することで値が更新されればunstable。まずちょうど1回のchminによる値の更新をすべて行っておき、そのあとに0回以上のchminで更新できるかチェックした。全点対間最短距離を求めておけば、クエリ当たり $O(n^2+m)$ となる。

1時間ちょっとで全完して9位。

www.youtube.com

先週末の第六回日本最強プログラマー学生選手権予選について、メールが来たので無事通過できていたようだ。そこでホテルを決めた。当日のスケジュールは昨年からほぼ変化がないので、同じく後泊することにした。土曜開催だった昨年は週末のあり得ないくらい高いホテルに泊まる羽目になったが、今年は日曜開催のためそのあたりの心配はいらない様子。

それでホテルの選択肢が広がり、いろいろ探していたものの、結局昨年と同じホテル「西鉄イン新宿」にするのが距離的に一番良いようだ。朝食に2種類あるうち高めのプランを選択して、ちょっとだけ贅沢。これでも公式が提示している宿泊費よりそこそこ安い。

少しインターンで稼働したあと、いつの間にか布団で寝ていた。スマートウォッチの記録では午前6時過ぎ就寝。

06/24(火)

午前1時半起床。ゆっくりシャワーを浴びて原付で登校した。今日は曇り空だが、雨が降る予報ではない。

午後3時から集中講義一日目。今日も非常に基本的なところから話してくださる丁寧な立ち上がりだったが、気を抜いて少しよそ見しているうちに済まされていた議論が分からず、少し置いて行かれ気味になった。予定していた分が早く終わったとのことで、普通午後6時までのところを午後5時20分には終了。

院生室に移動して、同じ講義に参加していたM1の後輩と共にわからなかった行間を埋めた。何とか解決はしたものの、式を紙やホワイトボードに書かないと追えないような議論になったので、講義中先生がどのように説明されていたのか謎。後輩も覚えていないというから、それだけサラッと話されるべき自然で直観的な説明があり、我々が感覚を掴めていないだけなのだろう。

学食で食事したあと院生室に戻って、友人がChatGPTに書かせているプログラムに口出ししていた。結構な規模のコード群がちゃんと動いていたのでかなり驚き。ただ高速化をお願いしたらバグったらしくて、自分が解決したが、コードのあちこちを見る必要があったからChatGPTにエラーメッセージを投げるだけでは直らなかったのではないか。とりあえず今日は的外れなことを言っていた。

午後10時帰宅。うっかり朝までペンシルパズル「波及効果」に熱中していた。

ラノベの新刊チェックをして29冊注文した。「美少女フィギュアのお医者さんは青春を治せるか」2巻が出ると知って驚き。

皆様の続刊を望む応援のお声と、電撃文庫様のご高配を賜り、『美少女フィギュアのお医者さんは青春を治せるか』2巻を刊行していただけることになりました！

創作の虫になる治、月子、かぐや、セレーネ。
彼らの青春と恋の行方を、ぜひ最後の1ページまで見届けていただけますと幸いです。#あの医者 https://t.co/6mb4YC2mv5 pic.twitter.com/Nd9IWBX7TH
— 芝宮青十＠『美少女フィギュアのお医者さん2』8月8日発売！ (@Shibamiya_Aoto) 2025年6月5日

午前9時半就寝。

06/25(水)

午後2時起床。

寝る前に注文したばかりのラノベがもう生協の店舗に届いたらしい。早いなんてレベルじゃないので調べてみたら、なんとひと月前にも同じものを注文していたことが判明した！普通は注文時にメッセージが出るが、そのラノベはここひと月の間に商品管理IDが変わったようで、同一商品と認識されなかったようだ。

常に大量の本を買っているし、積読が多すぎて何を買ったかちゃんと覚えていない自分ではあるが、同じ本を複数買ってしまうのは記憶の限り初めてのはず。買った本の記録をつけていても予約注文には無力。発売のかなり前に予約するとこういうことが起こりうる、というのは反省としてちゃんと頭に入れておきたい。

今日は雨が降るらしいので地下鉄で登校し、午後3時から集中講義二日目。講義資料が配布されているとやはりかなり楽で、差分だけ板書している。昨日は結構異なる部分もあったように思うが、今日はかなり資料通りだった。そしてなんと午後5時半に終了。もしかして毎回この時間を目指しているのだろうか？

学食で食事したあと、院生室に行って、先月の集中講義で出ていたレポート課題に取り組んだ。しかし眠気に大敗北。椅子を二つ使って横になっていたら、後輩が帰るときに声をかけてくれて、車で家の近くまで送ってくれた。今年2月にも送ってくれた、今M2の彼で、今週講義を一緒に受けているM1の後輩とは別。

後輩の車で一昨日と同じラーメンを食べに行き、帰りも送ってもらった。
週記（2025/02/03-2025/02/09） - kotatsugameの日記

家にたどり着くと少し目が冴えて、「カードゲームで世界が滅ぶ世界に転生してカードショップを開店したら、周囲から前作主人公だと思われている」2巻を読了。

1巻発売から少し間が開くも無事2巻。面白かった。主人公視点での語りでは主人公自身の特別性がいまいち強調されない。この点はWeb版でたまにあったあとがきが加筆されて補われていたが、ではWeb版ではどうだったかというと、勘の悪い自分は寄せられた感想を読んで追いついていた。

自分が見過ごしていた伏線・小ネタを回収するため、この作品に限らず、最近追っている作品は感想欄も覗いてみることが多くなった。ただ他人の感想を読んで作品の印象ごとそれに引っ張られてしまうことには注意したいと考えている。こうして読んだ本・Web小説について日記にコメントを書いているのも、その対策という意図がある。大したことも書いていないが、自分で言葉にすることに意味があると信じて。

少し日記を書いて午前4時前に就寝。

06/26(木)

午前9時起床。朝の今は天気がいいが、昼過ぎからは雨が降るらしく、地下鉄で登校。

M2の後輩の用事に少し付き合ったあと学食で食事し、集中講義の時間まで図書館で一緒にレポート課題に取り組んだ。M2の後輩も先月の集中講義を受講していたのである。

土砂降りの中移動して午後3時から集中講義三日目。昨日までボレル階層を定義していたが、これが算術的階層と対応することを今日説明なしに使われてびっくりした。単に記号が同じだけだと思っていたら、そういう関係があったのか……。しかし算術的階層にあまり慣れていないため、具体的な論理式を見せてもらわないとどの階層に属するか判断することが難しい。

今日は午後5時40分に終了。10分ずつ遅くなっているが、時間通りと仰っていたので、いったい何時までの講義だと認識されているのか本当にわからなくなった。とはいえ早く終わってくださるのは非常にありがたい。

学食で食事して院生室へと移動。月曜日トイレの臭いについて言及したが、それから徐々に拡散し、今ではトイレから最も離れた院生室の前までどことなく臭い。また上下階への階段も怪しい。すでに事務に連絡は行っているらしいから、近く解決されるだろう。

昨年度立体四目並べに熱中していたメンバーは、うち一人が就職した今も週一回、研究会としてDiscord通話で集まっている。最近は自分が書いたコードをぶん回して中盤の局面を完全解析したり、評価関数のパラメータを機械学習のテクニックで最適化したり、あるいはまったく別でAlphaZeroを実装したりしているようだ。今日はその研究会の日で、自分もちょっと顔を出した。

終電で帰宅。しばらくハーメルンを読み、午前3時半に就寝。

06/27(金)

午前8時半に目を覚ましてうっかりハーメルンを開いた。そのまま4時間ほど読みふけり、昼過ぎにようやく二度寝。追加で2時間しか寝られなかった。

原付で登校して集中講義最終日。順序数の降下列が必ず有限で停止することを、実は知らなかった。考えてみると、極限順序数の「一つ前」を具体的に取るときに何らかの有限性が現れて、それをどれだけ繰り返しても有限になりそう。相変わらず少し早い午後5時50分に終了。

学食で食事したあとM2の後輩と図書館に籠って、レポート課題に取り組んだ。提出は来週月曜日まで。日付が変わるまで格闘し、何とか5題の回答を揃えることができた。

先週の集中講義の課題については、友人が先生と偶然会ったときに聞いてくれたようで、曰く「1日1題以上、全体で5題以上」の演習問題を解いて「06/30までにメールで提出」とのこと。
週記（2025/05/19-2025/05/25） - kotatsugameの日記

コンビニに寄りつつ帰宅。朝までかけてレポートをTeXで清書し、Geminiに投げつけて校正を頼んでおいた。出力を確認するのはまた後日。

布団に転がってハーメルン「Fate Night Unnamed　～チート転生者はデスマーチに挑む（ほぼ強制）」を読了。かなり面白かった。Fateシリーズを全く知らないので話の細かいところはいまいちわからなかったが、それが気にならないくらい主人公が最強で良い。連載開始から二か月経っていないのに年間ランキングの最上位まで上り詰めており、やはりみんな直球の転生チート無双ものが好きなんだなという気持ちになった。

syosetu.org

次いでラノベ「怠惰な悪辱貴族に転生した俺、シナリオをぶっ壊したら規格外の魔力で最凶になった」3巻を読了。ふわふわしたペットを手に入れ、主人公の牙がどんどん抜けていくようだ。一方後半で異世界転生の真相が明かされ、成長した先の主人公の可能性が垣間見れたのは良かった。

生協が開店したので本を受け取ってきた。つつがなく同じ本を2冊手に入れ、途方に暮れた。別にお気に入りのシリーズでもないというのがまた痛い。

2冊同時刊行！（涙） https://t.co/BZpznI6VRT pic.twitter.com/mmc1258baR
— こたつがめ (@kotatsugame_t) 2025年6月28日

午後1時前に就寝。

06/28(土)

午後8時起床。寝ている間にICPC模擬国内予選が行われていた。自分も先週内部コンテストで走ったので、その時の話をしておく。

2025/Practice/模擬国内予選/講評 - ICPC OB/OG の会

まず、結果は3時間でABCDEGの6完だった。もともとFとGがswapされており、6問目のGでドン詰まりしたためそれ以降にあまり時間を残せなかったと言い訳しておきたい。また、Fはもともとサンプルにコーナーケースが置かれておらず、コンテスト終了直後に気づいて通すというなかなか悔しい終わり方だった。HとIは読んだだけ。

Cまでは特に言うことなし。難易度の差もわからない程度だと思った。Dはできると知ってからだと戦略がかなり限られるため考えやすい。Eは伝統的な構文解析だが、ふつう空白区切りとなるところをアンダーバーにしているあたり現代人向けにされている印象。

Gは大変そうな実装方針ばかり思い浮かんで全然解けなかった。最終的には公式解説と同じパターンで数えたものの、対辺を結ぶ線の縦横まで決まることには気づいておらず、90度回転させて2回解いた。部分文字列の一致判定は面倒だったので愚直で許してもらったが、制約強化でもしかしたら落ちるようになっているのかも。まあ文字列アルゴで書き直すのは面倒なだけで難しくはない。

Fも解説通りの解法。 $O(N^2)$ のdpにするまでは典型的だが、復元でちょっと詰まった。BCCを除くための3状態のどこから遷移すればいいのかわからないからである。これはあり得る遷移元をすべて持っておくと解決できた。あとは冒頭でも話したようなコーナーケース。内部コンテストでみんな引っかかっていたため、サンプルに追加されたらしい。

食事して、午後9時からABC412。

AtCoder Beginner Contest 412 - AtCoder

Aは問題文を斜め読みしたら $A\le B,A\lt B,A\ge B,A\gt B$ のどれを数えるのかわからなくて困った。Bはよい。Cはちょっと難しいと思った。迂闊な方針だとコーナーを踏みそうなので、問題文の言い換えなどはせずそのまま実装するように心がけた。Dは何をやっても間に合うだろう。サイクルを一つずつ作っていくbitDPをした。

Eは $A_{n-1}\lt A_n$ となる $L\lt n\le R$ を数えればよく、そのような $n$ は素べきである。久しぶりに区間篩を書いた。Fは外にある靴下の色を状態として期待値の連立方程式を立てた。靴下の枚数が多いほうが期待値が小さくなるので、外に残す靴下は常に枚数の多いほう。よって $A$ の降順に求めていくことができる。Gはわからず。

CとFで若干詰まったが、42分6完で15位。Dは順列を全探索するだけでよいとか、サイクルが高々二つしかないとか、楽な実装はいろいろあったようだ。

www.youtube.com

それから寝るまではずっとラノベを読んでいた。

Universal Cupシーズン3のSemifinalsのアナウンスがあった。08/24の午後8時からということで、日本最強プログラマー学生選手権決勝と同日。スケジュール上は懇親会の終わる時間がちょうど午後8時なので、少し早めに抜けてホテルに戻れば問題なく参加できそう。家から出られないのは少し痛いかもしれない。

About the Universal Cup, the Semifinals, and myself... - Codeforces

明日は特にコンテストの予定がない。久しぶりにゲーセンに行きたいなと思いつつ、午後0時半就寝。

06/29(日)

夕方くらいには起きてガッツリ遊ぼうと思い目覚ましをかけていたのだが、意識だけ取り戻してもあまりの眠さに身動きが取れず、結局ゲーセンには行けなかった。そのくせ小刻みに目覚ましで起きたため睡眠も途切れ途切れで、いいとこなし。午後9時起床。

昨日から読んでいたラノベ「悪役令嬢はしゃべりません」4巻を読了した。非常に面白かった。自身が喋れること、魔術を扱えることを少しずつ明かし始めた主人公が戦場で大活躍。またそれからどんどん時が流れ、立太子の儀の直前まで話が進んだ。次の巻からいよいよ、この世界のもととなった乙女ゲームのストーリーが開始するらしい。

しかしこれまでのシリーズ4冊すべて400ページ台後半という文章量で、内容が盛りだくさん。敵味方がそれぞれ謀略を巡らす話なので、ちゃんとストーリーの細部まで覚えておくべきなのだろうが、一気読みした3巻まではともかく今はもうすでに記憶が薄れていっている。

PCに向かって集中講義のレポートを仕上げた。PDFをそのままGeminiに投げると文章を読み取ってくれるが、内部でOCRでもしているのか、特に数学記号が微妙に間違っている。その状態で校正を頼むと読み取りミスに対して修正をしてきて困る。数学的な内容を踏まえてちゃんと直せている点は素晴らしいものの、そもそも間違っていないのだから意味がない。その分文章の間違いが見過ごされているのではないかと心配であった。

朝まで日記を書いていた。午前10時就寝。