台風，経路を見ると今晩から朝にかけてみたいなのですが，天気予報を見ると昼過ぎから雨風強くなりそう．大学含め学校はお休み．バスは動いているみたいですが，高速鉄道や国内便も全部動いていないようです．（国際線も全滅かと思ってAIに調べてもらったら朝九時くらいに飛んだ便があるらしい．）午前中は時折強い風が吹くくらいで雨も底まで強くなかったので大学に行ってみましたが，もちろん真っ暗．ただ入り口は開いていたけど．

お昼だけ食べてホテルに戻ってきました．食事処もほとんどお休みで，あいていて暇そうなお店に．混んでいる中に中国語話せず入るのも申し訳なく思うのでむしろ気楽に入れたり．早めの時間だったにも関わらず（11時過ぎ）後から2人ほど入ってきました．まぁ今日はもうこのままホテルに引きこもります．晩ご飯だけ問題ですが，ホテルのレストランで食べられると期待……．近くの食べられそうなところはしまっていました．どうしても駄目なら昨晩買っておいたカップ麺です．

台風は明日から明後日にかけてが強そう．明後日の日本への便はキャンセルされてしまい，あわてて今日帰ることにした人がいたり．どのくらい強いのか想像がつかないけど，ホテルに閉じこもっているのが吉かなぁ．

台湾国立大学に来ています．一月滞在予定．こちらで授業をするのが目的です．10月ともなると少し涼しいかなと思ったけどまだでした．台風が週末に来たりとまだ夏な感じ．真夏ではないけど．

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

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

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

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

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