conjunctive formとは 意味・読み方・使い方

CIRCUIT CONJUNCTIVE NORMAL FORM GENERATION METHOD, CIRCUIT CONJUNCTIVE NORMAL FORM GENERATION DEVICE, HAZARD CHECK METHOD AND HAZARD CHECK DEVICE例文帳に追加

回路連言標準形生成方法及び回路連言標準形生成装置並びにハザードチェック方法及びハザードチェック装置 - 特許庁

Their conjunctive form ends either with "-ku" or "-shiku."発音を聞く 例文帳に追加

連用形が「-く」で終わるものと「-しく」で終わるものの2種類である。 - Wikipedia日英京都関連文書対訳コーパス

"Saburahi" is the conjunctive form of the verb "saburafu" (meaning to serve a higher-ranking person), and it can also be used as a noun.発音を聞く 例文帳に追加

「サブラヒ」は動詞「サブラフ」の連用形が名詞化したものである。 - Wikipedia日英京都関連文書対訳コーパス

The word 'shide' is the conjunctive form of a verb 'shizu,' and has the same origin as 'shidareru' (hang).発音を聞く 例文帳に追加

「しで」という言葉は動詞「垂づ（しづ）」の連用形で、「しだれる」と同根である。 - Wikipedia日英京都関連文書対訳コーパス

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.例文帳に追加

決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン式の論理積正規形(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁

The conjunctive form of "saburafu" became "saburahi" in the Heian period, and while this originally meant "a person who is on hand to take care of and serve his/her lord" (or the act of doing so), it later came to mean ginou kanjin of low to middle rank who served upper class aristocrats at the Imperial Court, before finally coming to indicate only one type of ginou kanjin: the "bushi."発音を聞く 例文帳に追加

さてその「サブラフ」の連用形から平安時代に「サブラヒ」という名詞が生まれたわけであるが、その原義は「主君の側近くで面倒を見ること、またその人」で、後に朝廷に仕える官人でありながら同時に上級貴族に伺候した中下級の技能官人層を指すようになり、そこからそうした技能官人の一角を構成した「武士」を指すようになった。 - Wikipedia日英京都関連文書対訳コーパス