型付け造句
- 今後の重要な課題として，一般的過ぎる型付けが複数ある場合の修正処理の考察が挙げられる．
今后的课题是考察有多个过于一般的定型时的修正处理。 - 型付き論理式は，その型付けに用いられたソートの内包的性質を与えていると考えられる．
可以认为定型逻辑表达式给予用于其定型的种类的内涵型性质。 - 特に従来のＡＰＩ関数呼び出しやメソッド呼び出しは，Ｉ／Ｆを強く型付けする傾向にある．
特别是原有的ＡＰＩ函数激发和方式激发更有倾向把Ｉ／Ｆ强力定型。 - 以上のことから，本稿で扱う内包的エラーの実体は，知識の一般的過ぎる型付けであると定める．
由上可知，本文所处理的内涵型错误的实体，是知识的过于一般的定型。 - ここでの修正目標は，Ｃの持つ論理的意味を失わないまま，ｓによる型付けを特殊化することである．
这里的修正目标是在不失去Ｃ的逻辑意义的情况下，将ｓ的定型特殊化。 - こうした型付けにより，Ｘｊの取り得る具体的な値は，ｓｊに属する個体（定数）に制限されるものとする．
根据这些定型，Ｘｊ的可取得具体数值被限定在属于ｓｊ的个体（常量）中。 - すなわち，コップによる一般的過ぎる知識の型付けが原因で，一部の部分概念に対して知識の冗長性が生じている．
即，原因是对杯子的知识定型过于一般，所以导致对于一些部分概念产生了知识的冗长性。 - ｓによる型付けを特殊化する際に用いる＠ｅｑｕａｔｉｏｎ＿０＠は，こうしたＥＳにより定義されるソート概念である．
将ｓ定型进行特殊化时使用的＠ｅｑｕａｔｉｏｎ＿０＠是根据ＥＳ来定义的种类概念。 - 前章で述べた通り，この型付けを修正するためには，ｓの特殊化ソート＠ｅｑｕａｔｉｏｎ＿０＠を同定する必要がある．
正如前一章所述，要修正该定型，必须辨别ｓ的特殊化种类＠ｅｑｕａｔｉｏｎ＿０＠。 - これまでの議論に従った修正により，Ｃ中のｓによる型付けが，＠ｅｑｕａｔｉｏｎ＿０＠による型付けに特殊化されている．
根据前面的讨论得出的修正，ｃ中的ｓ的定型被＠ｅｑｕａｔｉｏｎ＿０＠的定型特殊化了。 - 用型付け造句挺难的，這是一个万能造句的方法
- これまでの議論に従った修正により，Ｃ中のｓによる型付けが，＠ｅｑｕａｔｉｏｎ＿０＠による型付けに特殊化されている．
根据前面的讨论得出的修正，ｃ中的ｓ的定型被＠ｅｑｕａｔｉｏｎ＿０＠的定型特殊化了。 - 上述した通り，条件（１）により，ＥＳによる型付けの特殊化操作は，もとの知識の論理的意味には影響を及ぼさないことが保証される．
如上所述，根据条件（１），ＥＳ定型的特殊化操作保证不会对原来的知识逻辑意义产生影响。 - このことが原因による望ましくない類似性の検出を抑制するために，本稿では，一般的過ぎる型付けの特殊化により内包的性質の修正を試みる．
为了消除由此导致的不令人满意的相似性检查，本文将通过对过度一般化定型的特殊化来尝试内涵型性质的修正。 - さらに，構造リフレクションによって，クラスの親子関係が動的に変化しうるとすると，Ｊａｖａ言語の静的な型付けシステムは意味をなさなくなってしまう．
并且，根据结构反射，如果类的母子关系会动态地发生变化的话，则Ｊａｖａ语言的静态造型系统便失去了意义。 - ソートの内包的性質は，そのソートで型付けされた知識により定まることから，知識ベースの内包的エラーの実体として，ここでは，知識の型付けに関する不具合を考える．
由于种类的内涵型性质是用其种类被定型的知识来规定的，作为知识库内涵型错误的实体，在此我们认为是有关知识定型的缺点。 - ソートの内包的性質は，そのソートで型付けされた知識により定まることから，知識ベースの内包的エラーの実体として，ここでは，知識の型付けに関する不具合を考える．
由于种类的内涵型性质是用其种类被定型的知识来规定的，作为知识库内涵型错误的实体，在此我们认为是有关知识定型的缺点。 - ＳＩＥＮＡは厳密に型付けされたイベントとｐａｔｔｅｒｎと呼ばれるイベントのマッチングルールにより，複数の仲介者にわたってイベントのルーティングを動的に行うことが可能である．
ＳＩＥＮＡ严格遵守印花事件和被称为ｐａｔｔｅｒｎ调用事件的匹配规则，使得对涉及多个媒介且动态执行事件的路径成为可能。 - そこでは，これまでの外延的アプローチでは扱うことが出来ない内包的エラーのひとつである知識の一般的過ぎる型付けを，特殊化拡張ソートを計算することにより適切な型付けに修正する．
在此，通过计算特殊化扩张种类，来修正以往的外延型方法无法处理的内涵型错误之一即知识的过于一般的定型，使之成为适当的定型。 - そこでは，これまでの外延的アプローチでは扱うことが出来ない内包的エラーのひとつである知識の一般的過ぎる型付けを，特殊化拡張ソートを計算することにより適切な型付けに修正する．
在此，通过计算特殊化扩张种类，来修正以往的外延型方法无法处理的内涵型错误之一即知识的过于一般的定型，使之成为适当的定型。 - まず，ｃｕｐにより型付けされた変数をボディに含むＴ（Ｇ）中の節Ｃ＝ｉｎｃｏｍｂｕｓｔｉｂｌｅ（Ｘ：ｃｕｐ）ｍａｄｅｏｆ（Ｘ：ｃｕｐ，Ｙ：ｍｅｔａｌ）を取り出す．
首先，抽出包含在Ｔ（Ｇ）主体中被ｃｕｐ定型的参数的节Ｃ＝ｉｎｃｏｍｂｕｓｔｉｂｌｅ（Ｘ：ｃｕｐ）ｍａｄｅ ｏｆ（Ｘ：ｃｕｐ，Ｙ：ｍｅｔａｌ）。
手机版