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