0819
都市開発はすこしだけ上手くなった気がする。あまった道路で空間を埋めて変なところに家や建物が湧かないようにするのって基本テク?ただ道路があまることは少ない。
仕事の後で会社の人たちとノミカイ。中華のコースを食べた。騒がしかったので話はあまり聞こえなかったが、多少は顔と名前を一致させられたかなと思う。有名企業の出身者も多く、気後れすることもある(と同時に、ケッと思ってもいるのだ!)。ともあれ頑張ろう。仕事にもすこしは慣れてきている。
LLM云々と関係なく、単なる記号列に定まった規則で導入と除去を繰り返すことで何かが「証明」されるとはどういうことなのか、さんざん議論されているのではないかと思われ、いまさらAIが数学をやることに驚くというのもよくわからないなと思う。本当にできるんだという話はある。
寝ます。明日と明後日は出社予定。