02/03(月)

先週の週記では午前9時に寝たと書いたがあれは嘘で、眠れないまま午前10時には布団を出ていた。今日と明日は午前9時から数学専攻の修論発表会。特に今日この時間からは友人が発表するため聞いておきたかった。

Zoomに接続して午前の部をチラチラ見ながら、月始めのメールをいくつか送信したり先週の週記を書いたりしていた。昼休憩の間に1時間ちょっとインターンで稼働し、午後の部の冒頭も見た。こちらは先々週確率論セミナーでも聞いた内容である。

午後4時半から確率論セミナー。今日の内容はM2三名の修論発表の練習。
週記（2025/01/20-2025/01/26） - kotatsugameの日記

その後ちょっと抜けて学食で食事し、ラノベを買って帰宅。再度修論発表を眺めていた。

来年度出す学振の募集要項が公開された。今年は応募書類の形式に変更があり、「目指す研究者像」のページが消滅した。ここに書く内容も重要だからポエムなどとバカにしてはいけない、と聞くものの、正直ポエムしか書くことがなかったのでありがたい。

学振DC/PDの募集要項が出たので変更点
・申請書様式の見た目が少し変わった
・まず最初に課題名と500字概要を書くように明示された
・【４】研究遂行力の自己分析　の指示内容が少し変化
・【５】目指す研究者像　が消滅（【４】に若干統合化）（！！！）https://t.co/0TWVnHUskt
— Ohue M/大上雅史 (@tonets) 2025年2月3日

午後3時半からはインターン先定例会。先程実行し始めたプログラムがまだ終了しておらず、進捗はほぼない。勉強会は強化学習の話だった。最近ゲームAIの話が多いが、聞くたびに自分の立体四目並べのAIに実装するのは面倒そうだなという気持ちになっている。

解散後眠気に負けて布団に倒れ込んだが、そのままハーメルンの日間ランキングから一作読了。「ホームズなオリ主と名探偵コナン」。

面白かった。転生者の一般人的な思考とは独立に外面が勝手に取り繕われる系の設定は好み。FGOとコナンのクロスオーバーとしては最近も「プーサーなオリ主とコナン君」があり、かなり似ていると感じていたが、なんと同作者だった。

syosetu.org

午後7時過ぎから2時間ちょっと仮眠を取り、起きてまた先週の週記を書いていた。日付が変わる前に投稿。穴開きはUniversal Cupのみ。

「引きこもり姉ちゃんのアルゴリズム推理」という本を読んだ。「ストリーム・アルゴリズム」「サーチ・アルゴリズム」「ダイクストラ・アルゴリズム」の3本立てで、後ろ二つはそれぞれ二分探索とdijkstra法を前面に押し出した、学習の雰囲気が強い話だったと思う。しかし最初の一つはちょっとした日常の謎として面白かった。アルゴリズムにおける手続きそのものがメインだった話と得られた結果がメインだった話、という風にも区別できる。

「ストリーム・アルゴリズム」と聞いてピンと来るものがなかったのも理由かもしれない。競プロだとメモリ制限の厳しい問題でたまに問われるが、何か特定の手法があるという感じはしない。一方残りの二つには代表的な手法があり、よく知っているから、それっぽい物事が出てきた瞬間にすべて理解できてしまった。

午前2時就寝。

02/04(火)

午前7時に目を覚まし、二度寝できずずっとスマホを弄っていた。午前9時に布団を出て朝一番から修論発表会を聞いた。合間にシャワーを浴びたりゴミを出したり、今後数回の発表で使うスライドを作ったりしつつ、午後2時台にあった数学科競プロerの発表まで見届けた。

修論発表会でスーツを着るかどうかというのは、院試の面接と同じく分野によって変わってきて、半々のところもあればほぼ全員スーツを着るところもある。今日は初日よりスーツの人の割合が高かった気がする。

分野によっては先生が厳しいらしく、スーツを着ている人がかなり多かったように見えました。
東北大学大学院理学研究科数学専攻合格体験記 - kotatsugameの日記

午後3時に外出。まずは大戸屋で腹ごしらえ。最近YouTube Shortsで流れてくる「だれウマ」さんとダイエットメニューでコラボしていたので、コラボメニューの「ゆず香るあっさりコク旨とり塩鍋」を食べた。

美味かったが鍋のスープの塩気がかなり強い。そのくせ説明文には「美味すぎてうっかりスープを飲み干してしまう」と書かれていたので、ダイエットと健康は似て非なる方向性なんだなと思った。

食事 pic.twitter.com/1eHB6QSz5g
— こたつがめ (@kotatsugame_t) 2025年2月4日

次にドラッグストアでシャンプーを買った。2年前のフケが気になっていた頃、リプライでお薦めされたシリーズに決定。ちょうどそのときシャンプーの詰替えを買ったばかりで、使い切るまで新しいものは買えないなと思っていたら2年も経ってしまった。最近はフケはあまり気にならない。

h&sの緑めちゃおすすめです
— TadA-yaSN（ただやん）虎党ジム活民 (@xxx_whitechapel) 2023年2月22日

午後4時からはゲーセン。7時間で35クレと久しぶりにしっかりプレイし、無事明日までのイベントを完走できた。また成果もてんこ盛りで、Lv.15のSSSを新規に四つも出した。

一つ目は「キミとボクへの葬送歌」で、新曲。88・89小節がかなり上手くいった回で出た。110・111小節は擦りまくり。

キミとボクへの葬送歌　SSS pic.twitter.com/1n5D8qbEJ7
— こたつがめ (@kotatsugame_t) 2025年2月4日

二つ目「Theatore Creatore（ULT）」も新バージョンで追加されたばかりの曲。80小節以降のホールド＋小粒はしっかり4鍵の指で押すと案外安定した。94小節からは気合いの2連打。ちゃんと2回押すのを意識すべきと聞いたことがあるが、つまるところそれは気合いを入れて叩けという心がけである。タプスラは急に来ると手がこんがらがるため、何をどちらの手で取るか覚えておく。

Theatore Creatore ULT SSS pic.twitter.com/UkLjHeAhU0
— こたつがめ (@kotatsugame_t) 2025年2月4日

三つ目は「怒槌」。怒槌！？チュウニズム稼働初期に最高難易度の譜面として追加されて以来、インフレが進んだ今でも超高難度に君臨し続けており、まさか自分がこの譜面でSSSを出せるとは、と感慨もひとしお。いつの間にか前半を見たまま押せるようになっていたので、後半は恥を捨てて餡蜜した。最後のホールドは始点がExタップであり、いつぞやのアップデートでハチャメチャに易化したのが記憶に新しい。

怒槌 SSS pic.twitter.com/mKnMKbfSUU
— こたつがめ (@kotatsugame_t) 2025年2月4日

四つ目は「sølips」。300点伸ばすのに1年かかった。50小節と106・107小節を噛み合わせるゲームであり、今日は50小節が上手かった。ラストに1ミス出して卒倒しかけたが何とか耐えてくれた。

sølips SSS pic.twitter.com/B4YjiX750z
— こたつがめ (@kotatsugame_t) 2025年2月4日

「sølips」は今のところ7kで、噛み合い待ち。
週記（2024/01/22-2024/01/28） - kotatsugameの日記

ラーメンを食べ、ドンキに寄って帰宅。午前1時前には寝た。

02/05(水)

午前7時に目を覚まし、2時間ほどハーメルンを読んでいたら二度寝する時間がなくなった。シャワーを浴びて地下鉄で登校。これから夕方まで、ホスフィンと執筆合宿を行う。

今日はスライド作成と2月末までに完了しなければならない課題に取り組んだ。後者は前者の息抜きとして始めたものだったが、思ったより面倒で時間を浪費してしまい、スライド作成が全然進まなかった。明らかに今やるべきことではなかった。

昼食は農学部の学食。午後2時までの営業だと思っていたらいつの間にか春休み期間に突入しており、午後1時半で閉店だった。同じ失敗をした人が他にも数名いて、温情で入れてもらえた。

午後5時半に解散。後輩と合流して地下鉄で街へ出た。昨日ポスター発表を終えたばかりの留学生が明日もう帰国するらしいので、その送別会。参加者は自分、後輩、留学生と指導教員。本人の餃子を食べたいという要望から、後輩が「あずま」という店を予約した。

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

食後は先生以外の三人でそのあたりをぶらつき、ゲーセンに入った。パンチングマシーンやいくつかの音ゲーをプレイ。チュウニズムだけは三人揃って遊べたが、曲数が多すぎて選びきれず時間切れになったことが1回あった。写真を撮って解散した後、ゲーセンに追加1時間滞在してもう6クレプレイし、帰宅。

今日用意できるはずだったスライドを使って明日のセミナーで発表練習するつもりが、まだスライドが完成していない。やる気が出ず眠気も強いから明日起きてから完成させることにした。すると今度はまだ寝なくてもいいかなという気持ちになって、3時間くらいハーメルンを読んでしまった。

午前2時半就寝。

02/06(木)

午前8時起床。少し布団でクネクネしたあとスライド作成を開始し、昼前に完成した、ことにした。書きたいことを書ききれていないが、とりあえずスライドとしての体裁を整えたという意味。

地下鉄で登校し、午後1時半からセミナー。発表練習はあまり上手くいかなかった。スライドに何を書いたか記憶できていなかったというのもあるが、これは必要だろうと思って長めに語った例が発表の主題から盛大に外れていて、途中で何喋ってるんだという気持ちになってしまったのが大きい。スライドや発表に関する改善点をいくつか教えてもらって、今日は解散。

そのすぐあとに、情報のほうの研究室にやってきた留学生が卒論のセミナーをしてくれた。グラフ理論の話で結果もあり、またスライドの図などがわかりやすくて非常に面白かった。早口の英語だったがスライドと合わせることでギリギリ理解が追いついたと思う。

院生室に行ったら友人がC++でファイルからの入力を扱おうとしていたので、streamについての説明をした。演算子による変数への書き込みや条件式に来たときの振る舞いなど、直感的に記述できるようにするための仕様は結構好みの話である。ちなみに彼は四目並べの棋譜をファイルに保存し、それら過去の対局からAIのパラメータを機械学習で最適化しようとしている。その熱量は一体どこから湧いてきているのだろうか。

C++でCSVファイルを読み書きする方法 #C++ - Qiita

pic.twitter.com/LVudqztrJA
— こたつがめ (@kotatsugame_t) 2025年2月6日

午後6時に学食で食事したあと、麻雀。今日は夜中までかけて5半荘打った。戦績は1、4、1、2、1着。三色や一気通貫というあまり上がったことのなかった役を上がれて嬉しい。前者については高目だと純チャンも付いたので、少し残念。しかし見逃す度胸はなかった。そういえばチャンタ自体も上がったことがないかもしれない。そもそも狙うことがない。

pic.twitter.com/gljR4WTHfp
— こたつがめ (@kotatsugame_t) 2025年2月6日

その後後輩の車で一昨日と同じラーメンを食べに行き、帰りも送ってもらった。午前5時就寝。

02/07(金)

午後1時起床。

TLに「北海道大学マトロイドセミナー」の案内が流れてきた。以前見たときより講演の情報が増えており、なんとマトロイドの多項式普遍量が扱われるらしい。めちゃくちゃ興味があるのでぜひ参加したい。出張のため事務室にメールを送った。

北海道大学マトロイドセミナー

ハーメルンを読んでいたら午後4時半になった。そういえばもう春休み期間で、生協の閉店まであと30分しかない。走って向かい、まずラノベを買い、次に来週頭の研究集会に向けた新幹線の切符を買ったら、もう購買が閉まってしまいミールカードを使えなかった。散髪して雪が降り積もる中帰宅。

夏が始まった合図がした pic.twitter.com/rVD8eVURm8
— こたつがめ (@kotatsugame_t) 2025年2月7日

布団に戻ってまたハーメルンを読んでいた。午後9時半から4時間ちょっと寝落ちしつつ、午前5時になってようやく読み進める手を止めることに成功。ここ数日読んでいたのは「カードゲームで世界が滅ぶ世界に転生してカードショップを開店したら、周囲から前作主人公だと思われている」。

昨年6月くらいから読み進めていなかったが、毎日更新が続いていたので200話以上溜まっていた。改めて続きを読んでいくとやはり面白い。運命という言葉ですべてのご都合主義的展開に説明がつき、またそうなることをこちらも承知しているため、余計なハラハラドキドキをせずに楽しめる。主人公が大きな大会に参加して大盛り上がりだった4章後編が終わり、一段落したところでなんとか切り上げることができた。

syosetu.org

この作品は書籍化されており、1巻が昨年9月末に出た。それからの続報を知らなかったが2巻発売は無事確定しているようだ。まだ出ていないよなと確認しに行ったところ、この作者が最近富士見ファンタジア文庫からも新作を出していたことを知った。カクヨムのほうでのみ連載されていた作品で、新刊チェック時に確認してはいたものの同じ作者だと気づいていなかった。

北大マトロイドセミナーは無事参加できそう。それに向けた宿と飛行機を確保したあと、日記を書いて午前11時就寝。