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