Recent Posts

Back to Shanghai

less than 1 minute read

…上礼拜六回来的,一直没写博客,先报个信。到上海机场的时候就是觉得到了另外一个机场而已,没有去年8月那次回来的“回来”的感受…温度我是有心理准备的,果然就是这样,所以也没什么好吐槽的了。习惯家庭生活?开玩笑,一天其实就习惯了…有人照顾还需要习惯么…不过对我来说反过来也一样,所以也没什么好吐槽的。礼拜天看了个中欧大...

4 mn…

less than 1 minute read

现在在巴黎机场,不知道为什么这里免费无线网只有15分钟…现在只剩4分钟了,随便写点东西。 从这里开博至今,网罗几个有意思的搜索的关键字到我博客的方式:

less than 1 minute read

昨天考逻辑的期末考试前,意识到这是自己在 UTC 的最后一门考试,甚至还是整个人生的最后一次考试…以后不会有考试了…从小到大考了那么多后,终于觉得考试有多没意思了…然后开始整理行李了,东西太多了,所以家里留了一堆暂时还放在这里给西安那个同学保管,8月份来法国之后再拿;然后8月底暂住在别人的家里也放了一堆行李,到时...

回国 D-7

less than 1 minute read

自从昨天下午做完另外一个 TX 的答辩后,就顿时觉得没事可干了…主要是这个 TX 事实上一直忙到了昨天下午答辩前,在答辩前几分钟还在改报告和演讲…这个 TX 的进展不是连续的…而是有时候会突然进展地很厉害(比如昨天凌晨,突然完成了找到了一个问题)…话说其实还有一门课的考试,逻辑,不过是开卷而且要复习的话前一天晚上...

Hom. entre la syn. et la sém….

less than 1 minute read

如果要用一种显式、递归、能用计算机处理的方式去理解自然语言(比如英语)的语句,可以先通过形式语法(比如 Chomsky 的生成语法)显式、递归地生成出无穷多个“语法正确”的句子,然后将他们用显式、递归地方法翻译到 Lambda 语言中(高阶有类型的逻辑句法?中文这样翻?),然后再通过内沿语义学再次显式、递归地解释...