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.
感谢上帝我们这么做了, 但我觉得数据类型已经确定了,也就是单精度和双精度。
关注我们的微信
下载手机客户端
划词翻译
详细解释