ブール束の英語

分配束の例にはブール束や全順序集合がある。例文帳に追加

Examples of distributive lattices include Boolean lattices and totally ordered sets.発音を聞く  - コンピューター用語辞典

このクラスは、ある領域を、あるイメージに適用する必要なしに、真のブール束として取り扱うのを可能にする。例文帳に追加

This class makes it possible to handle a region as a true boolean lattice without the need to apply the region to an image.発音を聞く  - コンピューター用語辞典

述語式評価部１０６は、評価対象のイベントのうちの所定のイベントを当該束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、イベントのブール値置換述語式に対する評価を当該インスタンスにより行う。例文帳に追加

A predicative expression evaluation part 106 associates a prescribed event of events of evaluation targets to the restriction variable, generates an instance for evaluating the Boolean value replacement predicative expression, and performs evaluation to the Boolean value replacement predicative expression of the event by the instance. - 特許庁

述語式変換部１０５は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。例文帳に追加

A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression. - 特許庁