意味 | 例文 (4件) |
正形論理式の英語
追加できません
(登録数上限)
英訳・英語 well‐formed formula
「正形論理式」の部分一致の例文検索結果
該当件数 : 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. - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
|
意味 | 例文 (4件) |
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |