Recent Posts

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….

1 minute read

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

Merci

less than 1 minute read

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

TX - Treillis 结题

less than 1 minute read

…其实这个礼拜四的答辩后这个课题就结束了…答辩的时候老师把我们夸得要死,但我知道其实我们只是再一次再现或重新复制了别人的结果…新的东西真都是少之又少…真的是让我明白了站在名人肩膀上到底是什么意思…人类的历史还是很伟大的,不管在哪个领域都是在不断不断地发展,尽管个体是一个又一个地离去。我6月29号回中国,貌似就只有...