玻璃 (Hiroki Hamaguchi)

東大数理情報D1

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

あと、土曜日にMATCHAという研究集会にて、お二人による連続と離散の講義がありました。
離散の方はSchwartz-Zippelが中心で、ある種のカットの数え上げの話があり、それって復元できるのかなと思っていたら、辺を削除し判定を繰り返すと言われ、これも自力で思い付きたかったですが、面白かったです。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

あと、筋の悪い私の方針だと、グリッドグラフの部分グラフ上での最小stカットのうち、t側の頂点数も最小にするものを求めたくなりました。難しくないかと期間中には思っていたんですが、辺重みをt側に傾斜させれば（非厳密には）普通に解けるので、早く気が付きたかった！という感じです。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

久しぶりにAHC067に参加していました。問題がかなり面白かったです。
問題文にTの計算は O(2^K N^2)時間で可能とあり、じゃあその長さの経路がハノイの塔などに似た要領で作れるのかなとなって調べたら、九連環というのが出てきて、このパズルの賢さに感心しました。

https://t.co/le0b9NSxjP

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

考えていた方針の実装が無理すぎて途中から諦めてしまいました。ただ、一位の解答を見たら、スイッチ0に連動する扉で、経路長を伸ばす妨害目的の他に、他スイッチを押す為の仕切りまでもをこの扉でやっていました。後者は思いついておらず、よくよく考えると自明に有効な操作で、なるほどなと。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

色々と追記しました。
最近は楽しいです。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

2026-05 月記｜hari64 @hari64boli64 https://t.co/6hMXke2tmt

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

書きました。

研究に出てきた凸解析に関する補題の補題です。諸事情でお蔵入り的なので、検索のノイズになりそうなら今後消すかも知れません。

拙いですがLean4での形式化も載せています。

Crosscutを持たない開集合は凸集合の補集合である https://t.co/3NLrJPqv2l #Qiita via @hari64boli64

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

引用にある、dvipdfmxとorcidlinkに関するLaTeXのバグ(?)について、hyperrefの開発者の方にPull Requestを投げたところ、ご対応していただけました。まだ途中ではありますが、今後は最新版を使うとこの問題は解消されそうです。

詳細は以下の記事を更新する形で記しました。
https://t.co/5FeL4Rjztu

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

書きました。
昨日手こずった問題などに対する、個人的な備忘録です。

arXivなどへ論文投稿をする際の、LaTeXに関する諸問題とその対処法 https://t.co/UFcad0hKMh #Qiita via @hari64boli64

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

@h_okumura @abenori 頂いたご反応をもとに、これは第一節と第二・第三・第四節で記事を二つに切り分けた方が誤解が少ないかなと思われるため、そのように改訂させていただきます。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

@h_okumura @abenori 元記事の著者です。こちらの書き方が悪いばかりに混乱を招いてしまい申し訳ないです。
記事の第一節の趣旨はあくまで「orcidlinkの使用には、(u)pLaTeX以外が無難」であり、ORCIDとarXivに関係があったのでこのように書いていましたが、第一節はarXivの「投稿」とは直接の関係がありません。(続)

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

書きました。
昨日手こずった問題などに対する、個人的な備忘録です。

arXivなどへ論文投稿をする際の、LaTeXに関する諸問題とその対処法 https://t.co/UFcad0hKMh #Qiita via @hari64boli64

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

今月はNTTへ研究インターンに行っていました。色々な方々に大変お世話になりました。

2026-02 月記｜hari64 @hari64boli64 https://t.co/qGBNOT5jay

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

書きました。

（今日が修論の締切で、無事に提出しました。これは最終的には修論に載せなかった、古くからよく知られていることが中心のお話です）

準ニュートン法に関する基礎知識 https://t.co/bvF1ZvqCA0 #Qiita via @hari64boli64

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

非常に今更ですが、昨年度の学振DC1に際し、東大の情報理工にて、どう申請したかという記事を以前書いていました。最近はメールもちらほら届くので、折角需要があるのならばと思い、ここでも紹介させて頂きます。申請予定の方のご参考になれば幸いです。

https://t.co/ISWyLjEhuh

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

今日はSciPy Data 2026に呼んで頂いたので発表をしていました。

発表資料は以下です。

https://t.co/Sij4p05GRj

懇親会には残念ながら出席できなかったのですが、発表後に質問も頂けて嬉しかったです。ありがとうございました。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

折角OGP画像を作っていたことを思い出したので上げ直し。

LaTeX Lintというチェッカーを作っています。
よければ使って下さい。

(昨日のポストはどうやらtextlintの作者様にまで届いてびっくりしました、見て頂いた方は本当にありがとうございます🙇)

https://t.co/YrNG3gben9

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

LaTeX Lintという数式を含んだ文書に対するチェッカーを、ここ1年間ほど細々と開発しています。

間違えやすい記法や潜在的なミスのチェックをするVSCode拡張として開発していましたが、最近Web版も公開していて、こちらはtextlintとその独自拡張も含まれています。

宜しければ是非試してみて下さい。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

記事はこちらです。

https://t.co/aOrhqA5lgB

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

カラータイルという200枚のタイルを消していくゲームがあるのですが、そのシミュレーションによる解析をした記事をちょっと前に書いていました。

完全ランダムに消す場合の全消し達成率は約3.5%なものの、以下のGIFのように少し工夫すると約18.8%まで向上できるというのが個人的に面白かった点です。

[玻璃 (Hiroki Hamaguchi) @hari64boli64]

AHC051は暫定50位でした。
トポロジカルソートの順方向と逆方向の2回走査する分別機最適化DPとかを実装したんですが、あんま良くなくて途中から諦めてしまった……
そもそも分類確率が9割超えられる事自体かなり非自明で面白かったです。