explicit definition
「 explicit definition」の意味 意味
- 名 明確な定義
「 explicit definition」の例文 例文
In mathematics, we need an explicit definition before proving the theorem.
数学では定理を証明する前に明確な定義が必要だ。
「 explicit definition」のコアイメージ コアイメージ
明確な定義は前提や変数の取りうる値を具体的に示して暗黙の仮定を排し、議論を明瞭にする定義
「 explicit definition」の英英 英英
A definition that removes implicit assumptions by specifying premises or variable values clearly so that subsequent reasoning proceeds without ambiguity.
「 explicit definition」の語源 語源
explicit definitionは、explicit(ラテン語explicare「明らかにする」に由来)とdefinition(ラテン語definire「境界を定める」に由来)の結合で、明示的に意味の範囲を定める語として用いられる
「 explicit definition」のコラム コラム
- explicitとimplicitの対比で用いられる語で、特に証明やプログラミングにおいて明示的に定義するか暗黙に扱うかが結果に影響する場面で重要になる
おすすめの単語帳
1 / 1
