内隐理论是来自普通人视角的非正式理论，是外显理论的起点。
The implicit theory is from people's Angle, and it is an informal theory. It is the jumping-off point of explicit theory.
exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。
The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.
这也许是第一次你的导师看到关于这些概念的正式表达，这些理论以前也许用非正式的形式证实过。
This is also probably the first time that your supervisor has seen the formal expression of concepts that may have been approved previously in an informal manner.
应用推荐