型付き中文什么意思

• 印有花纹，印花

• 型:    （1）鋳型.型.枠. 砂型／砂型. （2）（特徴を示す）型.類型.タイ...
• 付き:    つき5 2 付き;附 【名】 附着;黏;(火)着;燃烧;配合;调和;人...
• 型付け:    印花
• 型付植法:    かたつけうえほう划线移栽法。
• 付き:    つき5 2 付き;附 【名】 附着;黏;(火)着;燃烧;配合;调和;人缘;风采;相貌

例句与用法

1. 本論文では，単純型付き項書換え系の停止性証明法を提案する。
   本论文提出了附带简单型项重写系统的停止性证明法。
2. Ｕの中の変数は，ブール値や整数などのような型付きである．
   Ｕ当中的变速，可以追加人造刚玉值整数等等的类型。
3. 型付き論理式は，その型付けに用いられたソートの内包的性質を与えていると考えられる．
   可以认为定型逻辑表达式给予用于其定型的种类的内涵型性质。
4. 単純型付き項書換え系における停止性の自動証明
   附带简单型项重写系统的停止性的自动证明
5. いま，ｅｓ中のある型付き変数Ｘ：ｓに注目し，それ以外の変数は，すべて存在限定されているとする．
   现在，注意ｅｓ中某一定型参数Ｘ：ｓ，假定此外的参数全部受到存在限制。