「数学的「証明」」を解説文に含む見出し語の検索結果(111~120/169件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
数学における順序対(じゅんじょつい、英: ordered pair)は、一口に言えば対象を「対」にしたものである。二つの対象 a, b の順序対をふつうは (a, b) で表す。ここで、「順序...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
TLA+パラダイムAction登場時期1999年4月23日 (23年前) (1999-04-23)[1]設計者Leslie Lamport最新リリースTLA+2/ 2...
モノリシックカーネル及びマイクロカーネルのOSの構成マイクロカーネルの概念図マイクロカーネル(英: microkernel)とはオペレーティングシステム (OS) の設計思想、及びそのようなO...