型付き中文是什么意思

• 領域理論の修正にあたっては，Ｔ中の節Ｃにおける型付き変数Ｘ：ｓを，＠ｅｑｕａｔｉｏｎ＿０＠を用いて特殊化すればよい．
  在进行范围修正时，只要用＠ｅｑｕａｔｉｏｎ＿０＠将Ｔ中节Ｃ中的定型参数Ｘ：ｓ进行特殊化即可。
• よって，Ｃ中の型付き変数Ｘ：ｃｕｐを特殊化する際に用いるソートｓαは，ｈａｓｈａｎｄｌｅ（Ｘ：ｃｕｐ）により定義されるものとする．
  所以，把Ｃ中的定型参数Ｘ：ｃｕｐ进行特殊化时所用的种类ｓα，是由ｈａｓｈａｎｄｌｅ（Ｘ：ｃｕｐ）来定义的。
• ＰＥＬＰは，代表的なトップダウンの演繹推論機構であるＰｒｏｌｏｇを，概念階層を用いた型付きのユニフィケーション行えるように拡張したものである．
  ｐＥＬＰ是将代表性倒置演绎推理程序Ｐｒｏｌｏｇ扩充为可以进行使用概念分级的印花的统一化处理的程序。
• まず，項書換え系の変換法を導入し，単純型付き項書換え系の停止性が，変換により得られる第１階項書換え系の停止性から導かれることを示す。
  首先，导入项重写系统的变换法，附带简单型项重写系统的停止性可从经变换获得的第１层项重写系统的停止性中引导出来。
• ［定理５．２］修正対象の型付き変数Ｘ　：　ｓをボディに含む節＠ｅｑｕａｔｉｏｎ＿０＠について，拡張ソート＠ｅｑｕａｔｉｏｎ＿１＠を考える．
  ［定理５．２］对于在主体中包含修正对象的定型参数Ｘ：ｓ的节＠ｅｑｕａｔｉｏｎ＿０＠，考察扩张种类＠ｅｑｕａｔｉｏｎ＿１＠。
• 特に，前者の完全性は，型付きのλ計算などで導入されているサブタイプの体系のように，フィルタを使ったモデルの構築によって，完全性を証明する方法が有効だと考えられる．
  特别是，前者的完备性如在类型λ演算中导入的子类型体系一样，通过构建使用了过滤器的模型，可以有效地证明完备性。
• 特にここでは，その原因となる内包的エラーとして，Ｇの証明に用いられた節集合Ｔ（Ｇ）中のある節Ｃのボディに，ｓによる一般的過ぎる型付き変数があることを想定する．
  特别是，在这里，作为其原因的内涵型错误，假想在用于证明Ｇ的节集合Ｔ（Ｇ）中的某一节Ｃ的本体上，有ｓ的过于一般的定型参数。
• 【定義５．４】（特殊化拡張ソート）修正対象の型付き変数Ｘ：ｓをボディに含む節＠ｅｑｕａｔｉｏｎ＿０＠について，拡張ソート＠ｅｑｕａｔｉｏｎ＿１＠を考える．
  【定义５．４】（特殊化扩张种类）对于在主体中包含修正对象的定型参数Ｘ：ｓ的节＠ｅｑｕａｔｉｏｎ＿０＠，认为扩张种类＠ｅｑｕａｔｉｏｎ＿１＠。
• また，ＨｏｓｏｙａらはＸＭＬ処理のための型付き関数型言語ＸＤｕｃｅを開発し，型チェック機能を導入しプログラムが生成するＸＭＬ文書について構文の正しさを保証するようにした．
  此外，Ｈｏｓｏｙａ开发出用于ＸＭＬ处理的定型函数程序设计语言ＸＤｕｃｅ，从而能够保证带有定型检测功能的程序所生成的ＸＭＬ文档在句法上的正确性
• ＣＰＮは並行性をテスト検証するペトリネットを拡張したネット指向言語であり，階層化の概念，カラーと呼ばれる型付きの値を持つトークン（以下，カラートークン）の概念，そして時間の概念が拡張されている．
  ＣＰＮ是对测试验证并行性的Ｐｅｔｒｉ网进行扩展后所得到的面向网络的语言，对具有颜色类型的值的令牌（以下，颜色令牌）的概念，以及时间概念进行了扩展。