型付き造句
例句与造句
- 特に，前者の完全性は，型付きのλ計算などで導入されているサブタイプの体系のように，フィルタを使ったモデルの構築によって，完全性を証明する方法が有効だと考えられる．
特别是，前者的完备性如在类型λ演算中导入的子类型体系一样，通过构建使用了过滤器的模型，可以有效地证明完备性。 - 特にここでは，その原因となる内包的エラーとして，Ｇの証明に用いられた節集合Ｔ（Ｇ）中のある節Ｃのボディに，ｓによる一般的過ぎる型付き変数があることを想定する．
特别是，在这里，作为其原因的内涵型错误，假想在用于证明Ｇ的节集合Ｔ（Ｇ）中的某一节Ｃ的本体上，有ｓ的过于一般的定型参数。 - 【定義５．４】（特殊化拡張ソート）修正対象の型付き変数Ｘ：ｓをボディに含む節＠ｅｑｕａｔｉｏｎ＿０＠について，拡張ソート＠ｅｑｕａｔｉｏｎ＿１＠を考える．
【定义５．４】（特殊化扩张种类）对于在主体中包含修正对象的定型参数Ｘ：ｓ的节＠ｅｑｕａｔｉｏｎ＿０＠，认为扩张种类＠ｅｑｕａｔｉｏｎ＿１＠。 - また，ＨｏｓｏｙａらはＸＭＬ処理のための型付き関数型言語ＸＤｕｃｅを開発し，型チェック機能を導入しプログラムが生成するＸＭＬ文書について構文の正しさを保証するようにした．
此外，Ｈｏｓｏｙａ开发出用于ＸＭＬ处理的定型函数程序设计语言ＸＤｕｃｅ，从而能够保证带有定型检测功能的程序所生成的ＸＭＬ文档在句法上的正确性 - ＣＰＮは並行性をテスト検証するペトリネットを拡張したネット指向言語であり，階層化の概念，カラーと呼ばれる型付きの値を持つトークン（以下，カラートークン）の概念，そして時間の概念が拡張されている．
ＣＰＮ是对测试验证并行性的Ｐｅｔｒｉ网进行扩展后所得到的面向网络的语言，对具有颜色类型的值的令牌（以下，颜色令牌）的概念，以及时间概念进行了扩展。 - 用型付き造句挺难的，这是一个万能造句的方法
- どちらの概念も『電車に乗車中は自粛すべき』という（常識的に考えれば）論理的に正しい内包的性質を有しており，それらは例えば，＠ｅｑｕａｔｉｏｎ＿０＠なる型付き変数を含むふたつの論理式で表現できる．２．
两个概念都有“电车内应当自律”这一（从常识性来考虑）合乎逻辑的正确内涵型性质，例如，他们可以用含有＠ｅｑｕａｔｉｏｎ＿０＠定型参数的两个逻辑表达式来表达。 - ＠ｅｑｕａｔｉｏｎ＿０＠を知識ベース，＠ｅｑｕａｔｉｏｎ＿１＠を特殊化の対象となる型付き変数を含む節とした時，＠ｅｑｕａｔｉｏｎ＿２＠とすると，前章での議論から，次の２通りの候補生成手法が考えられる．
假定含有＠ｅｑｕａｔｉｏｎ＿０＠为知识库，＠ｅｑｕａｔｉｏｎ＿１＠为特殊化对象的定型参数的节时，如果＠ｅｑｕａｔｉｏｎ＿２＠，则根据前一章的讨论，有如下２种候补生成。 - 領域理論は，ある概念（ソートと呼ぶ）を用いて変数に型を指定することで，その変数が取り得る値を制約した型付き論理式からなり，各論理式はその型付けに用いられたソートが持つ内包的性質を記述したものと捉えることができる．
范围理论通过使用某种概念（称为种类）给参数指定类型，该参数由制约可得数值的定型逻辑表达式构成，可把各逻辑表达式理解为记述了具有用于定型的种类的内涵型性质的东西。 - つまり，Ｃ中の型付き変数Ｘ：ｓが＠ｅｑｕａｔｉｏｎ＿０＠に特殊化されたことにより，Ｘの取り得る値は＠ｅｑｕａｔｉｏｎ＿１＠中の個体のみに限定されるが，そこには，Ｃを用いる際に代入可能な個体はすべて含まれている．
也就是说，由于Ｃ中的定型参数Ｘ：ｓ被＠ｅｑｕａｔｉｏｎ＿０＠特殊化了，所以Ｘ可以取的值只被限定为＠ｅｑｕａｔｉｏｎ＿１＠中的个体，其中包含了所有在利用Ｃ时可以代入的个体。 - ここで，ＡおよびＢｉは正リテラル，＠ｅｑｕａｔｉｏｎ＿０＠はこの節に出現するすべての変数，＠ｅｑｕａｔｉｏｎ＿１＠は変数＠ｅｑｕａｔｉｏｎ＿２＠がソート＠ｅｑｕａｔｉｏｎ＿３＠で型付けされていることを示す型付き変数である．
在此，Ａ以及Ｂｉ是正常量，＠ｅｑｕａｔｉｏｎ＿０＠是在该节出现的所有参数，＠ｅｑｕａｔｉｏｎ＿１＠是参数＠ｅｑｕａｔｉｏｎ＿２＠是通过种类＠ｅｑｕａｔｉｏｎ＿３＠被定型的定型参数。 - 修正対象となる型付き変数Ｘ：ｓをボディに含む節＠ｅｑｕａｔｉｏｎ＿０＠に対して，拡張ソート＠ｅｑｕａｔｉｏｎ＿１＠を考えた時，前節までの議論で，ｓによる型付けを特殊化する際に用いるソート＠ｅｑｕａｔｉｏｎ＿２＠が，ｅｓに関するｓの特殊化拡張ソートＥＳ（Ｘ：ｓ）で定義されることを述べた．
对于在主体中包含修正对象的定型参数Ｘ：ｓ的节＠ｅｑｕａｔｉｏｎ＿０＠，在考虑扩张种类＠ｅｑｕａｔｉｏｎ＿１＠时，在上节的讨论中阐述了将ｓ定型参数特殊化时使用的种类＠ｅｑｕａｔｉｏｎ＿２＠是由关于ｅｓ的ｓ的特殊化扩张种类ＥＳ（Ｘ：ｓ）来定义的。 - ここでの代入（順序ソート代入）＠ｅｑｕａｔｉｏｎ＿０＠は＠ｅｑｕａｔｉｏｎ＿１＠なる形式で与えられ，各＠ｅｑｕａｔｉｏｎ＿２＠は，型付き変数＠ｅｑｕａｔｉｏｎ＿３＠（ただし，＠ｅｑｕａｔｉｏｎ＿４＠），あるいは，定数＠ｅｑｕａｔｉｏｎ＿５＠（ただし，＠ｅｑｕａｔｉｏｎ＿６＠）のいずれかでなければならない．
这里的代换（顺序种类代换）＠ｅｑｕａｔｉｏｎ＿０＠以＠ｅｑｕａｔｉｏｎ＿１＠的形式被给予，各个＠ｅｑｕａｔｉｏｎ＿２＠必须是定型参数＠ｅｑｕａｔｉｏｎ＿３＠（但是，＠ｅｑｕａｔｉｏｎ＿４＠），或者常量＠ｅｑｕａｔｉｏｎ＿５＠（但是，＠ｅｑｕａｔｉｏｎ＿６＠）之一。
更多例句： 上一页
