These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数理化,形式验证,形式规约与分析。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
So we'll see and use some of these data types in just a bit.
所以我们将在稍后看到并使用其中的一些型。
Well, I recall earlier noting that there's other data types.
嗯,我记得前面提到过还有其他型。
Essentially value types like bytes, ints, floating points, simpler data types.
本质上是值型,如字节、整、浮点、更简单的型。
The data types aren't in any particular order.
型没有任何特定的顺序。
And so when we were talking about the data type lists, these parameters are probably there.
因此,当我们讨论型列表时,这些参已经存在。
And then every application would plug directly into the data types that the file system knew about.
然后每个应用程序都直接连接到文件系统所识别的型。
But amazingly enough, people are figuring out ways to get AI done with very extremely narrow data types.
但令人惊讶的是,人们正在想方设法通过使用非常狭窄的型来实现人工智。
C does not technically have a data type called string.
从技术上讲,C没有称为string的型。
And inside of here, we just pass in a bunch of data types.
在这里,我们只是传入一堆型。
So this includes supporting compaction of deleted files, nested data types, partial progress commits, and partition evolution support.
这包括支持删除文件的压缩、嵌套型、部分进度提交以及分区演进支持。
And this is because C is very specific when it comes to its data types.
这是因为C在型方面非常特殊。
The chunk shows you the data types.
该块显示了型。
So recall that C supports different data types.
回想一下,C支持不同的型。
Then there were all of these other data types.
还有其他所有的型。
So, this chunk of data has two different data types, the world time and world time queue.
因此,该块有两种不同的型:世界时间和世界时间队列。
You can instead implicitly cast one data type to another just from context here.
您以只从这里的上下文隐式地将一种型转换为另一种型。
This enhancement allows you to add user-defined types consistently across multiple AWS regions, enabling global applications to maintain consistent data schemas.
此增强功允许你在多个AWS区域一致地添加用户定义的型,使全球应用程序够保持一致的模式。
And when you add all those observations together, we get the kind of data that we can use in this report.
当把这些观察结果综合起来,我们就得到这份报告中用的型。
Sometimes, questions include a combination of different data types, so you might have a line graph and a table, or two different maps, for example.
有时,问题包括不同型的组合,所以你看到如线状图和表格,或两种不同的地图。
And so, thank God we did, but I thought the data types were settled, which was, you know, single precision doubles precision.
感谢上帝我们这么做了, 但我觉得型已经确定了,也就是单精度和双精度。
关注我们的微信
下载手机客户端
划词翻译
详细解释