provablyを含む例文一覧と使い方
該当件数 : 8件
METHOD AND SYSTEM FOR AUTOMATICALLY GENERATING PROVABLY CORRECT COMPUTER PROGRAM CODE例文帳に追加
正当性証明可能なコンピュータプログラムコードを自動的に生成するための方法およびシステム - 特許庁
This provably correct computer program is generated using genetic programming techniques.例文帳に追加
正当性証明可能なコンピュータプログラムは、遺伝的プログラミング技術を用いて生成する。 - 特許庁
To provide a secure password-only mutual network authentication protocol which is provably secure.例文帳に追加
安全であることが証明可能な、安全な、パスワードのみによる相互ネットワーク認証プロトコルを提供する。 - 特許庁
Any program having a zero value as the measure of distance between the meaning of the program and the specification is determined to be provably correct.例文帳に追加
プログラムの意味と仕様との間の距離の値がゼロのプログラムが定められ、正当性証明可能なプログラムとなる。 - 特許庁
To provide a data recording device and a data recording method capable of recording acquired plant data objectively provably.例文帳に追加
取得したプラントデータを客観的に証明し得るように記録可能なデータ記録装置およびデータ記録方法を提供すること。 - 特許庁
However, provably because he was a descendant of an emperor's vassal and his prowess made it impossible to execute exile, there is no evidence of his following the order. 例文帳に追加
しかし王臣子孫であり、かつ秀郷の武勇が流罪の執行を不可能としたためか服命した様子は見受けられない。 - Wikipedia日英京都関連文書対訳コーパス
To provide a method and system for evolving a program to the program suitable for specifications, namely, the provably correct program using formal specifications and evolutional algorithm in which desired behaviors of the program is defined.例文帳に追加
プログラムの所望の振る舞いを定義した形式仕様および進化的アルゴリズムを用いて、プログラムを仕様に合った、即ち正当性証明可能なプログラムに進化させる方法およびシステムを提供する。 - 特許庁
After the fitness of some or all of the programs in the current generation of programs has been computed, when a provably correct program has not yet been found in the current generation, mutation and/or crossover techniques are performed on at least some of the fittest individuals in the current generation to create the programs of a next generation.例文帳に追加
現在のプログラム世代のうちいくつか、またはすべてのプログラムの適合度を計算した後、現在の世代に正当性証明可能なプログラムが見つからない場合、現在の世代におけるもっとも適合度の高い個別のプログラムの少なくとも一部に突然変異および／または交差技法が実施され、次のプログラム世代を作成する。 - 特許庁
| Copyright © Japan Patent office. All Rights Reserved. |
| 本サービスで使用している「Wikipedia日英京都関連文書対訳コーパス」はWikipediaの日本語文を独立行政法人情報通信研究機構が英訳したものを、Creative Comons Attribution-Share-Alike License 3.0による利用許諾のもと使用しております。詳細はhttp://creativecommons.org/licenses/by-sa/3.0/ および http://alaginrc.nict.go.jp/WikiCorpus/ をご覧下さい。 |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|