10月21日，台湾中央研究院特聘研究员林若望教授应邀来我院讲学，讲座的题目为“形式语义学简介”。会议由yd222云顶线路检测网站院长文卫平教授主持，出席讲座的有来自台湾清华大学的苏宜青教授和台湾中正大学吴俊雄教授及我院部分教师、研究生。

讲座中，林若望教授主要从“集合与函数”、“真值条件语义学基础”和“形式语义学的规则”这个三个方面介绍了形式语义学的基本工具、处理方式和运作过程。林教授表示形式语义学主要运用了数学中“集合”与“函数”的概念，在谈及“真值条件语义学基础”时重点讲述了“内涵语义学”和“外延语义学”并介绍了语义类别。此外，林教授还着重讲解了形式语义学中lamda的运算和转化。林教授不仅给在场的老师和同学呈上了一场精彩的讲座，而且对同学们寄予了热切的希望，他表示形式语义学有着巨大的研究价值和良好的发展前景，并且鼓励学生们参与该方面的课题研究

最后文院长对参与会议的教授们表示衷心的感谢并对此次会议做出了精彩的点评和总结。相信旁听讲座的老师及学生定会受益匪浅！