理論的日文

• この理論はＳｉｍｏｎらによるコンピュータ？プログラムの中で実現された．
  Ｓｉｍｏｎ等人利用计算机应用程序将这一理论实现了。
• 本論文ではＡＮＤ検索時のメモリ量と計算量の関係を理論的に評価した．
  本文理论性地评估了ＡＮＤ检索时的存储量和计算量的关系。
• このモデルは超音波強化した超臨界抽出技術の応用に、理論基礎を提供できる。
  模型为超声强化超临界萃取技术应用提供了理论指导．
• 帰納論理プログラミングの逆伴意の完全化とその自己再帰への適用について
  关于归纳理论程序的逆伴意的完全化和向它自己自身的适用
• 補修材の経年による強度試験値と理論的劣化値との比較を行ったこと。
  比较了经过年数的修理材料的强度试验值和理论上的低下值。
• （２）論理式中の等式ａ＝ｂは＠ｅｑｕａｔｉｏｎ＿０＠を表す．
  （２）理论公式中的等式ａ＝ｂ表示＠ｅｑｕａｔｉｏｎ＿０＠。
• 【定義４．１】Ｐ＝（Ｐ１，．．．，Ｐｎ）を標準形理論とする．
  【定义４．１】以Ｐ＝（Ｐ１，．．．，Ｐｎ）为标准形式理论。
• 以後，前提理論に含まれる論理式はＭＡＥＬ標準形であるとする．
  以后，把包含在前提理论中的逻辑表达式作为ＭＡＥＬ标准形式。
• また，ｂｓが小さくなるに従い，ｓ―の実験値が理論値より大きくなる．
  另外，随着ｂｓ的减小，ｓ―的实验值会变得比理论值大。
• また，情報理論や調査に関わる著作権についての注意事項を確認した。
  同时，确认与信息理论的调查相关的著作权方面的注意事项。