abstract interpretationとは 意味・読み方・使い方

It shall be noted, however, that the abstract shall not be used for the interpretation of the scope of protection.例文帳に追加

ただし，要約を保護範囲の解釈に用いてはならないことに留意しなければならない。 - 特許庁

The contents were abstract, as can be seen in Article 1, "One should not act against the ways of the samurai," and interpretation of the rules was up to the Commander or Vice Commander.発音を聞く 例文帳に追加

第一条「士道ニ背キ間敷事」など抽象的な内容で、解釈は局長や副長の一存に委ねられるものであった。 - Wikipedia日英京都関連文書対訳コーパス

To statically analyze a program by using abstract interpretation for an analysis sensitive to a path using an analysis insensitive to a path.例文帳に追加

経路に依存しない解析を使用する経路に依存する解析のための抽象的解釈を使用して、プログラムを静的に分析する。 - 特許庁

If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation.例文帳に追加

性質が証明されなければ、経路に依存しない抽象的解釈を行うことによって、プログラム内の実行不可能な経路が決定される。 - 特許庁

(4) The abstract shall include only technical information, which shall not be taken into account for other purposes (for example, for the interpretation of the extent of the protection conferred by patent).例文帳に追加

(4) 要約には技術情報のみを含めるものとし，この情報を他の目的で(例えば特許により与えられる保護の範囲の解釈のために)考慮に入れてはならない。 - 特許庁

An interpretation part 14 reads the the prepared abstract syntax tree and an application to be checked, and evaluates the conditional formula for the application by using the function of a program analyzing part 15, and returns the evaluation result to a rule definition analyzing part 11.例文帳に追加

解釈部１４は、作成された抽象構文木と、検査対象のアプリケーションとを読み込み、プログラム解析部１５の機能を用いて、アプリケーションに対し条件式を評価し、その評価結果をルール定義解析部１１に返す。 - 特許庁

When interpreting the description, considering the publicly known art or the publicly known fact prior to the filing date is not permitted, but this should be interpreted to be limited to only when it relates to concrete contents that can be understood from said description. And introducing such interpretation method to an extremely abstract statement as cited in “III, 2”allows a technically wide abstract statement, which means an unduly advantageous handling in connection with the applicant of a later application and cannot be appropriate.発音を聞く 例文帳に追加

そして、明細書の記載を解釈するに当たり、その出願前の公知技術あるいは公知事実を参酌することは許されないわけではないが、それはあくまで当該明細書自体から知ることができる具体的内容に関連する場合に限られるものと解すべきであって、前記三、2に引用したような極めて抽象的記載についてまでかかる解釈方法を持ち込むことは、いたずらに明細書の記載内容を技術的に広く認めることとなり、後願者に対する関係で不当に有利に扱うこととなり相当とは認めがたい。 - 特許庁