小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > 日英・英日専門用語 > correctness of programの意味・解説 

correctness of programとは 意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 プログラムの正確さ


日英・英日専門用語辞書での「correctness of program」の意味

correctness of program


「correctness of program」の部分一致の例文検索結果

該当件数 : 14



例文

Partial correctness of a program S with respect to input assertion p and output assertion q is usually denoted: ...発音を聞く 例文帳に追加

入力表明pと出力表明qに関するプログラムSの部分的正確性は、通常...のように示される。 - コンピューター用語辞典

Consequently, the system and method for evaluating the correctness of program traces are disclosed.例文帳に追加

従って、本明細書では、プログラム・トレースの正しさを評価するためのシステム及び方法を開示する。 - 特許庁

To provide a computer system that safely spreads a program, even if failed in updating, in the system for performing software remote updating during system stop, and for inspecting correctness of a program at start-up of the system.例文帳に追加

システム停止時のソフトウェアリモート更新と、システム起動時のプログラムの正当性検査を行うシステムにおいて、更新処理が失敗した場合でもプログラムを安全に普及可能なコンピューターシステムを提供する。 - 特許庁

To provide a data format checker capable of automatically judging propriety of a format of data to be used in a program irrespective of presence/ absence and correctness/incorrectness of a comment sentence and a storage medium to constitute the checker.例文帳に追加

コメント文の有無や正否に関わらず、プログラム中で使用されるデータに対してその書式の適否を自動的に判断することのできるデータ書式チェック装置、及び、その装置を構成するための記憶媒体の提供。 - 特許庁

When detecting watermark information, in order to insist correctness of detection processing, a detection program is then disclosed and the detection processing is performed on a public site, so that anyone can verify presence/no presence of the watermark information.例文帳に追加

次に、透かし情報を検出するに当たり、その検出処理の正当性を主張するために、検出プログラムを公開し、公開の場で検出処理を行なうことによって、誰でもその透かし情報の有無を検証できるようにする。 - 特許庁

To provide an electronic seal impression system, which permits visual presentment of an electronic signature and confirmation of correctness, and a recording medium which records an electronic seal impression program.例文帳に追加

電子署名の視覚的表現と正当性の確認を可能とした電子印鑑システム及び電子印鑑プログラムを記録した記録媒体の提供。 - 特許庁

例文

To provide an information verification device, an information verification program and an information verification method which can verify the correctness of the information of image data extracted based on any extraction condition.例文帳に追加

何らかの抽出条件に基づいて抽出された画像データ等の情報の正誤を検証する情報検証装置、情報検証プログラムおよび情報検証方法を実現する。 - 特許庁

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

クロスランゲージ 37分野専門語辞書での「correctness of program」の意味

correctness of program


「correctness of program」の部分一致の例文検索結果

該当件数 : 14



例文

The data broadcast receiver obtains errors in extracted data selected from a received data broadcast program through communication, displays its information, acquires correct data and allows a user to discriminate the correctness of the acquired data.例文帳に追加

受信したデータ放送から選択して得られる抽出データの誤りを通信により得て、その情報を表示するとともに正しいデータを取得し、取得したデータの正しさを使用者に判断させる。 - 特許庁

COMPUTER MOUNTING METHOD, SYSTEM AND COMPUTER PROGRAM, FOR VERIFYING CORRECTNESS OF EXECUTION HISTORY INCLUDING MULTIPLE OPERATIONS OPERATED IN PARALLEL TO DATA STRUCTURE例文帳に追加

データ構造に対し並列に実行される複数の動作を含む、実行履歴の正しさを検証するためのコンピュータ実装方法、システム及びコンピュータ・プログラム - 特許庁

To provide a computer mounting method, system and computer program for verifying correctness of execution history including multiple operations operated in parallel to a data structure.例文帳に追加

データ構造に対し並列に実行される複数の動作を含む、実行履歴の正しさを検証するためのコンピュータ実装方法、システム及びコンピュータ・プログラムを提供する。 - 特許庁

To provide a radio communication system, radio link terminating device, server, method for determining correctness of an installation place of the radio link terminating device, program for the radio link terminating device and program for the server which enable whether the radio link terminating device is installed at a correct place to be determined regardless of whether the radio link terminating device is installed indoors or outdoors.例文帳に追加

屋内に設置されているか屋外に設置されているかに関わらず、無線リンク終端装置が正当な場所に設置されているか否かの判定を、簡単に行える無線通信システム、無線リンク終端装置、サーバ、無線リンク終端装置の設置場所の正当性を判定する方法、無線リンク終端装置のプログラム、サーバのプログラムを提供する。 - 特許庁

To provide a signature generating system, a signature generating method and a program by which a relationship between a creator of original contents and a creator, who creates contents through secondary utilization of the original contents, is represented and when verifying correctness of a signature of the creator of contents, a load on a key issuing institution is reduced.例文帳に追加

オリジナルコンテンツの作成者と、このオリジナルコンテンツを二次利用してコンテンツを作成した作成者と、の関係を表すことができ、かつ、コンテンツの作成者の署名の正当性を検証する際の鍵発行機関の負荷を軽減できる署名生成システム、所定生成方法、およびプログラムを提供すること。 - 特許庁

To provide communication control apparatus and a communication control method for avoiding the attack to exhaust the resources by an ill-intentioned third person by verifying the correctness of a transmitting source to restrict an improper connection request in communication using an IPv6 address, and to provide a server with communication control, a communication control method by the server with communication control, and a communication control program.例文帳に追加

IPv6アドレスを用いた通信において、送信元の正当性を検証し不適切な接続要求を制限することにより悪意の第三者による資源枯渇の攻撃を回避する為の通信制御装置、通信制御方法、通信制御付サーバ装置、通信制御付サーバ装置による通信制御方法及び通信制御プログラムを提供する。 - 特許庁

例文

To provide a verification support device and a computer program, which detects a recognition object section which is an object of recognition processing, in an output data for outputting a moving image and/or sound, and which supports correctness verification operation for a speech recognition result on a unit data which is an output data for each detected recognition object section.例文帳に追加

動画及び/又は音を出力させる出力データに対し、認識処理の対象となる認識対象区間を検出し、検出した認識対象区間毎の出力データである単位データについてなされた認識処理の結果に対する正誤確認作業を支援する確認支援装置及びコンピュータプログラムを提供する。 - 特許庁

>>例文の一覧を見る

correctness of programのページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
日中韓辭典研究所日中韓辭典研究所
Copyright © 2024 CJKI. All Rights Reserved
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS