07/22(月)
午後2時起床。1時間ほどスマホでハーメルンを読んでから布団を出た。今日はインターン先の定例会をお休みし、大学で談話会に参加する。
天気が良く原付で登校したが、信じられないくらい暑くて大変だった。山道は車道が木陰になっていて少し涼しさを感じられたのが救い。山の学食はこの時間開いていないので、いったん川内に寄って食事した。
午後4時から談話会。配られた概要に書いてあった自分の研究と関連しそうな話題については、残念ながらほとんど扱われなかったが、非自明な全単射を構成して予想が示せたという組合せ論的な話で、非常に面白かった。予定通り1時間で終了。
院生室に移動して2時間ちょっと雑談。M2の友人がセミナー準備で行き詰っているとのことで話を聞いてみたら、なんとq-二項係数を使えば一発で解決できる問題だった。自分は熨斗袋さんのブログを読んでいくつかの結果だけ知っており、その結論ありきで問題を言い換えたが、そうでなければどうやって解くのだろうか。そもそもq-類似をよく用いる分野らしいから、実は専門家にとってはwell-knownなのかもしれない。
帰宅して先週の週記を書き進め、日付が変わる直前に投稿。今回はギリギリ全部埋めきることができた。Universal Cupがなかったのと、二日ほどなろうで潰れていたのが大きいだろう。
シャワーを浴びて少しセミナー準備をし、午前3時就寝。
07/23(火)
午前8時起床。1時間ほどスマホでYouTubeを眺めたあと、原付で登校した。今日は先生が呼んだ発表者のセミナーを聞く。正確には、数学科主催のセミナーで午後から発表する方に、午前中にもお願いしたというのが正しい。先生は午後から都合が悪かったそうだ。
セミナーは午前10時から3時間ほど続いた。少人数でちょくちょく質問しながらだったため、内容を理解するという点では非常に有益なセミナーだった。そうして得た自分の理解によれば、この研究はちょっと結果ありきにすぎる。提案アルゴリズムのハイパーパラメータを調整して実行すると、先行研究と同じデータセットに対し同じ解が数倍速く見つかりましたというもの。ハイパーパラメータの調整に関する理論はまだ手も足も出ないらしい。
学食で昼食を摂り院生室に戻って雑談。午後3時になって、先述した数学科主催のセミナーに参加する面々を尻目に山を降りた。今日はちょっと雲が多く天気が怪しかったが、暑さは変わらない。
ATMに寄ってお金を下ろし、大学生協で新幹線の切符を購入した。再来週のCOSS2024と、その直後に予定している帰省のぶん。帰省についてはちょうどラッシュの前後となるからもう席が残っていないかもと心配したが、問題なく購入することができた。客がほぼいないし家から近いし、やはりみどりの窓口より生協のほうが比べようもないくらい快適だ。
購買でラノベを受け取って帰宅。シャワーを浴びてしばらくラノベを読み、午後9時から2時間ほど仮眠した。午後11時半からはCF #961 div.2。
Dashboard - Codeforces Round 961 (Div. 2) - Codeforces
書く
朝方、「異世界でチート能力を手にした俺は、現実世界をも無双する」15巻と16巻を読了した。相変わらずすごいスピードで設定の導入、トラブル発生→解決、新キャラの仲間入りが繰り返されている。15巻は異世界メインで16巻は現実世界メインだった。やっぱり現実世界で目立ちまくるほうが好みだ。特に16巻は久しぶりに主人公の芸能活動を見ることができたので嬉しい。そういう話があることをあらすじで知ったので、積んでいた15巻ごと読んだのであった。
セミナー準備を始めたら基本的な性質の証明でドン詰まりした。基本的すぎるためか論文には書いていなくて、参考文献も教科書だったためネットでは閲覧ができない。自力でも示せずしばらく苦しみ、最終的には諦めてしまった。午前10時半就寝。
07/24(水)
午後8時起床。セミナー準備の続きを行ったがやはり追いきれない箇所が多い。体裁だけ整えて午後11時くらいに参加者に送付した。
シャワーを浴びて午後11時半からCodechef Starters 144。Starters 115以来半年ぶりのRated for Allである。
https://www.codechef.com/START144A
書く
朝までかけて「異世界エルフと京大生」を読了した。エルフと一緒に京都を歩きまくる話。寺社仏閣は当然として、京都の通りや店についてもかなり詳細に描かれていた。京都の地理を知らないからか主人公たちの散策があまりイメージできず残念。主人公とエルフの関係が非常に清貧で、テンプレから外れたストーリーには惹かれるものもあったが、どうしてもメインは京都歩きに見えて、話を十分に楽しめなかったという印象を得た。
午前8時半就寝。
07/25(木)
正午過ぎ起床。天気が悪いので地下鉄で登校した。学食で昼食を摂り、午後1時半からセミナー。
今日の内容は証明の細部を全然追えておらず、時間をかける箇所がなかったため用意した分をすべて話しきることができた。まああんまり分かった気持ちにはならないかもしれない。昨年度末に読んだ論文の内容を混ぜるともうちょっとそれっぽさが伝わるのではないかと考えているので、来週はそうしてみたい。加えて、今日話した命題のうち一つを証明する予定とした。
午後4時に終了してすぐ解散。今日も院生室で雑談をした。オープンキャンパスで回転群SO(3)の展示をするらしい。腕をぐるぐる回して作用の等価性を体験しようとしたが、初期位置が斜め方向だとなぜか手のひらが裏返ってしまうとのこと。自分でもしばらく試してみて、一か所回しすぎていることに気づいた。手のひらの法線ベクトルを軸と並行にするとかなりやりやすくなった。
午後6時過ぎに学食で夕食を摂った後、談話室で麻雀を打った。参加者は自分に加え、全くの初心者3人と、バリバリ打つ人一人。最後の人を教師役として少しずつルールを教えながら8局遊んだ。最初はとにかく面子と雀頭を集めればOKというところから始まり、リーチや鳴き、役牌、断么九・混一色を順に導入していった。また自摸・一発・平和・七対子も出たので紹介された。自分は毎回三色同順を狙っていたが全然完成しなかった。
午後10時くらいに終了。院生室に戻って後輩のレポート課題を手伝おうとしたが何もわからなかった。日付が変わるころ地下鉄の終電に乗り、コンビニに寄りつつ帰宅。午前1時半くらいに寝落ちした。
07/26(金)
午前7時半起床。1時間ほどスマホを触っていた。食事してシャワーを浴び、少し日記を書いて、午前10時前に原付で登校。今日は先週金曜日のセミナーの続きがある。
午前10時から始まって3時間続いた。先週主張だけ確認した命題の証明を詳しく見たが、これがまあ大変。非ユークリッド幾何学の話なので自分の幾何的直観をどの程度信用してよいかがわからない。イメージの上では正しそうな性質が証明なしに登場するなど、納得のいく説明は見つかっても厳密な証明までは至らなかった箇所が目立った。難しい話だった。
発表者・後輩とともに学食で昼食を摂り、解散。ホスフィンに用事があったので、その足で会いに行き1時間ほど話した。
数学科の近くにある購買は、今年度の始めから夜間営業を行っている。事前に登録しておくと閉店後も購買に入ることができ、電子マネーで買い物が行えるという試みである。最近夜まで院生室にいることが多いので、自分も登録することにした。どうやら既存のセキュリティシステムの通過権を与えているらしく、大きくSECOMと書かれたカードが貸し出されてびっくりした。ちょっと心配になる。
今日も今日とて院生室で雑談。昨日の帰り際に取り組んでいたレポート課題に改めて挑戦した。講義資料を見せてもらい、言っている意味は最低限取れるようになったものの、それ以上は相変わらず厳しいものがある。手を動かすとなるとかなり大変そうなので、何か使いやすい命題があると思ったが、ピンとくるものが見当たらなかった。
午後6時に下山。購買でラノベを受け取りつつ帰宅し、少しニコニコ動画を見て午後8時くらいに仮眠に入った。
yukicoderの時間にも当然目覚ましはかけていたが、起きることができず、午後11時起床。半からCF #962 div.3に出た。
Dashboard - Codeforces Round 962 (Div. 3) - Codeforces
書く
シャワーを浴びてTCBの2024/07回に参加した。正確には「TechFUL Coding Battle Summer Fiesta 2024」という名前がついている。来週火曜日まで。
https://techful-programming.com/techful/event/6098
昼前、「屍王の帰還」を読了した。過去に召喚され、紆余曲折あって秘密結社を築き上げた異世界へ再召喚される。この設定が最高に好みだった。また最初に集まった仲間がたった二人で、それから一人ずつ探していくという展開も良い。一気に集まると収拾がつかず、手綱が握れていないように感じてしまう。さらに主人公の再召喚と同時に、主人公の妹が属するクラスも召喚されている。1巻ラストでニアミスしたが、これからどう絡んでいくのか楽しみ。
少しネット小説を漁って午前10時半就寝。
07/27(土)
午後1時45分起床。午後2時からUniversal Cupの第5回目に参加した。今日はMoscowセット。
書く
食事して午後9時からABC364。
Japan Registry Services (JPRS) Programming Contest 2024#2 (AtCoder Beginner Contest 364) - AtCoder
Aはサンプル2が凶悪。サンプルにあって助かった。Bはよい。Cは最大化だと勘違いしてしばらく固まっていた。貪欲。自然に求まる答えに1足すのがちょっと罠。Dは二分探索。EはC問題と同じ設定で、今度こそ最大化。dpが出てくるまで時間がかかってしまったし、ここでも1足すのを忘れてしまった。Fは頂点だけ見ると連結成分が区間になっている。
Gはちょっと前のAHCで見た記憶があったが、特に検索しに行くことはなくアルゴリズムを再発明した。頂点集合と頂点
に対し、
を連結にするために必要なコストを求める。遷移は
が部分集合の列挙で
、
が
ごとにdijkstraして
。制約が結構大きめに見える。
33分で全完して9位。みんな速すぎる……。Gは「最小シュタイナー木」を求める問題で、AHC020でも必要になったらしい。コードゴルフはAのみ、Nibbles。
全完後の振り返りから動画投稿までをギリギリ間に合わせ、午後11時からTROC #36。なんとTOKIでは9か月ぶりのRatedである。
https://tlx.toki.id/contests/troc-36
書く
午前2時半、急激な眠気に襲われ就寝。
07/28(日)
午前7時起床。未解決事件のWikipediaを読んだりYouTubeで事件・事故の解説動画を見たりとよくわからないことをしつつ、正午までかけて「原作最強のラスボスが主人公の仲間になったら？」を読了。主人公がちゃんと強く、それに見合った態度で嬉しい。仮面をつけている設定は好みではない。あとはまあ、悪くないなという感じで特に言うことが見当たらない。悪くなかったのは本当。
二度寝。途中1時間くらいの覚醒を挟みつつ午後6時半まで寝ていた。ゲーセンに行くため、シャワーを浴びて外出。
立ち食いそばを食べてGiGO仙台一番町店に行ったら、チュウニズムが4台埋まっていた。店を変えるのも面倒なので、待ちが増えたら一人帰らないかなと思いつつ並んで1クレプレイしたが、誰も帰らなかったので諦めてGiGO仙台に移動した。こちらは8台に2、3人しかおらず非常に快適。
午後10時半までで13クレプレイした。とりあえず新曲を触りきってレーティングポゼッションを復活させ、さらに「いよわ」コラボイベントのクエスト含む8月頭までのあれこれを走り終えた。そんな感じでクレを積むことが今日の主目的であり、成果はそこそこといった感じ。
ポゼッション復活…… pic.twitter.com/YBz8FYGyzh
— こたつがめ (@kotatsugame_t) 2024年7月28日
集金マシーン pic.twitter.com/AzEz4GOd3S
— こたつがめ (@kotatsugame_t) 2024年7月28日
午後11時頃帰宅し、シャワーを浴びて半からCF combined。
Dashboard - Pinely Round 4 (Div. 1 + Div. 2) - Codeforces
書く
食事して日記を書き、午前9時に布団へ。それから就寝までは2時間近くYouTubeを見続けてしまった。ここで見ていたのも事件・事故の解説動画。どうやらかなりの時間泥棒らしいから、強く自分を律する必要がある。
今週は月火木金と4日間も大学に登校し、その度に院生室で数時間過ごしていた。正直かなり楽しかった。この院生室というのは修士向けの部屋で、自分が割り当てられている博士向けの部屋にはほとんど足を踏み入れていない。あそこは埃っぽいし、誰もいなくてつまらないのだ。
来週の登校の予定は、通常通り木曜日のセミナーのみ。火・水とオープンキャンパスがあるがボランティアでもないし行きはしないだろう。木曜日の夜にはまた麻雀を打つ予定がある。その日は、先日教師役を務めた友人が以前から卓を囲んでいたメンバーが集まるらしい。また初心者講習も続いていて、自分がコンテストのため帰宅した金曜日にも別のメンバーを追加して行われたということを聞いた。広がる麻雀の輪。
