constitutivenessとは 意味・読み方・使い方

To improve a circuit definition by a symbol algorithm easy to mount to an arbitrary finite type variable based on new formulation and an easy definition (Constructivity-SAT) of non-calculation type constitutiveness.例文帳に追加

簡単な、非計算的な構成性の定義（Constructivity-SAT）と、新しい定式化に基づく、任意の有限型の変数に対して実装が簡単な記号アルゴリズムとによって、回路定義を改善する。 - 特許庁

By easy conversion, it is shown that the constitutiveness can be reformulated as satisfiability of an equation set derived from the definition related to a variable type expanded by a value ⊥ (read 'bottom').例文帳に追加

簡単な変換によって、値⊥（「ボトム」と読む）で拡張された変数型に関する、定義から導出された方程式集合の充足可能性として、構成性を再定式化することができることが示される。 - 特許庁