小窓モード


プレミアム

ログイン
設定

設定

正形論理式の英語

ピン留め

追加できません

(登録数上限)

単語を追加

英訳・英語 well‐formed formula


JST科学技術用語日英対訳辞書での「正形論理式」の英訳

正形論理式


「正形論理式」の部分一致の例文検索結果

該当件数 : 4



例文

現在, 充足性(SAT)問題に関する活動的な研究領域は, 充足可能な論理(CNF)のの解を見いだすための効果的なアルゴリズムを設計することである.例文帳に追加

Presently, an active area of research on satisfiability (SAT) problem is to design efficient algorithms to find a solution for a satisfiable conjunctive normal form (CNF) formula.発音を聞く  - コンピューター用語辞典

決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン論理(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。例文帳に追加

The decision heuristic is based on the partitioning of a conjunctive normal form(CNF) of a Boolean formula corresponding to the Boolean satisfiability(SAT), and the portioning is induced by a separator set. - 特許庁

本発明は、交換可能な複数の記録媒体を扱う際に、ファイルシステム論理フォーマット)等が分からなくても、記録媒体個々の同一性、非同一性の識別を常にしく行うことができるコンピュータシステムを提供することを課題とする。例文帳に追加

To provide a computer system capable of always correctly identifying the identity and nonidentity of each of recording media even if a file system type (logical format type), etc., are unknown in handling a plurality of the exchangeable recording media. - 特許庁

例文

CDV削減アルゴリズムを実現するハードウェア論理回路の異常によって演算結果に異常が生じると、確なシェーピングが不可能になるという課題を克服するシェーピングアルゴリズム自己監視方を提供する。例文帳に追加

To provide a shaping algorithm self-monitoring system that can overcome a problem of disabling accurate shaping, on the occurrence of a fault in an arithmetic result due to the fault of a hardware logic circuit realizing a CDV(cell delay variation) reduction type algorithm. - 特許庁

>>例文の一覧を見る


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

クロスランゲージ 37分野専門語辞書での「正形論理式」の英訳

正形論理式


「正形論理式」の英訳に関連した単語・英語表現

正形論理式のページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
独立行政法人科学技術振興機構独立行政法人科学技術振興機構
All Rights Reserved, Copyright © Japan Science and Technology Agency
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

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

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

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

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

無料会員に登録する

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

ログイン

Weblio会員(無料)になると

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

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

無料会員に登録する

©2024 GRAS Group, Inc.RSS