snark
- n. （非正式，通常不可数）刻薄挖苦的言论，讥诮的态度；（文学）蛇鲨（英国作家刘易斯·卡罗尔诗中虚构生物）
- v. （非正式，不及物）讥讽挖苦，尖锐批评
网络释义英英释义
·如果你通过使用“impulse 101”的秘籍，并用蜂巢枪（Hivehand）射击或投掷蛇鲨（Snark）到实验舱中的反质谱分析仪中，它会直接导致串联共振，而不用推入样本。
基于120个网页-相关网页
... 其设计是受人类大脑设计的启发 以30年代沃伦•麦克库等提出的简单神经元函数为起点 第一代神经计算机--斯纳克（Snark）是50年代初由马 文•明斯开发的 50年代中期，美国康奈尔大学教授开发了感知器，可 用于模型识别的硬件装置 人工神经系统（...
基于48个网页-相关网页
The Hunting of the Snark 猎鲨记 ; 斯纳克之猎 ; 猎蛇鲨 ; 追猎蜗鲨
Snark Busters 反收数特遣队
Ice Snark 冰蛇鲨
zk-SNARK 零知识证明
Snark Busters2 反收数特遣队
Snark Busters High Society 上层社会 ; 反收数特遣队上层社会
Flat Snark 月之油
Snark Buster 反收数特遣队
Snark Busters HD 反收数特遣队
SNARK
- abstract: SNARK, (SRI's New Automated Reasoning Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence and software engineering, developed at SRI International.
以上来源于: WordNet
双语例句原声例句权威例句
-
Schell says that for her radio audience, any amount of snark is too much;
谢尔说，她的电台听众中蛇鲨数量实在是太多了；
-
she doesn't want to turn off listeners, so her program has a “no snark rule.
她并不想被听众关闭，所以，她的节目有“无蛇鲨规则。”
-
The room temperature superconductor has been the "Snark" of modern materials science...
常温超导体早已成为现代科学材料中的奢侈品。
应用推荐