查询词典 formal

My passion for computers got another strong boost in 1952, when asummer job at IBM in Endicott, New York, gave me hands-on experience inprogramming the IBM 604 and formal instruction in programming IBM's701, its first stored-program machine. Graduate school under Aiken andIverson at Harvard made my career dream a reality, and I was hooked forlife.

我对计算机的热情在1952年进一步高涨，因为得到了IBM在纽约恩迪科特的一份暑期工，正是那次，我有了在IBM 604上编程的实际经验，也了解了如何编制IBM701（它的第一个存储程序计算机）程序的正式指令；从哈佛大学Aiken和Iverson名下毕业终于让我的职业梦想变成了现实，并且，就这样沉迷了一辈子。

We give a theorem for the stable range of endomorphism rings of finitely generated projective modules over a formal triangular matrix ring T when T is an exchange ring.

2.6节对有有限exchange性质的形式三角矩阵环T给出了有限生成投射T-模的自同态环有稳定度n的一个具体关系。

They will often be applied and enforced by means of a formal Permit to Work system.

其中用得比较多的是一种正式制度是作业许可证制度。

Intellectual thinking ; formal logic ; ego ; nonego ; Hegelianism ; thinking engenderment

知性思维；形式逻辑；我；非我；黑格尔哲学；思维发生

All the enroller must write your name. The kind of your ID cards and number clearly and in formal style and post address and number and valid contact

所有参赛报名者均必须在报名中清晰、正楷填写：姓名、有效的身份证件种类及号码、有效邮寄地址及邮编(邮寄报名确认数据必须有)、有效的联系电话。

Despite the enshrinement of the notion of bounded rationality in the organizations literature, this second postulate has been largely ignored in our formal models of learning and adaptation.

尽管组织学派强调有限理性的观念，这个基本条件在学习和适应的正式模型中还是被很大程度的忽略。

According to our reporter learned that recently, there are many foreign enterprises in Tianjin, or to do market research, or prepare to do a formal entry or inspection site, or with partners to negotiate the next few years there will be a considerable number of listed companies outside of the investors and property developers have entered the market in Tianjin.

根据我们的记者了解到，最近，有许多外国企业在天津，或做市场调研，或准备做一个正式的入境或检查站点，或与合作伙伴进行谈判，今后几年将有相当数量的上市公司以外的投资者和房地产开发商已进入天津市场。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

It can be hard to get a feel for the work environ in a formal interview.

正式的面试中要获得对工作环境的感受很难。

And his aides claim America's quiet diplomacy is making progress in obtaining the Sino-us relationship Trade follows the flag Shuttle diplomacy A remarkable performance in shuttle diplomacy by Secretary of State Henry Kissinger brought about a cease-fire and a disengagement accord that was widely hailed as a major American diplomatic achievement Semiofficial diplomacy Track Two diplomacy People-to-people diplomacy Personal diplomacy National diplomacy Baseball diplomacy Cricket diplomacy Kid-glove diplomacy Children diplomacy Football/ soccer diplomacy Go diplomacy Petrol diplomacy Ping-pang diplomacy Sports diplomacy Wrestling diplomacy Non-governmental diplomacy Crisis diplomacy Some formal diplomatic terms Roving ambassador Ambassador without destination Envoy Cultural ambassador Special diplomatic envoy Emissary Legate Minister High commissioner Counsellor Military attache Naval attache Air attache Equerry Follower Diplomatic corps mission military advisory group Military mission Legation sever diplomatic relations boycott close breach resume trade relations national treatment Extraterritoriality Consular jurisdiction Privileges Note Verbal note speaking notes/talking points non paper exchange of notes Credentials Letter of recall raising status Debase mandatory administration Dominion Pourparlers Approach offer Good offices Denial of justice secret clauses Verbal agreement Text of treaty treaty of amity and commerce

和他的助手声称美国的静悄悄的外交正在取得进展，中美关系贸易如下国旗穿梭外交显著业绩的穿梭外交的美国国务卿基辛格带来了停火和脱离接触协议，被广泛誉为美国的主要外交成就半官方外交第二轨道外交人民外交个人外交国家外交棒球外交板球外交陈文杰手套外交儿童外交足球/足球外交转到外交石油外交乒乓外交体育外交摔跤外交非政府外交外交危机一些正式的外交条款巡回大使没有目的地大使特使文化大使特别外交特使使者特使部长高级专员参赞武官海军武官空军武官 Equerry 从动外交使团使命军事谘询小组军事任务公馆断绝外交关系抵制密切违约恢复贸易关系国民待遇治外法权领事裁判权特权注意：全权证书信中回顾提高地位贬低行政强制明 Pourparlers 提供方法斡旋拒绝司法秘密条款口头协议条约文本友好条约和商业普通照会发言指出/谈话要点非纸换文

I am accused of being overreligious," she said in her quiet, frank manner,"but that does not prevent me thinking the children very cruel who obstinately commit such suicide.""

客人们在卡罗利娜·埃凯家里，举止就文雅一些，因为卡罗利娜的母亲治家很严厉。

Designed by French fashion house Herm è s, this elegant uniform was manufactured in our home, Hong Kong, and was the first without a hat.

由著名品牌 Herm è s 设计，这件高贵的制服是香港本土制造，是我们第一套不配帽子的制服。