计算语言学名词

计算语言学 computational linguistics 一种涉及语言学、计算机科学和数学的边缘学科。用数学、计算机科学和技术的方法研究语言，研制计算机处理语言的软件。研究成果可用于自然语言理解与生成、语音识别与合成、机器翻译、信息检索、信息挖掘、文献自动分类、文献自动摘要、计算机辅助语言教学等领域。     

桃李不言下自成蹊——记青岛科技大学数理学院梁希泉教授

梁希泉教授研究方向是微分拓扑学,他是我国数学、数学问题计算机证明等方面的专家,也是国际Mizar-Group的重要成员之一,近10年来,他进行基于Mizar语言的自动推理与证明的研究,取得了一系列创新成果利用Mizar语言和其它相兼容的软件包在计算机上证明了矩阵论、数论、BCI和BCK代数、四元数代数、差分、微分、积分等诸多数学问题.     

通用人工智能的数学基础初探

通用人工智能(AGI)的数学基础,是计算机科学和神经科学这两种途径之外的第三种研究途径或方法,其核心是区分计算机的算术范式与学习机的统计范式乃至理解机的几何范式以及贯穿三者的逻辑范式,三类机器之间实现不同数学范式的相互映射和相互转换。其目的是探寻AGI的数学基础,这是智能机自动编程和理解各类模式的关键。如果通用学习机是AGI的基石,那么通用理解机则是理解毕达哥拉斯、康德和哥德尔等深刻哲思的关键。其意义在于:明确了探讨三类机器的统一数学原理的问题与探寻AGI的数学基础之间的关系,同时明确和验证了人工智能和计算机科学之间的关系。     

计算机科学史的轨迹:逻辑与技术

计算机科学史的研究忽略了计算机技术细节,根植于可计算理论的逻辑基础。可计算理论是计算机科学发展的基础核心,逻辑与工程技术的竞争与合作建构了计算机科学史发展的轨迹。     

理论语言学名词

语言学linguistics研究人类语言的学科。包括语言的本质、发展和起源以及语言的结构、功能、类型等等。传统的语言学以研究古代文献和书面语为主,现代语言学以当代语言和口语为主。从不同的角度,可以划分不同的门类或分支,如理论语言学和应用语言学,历时语言学和共时语言学等。     

理论语言学名词

语言学linguistics研究人类语言的学科。包括语言的本质、发展和起源以及语言的结构、功能、类型等等。传统的语言学以研究古代文献和书面语为主,现代语言学以当代语言和口语为主。从不同的角度,可以划分不同的门类或分支,如理论语言学和应用语言学,历时语言学和共时语言学等。     

开创IT新时代——访浙江大学计算机科学与技术学院高济教授

计算机科学是研究计算机基础理论、系统结构、计算机软件、以及计算机应用技术的一门新兴学科。随着人工智能、因特网计算、普适计算、移动计算、网格计算、服务计算、云计算等创新技术的不断涌现，计算机科学发展迅速，应用领域也不断拓广，已经渗透到人类社会的各个层面和角落，并且影响着人们的工作与生活。如今，社会的发展与进步已经离不开计算机，人们更是离不开计算机，因为计算机在改变世界的同时也改变了人们的生活。     

钱学森与中国计算机事业初创

钱学森为中国计算机事业创立与发展做出过重要贡献。在1956年“十二年科学规划”制定过程中，他多次参与或主持规划委的研讨会，积极建议发展计算机科技事业。在钱学森等人的推动下，“计算技术的建立”被列入科学规划57项重要科学任务和“四项紧急措施”之一，为国家大力建设和发展计算机科学技术提供了体制保障。钱学森还十分关心中国计算机专业人才培养，支持和推动国产计算机在导弹和航天型号研制工程中发挥作用。     

社会语言学名词

社会语言学sociolinguistics研究语言与社会之间相互关系的学科。有狭义和广义两说。狭义社会语言学又称“城市方言学”，主要研究语言的变异。广义社会语言学除语言变异研究外，还包含交际民族志学、语言社会学、语言社会心理学、会话分析、互动社会语言学等研究领域，研究对象主要是语言与交际、语言与文化、语言与民族、语言与社会心理。     

社会语言学名词

社会语言学sociolinguistics研究语言与社会之间相互关系的学科。有狭义和广义两说。狭义社会语言学又称“城市方言学”,主要研究语言的变异。广义社会语言学除语言变异研究外,还包含交际民族志学、语言社会学、语言社会心理学、会话分析、互动社会语言学等研究领域,研究对象主要是语言与交际、语言与文化、语言与民族、语言与社会心理。     

关于计算机、电子计算机和电脑定名的说明

时常听到这样的提问 :台湾把计算机(ｃｏｍｐｕｔｅｒ)称为“电脑” ,不是很好吗 ,而且在社会上 ,很多人把计算机称为电脑 ,我们为什么不定为电脑 ,偏要定为“计算机”呢 ?这说明 ,很多人十分关心名词的定名 ,同时又可能不大了解大陆和台湾对计算机定名的实际情况。现就这个问题作一点说明和介绍。一、首先看看全国科学技术名词审定委员会和国家技术监督局公布的标准 :1.全国科学技术名词审定委员会于19 94年颁布的《计算机科学技术名词》中 ,有关计算机、电子计算机和电脑及几条相关名词的定名为 :计算机　　　ｃｏｍｐｕｔｅｒ电子计算机…     

ontology含义及中文翻译探讨

随着信息科学技术的发展，ontology成为科技研究热点，然而其中文译名很不一致，有“本体论”、“本体”、“本体科学”、“知识本体”、“概念集”、“本体模型”等，在技术文献中直接使用ontology的情况则更为常见。在全国科技名词委公布的《计算机科学技术名词》(第二版，2002年)中，将人工智能领域的ontology定名为“本体论”。为更深入理解该词的科技内涵、源流，以求明白何种汉语称谓对于该词更加科学、贴切，本刊组织了专家从技术领域、哲学领域、语言学领域等方面对ontology作进一步探究。     

语言哲学的马克思主义之维

沿着恩格斯的经典文献《劳动在从猿到人转变过程中的作用》开辟的马克思主义语言哲学轨道,沃洛希诺夫的《马克思主义与语言哲学》和詹明信的《语言的牢笼》成为马克思主义语言哲学承前启后的宝贵思想财产。马克思强调的是语言的“实践性”;沃洛希诺夫突出的是语言的“对话性”;詹明信凸显的是语言的“辨证性”。马克思主义语言哲学是在批判两种语言哲学流派的基础上建立起来的,为两种语言哲学流派的对立提供了融合、对话的可能,为我们重新审视英美经验主义语言学和欧陆先验语言学传统提供了超越二元对立/非此即彼的视角。     

实验数学:空前的数学革命?

弄清计算机与现代数学各自的特点及其相互促进作用,是正确理解"实验数学"意义的关键.     

计算机技术部分名词浅释（一）

电子计算机 (ｅｌｅｃｔｒｏｎｉｃｃｏｍｐｕｔｅｒ)由电子器件及相关设备和系统软件组成的自动计算系统。电子计算机系统 ,包括硬件、系统软件和部分应用软件。无软件的计算机常称为裸机。现代电子计算机可完成算术运算、逻辑操作、数据处理、符号处理、图象处理、图形处理、文字处理、逻辑推理等功能。根据数的表示方式和计算原理的不同 ,电子计算机可分为电子数字计算机和电子模拟计算机两大类。从规模上讲 ,电子计算机又可分为巨型、大型、中型、小型、微型计算机。以电子器件作为划代标志的电子数字计算机已经历了四代 :采用电子管的…     

当代西方语言学哲学研究评论

现代西方哲学对语言问题的重视和科学语言学的发展促进了语言学哲学的形成.这一学科根据传统哲学本体论的观念将语言观分析为唯名论、概念论和实在论.关注于语言学基础的语言学哲学研究的目的,在于从语言问题着手重新探索和解决传统的哲学本体论问题.     

冯建峰科研是第一快乐的事

数学、物理、计算机、生物、材料、工程、医学、药学、心理学、语言学……什么样的科学研究,会将这么多学科汇集在一起? 在复旦大学类脑智能科学与技术研究院(以下简称"类脑研究院"),这样的交叉课题研究是常态.作为首任院长的冯建峰,既是上海数学中心首席教授,还兼任复旦大学大数据学院院长.而他这两年发表的学术成果,却大都与疾病有...     

语言学术语“母语”和“onatili”在汉-乌两种语言中的定义

术语不仅是专业词汇,同时也属于语言词汇范畴。因此研究术语,也是研究语言。语言学术语是术语学和语言学的研究对象。文章研究汉语和乌兹别克语中的几个语言学术语的定义,以及它们与民族概念系统的关系。我们可通过语言学术语分析得出术语学方面的一些结论。     

民族语言学名词

民族语言学 minority linguistics民族语言学有两个不同的含义：一是指语言学和民族学相结合的交叉学科，英文称ethnolinguistics。二是指研究少数民族语言的语言学学科。中国多使用后一概念。中国的民族语言学包括对除汉语外的少数民族语言的研究。     

民族语言学名词

民族语言学 minority linguistics民族语言学有两个不同的含义：一是指语言学和民族学相结合的交叉学科，英文称ethnolinguistics。二是指研究少数民族语言的语言学学科。中国多使用后一概念。中国的民族语言学包括对除汉语外的少数民族语言的研究。