「INDUCTIVE」を解説文に含む見出し語の検索結果(231～240/668件中)
初等幾何学における曲線の割線[1]（かっせん、かつせん、英: secant line, secant[注 1]; 正割線）は、その曲線と（相異なる）ふたつ以上の...
拡散接合トランジスタ（かくさんせつごうトランジスタ、diffused junction transistor）とは、半導体基板（ウェハー）にドーパントを拡散させて形成するトランジスタのことである。拡散...
拡散接合トランジスタ（かくさんせつごうトランジスタ、diffused junction transistor）とは、半導体基板（ウェハー）にドーパントを拡散させて形成するトランジスタのことである。拡散...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
浮遊ゲートMOSFET（ふゆうゲートMOSFET、floating-gate MOSFET、FGMOS）とは、通常のMOSFETと似た構造を持つ電界効果トランジスタ。FGMOSではゲートが電気的に絶縁...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...