少于 1 分钟阅读

…已经5个晚上没有好好睡觉了,估计今天也会,一直在赶语言学的一份报告…主题是这学期选的逻辑和语言学的发展和相互的借鉴。没想到那么有意思,而且现在自己看到的还只是皮毛,研究下去肯定更有意思…彻底被形式化方法给折服了,没想到自然语言,比如法语或者中文,都能够用形式化语言去描述,无论是句法还是意思,都可以用近似呆滞电脑计算的方法计算出来…不说了..明天一早还要早起去看金星凌日,后天出发旅游..

更新时间:

留下评论