今天到西安了。之前在武汉开会，开了一半了才知道这是个生日会。模形式的东西我一点也听不懂，看到乘积形式和展开就头疼。只有Van der Geer的那种定义我比较感兴趣，但这也是第三遍听了。至于怪群之类的，我一点也打不起精神去听，几乎都在下棋。不过吃了好多顿聚餐，武汉的饭真好吃，显著动摇了西安在我心目中的地位，而且武大也不错，风景也很好。还听了不少八卦，了解了不少数学家中的败类，对避雷帮助不少。
西安的酒店没选好，作为平价旅馆，至少得装作卫生好的样子吧，结果桌子不擦，排风还坏了，莫名其妙加了个有冰箱和煤气炉的阳台（当然都不能用），实在难绷，买别人房子的时候好歹稍微改一下啊。以后还是找亚朵住吧。这地方实在不适合住太久。