02/10(月)
今日から一泊二日で名古屋の研究集会に参加する。
午前6時半に気合いで起床し、荷造りして出発した。立ち食いそばを食べて午前8時の新幹線に乗車。車内ではずっと発表スライドの調整をしていた。東京駅で東海道新幹線に乗り換え、午前11時半ごろ名古屋駅に到着。
名古屋のポーズ pic.twitter.com/nN8zvfCAOn
— こたつがめ (@kotatsugame_t) 2025年2月10日
駅前のゲーセンで1クレだけ遊んだあと会場の名城大学まで移動した。JR線と地下鉄を組み合わせた経路が紹介されていたのでそれに従ったが、これは新幹線乗車券をそのまま使用する人向けであり、ゲーセンに行くため一度改札を出てしまったのなら地下鉄だけで移動するほうが安上がりだったはず。経路検索でもそちらがサジェストされており、ちょっと混乱して名古屋駅で迷子になりかけた。何とか到着し、学食で昼食。
— こたつがめ (@kotatsugame_t) 2025年2月10日
開始少し前に教室にたどり着き、一発目から自分の発表。
今回の研究集会はかなり小ぢんまりとしたもので、参加者と発表者がほとんど一致している。聴衆が専門家しかいないので研究の導入を丁寧に行う必要がなく、また話の内容もよく伝わる。なのでそのあたりは気楽に喋ることができたが、一方発表に対するコメントの中には知識が足りずついていけなかったものが存在した。ただその1点を除けば上手くいったのではないかという手ごたえ。
他の方の発表は非常に面白かった。特に自分の結果がグラフ・マトロイドを扱っていながらその性質について全く考察を必要としなかったものなので、グラフ的な方向から攻める研究には憧れを抱いた。
夜は懇親会。味噌汁が当然のように赤だしで、とてもしょっぱかった。
— こたつがめ (@kotatsugame_t) 2025年2月10日
— こたつがめ (@kotatsugame_t) 2025年2月10日
午後10時過ぎ、今晩の宿であるアパホテル名古屋丸の内駅前に到着。少しだけ先週の週記を書いて穴だらけのまま日付が変わる直前に投稿した。シャワーを浴びる気力もなく、すぐ就寝。
02/11(火)
午前7時前起床。ホテル最上階に大浴場があるらしいので行ってみた。露天風呂もあったが、高い囲いに遮られて見えるのは青空と近くの高層ビルのみ。開放感があるのかないのかよくわからなかった。雲一つない快晴だったのはよかった。
— こたつがめ (@kotatsugame_t) 2025年2月10日
朝食を食べて午前9時過ぎ出発。地下鉄車内でハーメルンの日間ランキングから「グリーンだけどレッドに勝てない」を読んだ。レッドがTSしていて仰天。
午前10時から研究集会二日目。今日の発表に関しては全く知識が足りず、技術的なことはほとんどわからなかった……。そのうえスライド発表だとかなり大変。昨日は黒板発表だったので何とかなったという話なのだろう。とりあえず必死に板書していたが、それも置いて行かれ気味だった。
解散後、数名で近くの学生街にあった中華料理屋に行き昼食。地下鉄に乗った後は三々五々分かれていった。
— こたつがめ (@kotatsugame_t) 2025年2月11日
自分は伏見駅で降りた。乗り換えて名古屋駅まで行くつもりだったが、調べてみると近くに「KING JOY」という非常に大きなゲーセンや名古屋市科学館があったので、新幹線の時間までそこで過ごすことにした。
まずゲーセンで2クレプレイ。チュウニズムが10台並んでいて圧巻だった。昨日の1クレと合わせて無事称号「愛知勢」を獲得し、名古屋市科学館へ移動。
バカデカいゲーセン
— こたつがめ (@kotatsugame_t) 2025年2月11日
これから名古屋市科学館に行きます pic.twitter.com/aH7ZDFJEmc
歩いているときビルとビルの間から巨大な球体がチラチラ見えていたが、案の定名古屋市科学館の構造物だった。その最上部はプラネタリウムドームになっているらしい。チケットを買う際に運よく本日最後の上映が1席だけ空いていたので、見ていくことにした。上映が終わると閉館のため、常設展示をそれまでに回りきる必要がある。数学・情報科学と宇宙のエリアだけじっくり見て、それ以外はチラ見程度で済ませた。
プラネタリウムは前半が定番の星座の話で、後半は今月のテーマ「オーロラのしくみ」についてだったはず。「はず」というのは、まず光を出さないために時間を確認できなかったこと、次に眠気に負けてしまったことが理由である。快適な椅子と学芸員の優しげな話しぶりに耐え切れなかった。
名古屋市科学館 pic.twitter.com/cmuqEnqYtJ
— こたつがめ (@kotatsugame_t) 2025年2月11日
名古屋駅で駅弁を買い、午後6時半の新幹線に乗車。駅弁を食べる以外の時間はずっと眠っていた。
— こたつがめ (@kotatsugame_t) 2025年2月11日
午後10時前に仙台に到着し、帰宅したあとはしばらくぐったりしていた。シャワーを浴びて午後11時半からCF #1004 div.1。
Dashboard - Codeforces Round 1004 (Div. 1) - Codeforces
書く
午前4時半就寝。
02/12(水)
午前10時過ぎ起床。よこが我が家に到着した。自分は明日のセミナー準備があるため、荷物だけ置いていったん別れ昼過ぎまた合流しようという話をしていたが、いざ対面してみると早速一緒に遊びたい気持ちが止められなくなった。
そこでとっととセミナー準備を終わらせてしまうことにした。内容は昨日までの研究集会のフォローアップ。ノートに書き留めてあった自分の発表に来た質問を箇条書きにしただけで準備が終わったことにした。
昼過ぎに二人で出発し、地下鉄に乗って街中へ。昼食はつけ麺「和」で食べた。腹ごなしに少し本屋を見て回ったあと、2時間半ほどゲーセンでチュウニズムのマッチング。12クレプレイしてフルチェインをいくつか付けた。理論値も一つ出た。
ホスフィンと合流して午後6時から中華料理屋「成龍萬寿山」で夕食。最近松屋で「水煮牛肉」というメニューが提供され始めたらしいが、この店の「水煮肉片」と食べ比べてみてはいかがか、ということをよこに提案した。こちらは辛さが控えめとのこと。
— こたつがめ (@kotatsugame_t) 2025年2月12日
— こたつがめ (@kotatsugame_t) 2025年2月12日
また振り返ってみると、前回この店を利用したときとほぼ同じメニューを注文していた。差分である水餃子はよこのセレクトである。では代わりに抜けたチンジャオロースはたいぺーのセレクトだったかというと、さすがに覚えていない。
今日は成龍萬寿山という中華料理屋。
週記（2022/09/26-2022/10/02） - kotatsugameの日記
ドンキで買い物をしつつ帰宅し、家飲み開始。日曜深夜に注文したお酒の配達は無事間に合った。カルーアミルクをたくさん飲むと牛乳のせいで腹を壊してしまうので、今日は調べて出てきたカルーアのフルーツジュース割りを試してみた。アップルジュースで割るのが非常に良かった。
飲酒します pic.twitter.com/XFcm3rl70F
— こたつがめ (@kotatsugame_t) 2025年2月12日
今日はもっぱらボードゲームをプレイしていた。特に3人いないとプレイできない「ギャンブラー×ギャンブル！」は久しぶり。かなり楽しかったが、やはり4人で遊んでこそなのだろうなと感じた。院生室に持って行ってみようかな。日付が変わりホスフィンが帰宅してからはよこと二人でラーメンズのコントを見ていた。午前4時過ぎ就寝。
02/13(木)
午前11時に目を覚ましたが、布団から起き上がれずずっとグダグダしていた。よこはシャワーを浴びて正午くらいに帰っていった。自分も何とかシャワーを浴び、地下鉄で登校。学食で食事して午後1時半からセミナーを開始した。
セミナーの内容はボロボロ。もっぱら研究集会で他の方が行った発表について振り返っていたが、聞きかじった内容を板書のみをもとに喋るのはまあ不可能。断片的な話になってしまい、伝わったとは思えない。2時間弱グダグダして終了。来週から競プロの大会や研究集会で忙しくなり、セミナーは3週連続なくなる。
院生室に移動し、午後9時過ぎまで雑談したり寝たり、学食に行ったりしていた。研究室の飲み会帰りの友人が合流して麻雀開始。
今日も明け方までかけて5半荘打った。戦績は順に3、3、2、1、4着。4半荘目では満貫の手に豪運で一発と赤をつけ、跳満を上がった。その流れが5半荘目も続いていたのだが、ある局でリーチ後赤五筒を引いてしまい、危険牌だなと思いつつ泣く泣く切ったら下家と対面からのダブロン。満貫と親満で2万点持っていかれてからはボロボロだった。
1着、50300点
— こたつがめ (@kotatsugame_t) 2025年2月13日
リーチ一発ツモタンヤオ一盃口赤 pic.twitter.com/87aLxTuPGe
午前4時前に解散した後、友人と一緒に四目並べAIの機械学習のコードを改善した。どんな計算をしたいか聞いて実装方針を立て、実際のコーディングは友人に任せた。日を改めなかったのは、これから3週間ほど大学に来ない自分と修士を修了して就職する友人が会うのはおそらく今日が最後になるから。
眠くて帰りたそうな友人を付き合わせてバグ取りまで終わらせ、別れを告げて午前6時過ぎに地下鉄で帰宅した。もう始発という感じでもなかった。午前7時半就寝。
02/14(金)
起きたら午後9時半だった。明日は日本数学会東北支部会でまた研究発表を行うのでスライドを作る必要があるが、ほとんど月曜日のものを使いまわせるだろうと思ってしまい全然やる気が出ない。
明け方までR-18ハーメルン「淫紋迷宮探索者ブラン～淫紋のせいで身体売ってますが、ナニか？ それでも私は探索者を諦めない！～」を読んだり、ハーメルン「ローカル役でしかあがれない」を読み返したりしていた。
スライド作成を開始。冷静になると、分野の専門家向けだった月曜日の発表は他分野の方向けである明日の発表には全く適さないため、導入をもっと丁寧に行う必要がある。そこで例を一つ用意することにした。といっても先週用意したような遠回りかつ大長編の内容ではなく、行った計算と関係のある部分のみ。また発表時間がたったの15分しかないので、準備パートの一部はばっさりカットした。
結果パートは月曜日のものをほぼ流用したが、午前9時前にひとまず完成。徹夜の覚悟は完了している。そのときは39ページだったので、もうちょっと大胆にカットを行い31ページまで減らした。このページ数はbeamerのpauseなどを含めているので、まあ間に合うだろう。
メールが来て、昨年国際会議に投稿した論文がアクセプトされた。口頭発表ではなくポスター発表だがアクセプトはアクセプトである。採択率を知らないのでどれくらい狭き（あるいは広き）門をくぐったのかわからず、いまいち実感に欠けるものの、査読者のスコアを見ても並程度の評価はされているようなので、喜んでいいのだと思う。
On behalf of the FPSAC 2025 Program Committee, I am delighted to inform you that the following submission has been accepted to appear at the conference:
— こたつがめ (@kotatsugame_t) 2025年2月15日
Failure of the Lefschetz property for the Graphic Matroid
The accepted presentation type is "poster presentation".
国際会議に投稿した。
週記（2024/11/11-2024/11/17） - kotatsugameの日記
発表練習をしたら17分かかった。2回目をしている時間はないので、オタク早口を突き詰めることで何とかすることにした。
今年の会場は東北大学で、いつも集中講義などをしているホール。今日は晴れて雪も見当たらないため原付で登校した。山道の日陰が微妙に濡れていて、まだ雪が残っていたのかとヒヤヒヤしながら走った。生協でカップ麺を買い、数学棟で食べて、午後1時からスタート。
http://www.math.tohoku.ac.jp/MSJ/shibukai2024.html
発表はギリギリ時間通りに終えられた。自分でも早口だったなとは思う。普段自分のセミナーに参加してくださっている先生から質問が来て、うっかり普段のセミナーを前提として答えようとしたが、今日の発表で話していない内容を含んでいることに気づき慌てて口頭で捕捉した。話す順番をちょっと間違った感じがあり、もう少しコンパクトに答えられるべきだったかなと思う。
また、まったく別分野の方からも質問を頂いた。ある予想に対して反例を探し当てたという発表だったが、「なぜ予想の否定的解決を試みたのか」「予想を改善して成立させる研究はどのくらい行われているのか」という、言われてみれば当たり前に出てくるべき疑問。
実のところ、自分が聞いた限りでは、この予想が真であることはそれほど信じられていたわけではないようだ。あまりにも何もわかっていないので何か研究が行われてほしい、という雰囲気であった。否定的解決を試みたのはそちらのほうが手っ取り早く試せるからで、予想の改善についてはごくごく限定的な結果に留まっている。
他の一般講演の内容は、どれもあまりよくわからなかった。15分の発表だと近い分野でなければ理解は難しい。自分の発表もそうだったのだろうなと思うが、その中で質問をくださった他分野の方はすごい。特別講演の時間になるともう眠くてダメだった。
終了後、即座に帰宅。ABCに向けて寝た。午後6時だった。
02/15(土)
午後9時少し前になんとか起床。ABC393に出た。
AtCoder Beginner Contest 393 - AtCoder
書く
真夜中からはUniversal Cup 30回目、Northernセットを走った。自分の発表のためこの時間にずらしてもらった。そしてこの回がUniversal Cup Finals前の最後である。
書く
水曜日の家飲みでは、抹茶カルーアが瓶に半分程度余ってしまった。普段はホスフィンに押し付けるのだが、水曜日はホスフィンが先に帰ってしまったので家に残っている。これを飲みながら日記を書いていた。午前11時半就寝。
02/16(日)
午後9時くらいに目を覚まし、布団でスマホを触ってゴロゴロしていたら午後11時半になった。CF #1005 div.2。
Dashboard - Codeforces Round 1005 (Div. 2) - Codeforces
書く
朝まで日記を書いたり提出すべき書類を作成したりしていた。ついでにハーメルンの日間ランキングから「十字の爪を食い込ませ、壁や天井を這い回る。」を読了。使用するポケモンだけでなく、主人公もちゃんとトレーナーとして強いという点が嬉しい。
昼前に生協に行き、まず新幹線の切符を買った。Universal Cup Finalsのため02/19に仙台から東京、02/24に東京から仙台。さらにICPCプレーオフのため02/26にまたしても仙台から東京、03/03に東京から仙台。往復乗車券の有効期間が6日間でそれぞれギリギリ収まるため、最初はそれ二つでお願いした。
しかしYandex Cupも6日間の旅程で、確か行きと帰りを別々に買ったはず……と思い当時の日記を確認すると、次のような記述が見つかった。それで、すべての乗車券を発券してもらった後だったにも拘わらず、再度別々に取り直してもらった。かなり面倒なことをお願いしてしまい申し訳ない気持ちでいっぱい。
帰りについては往復乗車券の有効期限ギリギリだったが、別に往復割引があるわけでもないので分けて買い、日程に余裕を持たせることにした。
週記（2024/11/25-2024/12/01） - kotatsugameの日記
その後学食で食事し、ラノベを買って帰宅。午後1時過ぎ就寝。
