类型理论

It is used to analyze various love acts as an analytical approach of modern psychology, i.e.

后来，它成为现代心理学的分析方法，被用来分析人的各种爱情表现行为，即所谓的"爱情类型理论"。

Newmark's language function and text type theory elaborates public signs are characterized by five functions, which are effective in analyzing and correcting the mistakes or incorrectness in their translated versions.

纽马克的语言功能和文本类型理论阐述了公示语具有的五种语言功能，有助于分析、纠正诸多公示语的误译问题。

This paper reviews the research of Kohlberg's moral typology, that is, the developmental approach, the substage approach and the ideal-typological approach. The paper sets forth nine theoretical criteria, three general hypotheses, the moral type coding scheme and six empirical studies of the ideal-typological approach in detail.

本文回顾了科尔伯格道德类型理论的研究历程即发展类型方法、亚阶段方法和理想类型方法，并进一步系统地阐述了理想类型方法的九条理论标准、三个一般性假设、评分手册及六个实证研究。

The object-oriented approach will give us a much more precise guideline thanks to the theory of abstract data types.

由于抽象的数据类型理论，面向对象的方式将会给我们一个更加精确的引导。

This paper does not intend to Toynbee's philosophy of history to add, just borrow one of his "civilized type of" theory, derived "cultural type" of this concept and to apply this concept he outlined in the first 26 civil society 1 - Western society, and Analysis of Western cultural traditions and the status quo.

本文无意对汤因比的历史哲学作出补充，只是借用他的"文明类型"理论，引伸出"文化类型"这一概念，并把这一概念运用于他所列举的二十六个文明社会的第一个——西方社会，分析西方文化传统和现状。

In this approach, all objects such as program schema, transformation rules, applicability conditions and transformation processes, etc.

在论文的后部份，我们讨论基于类型理论的、形式化的变换式程序开发方法。

By studying Newmark's text typology, we may conclude tourism texts feature a combination of informative and vocative functions.

通过研究纽马克的文本类型理论，得知旅游文本具有信息和呼唤功能。

How to decide the similarities between the facts contained in the norms and in the pending case is the sticking point or difficulty of analogical reasoning,and this needs the judge refer to theories of inscapes and types,and handle some kinds of judicial technique to make a reflexive equilibrium between norms and facts as well as methods and outcomes.

类比推论的关节和难点，是规范事实和个案事实之间的&相似性&判断，这需要裁判者观照构成要件理论和类型理论，综合各种与类推相关的司法技术，在规范与事实、方法与结果之间寻求一种反思性平衡。

The text type theory provides a series of methods for translation.

文本类型理论为翻译提供了一系列的翻译方法。

In Chapter 3, I have discussed type theory as a methodology, and the development process of German law of corporation based on the theory.

因此，本文在第二章，考察了主要国家股东诚信义务得到承认的理论根据与方法，在第三章，探讨了作为方法论的类型理论和德国公司法学与此有关的发展过程。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。