添加更加强大的不变量的另一种方法是从属类型。
Yet another approach to adding much more powerful invariants is that of dependent types.
今天我从事音乐,我尝试去这种想法——我演奏的音乐,像我一样,并不仅仅从属于一种文化。
As I work in music today, I try to implement this idea - that the music I play, like me, doesn't belong to only one culture.
以“优化”的名义忽略任务的从属关系是另一种常见的错误。
Omitting dependencies in an effort to "optimize" the build is another common mistake.
角色表示一种类型在一个特殊的上下文中可能拥有的临时从属关系。
Roles represent temporary affiliations that a type might have in a particular context.
VCL身份验证是一种基于从属关系(affiliation)的LDAP服务。
组织认同是社会认同的一种特殊形式,是与组织具有一致性或从属于组织的知觉。
Organizational identification is a kind of social identification which is the perception of oneness with or belongingness to an organization.
教育作为人的一种活动,其本质从属于人的本质,是围绕教育活动而形成的社会关系的总和。
As a kind of human activity, the nature of education is the sum total of social relations which revolve around educational activities.
从属公司损害赔偿请求权的本质是损害赔偿之债的一种。
The subordinative company's claim for damage compensation is one of the damage compensations.
基于波峰、波谷的支配与从属关系,对具有自嵌套结构的波形提出了一种特征层次树描述方法,并建立了相应的波形分类系统。
An approach to the hierarchical representation of self-embedded waveform by a feature tree based on peak dominance relations is proposed and a waveform parsing system is described.
在用户选择一种功能后,比如说1。输入交易,会弹出另一个菜单。该菜单从属于先前的选择,如。
After a user chose a function, say 1. Enter transactions; he would then be prompted with another menu, subordinate to his choice from the first one, such as.
Gabriella的父母则可能最后一种类型——从属双语者,通过母语来学习第二语言。
Finally, Gabriella's parents are likely to be subordinate bilinguals who learn a secondary language by filtering it through their primary language.
对于从属随机变量统计特征的确定,本文介绍了一种精确高效的确定其均值和标准差的方法。
A new method which can efficiently and accurately calculate the mean and standard deviation of a dependent random variable is proposed.
传统的民法中,担保合同是一种典型的从属性合同。
According to traditional civil law theory, guarantee is typically accessory.
在逻格斯中心主义影响下,翻译处于从属地位,译者也只是忠实地传递原文信息,是一种“隐身”的媒介。
It also shows how this traditional philosophy reduces translation to secondary status and a translator to the status of a faithful servant, a mere conveyor of information and an invisible medium.
过渡空间的作用并不是单纯的作为一种过渡性的区域而存在,它对相邻的异质空间都具有影响,即不从属于它们,亦不脱离它们。
The role of the transitional space is not purely as a transitional region, it also impacts the adjacent heterogeneity space, that means it neither subordinate to them nor depart form them.
层级式档案是指:档案内的数据报含了多种的分析单位所构成的信息,而且每一种分析单位之间有从属的关系。
A hierarchical file is one that contains information collected on multiple units of analysis where each unit of analysis is subordinate to another unit.
殷墟甲骨文之前存在着一种起码由夏初延续到殷商后期的,以毛笔主要书于简牍的更古老的字体,王城岗遗址和丁公遗址陶文从属于该文字系别。
Before the appearance of inscriptions on bones or tortoise shells of Yinxu, there existed a typeface which was mainly written on bamboo slips with the use of brushes.
我们没有成为别的什么,而选择了从属于人类,这本身便是一种伟大奇迹。
We have not become what other, and the choice of a subordinate to the human This, in itself, is a great miracle.
提出了一种基于安全从属关系的分布式网络入侵检测模型。
In this paper a new distributed network intrusion detection model is presented.
本文提出了一种基于属性分离存储的种质数据组织方法,根据种质的每个属性分别建立数据表,各属性间没有从属关系。
This paper raises a new organization method based on property-separation storage, in which all property data are put in the same level without affiliation.
校园文化作为文化体系中的一个层面,乃是从属于社会文化的一种亚文化。
As one of the lays of culture system, campus culture is a kind of sub-culture belonged to social culture.
校园文化作为文化体系中的一个层面,乃是从属于社会文化的一种亚文化。
As one of the lays of culture system, campus culture is a kind of sub-culture belonged to social culture.
应用推荐