Last Updated:2025/12/03
Sentence

型理論において、各サブタイプのオブジェクトがスーパタイプの仕様を満たすようなサブタイプ関係は、サブタイプのオブジェクトがスーパタイプの仕様に適合することを保証します。

Quizzes for review

In type theory, behavioral subtyping ensures that every object of a subtype adheres to the specification of its supertype.

See correct answer

In type theory, behavioral subtyping ensures that every object of a subtype adheres to the specification of its supertype.

音声機能が動作しない場合はこちらをご確認ください

Related words

behavioral subtyping

Noun
uncountable
Japanese Meaning
振る舞いの部分型:プログラミングや言語理論において、各サブタイプ(派生型)のオブジェクトが、スーパタイプ(基底型)の仕様を必ず遵守するというサブタイプ関係を指す。
What is this buttons?

型理論において、各サブタイプのオブジェクトがスーパタイプの仕様を満たすようなサブタイプ関係は、サブタイプのオブジェクトがスーパタイプの仕様に適合することを保証します。

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★