Recent Posts

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 语言中(高阶有类型的逻辑句法?中文这样翻?),然后再通过内沿语义学再次显式、递归地解释...

Merci

less than 1 minute read

…好久没有老师那么仔细地改我们写的法语报告了…我们没时间检查这些语病,没想到老师每行每行看过来一个个点出来了,我现在在改,再次谢谢这位老师呀…有一个地方,应该写的是演化算法(Algo. évolutionnaire),没想到我们写了革命算法(Algo. révolutionnaire),我刚刚看到笑死了,不知道老...