那就是为什么我应该用数学的形式化公式，提供一个真实界的模式，这是我们用来产生意符意义的最先进的建构方法。

That is why I thought I should provide a model of it using mathematical formalization, inasmuch as it is the most advanced elaboration we have by which to produce signifierness.

youdao

随着符号脱离意义、过分注重外在的形式化，教育陷入了一个符号化的困顿。

While symbols in education are eradicated of significance, and being formatted, education lost itself into a symbolized difficulty.

youdao

将形式化技术和软件复用结合是非常有意义的工作。

It's a meaningful work to combine formal technology and software reuse.

youdao