場依存型-場独立型とは? - 日本語辞典 Mazii

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

Các từ liên quan tới 場依存型-場独立型

依存型

とは、計算機科学と論理学において、値に依存する型のことである。数学の型理論の表現形式と計算機科学における型システムの特徴を併せ持つ。直観主義型理論においては、全称量化子や存在量化子のような論理学における量化子をエンコードするために依存型が用いられている。ATS（英語版）、Agda、Idris（英語版）、Epigram（英語版）などの

線型独立

文脈から明らかなときには単に従属、独立などと言うこともある。線型独立であるベクトルたちはどれも、零ベクトルでない。零ベクトルでないベクトル v ≠ 0 に対して一元集合 {v} は線型独立である。線型独立な集合の部分集合は線型独立である。特に空集合は線型独立である。線型独立な集合は基底に拡張できる。

依存

いそん

〔「いぞん」とも〕

逆磁場ピンチ型

逆磁場ピンチ(ぎゃくじばピンチ英: Reversed field pinch)は、プラズマを閉じ込める磁場閉じ込め方式の一種。かつて電子技術総合研究所(現産業技術総合研究所)では1974年以来、核融合を目指して逆磁場ピンチの研究が進められていた。閉じた磁束面の形成が必要で磁場の配置を変える磁気

劇場型犯罪

劇場型犯罪（げきじょうがたはんざい）とは、あたかも演劇の一部であるかのような犯罪のこと。世間、企業などを舞台とし、犯人が主役、被害者が脇役、警察が敵役、マスメディアの人間や一般人が観客、という構造になっているものが多い。犯罪が行われているにもかかわらず、人々がそれを見世物として楽しむという行動が見受けられるのが特徴である。