有奖纠错
| 划词

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡献包括编程语数据类的公理验证,规约与分析。

评价该例句:好评差评指正

用户正在搜索


oolite, oolith, oolitic, oology, oolong, oom, oometer, oomiac, oomiak, oomicrite,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

2018年精彩毕业演讲合辑

Don't shy away from learning new programming languages, new tools, new libraries.

不要逃避习新的程序设计语,新的工具和新的函数库。

评价该例句:好评差评指正
背诵为王第二册(70课全)

He quickly learned the programming language called BASIC.

他很了叫做BASIC的编程语

评价该例句:好评差评指正
剑桥霸读书分享

In particular, learning Python which is the world's most popular programming language.

特别是习世界上最流行的编程语 Python。

评价该例句:好评差评指正
连线杂志

Developers can use ChatGPT to get code assistance for specific programming languages, libraries, or frameworks.

开发人员可以使用 ChatGPT 获得特定编程语、库或框架的代码帮助。

评价该例句:好评差评指正
乔布斯传

Next he created for the Apple II a version of Pascal, a high-level programming language.

接下来他又成功地将Pascal语移植到 Apple II 上,这是一种髙级编程语

评价该例句:好评差评指正
简单心理

About half the participants were presented with Python, a popular text-based programming language.

大约一的参与者使用了 Python,一种流行的基于文本的编程语

评价该例句:好评差评指正
经济人(汇总)

Oracle argues that Google unlawfully reused parts of Java, a programming language, in its Android smartphones.

甲骨文方面认为,谷歌在其安卓智能手机中非法重用了编程语Java的部分内容。

评价该例句:好评差评指正
连线杂志

But in the very first week we use an even simpler programming language called Carol.

但在第一周,我们使用的是一种更简单的编程语,称为 Carol。

评价该例句:好评差评指正
连线杂志

ChatGPT itself was programmed using a variety of programming languages including Python, TensorFlow, and PyTorch among others.

ChatGPT 本身使用多种编程语行编程,包括 Python、TensorFlow 和 PyTorch 等。

评价该例句:好评差评指正
60秒 听力 2016年4月合集

So Voigt and his colleagues created what he calls the first human-made " programming language" for living cells.

所以,沃伊特和同事们创造了人类首例的活细胞" 编程语" 。

评价该例句:好评差评指正
连线杂志

Did you know the name Python, the name for this programming language, actually comes from Monty Python's Flying Circus?

你知道 Python 这个名字吗,这种编程语的名字实际上来自 Monty Python 的飞行马戏团?

评价该例句:好评差评指正
Apple 最新资讯

Programming languages have some undefined behaviors, such as what to do with misaligned pointers or when encountering signed integer overflows.

编程语有一些未定义行为,例如如何处理偏离的指针以及遇到带符号整数溢出时该怎么办。

评价该例句:好评差评指正
华尔街日报

But when it began, Adobe only offered one product: PostScript, a programming language designed to print documents on Laser Printers.

但当它刚开始成立时,Adobe 只提供一种产品:PostScript,一种旨在在激光打印机上打印文档的编程语

评价该例句:好评差评指正
乔布斯传

Bitmapping and graphical interfaces became features of Xerox PARC's prototype computers, such as the Alto, and its object-oriented programming language, Smalltalk.

位图显示和图形界面成为了施乐 PARC 开发的电脑样机(比如“奥图”电脑)和面向对象的编程语 Smalltalk 的特性。

评价该例句:好评差评指正
科技 Crash Course

INTRO Just like spoken languages, programming languages have statements.

简介 就像口语一样,编程也有语句。

评价该例句:好评差评指正
科技 Crash Course

Many modern programming languages implement bounds checking automatically.

许多现代编程语自动实现边界检查。

评价该例句:好评差评指正
科技 Crash Course

Modern programming languages come with huge bundles of pre-written functions, called Libraries.

现代编程语自带大量的预编写函数,称为库。

评价该例句:好评差评指正
Veritasium真理元素

Nearly every programming language in existence is designed to be Turing-complete.

几乎每种现有的编程语都被设计为图灵完备的。

评价该例句:好评差评指正
Mosh带你编程

Because it's a very beginner friendly programming language.

因为它是一款非常适合初者的编程语

评价该例句:好评差评指正
The TED AI Show

Coders had a new automated tool that could debug code across dozens of programming languages.

程序员获得了一种新的自动化工具,可以跨数十种编程语行代码调试。

评价该例句:好评差评指正
加载更多

用户正在搜索


oosphere, oospore, oosporein, oostegite, oostegopod, Oostende, ootheca, oothecin, ootid, ootype,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接