「形式的記述」を解説文に含む見出し語の検索結果(11～20/26件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/28 01:04 UTC 版)「アルゴリズム」の記事における「その他の表現」の解説アルゴリズムには様々な記法があり、自...
メイの定理（英語：May's theorem）は、社会選択理論において、選択肢が2つのときに単純多数決ルールが匿名性、中立性、正応答性 (positively responsive) をみたす唯一の社...
メイの定理（英語：May's theorem）は、社会選択理論において、選択肢が2つのときに単純多数決ルールが匿名性、中立性、正応答性 (positively responsive) をみたす唯一の社...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/08 08:13 UTC 版)「人工知能の歴史」の記事における「形式的推論」の解説人工知能は、人間の思考過程を機械で再...
統計学において、ダネットの検定（ダネットのけんてい、英: Dunnett's test）は、多重比較手順の一つである[1]。カナダの統計学者チャールズ・ダネット[2&#...
統計学において、ダネットの検定（ダネットのけんてい、英: Dunnett's test）は、多重比較手順の一つである[1]。カナダの統計学者チャールズ・ダネット[2&#...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "クラフトの不等式" – ニュース&#...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "クラフトの不等式" – ニュース&#...
ナビゲーションに移動検索に移動 Z言語を使った形式仕様記述の例形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハー...
ナビゲーションに移動検索に移動 Z言語を使った形式仕様記述の例形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハー...