述語論理の英語

ある種のループ（WHILE..DOやREPEAT）においては、ループ・インデックスはないが、論理述語の一つであるループ述語がある。例文帳に追加

In certain kinds of loops (WHILE..DO and REPEAT), there is no loop index, but a loop predicate that is a logical predicate.発音を聞く  - コンピューター用語辞典

n個の属性の論理積t個の論理和についての述語論理に関する属性ベクトル及び述語ベクトルのそれぞれの次元数をt+1にする技術を提供する。例文帳に追加

To provide a technology of setting each dimensionality of an attribute vector and a predicate vector on predicate logic for the logical sum of t logical products of n attributes to t+1. - 特許庁

形式論理学において,全称肯定命題という,主語のすべてが述語のすべてに含まれる命題例文帳に追加

a universal proposition that affirms something of all members of a class, called universal affirmation発音を聞く  - EDR日英対訳辞書

論理学において,判断の主語と述語の関係が必然性をもつことを表す判断例文帳に追加

in logic, a conclusion that represents the inevitable complementary relation between a subject and its predicate adjective or objective発音を聞く  - EDR日英対訳辞書

繋辞という,論理学における命題の主語と述語との関係をあらわす語例文帳に追加

a word in ethics that shows the relationship between the subject and predicate, called copula発音を聞く  - EDR日英対訳辞書

本構成により、述語論理学習器の処理負担を軽減した効率的なルール生成が可能となる。例文帳に追加

This configuration allows efficient rule generation with a processing burden reduced on the predicate logic learning apparatus. - 特許庁

変換手段１３は、条件を記述した述語論理を、ＤＮＦ標準形に変換する。例文帳に追加

A conversion means 13 converts a predicate logic describing the condition into a DNF (Disjunctive Normal Form) standard form. - 特許庁

述語論理式作成装置、会計仕訳ルール作成装置、会計仕訳装置、述語論理式作成プログラム、会計仕訳ルール作成プログラム、及び、会計仕訳プログラム例文帳に追加

PREDICATE LOGIC FORMULA CREATION DEVICE, SUMMARY JOURNALIZING RULE CREATION DEVICE, SUMMARY JOURNALIZING DEVICE, PREDICATE LOGIC FORMULA CREATION PROGRAM, SUMMARY JOURNALIZING RULE CREATION PROGRAM AND SUMMARY JOURNALIZING PROGRAM - 特許庁