回国 D-7

自从昨天下午做完另外一个 TX 的答辩后，就顿时觉得没事可干了…主要是这个 TX 事实上一直忙到了昨天下午答辩前，在答辩前几分钟还在改报告和演讲…这个 TX 的进展不是连续的…而是有时候会突然进展地很厉害（比如昨天凌晨，突然完成了找到了一个问题）…话说其实还有一门课的考试，逻辑，不过是开卷而且要复习的话前一天晚上看看讲义就可以了。主要还是这门课需要写的报告，是讲语言学（可恶的语言学）和逻辑的关系，具体就是如何用逻辑中的形式语言去翻译自然语言，和人工智能有点关系。事实上这个报告我语言学这门课也交了，但现在需要改一下添加点东西，让它更适合逻辑的要求…明天得去巴黎买点东西，但具体要买啥还没想好，晚上再想。下面一个实习的房子是个问题，实习做完博士怎么做是个问题…希望不要还有其他问题…