形式上的日文

• このような形式の推論は状況推論と呼ばれ，その規則を次のように一般化することができる
  这样，形式上的推论称为状态推论，其规则可如下一样，被一般化。
• 形式的な結果としてはさらに完全性の証明があるが，本稿では今後の課題とする．
  作为形式上的结果还有进一步的完备性证明，本论文将此作为了今后的课题。
• 形式的には，これは以下の関係が双模倣であることから示せる．
  从形式上来说，表明下面的关系是双模仿。
• 形式的には，ゾーンζは以下を満たす，割当ての集合である．
  形式上，区域ζ是满足以下条件的分配集合。
• 本論文の変換規則を用いて実時間システムのソフトウェアプログラムを形式的表現に変換する．
  使用本篇论文的变化规则，把实时系统的软件程序表现于形式上。
• 形式的な意味をＵＭＬモデルとは別に定義することによって，意味的な検証が可能となる．
  通过定义与ＵＭＬ模型不同的形式上的意义，可以进行语义上的检验。
• 形式的に＠ｅｑｕａｔｉｏｎ＿０＠（１３）と表す．
  形式上用＠ｅｑｕａｔｉｏｎ＿０＠（１３）表示。
• ただし階層構造の記述構成は形式的には相似な構成になるので表３では省略した．
  但是，阶层结构的记述构成在形式上变成了相似的构成，因此在表３当中省略了。
• 形式は合意，実質は破綻?モントリオール会議（ＣＯＰ１１／ＭＯＰ１）報告?
  形式上意见一致，实质上是失败的－蒙特利尔会议（ＣＯＰ１１／ＭＯＰ１）报告－
• これは形式的にはｉｓ―ａ関係における継承と同じに見えるが，概念的な性質が異なる．
  这在形式上看起来跟ｉｓ―ａ关系中的继承一样，但是概念的性质是不同的。