查询词典 programming language

The first chapter of this thesis describes theory of phatic language; the second chapter contrasts the differences of phatic language between English and Chinese; the third chapter researches the applications of greetings and compliments of phatic language.

论文第1部分简述了应酬语蕴涵的原理，第2部分对比分析了英汉应酬语不同，第3部分研究了应酬语中的问候语和恭维语在生活中的应用。

This article makes some thoughts about a series of problems such as the qualification ,the concerns and the words according to a series of teaching and research fruits achieved in the Chinese language teaching in recent years,then combining the practicalness of the Chinese language teaching in Xinjiang and the author s own teaching practice in the Chinese language integrated curriculum.

本文根据近年来汉语教学中取得的一系列教学科研成果，结合新疆汉语教学的实际及笔者自己的教学实践，就"汉语综合课"的定性、教学重点等问题进行了一番再思考，提出了自己的见解。

None. Some countries, such as France and Spain, have academies that claim the right to regulate their national languages, and to repel invasive terms, usually from English. Neither England nor the United States attempts such an exercise in futility. English is a mongrel language that keeps its vitality by absorbing new words, uses and expressions. It promiscuously plunders other languages and delights in neologisms. It is the language of free traders and inventive entrepreneurs such as the staff of the Global Language Monitor.

绝不 的某些国家比如法国和西班牙有学术机构宣称有权管制他们国家的语言并抵制那些外来术语主要外来的英语术语无论英国还美国都不会做这种徒劳无益的事情英语一种杂交语言一直靠吸收新词、新用法和新含义来保持其生命力它杂乱地掠夺其它语言并以增加新词为乐它"全球语言监测公司"的职员之类的自由贸易者和有才能的企业家的语言

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Ce the schools in the different language areas use their own mother tongues as the language of instruction. Even in the Romansh-speaking areas treat Romansh as their mother tongue, though the language is only spoken by less than 1% of the total Swiss population.

瑞士人热衷于维护本族群的母语，所以，不同语区境内的学校都是以各自的母语为教学用语，就是少过1%人口的罗曼斯区，也保持用罗曼斯语作为母语。

While in his second stage, he cast away his former philosophy ideas, replacing his schematism with theory of language game, logic analysis with linguistic analysis, deal language with daily language.

维特根斯坦的哲学思想可分为前期和后期，前期为逻辑分析哲学、核心是图式说，它对逻辑实证主义具有决定性影响；后期基本上抛弃了前期的哲学观点，即以语言游戏说代替了图式说，以语言分析代替了逻辑分析，以日常语言代替了理想语言。

wittgenstein's philosophy thoughts can be divided into two different stages. in his first stage, he contributes to logic analytical philosophy, the core of which is schematism. it has a decisive influence on the logic positivism. while in his second stage, he cast away his former philosophy ideas, replacing his schematism with theory of language game, logic analysis with linguistic analysis, deal language with daily language.

维特根斯坦的哲学思想可分为前期和后期，前期为逻辑分析哲学、核心是图式说，它对逻辑实证主义具有决定性影响；后期基本上抛弃了前期的哲学观点，即以语言游戏说代替了图式说，以语言分析代替了逻辑分析，以日常语言代替了理想语言。

Set up a self-language environment, that is, by its own set of self-serve as the language environment in a particular role, with sound to complete its task of language.

自我设置一种语言环境，就是自我充当由自己设定的语言环境中的某一角色，有声地完成其语言任务。

Translation is the expression in another language(or target language of what has been expressed in another, source language, preserving semantic and stylistic equivalence.

Bell提出：翻译是把第一种语言所表达的东西用第二语言重新表达出来，尽量保持语义与文体方面的等值。

Because the investigation of natural language had shown that we could construct successfully semantical antinomy in any semantically closed language,Tarski thought that the definition of truth in a fomalized language could be only constructed in its metalanguage.

塔斯基发现，在一个语言内部定义该语言的"真"必然导致该语言具有语义封闭性，而对日常语言的分析已经表明，在任意一个具有语义封闭性的语言中都可以成功地构造出语义悖论，因此，形式语言的真句子定义只能在其元语言中得到。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。