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.

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

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

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

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

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

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

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

A complete, formal system of mathematics was impossible.

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

So computation isn't just a possible formalization, it's the ultimate one for our universe.

所以计算不仅是可能的形式化，它是我们宇宙的终极形式化。

But then came more systematic formalization and eventually computation.

但随后出现了更系统的形式化，最终发展成了计算。

And how do we kind of formalize that?

我们如何将其形式化呢？

And we formalized that with two observables.

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

It's not like you formalized it with math.

这不像你用数学来形式化它。

It's this kind of way of formalizing the world.

这就是一种将世界形式化的方式。

He's like, this is formal methods on the code.

他说，这就像是对代码应用了形式化方法。

Critics argue that preclusion doctrines can be overly formalistic, privileging finality over fairness.

批者认为， 既判力原则可能过于形式化，过分强调终局性而牺牲了公平性。

Chomsky' s research methods mainly include deduction, idealized method and formal method.

乔姆斯基的研究方法主要有演绎法、理想化法和形式化法。

But religion has lost its power and now there is no real belief in God.

但现在宗教失去了力量，人们对神的信仰也趋于形式化。

He was dealing with the gap between natural language and what's called " logical formalism" .

他正在处理自然语言与所谓的“逻辑形式化”之间的差距。

Can you formalize the definition of the word beautiful?

你能形式化定义“美丽”这个词吗？

As I said, in classical ballet, emotions are conveyed through a set of strictly formalized movements.

正如我所说， 在古典芭蕾舞中， 情感是通过一组严格形式化的动作来传达的。

Finally, let us summarize some of the criticisms and calls for reform related to res judicata.

最后，我们来总结一下与既判力相关的批意见和改革呼声。批者认为，既判力原则可能过于形式化，过于强调终局性而牺牲了公平性。