「distributed algorithm」を解説文に含む見出し語の検索結果(71~80/138件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ゲーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM(国際計算機学会)のアルゴリズムと計算量理論に関する部会とEATCS(ヨーロッパ理論コンピュータ学会)が贈...
TLA+パラダイムAction登場時期1999年4月23日 (23年前) (1999-04-23)[1]設計者Leslie Lamport最新リリースTLA+2/ 2...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
LINPACK作者ジャック・ドンガラ、ジム・バンチ、クリーブ・モラー、ギルバート・スチュアートプログラミング言語FORTRAN種別ライブラリ公式サイトwww.netlib.org/linpack/テン...
LINPACK作者ジャック・ドンガラ、ジム・バンチ、クリーブ・モラー、ギルバート・スチュアートプログラミング言語FORTRAN種別ライブラリ公式サイトwww.netlib.org/linpack/テン...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...