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