型付け中文是什么意思

• こうした修正により，もとの知識の論理的意味（外延的意味）を保ったまま，型付けだけが特殊化され，その結果，修正後の知識ベースにおいては，ｐｈｏｎｅとｃｉｇａｒｅｔｔｅの類似性は検出されず，代わりにｐｈｏｎｅの特殊化であるｐｈｏｎｅαとｃｉｇａｒｅｔｔｅの類似性が検出される．
  由于这种修正，在保持原来知识的逻辑意义（外延型意义）的情况下，只将定型特殊化，结果在修正后的知识库中，ｐｈｏｎｅ和ｃｉｇａｒｅｔｔｅ的相似性就不会被检查出来，取而代之检查出来的是ｐｈｏｎｅ的特殊化ｐｈｏｎｅα和ｃｉｇａｒｅｔｔｅ的相似性。
• 修正対象となる型付き変数Ｘ：ｓをボディに含む節＠ｅｑｕａｔｉｏｎ＿０＠に対して，拡張ソート＠ｅｑｕａｔｉｏｎ＿１＠を考えた時，前節までの議論で，ｓによる型付けを特殊化する際に用いるソート＠ｅｑｕａｔｉｏｎ＿２＠が，ｅｓに関するｓの特殊化拡張ソートＥＳ（Ｘ：ｓ）で定義されることを述べた．
  对于在主体中包含修正对象的定型参数Ｘ：ｓ的节＠ｅｑｕａｔｉｏｎ＿０＠，在考虑扩张种类＠ｅｑｕａｔｉｏｎ＿１＠时，在上节的讨论中阐述了将ｓ定型参数特殊化时使用的种类＠ｅｑｕａｔｉｏｎ＿２＠是由关于ｅｓ的ｓ的特殊化扩张种类ＥＳ（Ｘ：ｓ）来定义的。
• 外延的エラーを修正する従来のシステムと本内包的エラー修正システムを統合することで，エラーを修正するために十分な正例．負例を具体的かつ容易に与えることができる場合は，従来の外延的アプローチで対処し，（外延的には観測できない）型付けに関するエラーを修正する際には本手法で対処するといった，異なるタイプのエラーを扱うことのできる柔軟かつ強力なハイブリッド知識修正システムの構築が可能となろう．
  通过将修正外延型错误的传统系统和本内涵型错误修正系统统一起来，在为了修正错误而能具体并便利地提供充分的正例、负例时，用传统外延型方法来处理，修正有关（外延无法观测的）定型错误时，用本方法来处理，这样就可以构筑能够处理不同类型错误的灵活且有力的混合知识修正系统。