検索結果- 英語 - 英語

検索内容:

instant

instantiable

形容詞

比較不可

That can be instantiated.

日本語の意味

インスタンス化可能な、すなわち具体的なオブジェクト（実体）を生成できることを指す

このボタンはなに？

In our framework, every service must be instantiable to allow runtime dependency injection.

Google翻訳 / DeepL翻訳

私たちのフレームワークでは、実行時の依存性注入を可能にするために、すべてのサービスがインスタンス化できる必要があります。

詳細

instantiatable

形容詞

比較不可

Synonym of instantiable

日本語の意味

インスタンス化可能（クラスなどが具体的な実体となるインスタンスを生成できる状態）

このボタンはなに？

Only classes marked as instantiatable may be used to create game objects at runtime.

Google翻訳 / DeepL翻訳

実行時にゲームオブジェクトを作成するために使用できるのは、インスタンス化可能とマークされたクラスのみです。

詳細

existential instantiation

名詞

(logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)).

日本語の意味

（述語論理における）∃x P(x)という存在命題から、新たな定数記号（元々の議論領域に含まれていない記号）を導入し、P(c)という形で推論を進める規則。 / 述語論理において、存在を示す命題から、その存在する要素を新しい定数として具体化して、その性質を扱う推論手法。

このボタンはなに？

In many logic textbooks, existential instantiation is introduced as the rule that allows one to replace an existential formula ∃x P(x) with a new constant c and infer P(c).

Google翻訳 / DeepL翻訳

多くの論理学の教科書では、存在を表す式 ∃x P(x) を新しい定数 c に置き換えて P(c) を導くことを可能にする推論規則として紹介されている。

詳細