帕斯卡

He proposed some comments that are now referred to as Pascal's wager.

他提出了一些意见认为，现在被称为帕斯卡尔的下注。

A programming language, based on Pascal and developed for the U.S. Department of Defense.

ada 语言一种计算机的程序语言，以帕斯卡语言为基础，为美国国防部设计。

"Every time I go near Pascualita my hands break out in a sweat," shopworker Sonia Burciaga said.

"每次我接近帕斯卡拉的时候，我的手心就会出汗，"店员索尼那说。

This was "nothing more than a slush fund", according to a complaint against Mr DiPascali by the Securities and Exchange Commission.

证监会（the Securities and Exchange Commission）在指控迪帕斯卡利时说，"这根本就是虚无的基金"。

In 2000, he represented Switzerland at the 9th Steinway Festival in Hamburg.

目前，他在跟随帕斯卡拉德瓦永继续深造学习。

The ASME Div III coded vessel was designed and stamped according to Los Alamos National Laboratory's technical specifications to have a 30-in. inside diameter, a 25-in. inside length, a design pressure of 33,000 psi and a temperature rating of ambient to 200F. Other features include remote control operator station with indicators, threadless closures held in place with a restraining yoke, and programmable pressure decompression rates.

此套设备是根据Los Alamos国家实验室规格要求生产的，主要规格如下：内部尺寸：直径30英寸；长25英寸；压力33，000帕斯卡；周围的温度约为200F，其他的配备包括遥控器、无限应力控制杆以及程控的减压装置。

Then Miss Pascal went on. I think Tilly began liking the sea even more than me.

帕斯卡接着说：我想蒂莉开始比我更喜欢大海了。

Pascal's earliest work was in the natural and applied sciences where he made important contributions to the construction of mechanical calculators, the study of fluids, and clarified the concepts of pressure and vacuum by generalizing the work of Evangelista Torricelli.

帕斯卡最早研究自然科学和应用科学，对机械计算器的制造、流体研究作出了重大贡献，通过归纳托里拆利的研究，他阐明了压力和真空的概念。

Drawing of a triquetrum by Wilhelm SchickardHe was, among his other skills, a renowned wood and copperplate engraver.

在电脑史前史里，帕斯卡被公认为制造出机械计算机的第一人。

Pascal Cotte said da Vinci built the painting up in layers,the last being a special glaze whose optical properties in creased the illusion of a three-dimensional face.

帕斯卡尔？柯特称，达芬奇在绘制这张画时使用了多层颜料，最表面的一层使用了一种特殊釉料，这种颜料的光学性能可增加人物面部的三维效果。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。