enumerations（（数学）数え上げ可能な方法で）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

enumerations

enumerably

比較不可

(mathematics) In a manner that permits enumeration.

日本語の意味

（数学）数え上げ可能な方法で、すなわち順序立てて列挙できる性質を持つこと

このボタンはなに？

The elements of the basis can be enumerably indexed, allowing each to be checked in turn.

基底の要素は列挙できるように番号付けできるため、それぞれを順番に検査することができます。

enumerability

可算名詞不可算名詞

The condition of being enumerable

日本語の意味

列挙可能性 / 数え上げ可能である性質

このボタンはなに？

The enumerability of certain infinite sets can be a subtle topic in set theory.

特定の無限集合の列挙可能性は集合論では微妙な話題になり得る。

関連語

enumerabilities

（ plural ）

scoped enumerations

活用形複数形

plural of scoped enumeration

日本語の意味

スコープ付き列挙型 – プログラミング言語などで、列挙体（enum）が特定の名前空間やクラスのスコープ内に限定される形式。 / 複数のスコープ付き列挙型 – ‘scoped enumerations’は‘scoped enumeration’の複数形を意味するため、上記の特性を持つ複数の列挙型を指す。

このボタンはなに？

Modern C++ code prefers scoped enumerations to avoid name collisions and improve type safety.

最新のC++コードでは、名前の衝突を避け、型の安全性を高めるためにスコープ付き列挙型が好まれます。

enumerated articles

歴史的複数形複数形のみ

日本語の意味

（歴史的用語）17世紀において、英植民地がイングランドにのみ輸出できた、砂糖、タバコ、綿、藍などの特定品目（指定商品）のこと

このボタンはなに？

総督は植民地の住民に、航海法により砂糖、たばこ、綿、藍をイングランドにのみ出荷しなければならないと警告した。

recursively enumerable

比較不可

日本語の意味

計算理論において、ある集合について、集合に含まれる全ての要素を決定性アルゴリズムによって順次列挙することができる性質を指します。 / すなわち、その集合の要素を列挙する際、決定的なプロセスにより、全ての要素を一つずつ確実に出力できるが、集合外の要素は出力されないという特徴があります。

このボタンはなに？

研究者たちは、決定的なアルゴリズムによって全ての要素が列挙できる有効なプログラム出力の集合が、最終的にすべての出力を列挙する決定的な列挙器によって生成できることを証明した。

corecursively enumerable

別表記異形比較不可

Alternative form of co-recursively enumerable

日本語の意味

「co‐recursively enumerable」（すなわち、その補集合が再帰的に列挙可能である集合）の別表記、同じ意味を示す用語

このボタンはなに？

The research paper lists several corecursively enumerable languages that resist conventional decision procedures.

その研究論文は、従来の決定手続きでは決定できないいくつかの補再帰的に列挙可能な言語を挙げている。

afore-enumerated

比較不可

Enumerated earlier in a document.

日本語の意味

文書内で先に列挙された / 前述の（文書などで事前に挙げられたもの）

このボタンはなに？

Please review the afore-enumerated provisions before approving the proposal.

提案を承認する前に、前述の規定を確認してください。

scoped enumeration

(programming) In C++, an enumeration that automatically defines its own name as a scope.

日本語の意味

C++において、列挙型自体が独自のスコープ（名前空間）を持つ列挙型、すなわちスコープ付き列挙型を指す。 / C++で定義される、各列挙子が固有のスコープ内に定義される列挙体（スコープ付き列挙型）。

このボタンはなに？

グラフィックスモジュールをリファクタリングする際、ヘッダ間での名前の衝突を避けるために、スコープを持たない列挙型を自分の名前を自動的にスコープとして定義する列挙型にいくつか置き換えました。

関連語

scoped enumerations

（ plural ）

co-recursively enumerable

比較不可

日本語の意味

その集合に属さない全ての要素を、決定的なアルゴリズムにより列挙可能な集合（補集合が再帰的に列挙可能な集合）であることを指す。

このボタンはなに？

解析中に遭遇した無効なエンコーディングの集合は補再帰列挙可能であり、文法に受理されないすべての文字列を決定的な手続きで列挙できる。

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★