論理項の英語

論理検証における検査項目であるプロパティを効率的に生成する論理検証方法を提供する。例文帳に追加

To provide a logic verification method that efficiently generates a property as an inspection item of logic verification. - 特許庁

論理式置換部１０３は、論理式入力部１０２で入力された論理式又は目的関数モデル化部１０１からの目的関数近似多項式の一部を置換変数にて置換する。例文帳に追加

A logical expression substitution unit 103 substitutes a part of a logical expression input by a logical expression input unit 102 or an objective function approximation polynomial from an objective function modeling unit 101 with a substitution variable. - 特許庁

入力手段２により漢字の部首、画数及び読みの検索条件を入力し、処理手段３で該入力した複数の部首、画数及び読みのそれぞれの論理和をとるとともに、それらの各論理和の項目の論理積をとり、該論理積に基づく検索条件により漢字の検索を行う。例文帳に追加

Retrieval conditions such as the radical of KANJI, number of strokes and reading are inputted by an input means 2, these inputted plural radical, number of strokes and reading are respectively ORed by a processing means 3, the items of these respective OR and ANDed and KANJI is retrieval on the retrieval conditions based on this AND. - 特許庁

論理方程式の項と利用できるプリミティブの間には1対1の関係がある例文帳に追加

There is a one-to-one relationship between the terms of logic equations and available primitives発音を聞く  - コンピューター用語辞典

...は回帰モデルの三つの型、すなわち、線形、多項式、および記号論理回帰を定義する。例文帳に追加

... defines three types of regression models: linear, polynomial, and logistic regression.発音を聞く  - コンピューター用語辞典

「プロジェクト」ウィンドウはプロジェクト内の重要な項目の論理ビューを示します。例文帳に追加

The Projects window provides a logical view of important project contents, whereas the Files window offers a representation of the entire project contents in a directory-basedview. - NetBeans

その後、測定項目毎に検量線良否判定論理を選択し、その判定値を設定する。例文帳に追加

Thereafter, the logic of judging the propriety of the calibration curve is selected per measuring item to set a judging value thereof. - 特許庁

そして、基準ページ決定部２０７は項目毎の先頭に位置する論理ページを基準論理ページと決定し、文書解析部２０５はデータを示すファイル名に対応づけて基準論理ページ毎に当該基準論理ページに連続する論理ページが順次連結されたデータ構成情報を生成する。例文帳に追加

Then, a reference page determining part 207 decides the logical page located at the head of each item as the reference logical page, and a document analysis part 205 generates the data configuration information in which logical pages consecutive to the reference logical pages and connected sequentially for each reference logical page are associated with the file name that shows data. - 特許庁