型付き中文是什么意思

日文发音:

中文翻译
造句

印有花纹，印花

型（1）鋳型.型.枠. 砂型／砂型. （2）（特徴を示す）型.類型.タイ...
付きつき5 2 付き;附【名】附着;黏;(火)着;燃烧;配合;调和;人...
型付け印花
型付植法かたつけうえほう划线移栽法。
付きつき5 2 付き;附【名】附着;黏;(火)着;燃烧;配合;调和;人缘;风采;相貌
お付き随从
に付き每；按；由；经借；凭；每一
上付き上标
人付きひとづき 0 人付き【名】 (平素)交往;交际;人缘(同他人の気受け)
付き人つきびと 0 付き人【名】 (艺人等的)跟随的人;服侍的人
付き物つきもの1 2 付き物【名】附属物;离不开的东西;避免不了的事情;菜肴;副食
付き者つきもの2 2 付き者【名】随从;服侍者(同つきそい);纠缠者(同つきまとうもの)
体付きからだつき 03 体付き【名】体格;体形
値付きねつき1 0 値付き【名】价钱谈妥买卖成交
利付き付息，附有息票
口付きくちつき 0 口付き【名】嘴形;口形;语气;口气;马夫;带纸烟嘴
地付き土生土长，旧有，当地产
墨付きすみつき 24 墨付き【名】着墨的程度;笔迹;下行公文上盖的黑色官印
家付き原来一直住在某家，带房子
寝付きねつき2 0 寝付き【名】入睡;睡着(同ねつくこと)
就き?付き tuki つき（1）〔…に関して〕就jiù,关于guānyú. $この点に就き?付き／关于〔就〕这（一）点. $方法に就き?付き相談したい／想就方法进行商谈. （2）〔…ゆえに〕因为yīnwèi. $雨天に就き?付き中止／因雨停止. $改装に就き?付き休業いたします／因改装停止营业. （3）〔ごとに〕每（一）měi（yī）. $1ダースに就き?付き100円／每打dá一百日元. $ひとりに就き?付き三つ／每（个）人三个.?ついて
尻付きしりつき 2 尻付き【名】臀部的样子;追随(别人屁股后)
巻付きまきつき卷缠。(轧制)缠辊现象。
座付き专属于某一剧团
役付きやくづき 0 役付き【名】负责职位;有职衔的人;负责人员やくつき 0 役付き【名】负责职位;有职衔的人;负责人员(同やくづき)

例句与用法

本論文では，単純型付き項書換え系の停止性証明法を提案する。
本论文提出了附带简单型项重写系统的停止性证明法。
Ｕの中の変数は，ブール値や整数などのような型付きである．
Ｕ当中的变速，可以追加人造刚玉值整数等等的类型。
型付き論理式は，その型付けに用いられたソートの内包的性質を与えていると考えられる．
可以认为定型逻辑表达式给予用于其定型的种类的内涵型性质。
単純型付き項書換え系における停止性の自動証明
附带简单型项重写系统的停止性的自动证明
いま，ｅｓ中のある型付き変数Ｘ：ｓに注目し，それ以外の変数は，すべて存在限定されているとする．
现在，注意ｅｓ中某一定型参数Ｘ：ｓ，假定此外的参数全部受到存在限制。
以下では簡単のため，すべての全称限量子を省略し，型付き変数はその節中の最初の出現位置に明記する．
以下为了简洁，省略了所有的全称计量器，定型参数明确标记在该节中最开始的出现位置。
Ｓｈｉｎｅは具体的にはＪａｖａ☆のようにネットワークを利用できる型付き手続き型プログラミング言語で実装される．
具体的，Ｓｈｉｎｅ利用像Ｊａｖａ☆这样可以利用网络的程序设计进行安装。
修正対象となる一般的過ぎる型付き変数Ｘ：ｓをボディに含む節Ｃを＠ｅｑｕａｔｉｏｎ＿０＠とする．
假定在主体中含有作为修正对象的过于一般的定型参数Ｘ：ｓ的节Ｃ为＠ｅｑｕａｔｉｏｎ＿０＠。
本知識修正手法において最もコストが掛かるのは，型付き変数を特殊化するために用いる特殊化拡張ソートの計算である．
在本知识修正方法中，最耗费成本的是，为将定型参数特殊化而采用的特殊化扩张种类的计算。
単純型付き項書換え系は，山田（ＲＴＡ’０１，２００１）によって提案された，高階関数を利用できる項書換え系である。
附带简单型项重写系统是由山田（ＲＴＡ’０１，２００１）所提出的，可利用高层函数的项重写系统。