共変性と反変性 (計算機科学) とは?

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 共変性と反変性 (計算機科学)

共変性と反変性 (計算機科学)

クなクラス、ジェネリック関数などに適用されている。共変性と反変性は、圏論由来の用語である。この用語には以下の概念がある。共変（covariant）は、派生 <: 基底とすると、B <: A ならば I <: I になる。反変（contravariant）は、共変のリバースであり、B

Từ điển Nhật - Nhật

Các từ liên quan tới 共変性と反変性 (計算機科学)

共変性と反変性

covariance）と反変性（はんぺんせい、英語: contravariance）とは、ある変換に対して変換の対象が示す性質のこと。圏論における一般化として共変関手および反変関手がある。共変性と反変性 (計算機科学) - 計算機科学における共変性および反変性ベクトルの共変性と反変性 - 数学の多重線型代数における共変性および反変性

ベクトルの共変性と反変性

不変式論の文脈ではたとえば、斉次方程式は変数変換に対して反変である。多重線型代数におけるテンソルは共変でありかつ反変であり得る。多重線型代数における共変性および反変性は、圏論における関手に対する用法の特別な例である。共変性と反変性は一般に、基底変換の下での座標ベクトル（英語版）の成分がどのように変換されるかによって構成される。

変性

へんせい

(1)性質が変わること。また，その性質。

変性 (医学)

フィブリノイド変性フィブリノイドが沈着。悪性高血圧、膠原病（PN、SLE）、自己免疫疾患脂肪変性脂肪が沈着。脂肪肝、動脈粥状硬化症、四塩化炭素中毒。糖原変性グリコーゲンが細胞内に蓄積。糖尿病、糖原病、結核、肝硬変。病的石灰化正常では見られない組織にカルシウム塩が沈着

変性ポリフェニレンエーテル

変性ポリフェニレンエーテル（へんせいポリフェニレンエーテル、modified-Polyphenyleneether－m-PPE、denaturated-Polyphenyleneether）は、芳香族ポリエーテル構造を持つポリフェニレンエーテル（英語版） (PPE)

ワーラー変性

ワーラー変性（ワーラーへんせい、英: Wallerian degeneration）とは、末梢神経線維が切断や挫滅などにより神経細胞との連絡が断たれたときに生じる変化。神経線維の断端遠位部より始まり、軸索は腫大した後に萎縮を経て断片化していく。ワーラー変性の名はA.V.Wallerにより記載されたことにちなむ。

フィブリノイド変性

、マッソン・トリクローム染色で赤色、フィブリン染色で赤紫色、コンゴーレッド染色で橙赤色に染色される。フィブリノイド変性は多発性結節性動脈周囲炎、悪性カタル熱、豚熱、水銀中毒などで観察される。日本獣医病理学会編集　『動物病理学総論第2版』　文永堂出版　2001年　ISBN 4830031832

正当性 (計算機科学)

計算機科学における正当性（Correctness）とは、アルゴリズムがその仕様に照らして正しいことを意味する。「機能的」正当性とは、アルゴリズムの入出力動作に関する正当性である（すなわち、各入力に対して正しく出力を生成すること）。形式的検証を参照されたい。完全正当性（Total Correctness）は、アルゴリズムが常に