型付き中文是什么意思
日文发音:
用"型付き"造句"型付き"中国語の意味
中文翻译手机版
- 印有花纹,印花
- "型"中文翻译 (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 役 付き 【名】 负责职位;有职衔的人;负责人员(同やくづき)
例句与用法
- 本論文では,単純型付き項書換え系の停止性証明法を提案する。
本论文提出了附带简单型项重写系统的停止性证明法。 - Uの中の変数は,ブール値や整数などのような型付きである.
U当中的变速,可以追加人造刚玉值整数等等的类型。 - 型付き論理式は,その型付けに用いられたソートの内包的性質を与えていると考えられる.
可以认为定型逻辑表达式给予用于其定型的种类的内涵型性质。 - 単純型付き項書換え系における停止性の自動証明
附带简单型项重写系统的停止性的自动证明 - いま,es中のある型付き変数X:sに注目し,それ以外の変数は,すべて存在限定されているとする.
现在,注意es中某一定型参数X:s,假定此外的参数全部受到存在限制。 - 以下では簡単のため,すべての全称限量子を省略し,型付き変数はその節中の最初の出現位置に明記する.
以下为了简洁,省略了所有的全称计量器,定型参数明确标记在该节中最开始的出现位置。 - Shineは具体的にはJava☆のようにネットワークを利用できる型付き手続き型プログラミング言語で実装される.
具体的,Shine利用像Java☆这样可以利用网络的程序设计进行安装。 - 修正対象となる一般的過ぎる型付き変数X:sをボディに含む節Cを@equation_0@とする.
假定在主体中含有作为修正对象的过于一般的定型参数X:s的节C为@equation_0@。 - 本知識修正手法において最もコストが掛かるのは,型付き変数を特殊化するために用いる特殊化拡張ソートの計算である.
在本知识修正方法中,最耗费成本的是,为将定型参数特殊化而采用的特殊化扩张种类的计算。 - 単純型付き項書換え系は,山田(RTA’01,2001)によって提案された,高階関数を利用できる項書換え系である。
附带简单型项重写系统是由山田(RTA’01,2001)所提出的,可利用高层函数的项重写系统。