定式的日文

• ２．２節で述べたように，設計過程知識は知識操作の列によって定式化される．
  如２．２节中所述，设计过程知识由知识操作的列来公式化。
• しかし，それらの方法には肯定的な式でしか解を表現できないという問題点がある．
  但是，这些研究的问题在于，它们只用肯定式来表示解。
• テンプレート発見問題の定式化と部分文字列増幅法を用いたアルゴリズム
  模板发现问题的定型化和采用了部分文字列增幅法的阿拉伯式计数法
• このように変換群を用いて再定式化された変換構造説を変換群構造説と呼ぶ．
  像这样的用变换群再定式化的变换构造说被称为变换群构造说。
• このように変換群を用いて再定式化された変換構造説を変換群構造説と呼ぶ．
  像这样的用变换群再定式化的变换构造说被称为变换群构造说。
• これは，次のように定義される割当てコストを最小化する問題として定式化できる．
  这个问题可公式化为使定义分配任务实现最小化的问题。
• 本稿では，ＲＩＳＣ型アセンブリ言語上でのプログラム特化技法を定式化する．
  本文将对ＲＩＳＣ型汇编语言上的程序特化方法进行公式化。
• その定式化の特色の一つは，テキスト内の単語しか，確率推定に利用しないことである
  公式化特色之一就是，仅利用文本内的单词来推定概率
• この定式化は上記における確率推定法の（１）および（２）によく対応している．
  其定式化跟上述概率推定法的（１）及（２）很好地对应。
• この定式化は上記における確率推定法の（１）および（２）によく対応している．
  其定式化跟上述概率推定法的（１）及（２）很好地对应。