| Property |
Value |
| dbo:abstract
|
- リスコフの置換原則（りすこふのちかんげんそく、英: Liskov substitution principle）は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを と呼ぶ。 リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 “Data abstraction and hierarchy”にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとの共著論文 “A Behavioral Notion of Subtyping” で与えられた。 (ja)
- リスコフの置換原則（りすこふのちかんげんそく、英: Liskov substitution principle）は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを と呼ぶ。 リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 “Data abstraction and hierarchy”にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとの共著論文 “A Behavioral Notion of Subtyping” で与えられた。 (ja)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4873 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-ja:author
|
- B. Liskov (ja)
- B. Liskov and J. Wing (ja)
- B. Liskov (ja)
- B. Liskov and J. Wing (ja)
|
| prop-ja:date
| |
| prop-ja:section
| |
| prop-ja:text
|
- （直感的な考えでは、「サブタイプ」のオブジェクトは別の型（「スーパータイプ」）のオブジェクトのすべての振る舞いと、更に別の何かを備えたものである。 ここで必要とされるものは、以下に示す置換の性質のようなものだろう：型 の各オブジェクト に対し、型 のオブジェクト が存在し、 に関して定義されたすべてのプログラム が を で置き換えても動作を変えない場合、 は のサブタイプである。） (ja)
- The intuitive idea of a subtype is one whose objects provide all the behavior of objects of another type plus something extra. What is wanted here is something like the following substitution property: If for each object of type there is an object of type such that for all programs defined in terms of , the behavior of is unchanged when is substituted for , then is a subtype of . (ja)
- Let be a property provable about objects of type . Then should be true for objects of type where is a subtype of . (ja)
- （ を型 のオブジェクト に関して証明可能な性質とする。このとき、 は型 のサブタイプ のオブジェクト について真でなければならない。） (ja)
- （直感的な考えでは、「サブタイプ」のオブジェクトは別の型（「スーパータイプ」）のオブジェクトのすべての振る舞いと、更に別の何かを備えたものである。 ここで必要とされるものは、以下に示す置換の性質のようなものだろう：型 の各オブジェクト に対し、型 のオブジェクト が存在し、 に関して定義されたすべてのプログラム が を で置き換えても動作を変えない場合、 は のサブタイプである。） (ja)
- The intuitive idea of a subtype is one whose objects provide all the behavior of objects of another type plus something extra. What is wanted here is something like the following substitution property: If for each object of type there is an object of type such that for all programs defined in terms of , the behavior of is unchanged when is substituted for , then is a subtype of . (ja)
- Let be a property provable about objects of type . Then should be true for objects of type where is a subtype of . (ja)
- （ を型 のオブジェクト に関して証明可能な性質とする。このとき、 は型 のサブタイプ のオブジェクト について真でなければならない。） (ja)
|
| prop-ja:title
|
- A Behavioral Notion of Subtyping (ja)
- Data Abstraction and Hierarchy (ja)
- A Behavioral Notion of Subtyping (ja)
- Data Abstraction and Hierarchy (ja)
|
| prop-ja:wikiPageUsesTemplate
| |
| prop-ja:出典の明記
| |
| prop-ja:単一の出典
| |
| prop-ja:独自研究
| |
| prop-ja:脚注の不足
| |
| dct:subject
| |
| rdfs:comment
|
- リスコフの置換原則（りすこふのちかんげんそく、英: Liskov substitution principle）は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを と呼ぶ。 リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 “Data abstraction and hierarchy”にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとの共著論文 “A Behavioral Notion of Subtyping” で与えられた。 (ja)
- リスコフの置換原則（りすこふのちかんげんそく、英: Liskov substitution principle）は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを と呼ぶ。 リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 “Data abstraction and hierarchy”にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとの共著論文 “A Behavioral Notion of Subtyping” で与えられた。 (ja)
|
| rdfs:label
|
- リスコフの置換原則 (ja)
- リスコフの置換原則 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
