型付け中文是什么意思

• 印花

• "型"中文翻译    （1）鋳型.型.枠. 砂型／砂型. （2）（特徴を示す）型.類型.タイ...
• "付け"中文翻译    つけ1 2 付け 【名】 ("つける"的名词形)帐单(同勘定書き);赊...
• "型付き" 中文翻译 :    印有花纹，印花
• "型付植法" 中文翻译 :    かたつけうえほう划线移栽法。
• "付け" 中文翻译 :    つけ1 2 付け 【名】 ("つける"的名词形)帐单(同勘定書き);赊帐 【接尾】 (接动词连用形下)经常...;习惯...(同いつも...しなれた) つけ2 2 付け 【接助】 有关...也好;...也罢...(同...の場合も)
• "-付ける" 中文翻译 :    ime-jidukeru イメージづける 给予印象jǐyǔ yìnxiàng,赋予fùyǔ印象. $手をかえ品をかえて消費者に-付ける／使用各种各样的方法使消费者xiāofèizhě加深jiāshēn印象.
• "丁付け" 中文翻译 :    ちょうづけ1 04 丁 付け 【名】 编页码
• "仕付け" 中文翻译 :    しつけ1 0 仕付け 【名】 【自サ】 (缝纫)假缝线;插秧;出嫁;外出工作;着手;做惯 しつけ2 0 仕付け 【名】 教育;教养;管教;训练
• "付ける" 中文翻译 :    つける4 2 着ける;付ける 【他下一】 安装上;挂上;插上;穿上;佩带(同着用する);写上;记上(同書き記す);定(价);出(价)(同きめる);抹上;涂上;跟在...后面;附加;添加;打(分);起(名)(同定める);养成(习惯);取得(谅解);解决(纠纷)
• "付け人" 中文翻译 :    つけびと 2 付け人 【名】 随从的人;跟随服侍的人;监视人
• "付け値" 中文翻译 :    つけね2 20 付け値 【名】 出价
• "付け句" 中文翻译 :    接连前句的句，接句
• "付け台" 中文翻译 :    柜台
• "付け所" 中文翻译 :    つけどころ 0 付け所 【名】 着(眼,手)处
• "付け文" 中文翻译 :    つけぶみ 2 付け文 【名】 【他サ】 情书;寄情书
• "付け木" 中文翻译 :    引火木条
• "付け札" 中文翻译 :    标签，签条
• "付け柱" 中文翻译 :    壁柱，半露柱
• "付け根" 中文翻译 :    つけね1 03 付け根 【名】 根
• "付け毛" 中文翻译 :    tukege つけげ →ヘア?ピース
• "付け火" 中文翻译 :    つけび 2 付け火 【名】 放火(同ほうか)
• "付け瓜" 中文翻译 :    假指甲
• "付け目" 中文翻译 :    つけめ 3 付け目 【名】 目的;目标(同めあて;ねらい);可乘之机;可利用的弱点
• "付け紙" 中文翻译 :    附签，疑问签，飞签，浮签
• "付け薬" 中文翻译 :    つけぐすり 3 付け薬 【名】 外用药;涂敷药

• 今後の重要な課題として，一般的過ぎる型付けが複数ある場合の修正処理の考察が挙げられる．
  今后的课题是考察有多个过于一般的定型时的修正处理。
• 型付き論理式は，その型付けに用いられたソートの内包的性質を与えていると考えられる．
  可以认为定型逻辑表达式给予用于其定型的种类的内涵型性质。
• 特に従来のＡＰＩ関数呼び出しやメソッド呼び出しは，Ｉ／Ｆを強く型付けする傾向にある．
  特别是原有的ＡＰＩ函数激发和方式激发更有倾向把Ｉ／Ｆ强力定型。
• 以上のことから，本稿で扱う内包的エラーの実体は，知識の一般的過ぎる型付けであると定める．
  由上可知，本文所处理的内涵型错误的实体，是知识的过于一般的定型。
• ここでの修正目標は，Ｃの持つ論理的意味を失わないまま，ｓによる型付けを特殊化することである．
  这里的修正目标是在不失去Ｃ的逻辑意义的情况下，将ｓ的定型特殊化。
• こうした型付けにより，Ｘｊの取り得る具体的な値は，ｓｊに属する個体（定数）に制限されるものとする．
  根据这些定型，Ｘｊ的可取得具体数值被限定在属于ｓｊ的个体（常量）中。
• すなわち，コップによる一般的過ぎる知識の型付けが原因で，一部の部分概念に対して知識の冗長性が生じている．
  即，原因是对杯子的知识定型过于一般，所以导致对于一些部分概念产生了知识的冗长性。
• Ｓによる型付けを特殊化する際に用いる＠ｅｑｕａｔｉｏｎ＿０＠は，こうしたＥＳにより定義されるソート概念である．
  将ｓ定型进行特殊化时使用的＠ｅｑｕａｔｉｏｎ＿０＠是根据ＥＳ来定义的种类概念。
• 前章で述べた通り，この型付けを修正するためには，ｓの特殊化ソート＠ｅｑｕａｔｉｏｎ＿０＠を同定する必要がある．
  正如前一章所述，要修正该定型，必须辨别ｓ的特殊化种类＠ｅｑｕａｔｉｏｎ＿０＠。
• これまでの議論に従った修正により，Ｃ中のｓによる型付けが，＠ｅｑｕａｔｉｏｎ＿０＠による型付けに特殊化されている．
  根据前面的讨论得出的修正，ｃ中的ｓ的定型被＠ｅｑｕａｔｉｏｎ＿０＠的定型特殊化了。