型付け中文是什么意思

• また，詳細は後に議論するが，本稿で扱う知識ベースは，その特殊な具体例として論理プログラムを含むものであり，そこでは，これらエラーに加え，変数の型付けに関する内包的エラーも考えられる．
  另外，后文会有详细的讨论，本文中使用的知识库包含了作为其特殊具体例子的逻辑拟定程序，再加上这些错误，还会有关于参数定型的内涵型错误。
• よって，ここでの修正とは，もとの知識の論理的意味を変えることなく，その型付けに用いられたソートを特殊化し，その特殊化ソートでもとの型付けを置き換える操作，つまり，型付けの特殊化を意味する．
  因此，这里的修正指的是，不改变原来的知识逻辑意义，将用于定型的种类特殊化，并在该特殊化种类上替换原来的定型，即，定型的特殊化。
• よって，ここでの修正とは，もとの知識の論理的意味を変えることなく，その型付けに用いられたソートを特殊化し，その特殊化ソートでもとの型付けを置き換える操作，つまり，型付けの特殊化を意味する．
  因此，这里的修正指的是，不改变原来的知识逻辑意义，将用于定型的种类特殊化，并在该特殊化种类上替换原来的定型，即，定型的特殊化。
• よって，ここでの修正とは，もとの知識の論理的意味を変えることなく，その型付けに用いられたソートを特殊化し，その特殊化ソートでもとの型付けを置き換える操作，つまり，型付けの特殊化を意味する．
  因此，这里的修正指的是，不改变原来的知识逻辑意义，将用于定型的种类特殊化，并在该特殊化种类上替换原来的定型，即，定型的特殊化。
• データ表現変換器データ表現変換器では，整数や浮動小数点などの型付けされたデータの表現方法とバイトオーダーの変換，および表現能力（サイズ）の違いから起こるデータ間の相対位置の変化に対する処理を実現する必要がある．
  数据表现转换妻数据表现转换器当中，有必要实现对于整数、浮动小数点等等的数据的表现方法和站点顺序的转变以及表现能力（大小）的不同引起的数据间的相对位置变化的处理。
• 領域理論は，ある概念（ソートと呼ぶ）を用いて変数に型を指定することで，その変数が取り得る値を制約した型付き論理式からなり，各論理式はその型付けに用いられたソートが持つ内包的性質を記述したものと捉えることができる．
  范围理论通过使用某种概念（称为种类）给参数指定类型，该参数由制约可得数值的定型逻辑表达式构成，可把各逻辑表达式理解为记述了具有用于定型的种类的内涵型性质的东西。
• 詳しい議論は後の章に譲るが，電話の例を用いて簡単に述べると，もとの知識の外延に変化をもたらさないｐｈｏｎｅの特殊化（詳細化）ソートｐｈｏｎｅαを同定し，もとの知識の型付けをｐｈｏｎｅαによる型付けに変更する．
  详细讨论将在后面的章节进行叙述，用电话的例子简单来说就是，鉴别不给原来的知识外延带来变化的ｐｈｏｎｅ的特殊化（详细化）种类ｐｈｏｎｅα，并将原来的知识定型改变为ｐｈｏｎｅ的定型。
• 詳しい議論は後の章に譲るが，電話の例を用いて簡単に述べると，もとの知識の外延に変化をもたらさないｐｈｏｎｅの特殊化（詳細化）ソートｐｈｏｎｅαを同定し，もとの知識の型付けをｐｈｏｎｅαによる型付けに変更する．
  详细讨论将在后面的章节进行叙述，用电话的例子简单来说就是，鉴别不给原来的知识外延带来变化的ｐｈｏｎｅ的特殊化（详细化）种类ｐｈｏｎｅα，并将原来的知识定型改变为ｐｈｏｎｅ的定型。
• その結果，αはコップの下位概念であり，なおかつ『金属性のコップ』の上位概念となることから，＠ｅｑｕａｔｉｏｎ＿０＠を用いて型付けを特殊化しても式（４）の論理的意味は保存される，すなわち，修正前後の外延的等価性が保証される．
  结果，α是杯子的下级概念，并且是“金属性的杯子”上级概念，所以即使利用＠ｅｑｕａｔｉｏｎ＿０＠将定型特殊化，式（４）的逻辑意义也能被保存，即，保证了修正前后的外延型等价性。
• ここで，ＡおよびＢｉは正リテラル，＠ｅｑｕａｔｉｏｎ＿０＠はこの節に出現するすべての変数，＠ｅｑｕａｔｉｏｎ＿１＠は変数＠ｅｑｕａｔｉｏｎ＿２＠がソート＠ｅｑｕａｔｉｏｎ＿３＠で型付けされていることを示す型付き変数である．
  在此，Ａ以及Ｂｉ是正常量，＠ｅｑｕａｔｉｏｎ＿０＠是在该节出现的所有参数，＠ｅｑｕａｔｉｏｎ＿１＠是参数＠ｅｑｕａｔｉｏｎ＿２＠是通过种类＠ｅｑｕａｔｉｏｎ＿３＠被定型的定型参数。