昨日と今日は高木レクチャー．Kacの顔を見るために行きました．wikipediaによると1983年生まれらしいので80はもうすでに超えているお年．にしてはお元気そうだなぁ．

火曜日にOpenAIがたくさんの数学の「プレプリント」を出したというニュース．OpenAIの人はおそらく中身は理解しておらず，単にAIのアウトプットをあげただけなんでしょうが．自分が一生懸命考えていた問題が解かれたということはなかったのだが，そういう人もいるみたいで大変そう．

一番近そうなのはKazhdan-Lusztig多項式$P_{x,y}$が区間$[x,y]$の順序集合としての構造にしかよらないという予想の解決．WilliamsonがAI使って解くぜとか言っていた奴だけど，こういう意味だったんだろうか……．普通に数学として気になるので，みてみようかなと思っています．読みにくそうだけど……．

連休中，じぶんまくらに行ってみた．行こうと思っていったんじゃなく，ショッピングモールを歩いていたらあったので入ってしまった．で，作ってしまった．いいお値段だが快適な睡眠が得られるならば安いもの……．少し使ってみたが，まだよくわからない．首の部分は少し高い気がするのでとりあえず調整してもらいに適当に行こうと思うけど．

クリア後みたいな感じでチャレンジダンジョンというのがあるのではじめてみた．これが結構めんどくさい．ダンジョン自体は長くはなく，最後まで行くとアイテムが手に入るらしいのだが，大体10個くらいある．一方一回に手に入るアイテムは基本一つで，つまり10回同じダンジョンをクリアしなければならないという単なる作業と化す．PSPはまだましらしく，オリジナルの携帯版は手に入るアイテムがランダムで，普通にポーションだったりすることもあるらしい．

FF4TAを順番に進めています．ほぼ本編の主人公ごとに一つストーリーがあって，順番にやっていく感じ．もともと携帯（がらけー）で一人一人別々に出ていたらしい．各々のストーリーは短く，2時間もあれば終わってしまう．話は中途半端で終わり，全部終わると？最後のストーリーが始まるっぽい．というわけで毎回気になる終わり方をするのはまぁそうでないと続きを買ってもらえないからというのもあるのかなぁ，と思ってみたり．

本編で出てきたダンジョンはマップが基本的に同じみたい（宝箱の配置は異なる）．ちょっと楽しい．この前やったばかりだし覚えているだろうと思ったのだが微妙に忘れているところも多い．もちろんオリジナルダンジョンもある．

また詰め物がとれた．左下だったので前回と同じじゃねーかと思って歯医者に行ってきたらその一つ隣だったらしい．とりあえず戻してもらった．ご飯を一時間ほど食べるなと言われて昼ご飯が遅くなっている．

AIに作ってもらったWindows ARMなTeX Live 2026バイナリはGitHubにおいてみました．手元では使っていますがいまのところ問題なく動いていそうです．Releasesにあるバイナリを落として適当にTeX Live 2026のディレクトリに入れれば使えるはずです．ざっとみた感じ変なことはしていなそうなので多分問題なく使えるかと．（といってもスクリプトを全部きちんと読んだわけじゃないのですが……．）一応Claude Codeにやばいことしていないか確認してもらいましたが，大丈夫だそうです．