「Type inference」を解説文に含む見出し語の検索結果(1～10/110件中)
別表記：ポリック「polyc」の意味・「polyc」とは「polyc」とは、コンピュータ科学の一部門である「ポリモーフィック型システム」を指す専門用語である。ポリモーフィック型システムは、一つの変数が...
別表記：ポリック「polyc」の意味・「polyc」とは「polyc」とは、コンピュータ科学の一部門である「ポリモーフィック型システム」を指す専門用語である。ポリモーフィック型システムは、一つの変数が...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/06 04:25 UTC 版)「型システム」の記事における「型推論」の解説詳細は「型推論」を参照 静的な型システムの言...
ペール・マルティン=レーフ（Per Martin-Löf）Per Martin-Löf in 2004生誕 (1942-05-08) 1942年5月8日（81歳）スウェーデンストックホルム[1...
ペール・マルティン=レーフ（Per Martin-Löf）Per Martin-Löf in 2004生誕 (1942-05-08) 1942年5月8日（81歳）スウェーデンストックホルム[1...
ナビゲーションに移動検索に移動Open Mind Common Sense (OMCS) はマサチューセッツ工科大学 (MIT) メディアラボが主体となっている人工知能プ...
.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...
ナビゲーションに移動検索に移動マッチング（Matching）は、処置とコントロール群（非処置群）とを比較して処置効果を評価する際に用いられる統計手法で、観察研究や準実験など処置（treatment）が...
ナビゲーションに移動検索に移動マッチング（Matching）は、処置とコントロール群（非処置群）とを比較して処置効果を評価する際に用いられる統計手法で、観察研究や準実験など処置（treatment）が...
< 前の結果 | 次の結果 >