09/09(月)
午後3時過ぎ起床。半からインターン先定例会に出席した。先週の進捗は、なかった。
勉強会はラムダ計算の話。勉強会では何度か扱われたことのあるテーマであり自分も前に一度発表したが、今日はそれらよりもかなり理論に寄った内容で、β簡約とそのチャーチ・ロッサー性の説明だった。自分が修士1年のとき同級生のセミナーで聞いていたものとほぼ同じ。懐かしい気分になった。
テーマは関数型言語で、ラムダ計算の導入、そのSKIコンビネータによる表記、またそれを用いたHaskellにおけるポイントフリースタイルへの書き換えを話した。
週記（2022/05/16-2022/05/22） - kotatsugameの日記
質疑応答がかなり盛り上がって、解散する頃には午後6時半を回っていた。急いで学食に向かい、食事。帰りにコンビニに寄ってパンやおにぎりを買ってきた。
帰宅してからはずっと先週の週記を書いていた。コンテストがいくつか穴あきになった状態で日付が変わる直前に投稿。そのあとしばらく追記していたが、急激な眠気に襲われて午前1時半ごろ布団に入り、即座に寝た。
09/10(火)
午後1時半起床。院生室で麻雀しないかという誘いがLINEに来ていたので、シャワーを浴びて昨日買ったおにぎりを食べたあと、原付に乗って大学に向かった。
午後6時までかけて2半荘打った。今日の戦績はかなりひどく、上がったのは中のみの1回きり。聴牌すらほとんどなかった。こんなにも手がまとまらないと、さすがに運ではなく腕前に問題があるのだろう。7月末に麻雀を始めたばかりの後輩たちは雀魂で特訓しているらしく、いつの間にかかなり強くなっていた。これからも卓に誘ってもらうため、自分も練習しなければならないのかもしれない。
学食で食事して帰宅。原付を置いてすぐまた出発し、今度はゲーセンに行った。
今日は手元動画を撮りつつ閉店まで25クレプレイ。14+のAJ狙いをして三つ出せた。狙ったのにAJを出せなかった「AMAZING MIGHTYYYY!!!!」は、繰り返し出てくる配置に癖がついてしまい、それ以外がいくら上手くなってもどうしようもなかった。最高スコアは14-1-0。帰宅してからAJを断念した2譜面も含めて動画をツイートした。
今日は25クレ pic.twitter.com/ZMRPZeFSz1
— こたつがめ (@kotatsugame_t) 2024年9月10日
帰り道で油そばを食べた。タレが普段の倍くらいあってかなりしょっぱかった。ドンキに寄ったらフロアの中央部分が清掃中だった。退かした商品で通路を塞いでいたため、迷路みたいになっていて面白かった。
帰宅してシャワーを浴びた後、朝までハーメルンを読んでいた。「大文豪に私はなる！」と「大文豪に私はなる！ R18版」を読了。面白かった。作家活動をするため世界経済新聞社と深く付き合っていたり、金獅子のシキの元に身を寄せたりと他の二次創作ではあまり見ない展開ばかりだった。
ただ作者の趣味なのか、作中最強格の女オリ主なのになかなかひどい目に遭わされているのが辛い。R18版はそれが行くところまで行ってしまったIFストーリーだが、本編内でもインペルダウンに収監される章ではR17.9のタグに見合うくらいの扱いを受けていた。さらし者の刑は百歩譲るとしても、なんでガチの拷問シーンがあるんですか……？
午前9時過ぎ就寝。
09/11(水)
午後1時半から午後2時半、午後6時から午後10時にハーメルンを読んでいた形跡がある。
午後11時半直前に目覚ましで起床。Codechef Starters 151に出た。
https://www.codechef.com/START151A
書く
その後もずっとハーメルンを読んでいた。午前4時くらいに椅子で寝落ち。1時間くらいで起きて布団に移動し、また寝た。
09/12(木)
正午に目覚ましで起床。生協に行って用事を済ませるつもりだったが布団からの脱出に失敗し、2時間ほどハーメルンを読んでから二度寝してしまった。次に起きたら午後6時半だった。
「〝鬼の女中〟と呼ばれる女」を読了。面白かった。大海賊時代より前から活動し、ロジャー海賊団にも所属していた主人公が、原作開始前の海に君臨している。悪魔の実を食べず、武術と覇気のみで海賊の頂点に立つところが良い。ところで、これだけ強大になるといざ原作が開始してもルフィと絡めるのは一苦労だと思う。ワンピース二次創作の宿命かもしれない。そもそも原作開始までたどり着ける作品が少ないという話もある。
別のハーメルンを開いて読みだした。午後11時前に寝落ちする直前、次に起きたら朝になっているだろうなと思ったが、なぜか午前2時半ぐらいに起きてしまった。午前6時半くらいになって、一週間丸々ハーメルンに費やす危機感を覚えたこと、また読んでいたハーメルンにそこまで引き込まれなかったことからついに読むのを止めることに成功した。
シャワーを浴びて先週も行っていたpreprintの英語の修正を始めた。午前11時半くらいになると、昨日済ませる予定だった用事のため生協に向かった。
まず来週火曜日に千葉県へ行くための新幹線切符を購入した。東邦大学習志野キャンパスで行われるセミナーに参加する予定である。そして学食・購買を巡り、最後に床屋で散髪した。
帰宅してシャワーを浴び、しばらくpreprintを弄って午後3時半ごろ寝た。
09/13(金)
午後9時に目覚ましで起床。20分からyukicoder 446に出た。
yukicoder contest 446 - yukicoder
書く
今日は久しぶりにラノベを読んだ。2冊読了。
1冊目、「黄金の経験値」5巻。非常に面白かった。この巻では主人公が現実で身に着けていた能力がクローズアップされており、それを駆使して倒すことが想定されていないボスに打ち勝つ様が描かれた。そのような能力の背景となる主人公の現実世界における事情は、なろうだと全くと言っていいほど明らかにならないまま完結してしまったはず。書籍版で何か新情報が出るのではないかと期待している。
またページ数に余裕があったのか、主人公の配下を視点キャラクターとした番外編が追加されていた。本編がほぼずっと主人公の一人称視点で進むため、他者の視点からの主人公は貴重。配下が普段何を考えているのかということも明らかになって、これも非常に良かった。
2冊目、「願ってもない追放後からのスローライフ？」。現代ダンジョンもの。日本最強の冒険者だった主人公の、金に糸目を付けない日常は非常に良かった。ただ主人公のバトルシーンがほとんどなかったことが残念。思ったよりスローライフ成分に全振りしていた。さらに追放パートでは、追放者へのヘイトを煽るだけ煽ったのに回収が不十分だったり和解してしまったりと中途半端な結末だったのが気になった。
午前11時過ぎに就寝。
09/14(土)
午後3時起床。両親が部屋にやって来た。水回りの掃除をしてもらいつつ、自分は読み終えた本を実家に持って帰ってもらうため段ボールに詰めていた。昨年2月に本棚を新規購入して以来である。その本棚も今年の5月に一杯になってしまったので、それからは部屋のテーブルに積み上げていた。しかしそもそも実家の本棚がとうの昔に一杯になっている以上、持って帰るのは問題の先送りにしかならない。
段ボール5箱分の本を車に積み込み、またプログラミングコンテストの賞品を主とする不要だが保管したいものも持ち出して部屋の整理は完了。夕食のため午後5時くらいに部屋を出発した。
仙台駅地下の海鮮丼屋に並んだら、どうやら席の半分近くが予約されていたようで、我々の前に3組しかいなかったのに1時間ほど待つ羽目になった。ようやく入店して注文してからも料理が出てくるまで30分ほどかかり、午後7時を過ぎてようやく夕食にありついた。店員が少ないわけでもなさそうだが、一体何が起こっていたのだろうか。
— こたつがめ (@kotatsugame_t) 2024年9月14日
午後8時過ぎに帰宅し、いったん両親と別れた。明日は観光についていく予定。あまりに眠いので机に突っ伏して少しだけ仮眠を取り、午後9時からABC371に出た。
AtCoder Beginner Contest 371 - AtCoder
Aは実装方針が全然立たなかった。結局比較関数を書いてソートした。Bはよい。Cは頂点番号の対応を全探索。Dは二分探索。Eは各値に対し最初に出現するインデックスを見る、値の種類数クエリでよく使うテク。
Fはまずとすることで条件を狭義単調増加から広義単調増加に書き換えておく。すると用事を完了するためには邪魔になる人もろとも目的の座標までずらせばよく、邪魔になる人の範囲を検出するためには1点取得が、移動距離を計算するためには区間和が、更新のためには区間updateができればよいため遅延セグ木に乗る。
Gは先頭から貪欲に決めていけば常に操作回数の条件が
と書ける。新たに長さ
のサイクルが出現した場合は、
のもとで最も先頭に近い値を最小化し、
と
を更新すればよい。普通に書くとオーバーフローするため、
と
は素因数分解した形で管理し、適宜中国剰余定理で戻した。
全完12位。コードゴルフのためAをNibblesで、EをPerlで書いた。Aは入力が6パターンしかなく、全部並べて観察したところが入力中の何文字目に初めて出現するかでピッタリ分類できることが分かった。謎のハッシュで同じ長さを達成しているコードがあり、こちらはよくわからない。
午後11時半からはCF #972 div.2に出た。
Dashboard - Codeforces Round 972 (Div. 2) - Codeforces
書く
「小市民シリーズ」のアニメ第2期が制作されるらしい。TLを見る限り今期のアニメはロシデレがひたすら目立っていた感じだが、こちらも2期が出るくらい人気があったということで、めでたい話である。
🌰―――――
— TVアニメ『小市民シリーズ』公式 (@shoshimin_pr) 2024年9月14日
⠀⠀TVアニメ『小市民シリーズ』
⠀⠀⠀⠀⠀⠀第2期制作決定！
⠀⠀⠀⠀2025年4月より放送📺
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀―――――🍫
『秋期限定栗きんとん事件』、
『冬期限定ボンボンショコラ事件』が描かれます。
新キャラクターたちと小鳩たちの関係性を
お楽しみに！#小市民 pic.twitter.com/BuDtdQPkf9
ハーメルンを読んで午前4時過ぎ就寝。
09/15(日)
午前9時、迎えに来た両親に起こされた。朝食を摂って出発。まずは自分の用事で郵便局に寄ってもらった。
Universal Cup Semifinalsの賞品は、チームのうち一人が代表して受け取り、他の二人に分配するというシステムになっている。我がチームでは自分の住所を運営に伝えており、昨日寝ている間にスマートウォッチが届いていた。チームメイトの住所はすでに教えてもらってある。ブツだけ持って向かったが、郵便局で梱包材を売っていたので問題なく梱包でき、レターパックで発送した。
— こたつがめ (@kotatsugame_t) 2024年9月16日
いよいよ観光。まずは鬼首かんけつ泉を見た。ここで最後に食べた温泉卵は、たった60円なのにお盆・皿に調味料2種がついてきてびっくりした。3倍くらいの値段でも何もおかしくない。ちなみに自分で茹でる場合は50円らしい。
間欠泉・湯滝・温泉卵 pic.twitter.com/XfCCj1WI5O
— こたつがめ (@kotatsugame_t) 2024年9月15日
次に近くの岩下こけし資料館。館内撮影禁止。資料館というよりはただの販売所かな……。一応、古文書の写真と古そうな木工品が置かれていたものの、照明がないためガラスの反射でよく見えないし、そもそもまともな説明がほとんどなかった。母はふくろうの置物を買っていた。昔似たものが実家にあったが、足が折れてしまったらしい。
こけし資料館 pic.twitter.com/XR0r5WbMgl
— こたつがめ (@kotatsugame_t) 2024年9月15日
「あ・ら・伊達な道の駅」で昼食。周囲のさびれ具合に見合わない人出で大混雑だった。横綱・白鵬の全勝優勝額が展示されていてびっくりしたが、震災の復興支援で関りがあったらしい。
— こたつがめ (@kotatsugame_t) 2024年9月15日
午後は「感覚ミュージアム」に行った。ここも撮影禁止の展示が多い。暗い通路を手探りで歩きつつ、穴の中に手を差し入れて中に置かれているものを触感で確かめる「闇の森」という展示が面白かった。
これで観光は終わり。イオンモール富谷で買い物をし、ココスで夕食を摂った。にじさんじコラボの期間だったので、対象メニューを注文してクリアファイルを手に入れた。四季凪アキラさんだった。
— こたつがめ (@kotatsugame_t) 2024年9月15日
— こたつがめ (@kotatsugame_t) 2024年9月15日
午後8時前に帰宅し両親と別れた。
AHC037が始まっていたので、1時間遅れで参加した。という直線で点を二つに分け、それぞれ
軸・
軸から枝分かれさせるような貪欲を書き、点の分割を山登りして4200725105点。計算が重かったので焼きなましにする気力は失せてしまった。また順位表からとても強い貪欲があることはわかっていたが、それらしいものが何も思いつかなかった。
11th Asprova Programming Contest（AtCoder Heuristic Contest 037） - AtCoder
1時間半くらいで投げ出し、ハーメルンを読んでいたらコンテストが終了した。強い貪欲は「2点を除いて点
を追加する、ただし
が最大となるように選ぶ」というものだったらしい。マージすることは思いついていたものの、選ぶ基準が全然わからなかった。確かにこれだと右上から処理していきたい気持ちがうまく表現されている。
布団に移動して午後11時半ごろ就寝。
