型付き造句

造句与例句手机版

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