以下の内容はhttps://kotatsugame.hatenablog.com/entry/2026/03/02/234549より取得しました。

週記（2026/02/16-2026/02/22）

02/16(月)

午後2時過ぎ起床。03/15のオンサイトの通過メールが届いていた。

午後3時半からインターン先定例会に出席した。勉強会はClaude Codeにおけるコンテキスト管理の話。サブで試行錯誤してもらい、結果だけ要約してメインの会話に持ってくる方法があるらしい。サブは独立したコンテキストで実行とあったが、メインの会話をコピーすることはできないのだろうか。Claude Codeだけでなく一般に、AIとの会話履歴を複製したくなることは多いと思う。

最近Overleafで、cleverefを使って参照した箇所が命題も補題もすべてTheoremになっているのを発見し、Geminiに聞いて修正したことがある。各環境の定義を以下のように行うと、エイリアスで設定したカウンター名がラベルに展開されてうまくいくようだ。

\newaliascnt{lemma}{theorem}
\newtheorem{lemma}[lemma]{Lemma}
\aliascntresetthe{lemma}

この現象について、arXivのHelpに記載があるのを知った。cleverefパッケージがアップデートされておらず、最新版のTeX Liveでついに壊れてしまったらしい。

https://info.arxiv.org/help/faq/texlive.html#changes-2025-cleveref

日付が変わるまで先週の週記を書いて、投稿した。生配信についても少し書こうと思っていたのだが、大学オンサイト二つを念入りに書いたら時間がなくなったし、そもそも配信中にいろいろ喋ったので特別伝えたいようなことはもう自分の中に残っていなかった。

オンサイト用にいつもの西鉄イン新宿の部屋を確保した。オンサイトが日曜日開催で前泊すると週末料金で一万円くらい高く取られるため後泊にしたが、美術館や博物館が軒並み閉まっている月曜日に東京で何をするかは悩みどころ。また落語でも行こうかな。今回もAmazon Payでの支払いにしたのに、どこかの設定をしくじったのかアマギフが適用されず残念。

それから昼までずっとPuzzle Square JPで「ビルディングパズル」を解いていた。先週rin204さんに教えてもらったパズル。星1は簡単に埋めることができ、星2で典型テクを学びつつある。今のところは何も調べなくても、自分の頭だけでテクニックを開発して解いていけるレベル。

昼過ぎに大学生協に行き、学食で食事したあと、今週木・金に研究集会へ参加するための新幹線切符を買った。平日だし空いているだろうと思っていたのに、なんと「キュンパス」という平日限定乗り放題切符のせいで朝も夜もほぼ満席。かろうじてやまびこ号に空席があったが、朝は予定より遅い新幹線になって、最初いくつかの講演は聞けなくなってしまった。

購買でラノベを買ったら、そのうちの「冒険者酒場の料理人」3巻を指して店員さんに「これ面白そうですね」と話しかけられた。落ち着いた装丁と料理というテーマが目を惹いたのかな、と思いつつ、実際本当に面白い作品なので少し語ろうとした。しかし咄嗟のことで言葉が出てこず、「本当に面白い」「人気も高い」程度のことしか言えず残念。

帰宅して午後4時過ぎ就寝。

02/17(火)

消えた。

02/18(水)

午前0時半起床。

今週金曜日から「超かぐや姫！」の劇場公開が始まる。仙台では、というより東北では唯一イオンシネマ新利府において上映され、その予約が二日前である今日、日付が変わった瞬間からスタートした。初日は三回の上映が予定されていたが、目を覚ましてすぐ確認したらもうすべて満席になっていた。残念。

できれば映画のほうも観ておきたい。タイミングよく昨晩劇場公開が決定し、仙台にも一つ上映する劇場があったものの、ホスフィン曰くチケットが取れるかわからないとのこと。

週記（2026/02/02-2026/02/08） - kotatsugameの日記

ところがホスフィンから、先行予約すれば席を取れそうだと教えてもらった。「ワタシアタープラス」という有料会員サービスに入会すると、通常より6時間早く、三日前の午後6時から先行予約が可能。午後7時40分のツイートではまだ空席がある様子が確認できた。会員にはたった500円でなれる。せっかくなので課金して席を取り、ホスフィンと観に行くことにした。予定をすり合わせると来週水曜日が空いていた。

Universal Cup Finalsのメールが届いたので参加登録をした。最近急激に日中関係が悪化したものの、ビザはおそらく不要。ただ一応Invitation Letterは貰っておくことにした。去年、中国入国時に若干怪しまれてしまい、使ったのを覚えている。去年は全員に配られたので助かったが、今年は希望しないともらえない。

昼過ぎまで「ビルディングパズル」を解いていた。星3に手を出し、なかなか難しくなってきた。典型テクもググってみたがバリエーションは少なく、すでに自分で思いついていたものも多い。難しい問題に対してはアドホックに考えていく必要がありそう。

解答の方針として、盤面のサイズnに対しn、n-1の他に1 or 2の場所を考えるのは意識しておきたい。またある程度進むと、確定した数字といくつかのメモで完全に反映できたヒントがたくさん出てくるため、どのヒントをまだ使い終えていないか把握することで見通しが良くなった。

同時並行でラノベを読んでいた。「二度目の勇者に仲間はいらない」2巻を読了。面白かった。1巻ラストで登場したハイエルフとの仲を深める話。愛らしいキャラで親しみやすかった。主人公に執着する理由もラストで明かされ、深く納得。1巻時点ではタイトルに反して仲間を作ってしまう点にモヤモヤしていたようだが、今はあまり気にならなかった。

午後6時になり、「超かぐや姫！」土曜日上映分の先行予約がスタートした。なんと上映回数が三回から九回に激増。サーバーが混みあっていて一時間くらい経たないと予約ページにアクセスできなかったが、その時点では真ん中がほぼ埋まりつつある程度だったため、良い席を狙おうとしないなら無理なく取れそうな様子である。

ハーメルンのランキングから「落第騎士の英雄譚　意識低い系風味」を読んだ。かなり面白かった。隔絶した強さを持つオリ主だが、そもそも決闘や武士道に対して全く重きを置いておらず、実力差によるナチュラルな見下し以外はいたって小市民的な振る舞いをしている。真剣に戦っている周囲とのギャップに、読んでいて暗い悦びを感じた。新感覚の最強オリ主だった。

syosetu.org

日付が変わる前後に「超かぐや姫！」土曜日上映分の予約状況を確認した。先行予約だけで夕方までの五回分は満席、他も端しか残っていない。早い枠から埋まっていくのは来場特典目当てだろうか。一般予約が開始するとまたサーバーに繋がらなくなり、人気度合いを感じた。

午前1時就寝。

02/19(木)

今日から二日間、慶應義塾大学・矢上キャンパスで開催される「第22回組合せ論若手研究集会」に参加する。

第22回組合せ論若手研究集会

午前6時半起床、荷造りして出発。少しだけ積雪があった。

新幹線まで時間がないため、仙台駅構内にある立ち食いそば屋で朝食を済ませようと思っていた。その店のそばは好きではないが、他にカレーライスも出しているためそちら狙い。ところがいつの間にかメニューから消えていた。仕方がないのでコンビニおにぎりを買い、食べた。

仙台駅構内で立ち食いそばを食べた。朝から新幹線に乗るときはたいてい食べているが、いい加減このそばが口に合わないことに気づいてきた。少し太めの麺はブニブニした食感で、汁の中で絡み合いうまくすすれない。もうちょっと早めに駅まで来て、少し歩いて「そばの神田」に行くようにしたい。

週記（2024/12/09-2024/12/15） - kotatsugameの日記

今日乗るやまびこ124号は特別な列車で、なんと停車駅が仙台・福島・大宮・東京の四つしかない。上野すら飛ばして爆走し、東京駅までの所要時間はたったの1時間50分。ただ福島でつばさ号と連結する待ち時間があり、はやぶさ号の速さには一歩劣っている。

新幹線車内でハーメルン「ああ憧れの情報屋」を読んだ。面白かった。設定はテンプレ的な学園ファンタジーだが、作品全体に何というか穏やかさ、微笑ましさがある。リラックスしながら読めた。

syosetu.org

矢上キャンパスには午前10時半に到着した。「日吉キャンパス内通過ルート」を辿ったが、日吉キャンパスを通り抜けたあとのほうが長い。謎の小さい裏口みたいなところから住宅街に出て、嘘みたいな急勾配の坂道を下り狭い道路を歩かされた。

交通アクセス | 慶應義塾大学理工学部

午前中は一般公演。教室に入ると二人目の講演途中だった。それから五人分聞いたが、みんなPowerPointでスライドを作っていたのが印象的。数式よりグラフのほうがよく登場するし、それをTikZで描くのは確かに面倒ではある。

昼食は学食でカレーを食べた。キラキラした雰囲気を期待していたが、ほかの大学とほとんど変わらない。建物の二階に小ぢんまりと存在しており、東北大学の学食より閉塞感を感じた。一方でメニューは少し多い。また、生協の会員でないと価格が割り増しになるタイプの店舗だった。

教室に戻ったあと、同じくこの研究集会に参加しているY.Y.さんと話す機会があって、「超かぐや姫！」ノベライズの話をした。映画を観るのが俄然楽しみになってきた。

午後は三時間の招待講演。残念ながら睡眠不足で意識を失いがちだった。先ほどまでの一般講演でも扱われた概念が次々登場し、なんともタイミングの良い発表内容だと感じたことを覚えている。

講演後にぞろぞろと駅前まで移動し、午後5時半から懇親会。店は「呑みきち」日吉店だった。適当に座ったら周りは修士課程の学生ばかり、中には学部生もいて、博士課程というだけで少し丁重な扱いを受けてしまったためデカい顔をしないよう必死に自制していた。隣に座った人が競プロ経験者、しかも青コーダーだったのでびっくりした。

たくさん喋りつつお酒を飲んでいたら食欲が失せてしまい、料理にはほとんど手を付けなかった。そんなことをしていると当然酔いが回るのも早く、途中で限界を迎えかけていた。解散時には何とか持ち直すことができた。

一駅隣の元住吉駅に移動し、本日の宿「ビジネスホテルすがた」にチェックインした。「すがた」はホテルオーナーの名字らしい。和室だし周囲の宿より安かったため何が出てくるのか不安だったが、入ってみるといたって普通の部屋。多少古びていてもきちんと整備されており、駅からも非常に近く大変便利だった。

ホテルを探すと、和室の素泊まりで一泊6000円強というものを見つけた。少し怖いがものは試し、そこに泊まることに決めた。

週記（2026/01/19-2026/01/25） - kotatsugameの日記

酔いと疲れから、一度布団に転がると二度と立ち上がれなかった。午後9時過ぎ就寝。

02/20(金)

深夜に一時間ちょっと起きていた。色のついた鼻水が出ていて、体調に不安感がある。

午前6時半起床。しばらく布団でゴロゴロしたあとシャワーを浴びてチェックアウトし、午前9時に日吉駅に到着した。朝食はドトール。商品が届いてから、サンマルクカフェと混同していたことに気づいた。

少しだけ時間があったので、近くの「イミグランデ日吉」というゲーセンに向かった。慶応義塾大学の学生がよく利用するらしく、名前だけは昔からTLでよく見ていた。写真を撮ると補正がかかるが、実際の音ゲーコーナーは非常に暗かった。チュウニズムは五台あり、なんとすべてAグループに設定されていた。各グループ四台が上限だと思っていたのでびっくりした。

1クレだけ遊んだ。なんと01/16以来ひと月ぶりのプレイである。Lv.14の新曲を選んだら一発でAJが出た。またこれで新曲枠が一気に伸びたらしく、今バージョンでも無事レート17を達成した。上手いプレイでタイミング良く達成できると嬉しい。

線路に沿って坂を下り、今日は「綱島街道ルート」に途中から合流するような形で登校した。午前中の一般講演では昨日懇親会で話した人々が数名発表しており、集中して聞いた。今日はスライドのフォントにまでこだわっている人がいて感心した。

昼食は学食で塩ラーメン。東北大学は麺類のメニューが日替わりで提供されるが、ここのように何種類か同時に並んでいるほうが嬉しい。

午後の招待講演の発表者は以前自分をセミナー発表に招待してくださった世話人の先生なので、楽しみにしていた。いくつかの分野にまたがる盛りだくさんの発表で、ペース的にも絶対最後まで終わらないと思ったのだが、魔法のような手腕でスライドの最後までたどり着いたのでびっくりした。

今週末は東邦大学に行って1時間半のセミナーを行う。

週記（2025/10/13-2025/10/19） - kotatsugameの日記

帰るタイミングが先ほどの発表者の先生ともう一人と同じだったので、流れで夕食をご一緒させてもらった。店は武蔵小杉東急スクエアの「おぼんdeごはん」。メインに加えて小鉢の品数も多く、美味しかった。ごはんとみそ汁はおかわり自由。

午後7時半に東京駅に着いた。新幹線の時間まであと一時間半ほどあるので秋葉原に遊びに行ったが、アトレのラッピングを見たあと何をするか迷い、結局ゲーセンで4クレプレイして終わった。ちょうどよい暇つぶしができない。

爆睡しているうちに仙台駅到着。ドンキで買い物して帰宅し、午前2時半に寝た。

02/21(土)

午前11時半起床。しばらくゴロゴロしたり二度寝したりして、午後2時からUniversal Cupを走った。今日は17回目のGrand Prix of St. Petersburg。

https://qoj.ac/contest/3384

書く

午後9時からABC446に参加した。ABC424同様に27卒限定オンサイトの予選になっているが、今回のイベントでは「ミニコンテスト」が用意されているらしい。ミニなら行かなくていいかな、と言いつつ、不参加を決意した最も大きな理由は、普通に興味のある研究集会と被っていたからである。

AtCoder Beginner Contest 446 - AtCoder

A、Bはよい。Cはqueueで、制約が小さいので卵を一つずつ扱っても許される。Dはmapでdp。EはM^2頂点のグラフを作ってBFSする。Fは頂点番号k以下だけ通ってたどり着ける頂点の集合と、その一歩外を管理する。Gは先頭から貪欲に取り出す場合のみ数えることにする。dpの遷移をブロックごとに行うと、遷移元が特定の区間に収まっていればOK。BITを使って貰うdpを書いた。

24分でノーペナ全完。自分より速かった人はペナを出していたりコンテスト後にBANされたりして、結果優勝となった。

www.youtube.com

午後11時半からCF #1081 div.2。ABCでたくさん喋ったら喉の調子が悪くなったため、こちらは録画しないことにした。

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

Aは一切思考せず全探索。Bは操作回数の偶奇を決め打つ。Cはリロード回数が確定していて、最後の一周だけ考えればよい。Dは変更が部分木の和と深さの変化で書ける。頑張って木dpすればよい。Eは辺a_i\rightarrow b_iを張ったときサイクルに分解できればよく、連結成分ごとにオイラー路を求めた。

Fは区間dpでO(n^3)になったあと全く進まず、考えているうちにうっかり寝てしまった。5完27位。Fは二人の区間が初めて隣接するタイミングまで独立に計算し、隣接した後は頑張るらしい。ちょっと考えて、あまりに大変そうで放棄した方針だった。

ラノベを読んで午前8時就寝。

02/22(日)

午後2時前起床。

「王国を裏から支配する悪役貴族の末っ子に転生しました」2巻を読んだ。兄の強さばかりフィーチャーされていた気がする。姉も含め主人公より強いキャラが多く、最強の存在には程遠い。

午後6時少し前から「超かぐや姫！」水曜日上映分の先行予約のため待機していた。公開から数日経った平日で客足も落ち着いたのか、サーバーへのアクセスはスムーズで、無事狙っていた席が取れた。具体的には午後3時半の上映、スクリーン4のL10とL11。少し後ろの列だが、前が通路っぽいのは利点だと思う。

一時間ちょっと二度寝して、午後9時からARC215。

AtCoder Regular Contest 215 - AtCoder

Aはゾンビの位置の差を見る。Bは仕切りを入れるのをできるだけ後回しにすると、各種類について高々一つの仕切りしか使わないと評価できるので足りる。Cは負けない名字でx+y+zが最も大きいものを探した。ここまでサラッと書いたが実際はかなり詰まっていて、4ペナのうえ一時間以上かけてしまった。

DはAを数える。Sが広義単調増加になるにはAの偶数インデックスと奇数インデックスがそれぞれ広義単調増加になっていればよく、その中でも特にA_1が最も小さいものだけ考えることにする。あとは普通の数え上げ。

EはN手で1をできるだけ増やし、さらにN手で調整すればよい。辺x\rightarrow yを考えるが、後半においては自己ループの扱いに注意する。

Fは条件を満たす極小なパスが一意的に存在し、それを含むことが良いパスであることの必要十分条件となる。まず極小パスを直径から抜き出し、次にそれを延長する方法を畳み込みで数え上げた。極小パスが一点に潰れるケースに注意する。ただし実装が間に合わず、ロスタイム九分で通った。

5完103位。

www.youtube.com

今週中にしておかなければならないことがあったのに、逃亡してひたすらなろうを読みふけっていた。午前7時半就寝。



以上の内容はhttps://kotatsugame.hatenablog.com/entry/2026/03/02/234549より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます
不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14