型付け造句
- また，詳細は後に議論するが，本稿で扱う知識ベースは，その特殊な具体例として論理プログラムを含むものであり，そこでは，これらエラーに加え，変数の型付けに関する内包的エラーも考えられる．
另外，后文会有详细的讨论，本文中使用的知识库包含了作为其特殊具体例子的逻辑拟定程序，再加上这些错误，还会有关于参数定型的内涵型错误。 - よって，ここでの修正とは，もとの知識の論理的意味を変えることなく，その型付けに用いられたソートを特殊化し，その特殊化ソートでもとの型付けを置き換える操作，つまり，型付けの特殊化を意味する．
因此，这里的修正指的是，不改变原来的知识逻辑意义，将用于定型的种类特殊化，并在该特殊化种类上替换原来的定型，即，定型的特殊化。 - よって，ここでの修正とは，もとの知識の論理的意味を変えることなく，その型付けに用いられたソートを特殊化し，その特殊化ソートでもとの型付けを置き換える操作，つまり，型付けの特殊化を意味する．
因此，这里的修正指的是，不改变原来的知识逻辑意义，将用于定型的种类特殊化，并在该特殊化种类上替换原来的定型，即，定型的特殊化。 - よって，ここでの修正とは，もとの知識の論理的意味を変えることなく，その型付けに用いられたソートを特殊化し，その特殊化ソートでもとの型付けを置き換える操作，つまり，型付けの特殊化を意味する．
因此，这里的修正指的是，不改变原来的知识逻辑意义，将用于定型的种类特殊化，并在该特殊化种类上替换原来的定型，即，定型的特殊化。 - データ表現変換器データ表現変換器では，整数や浮動小数点などの型付けされたデータの表現方法とバイトオーダーの変換，および表現能力（サイズ）の違いから起こるデータ間の相対位置の変化に対する処理を実現する必要がある．
数据表现转换妻数据表现转换器当中，有必要实现对于整数、浮动小数点等等的数据的表现方法和站点顺序的转变以及表现能力（大小）的不同引起的数据间的相对位置变化的处理。 - 領域理論は，ある概念（ソートと呼ぶ）を用いて変数に型を指定することで，その変数が取り得る値を制約した型付き論理式からなり，各論理式はその型付けに用いられたソートが持つ内包的性質を記述したものと捉えることができる．
范围理论通过使用某种概念（称为种类）给参数指定类型，该参数由制约可得数值的定型逻辑表达式构成，可把各逻辑表达式理解为记述了具有用于定型的种类的内涵型性质的东西。 - 詳しい議論は後の章に譲るが，電話の例を用いて簡単に述べると，もとの知識の外延に変化をもたらさないｐｈｏｎｅの特殊化（詳細化）ソートｐｈｏｎｅαを同定し，もとの知識の型付けをｐｈｏｎｅαによる型付けに変更する．
详细讨论将在后面的章节进行叙述，用电话的例子简单来说就是，鉴别不给原来的知识外延带来变化的ｐｈｏｎｅ的特殊化（详细化）种类ｐｈｏｎｅα，并将原来的知识定型改变为ｐｈｏｎｅ的定型。 - 詳しい議論は後の章に譲るが，電話の例を用いて簡単に述べると，もとの知識の外延に変化をもたらさないｐｈｏｎｅの特殊化（詳細化）ソートｐｈｏｎｅαを同定し，もとの知識の型付けをｐｈｏｎｅαによる型付けに変更する．
详细讨论将在后面的章节进行叙述，用电话的例子简单来说就是，鉴别不给原来的知识外延带来变化的ｐｈｏｎｅ的特殊化（详细化）种类ｐｈｏｎｅα，并将原来的知识定型改变为ｐｈｏｎｅ的定型。 - その結果，αはコップの下位概念であり，なおかつ『金属性のコップ』の上位概念となることから，＠ｅｑｕａｔｉｏｎ＿０＠を用いて型付けを特殊化しても式（４）の論理的意味は保存される，すなわち，修正前後の外延的等価性が保証される．
结果，α是杯子的下级概念，并且是“金属性的杯子”上级概念，所以即使利用＠ｅｑｕａｔｉｏｎ＿０＠将定型特殊化，式（４）的逻辑意义也能被保存，即，保证了修正前后的外延型等价性。 - ここで，ＡおよびＢｉは正リテラル，＠ｅｑｕａｔｉｏｎ＿０＠はこの節に出現するすべての変数，＠ｅｑｕａｔｉｏｎ＿１＠は変数＠ｅｑｕａｔｉｏｎ＿２＠がソート＠ｅｑｕａｔｉｏｎ＿３＠で型付けされていることを示す型付き変数である．
在此，Ａ以及Ｂｉ是正常量，＠ｅｑｕａｔｉｏｎ＿０＠是在该节出现的所有参数，＠ｅｑｕａｔｉｏｎ＿１＠是参数＠ｅｑｕａｔｉｏｎ＿２＠是通过种类＠ｅｑｕａｔｉｏｎ＿３＠被定型的定型参数。 - 用型付け造句挺难的，這是一个万能造句的方法
- こうした修正により，もとの知識の論理的意味（外延的意味）を保ったまま，型付けだけが特殊化され，その結果，修正後の知識ベースにおいては，ｐｈｏｎｅとｃｉｇａｒｅｔｔｅの類似性は検出されず，代わりにｐｈｏｎｅの特殊化であるｐｈｏｎｅαとｃｉｇａｒｅｔｔｅの類似性が検出される．
由于这种修正，在保持原来知识的逻辑意义（外延型意义）的情况下，只将定型特殊化，结果在修正后的知识库中，ｐｈｏｎｅ和ｃｉｇａｒｅｔｔｅ的相似性就不会被检查出来，取而代之检查出来的是ｐｈｏｎｅ的特殊化ｐｈｏｎｅα和ｃｉｇａｒｅｔｔｅ的相似性。 - 修正対象となる型付き変数Ｘ：ｓをボディに含む節＠ｅｑｕａｔｉｏｎ＿０＠に対して，拡張ソート＠ｅｑｕａｔｉｏｎ＿１＠を考えた時，前節までの議論で，ｓによる型付けを特殊化する際に用いるソート＠ｅｑｕａｔｉｏｎ＿２＠が，ｅｓに関するｓの特殊化拡張ソートＥＳ（Ｘ：ｓ）で定義されることを述べた．
对于在主体中包含修正对象的定型参数Ｘ：ｓ的节＠ｅｑｕａｔｉｏｎ＿０＠，在考虑扩张种类＠ｅｑｕａｔｉｏｎ＿１＠时，在上节的讨论中阐述了将ｓ定型参数特殊化时使用的种类＠ｅｑｕａｔｉｏｎ＿２＠是由关于ｅｓ的ｓ的特殊化扩张种类ＥＳ（Ｘ：ｓ）来定义的。 - 外延的エラーを修正する従来のシステムと本内包的エラー修正システムを統合することで，エラーを修正するために十分な正例．負例を具体的かつ容易に与えることができる場合は，従来の外延的アプローチで対処し，（外延的には観測できない）型付けに関するエラーを修正する際には本手法で対処するといった，異なるタイプのエラーを扱うことのできる柔軟かつ強力なハイブリッド知識修正システムの構築が可能となろう．
通过将修正外延型错误的传统系统和本内涵型错误修正系统统一起来，在为了修正错误而能具体并便利地提供充分的正例、负例时，用传统外延型方法来处理，修正有关（外延无法观测的）定型错误时，用本方法来处理，这样就可以构筑能够处理不同类型错误的灵活且有力的混合知识修正系统。
手机版