那就是为什么我应该用数学的形式化公式,提供一个真实界的模式,这是我们用来产生意符意义的最先进的建构方法。
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.
随着符号脱离意义、过分注重外在的形式化,教育陷入了一个符号化的困顿。
While symbols in education are eradicated of significance, and being formatted, education lost itself into a symbolized difficulty.
将形式化技术和软件复用结合是非常有意义的工作。
It's a meaningful work to combine formal technology and software reuse.
语用推理的模式不是单纯的演绎或归纳,而是多种推理方式的综合运用,语用推理的形式化研究是有意义的。
The mode of pragmatic inference is not a usage of single deduction or induction, but a integrated usage of various inference ways, so the research on the form of pragmatic inference is meaningful.
最后基于MG理论的意义和价值,以及对它思想和方法的进一步了解和认识,结合汉语自身的特点和汉语的研究所取得的成果,为汉语形式化问题做出一些有益的思考。
In the last, based on the meaning and value of MG theory, and based on the further understand about the ideas and methods, we can make some useful thoughts about Chinese formal problems.
最后基于MG理论的意义和价值,以及对它思想和方法的进一步了解和认识,结合汉语自身的特点和汉语的研究所取得的成果,为汉语形式化问题做出一些有益的思考。
In the last, based on the meaning and value of MG theory, and based on the further understand about the ideas and methods, we can make some useful thoughts about Chinese formal problems.
应用推荐