摘 要:Natural Language Processing (NLP) is an important research area in Artificial Intelligence. NLP mainly studys how to use computer technology to process linguistic texts. The specific research problems in NLP includes recognition, classification, extraction, transformation and generation of lexical, syntactic, semantic and pragmatic information. This seminar will introduce the basic conc...
01 算术几何 Arithmetic Geometry内容: 暂定 Bhatt “Lecture notes on perfectoid spaces”时间: 周五晚上六点到九点地点: 理科楼某间空教室语言: 汉语,板书英语先修要求: 基本的代数几何,代数数论 (非阿域)组织者: 蒋昕童二维码:02 函数式编程与交互式定理证明Functional Programming and Interactive Theorem Proving内容: 函数式编程(Lean、F#、Haskell程序设计)与交互式定理证明(数学命题的形式化与计算机证明)时间:...