元语言的

The theory of function and variable is the basic content of Frege 's logical analysis method.

函数与自变元理论是弗雷格逻辑分析方法的出发点和基本内容，这种方法揭示了隐藏在句子的表面语法结构下的深层的逻辑结构，它直接为弗雷格关于自然语言的语义理论提供前提和基础。

One way is to use risk metalanguage (a formal description with required elements) to provide a three-part structured "risk statement", as follows :"As a result of , may occur, which would lead to ."

有一种方法是使用风险元语言（一种包含必要元素的正式描述）提供一个由三个部分组成的"风险陈述"，即"作为确定的原因引起的结果，不确定性事件可能发生，而不确定性事件又会导致对目标产生的后果。"

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

Dealing with discourse markers as indicators of metapragmatic awareness, Verschueren's account emphasizes the function of discourse markers in signaling the utterer's mental state in making linguistic choices.

Verschueren认为话语标记语是标示说话人元语用意识的一种语言手段，具有反映说话者选择语言时的元语用意识的作用。

Then the paper reviews researches on the relationship between bilingualism and cognitive development and the relation between bilingualism and metalinguistic awareness, evaluates the relevant interpretation theory and the inner mechanism of bilingualism advantage.

该文从双语的概念入手，介绍了双语的几种重要的分类、双语和认知发展及元语言意识发展的关系、相关的理论解释以及双语儿童认知优势的内在机制，最后对已有研究进行了评述并提出了需要进一步研究的问题。

The review begins with the concept of bilingualism and introduces several classifications of bilingualism.Then the paper reviews researches on the relationship between bilingualism and cognitive development and the relation between bilingualism and metalinguistic awareness,evaluates the relevant interpretation theory and the inner mechanism of bilingualism advantage.Finally,the review evaluates previous research and raised some questions which need to be resolved in the future.

该文从双语的概念入手，介绍了双语的几种重要的分类、双语和认知发展及元语言意识发展的关系、相关的理论解释以及双语儿童认知优势的内在机制，最后对已有研究进行了评述并提出了需要进一步研究的问题。

As an action of paraphrasing characteristics of words,there are several component rules which should be observed.

作为一种解释词语特征的言语行为，词典形容词释义的元语言必有其所应遵循的一系列构成性规则。

High-level metonymies directly make use of generic ICMs, and have a great impact on linguistic structur...

本文通过对静态述谓句式、名动词的再范畴化、价的扩展与压缩及论元结构的考察，分析了语法转喻对语言结构的影响。

Ma Yuan admires the great artists of the pre-Renaissance very ,mucn,sucn as ,poteqilli,Angelica,and Masaqeu,etc,The art of these artists lied in the period between theMiddla Ages and the Renaissance,during which the divine spirit of the Middle Ages was finely inherited,and the spitrit and breath ofa neew age was gradually standing out.

在马元的《红衣系列》中，画家内在性在吸收了欧洲文艺复兴前期大师形式语言资源，同时也找到了它和自己的表达主题的整合方式，这主要体现于马元的造型语言要素中，有两种因素是需要特别指出的，这就是垂直线造型的强调运用和红色的强调运用。

Life in the world and the social sciences between the world of professional relations, Giddens of phenomenology, methodology and psychology of ordinary people, such as a comb, and put forward new rules of sociological method, that is, the most important aspect of for the "double hermeneutic", that is, the social sciences in the meta-language description of the framework of the life of different forms of description and explanation of coordination; social production and reproduction of the dynamic behavior as the result of human interpretation, that is, Sociology is a common sense of people the world has explained the phenomenon of re-explanation.

在解决生活世界与社会科学专业性世界之间的关系方面，吉登斯对现象学、常人方法学和心理学等进行了梳理，并提出了社会学方法的新规则，其中最主要的方面即为&双重解释学&，即在社会科学的描述性元语言范围内，对不同的生活形式进行解释性的说明和协调；将社会生产和再生产作为人类能动行为的结果进行解释，也就是说，社会学是对人们常理世界已经解释了的现象进行再解说。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。