I mean, it's a very formalized set of events that we're going to see.

我们将会看到一系列非常形式化的活动。

And for your information, the summer conference on algebraic topology at Caltech is nerd prom.

还有，给你科普一下加州理工夏天的代数拓会议才书呆子舞会，代数拓用抽象代数的工具来研究拓空间的数学分支。拓空间一种数学结构，可以在上头形式化地定义出如收敛，连通，连续等概念。

While he loathed formal lectures, the philosopher frequently engaged friends and strangers in lengthy conversations about morality and society.

他厌恶形式化教育，经常召集朋友和陌生人一起深入探讨道德与社会。

But the stricture to “avoid going through the motions” is an acknowledgment that such campaigns have become ritualised.

但对“避免走过场”的批评本身就已经承认这些动已经形式化了。

We can use it for an exclamation or to formalize it.

我们可以用它来感叹或它形式化。

A complete, formal system of mathematics was impossible.

完整、形式化的数学体系不可能的。

And how do we kind of formalize that?

我们如何将其形式化呢？

And we formalized that with two observables.

我们通过两个可观测量将其形式化。

When you do it with friends and family, usually, they feel more successful, then you get into these, sort of sty, where we think about negotiations, entrepreneur, is in this area of stylized negotiations.

与朋友和家人进行交流时， 通常他们感到更成功， 随后我们进入这种，可以说谈判的领， 业家正在这种形式化的谈判中活动。 在这种场合， 存在协议，我们商讨某些事项， 围坐在桌旁， 有人做记录， 最终形成书面文件。

So with the definition of a sub-game now formal--it's basically just formalizing something we've talked about before which is the idea of a game within the game--I want to introduce our new--what's going to be our new solution concept.

因此，现在子游戏的定义已经正式化 - 它基本上只将我们之前讨论过的东西形式化，即游戏中的游戏的想法 - 我想介绍我们的新解决方案概念。

These production rules, and the selection algorithm, combine to form what’s called a Domain Model, which is a formal representation of the knowledge, procedures and skills of a particular discipline - like algebra.

这些生产规则和选择算法结合形成所谓的领模型，它某一学科（如代数）的知识、程序和技能的形式化表示。

You first have to formalize what these curves are as functions, specifically, functions which take in a single number somewhere between 0 and 1 as their input and output a pair of numbers.

首先，你需要形式化定义这些曲线作为函数，具体来说，这些函数接受一个介于0和1之间的单一数字作为输入， 并输出一对数字。

There is simply no way to determine what a perfect foresight world would look like, other than with a system of purely formal, fictitious, and tautological equations a la Walras.

除了采用瓦尔拉斯式纯粹形式化、虚构且同义反复的方程体系外，我们根本无法描绘出完美预见世界的样貌。

Another type of norm are mores, which are more official than folkways and tend to be codified, or formalized, as the stated rules and laws of a society.

另一种规范道德规范，它们比习俗更为正式，通常会被编纂或形式化为一个社会的明文规则和法律。

In effect, every one of these functions here can be thought of as formalizingand encapsulating, in computational terms, some facet of the intellectual achievements of our civilization.

实际上，这里的每个函数都可以被视为以计算术语的形式化和封装我们文明某些智力成就的方面。

But the problem is that in science, it often begins with starting with your own subjective experience and then trying to formalize that.

但问题在于，科学研究往往从个人的主观体验开始，然后再试图将其形式化。

As I noted, the modern rules tried to capture and formalize the tendencies that were common in the late 1800s and early 1900s.

正如我所指出的，现代规则试图捕捉并形式化19世纪末和20世纪初普遍存在的趋势。

But formalizing this understanding is what undergirds the decisions of The Economist and The Washington Post to start using singular they formally.

但，将这种理解形式化《经济学人》和《华盛顿邮报》决定正式开始用单数 they 的基础。

All of that relevance realization, all that binding, all that transformation, all that meaning-making in a formal set of propositions.

所有这些关联实现、所有这些绑定、所有这些转变、所有这些意义构建，都无法在一个形式化的命题集合中完全捕捉到。

But their responsibility also is to teach people about the formal side of computer science, which is valuable.

但他们的责任还包括向人们传授计算机科学的形式化知识，这很有价值的。