繁體版 English 日本語
登录 注册

型付き中文是什么意思

日文发音:  
用"型付き"造句"型付き"中国語の意味

中文翻译手机手机版

  • 印有花纹,印花

例句与用法

  • 本論文では,単純型付き項書換え系の停止性証明法を提案する。
    本论文提出了附带简单型项重写系统的停止性证明法。
  • 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)所提出的,可利用高层函数的项重写系统。
  • 更多例句:  1  2  3
用"型付き"造句  
型付き的中文翻译,型付き是什么意思,怎么用汉语翻译型付き,型付き的中文意思,型付き的中文型付き in Chinese型付き的中文,发音,例句,用法和解释由查查日语词典提供,版权所有违者必究。
日语→汉语 汉语→日语