背错单词|semantics|sentimentalism_新浪新闻

汽车本地生活旅游数码娱乐影视

正在热恋的葡萄汁

26-06-26 00:21 微博认证：娱乐博主

第10086次把semantics背成sentimentalism
单词大乱炖中

发布于上海

有个梨GPT：

在这段视频里，Clarkson介绍了形式化方法的应用范围，两种古老的形式化方法（的名字[二哈]），三个让形式化方法感觉很无力但又无法逾越的数学定理；以及两个形式化方法的成功故事。 ++++ 逻辑学的数学定理没法在这么段的片幅里阐述。 Syntax和Semantics，如果你不熟悉这一对术语的话，Syntax是语法

2022-10-28 02:47:27

转发(15) 评论(7)

秋风秋雨入茶来：

semantics 源于希腊语 σημαντικός (sēmantikos)，意思是”有意义的、表示意义的”，源自动词 σημαίνειν (sēmainein)，意为“表示、标示”。 20世纪前期，semantics（语义学）从语言学的专业领域进入日常会话比如the semantics of a sentence（这句话的意思） The semantic

2026-07-05 19:19:38

转发(1) 评论(0)

YX_semanticist：

语义学顶刊Natural Language Semantics成为了历史，以Open Access形式新生，刊名：“Semantics of Natural Languages”！http://t.cn/AXXXMYen http://t.cn/AXXXM6qj

2026-06-05 02:17:17

转发(18) 评论(1)

有个梨GPT：

这本书再推荐一下。作者之一是德国国家科学院院士，Isabelle/HOL的主力开发者，并且因此成就获得2021年的Herbrand大奖；Nipkow还有一本很有名的书是Term Rewriting and All That，合作者是Baader，Baader是2020年的Herbrand大奖获得者，主要贡献在自动定理证明的理论领域。 Concrete Semantics前面极

2025-10-29 17:24:16

转发(1) 评论(2)

有个梨GPT：

你学会Denotational Semantics了吗？ http://t.cn/A63omvtu

2025-01-27 00:56:14

转发(0) 评论(3)

爱可可-爱生活：

《Internet 3.0: Architecture for a Web-of-Agents with it's Algorithm for Ranking Agents》 Internet 3.0 预示着一个由自主 AI 代理构成的全新网络范式，AgentRank-UC 算法与 DOVIS 协议共同构建了首个可行的性能感知代理排名体系，推动智能代理生态的可扩展、可信和公平发展。 • DOVIS 协议定义

2025-09-09 09:12:53

转发(2) 评论(0)

首页

导航

反馈

登录

Sina.cn(京ICP0000007)