- 型 (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 役 付き 【名】 负责职位;有职衔的人;负责人员(同やくづき)
- どちらの概念も『電車に乗車中は自粛すべき』という(常識的に考えれば)論理的に正しい内包的性質を有しており,それらは例えば,@equation_0@なる型付き変数を含むふたつの論理式で表現できる.2.
两个概念都有“电车内应当自律”这一(从常识性来考虑)合乎逻辑的正确内涵型性质,例如,他们可以用含有@equation_0@定型参数的两个逻辑表达式来表达。 - @equation_0@を知識ベース,@equation_1@を特殊化の対象となる型付き変数を含む節とした時,@equation_2@とすると,前章での議論から,次の2通りの候補生成手法が考えられる.
假定含有@equation_0@为知识库,@equation_1@为特殊化对象的定型参数的节时,如果@equation_2@,则根据前一章的讨论,有如下2种候补生成。 - 領域理論は,ある概念(ソートと呼ぶ)を用いて変数に型を指定することで,その変数が取り得る値を制約した型付き論理式からなり,各論理式はその型付けに用いられたソートが持つ内包的性質を記述したものと捉えることができる.
范围理论通过使用某种概念(称为种类)给参数指定类型,该参数由制约可得数值的定型逻辑表达式构成,可把各逻辑表达式理解为记述了具有用于定型的种类的内涵型性质的东西。 - つまり,C中の型付き変数X:sが@equation_0@に特殊化されたことにより,Xの取り得る値は@equation_1@中の個体のみに限定されるが,そこには,Cを用いる際に代入可能な個体はすべて含まれている.
也就是说,由于C中的定型参数X:s被@equation_0@特殊化了,所以X可以取的值只被限定为@equation_1@中的个体,其中包含了所有在利用C时可以代入的个体。 - ここで,AおよびBiは正リテラル,@equation_0@はこの節に出現するすべての変数,@equation_1@は変数@equation_2@がソート@equation_3@で型付けされていることを示す型付き変数である.
在此,A以及Bi是正常量,@equation_0@是在该节出现的所有参数,@equation_1@是参数@equation_2@是通过种类@equation_3@被定型的定型参数。 - 修正対象となる型付き変数X:sをボディに含む節@equation_0@に対して,拡張ソート@equation_1@を考えた時,前節までの議論で,sによる型付けを特殊化する際に用いるソート@equation_2@が,esに関するsの特殊化拡張ソートES(X:s)で定義されることを述べた.
对于在主体中包含修正对象的定型参数X:s的节@equation_0@,在考虑扩张种类@equation_1@时,在上节的讨论中阐述了将s定型参数特殊化时使用的种类@equation_2@是由关于es的s的特殊化扩张种类ES(X:s)来定义的。 - ここでの代入(順序ソート代入)@equation_0@は@equation_1@なる形式で与えられ,各@equation_2@は,型付き変数@equation_3@(ただし,@equation_4@),あるいは,定数@equation_5@(ただし,@equation_6@)のいずれかでなければならない.
这里的代换(顺序种类代换)@equation_0@以@equation_1@的形式被给予,各个@equation_2@必须是定型参数@equation_3@(但是,@equation_4@),或者常量@equation_5@(但是,@equation_6@)之一。
Last modified time:Sun, 10 Aug 2025 00:29:56 GMT