形式的的日文

• この定理を証明するために，特別な形をした新しいポセットを導入する．
  为了证明此定理，需要引入呈现特殊形式的新的偏序集。
• ここで，表中の最上欄の「名詞＋の＋こと」に該当する例文を示す
  在此，显示符合表中最上方的“名词＋の＋こと”形式的例句。
• 形式的表現は，あらかじめ人手で辞書を作成し，その辞書を用いることで認定する
  形式性表现预先由人工制作辞典，运用该辞典来进行认定
• 以降で，各構成要素を形式的に表現し，その後どのように結合するかを検討する．
  下面从形式上表现各构成要素，讨论之后要怎么样结合。
• 【定義２．６】次のような形をした論理式をＭＡＥＬ標準形という．
  【定义２．６】把具有如下形式的逻辑表达式称为ＭＡＥＬ标准形式。
• この手法は，式（２２）の右辺が掛け算の形になっているのを利用する手法である．
  该方法是利用表达式（２２）右边为乘法形式的方法。
• ３章でＩＶ―ＭＧＴＰの言語構造ならびに形式的意味論を定義する．
  第３章中，定义ＩＶ―ＭＧＴＰ的语言结构和形式语义学。
• プレゼンテーションＧＵＩなど視覚的な表現形式にかかわる機能を備えている．
  外形具有与ＧＵＩ等关于视觉表现形式的功能。
• それは，量子力学と同じ論理形式を持った力学にならなければならない。
  这个必须是一种与量子力学具有相同理论形式的力学。
• またこの形を扱うサブルーチンを３重対角ソルバーと呼ぶことにする。
  另外我们把处理这个形式的子程序称为３重对角解决机。