「計算的なる」を解説文に含む見出し語の検索結果(61～70/248件中)
数学においてある自然数の集合がK自明集合（Kじめいしゅうごう、英: K-trivial set）であるとは、 その始切片（英語: initial segment）を2進文字列と見た時に記述しやすいこと...
ナビゲーションに移動検索に移動 拡張カードの接続方法を図解した3Dテクニカルイラストレーション テクニカルイラストレーション（英: Technical Illustration）とは、技術的な...
ナビゲーションに移動検索に移動 拡張カードの接続方法を図解した3Dテクニカルイラストレーション テクニカルイラストレーション（英: Technical Illustration）とは、技術的な...
ナビゲーションに移動検索に移動 拡張カードの接続方法を図解した3Dテクニカルイラストレーション テクニカルイラストレーション（英: Technical Illustration）とは、技術的な...
ハル・アベルソンHal Abelsonハル・アベルソン（2007年）生誕 (1947-04-26) 1947年4月26日（78歳）研究分野計算機科学、倫理学、法学、方法論、アモルファス・コンピューティ...
ハル・アベルソンHal Abelsonハル・アベルソン（2007年）生誕 (1947-04-26) 1947年4月26日（78歳）研究分野計算機科学、倫理学、法学、方法論、アモルファス・コンピューティ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「証明理論と型理論」の解説ここまでの説明は、命題の性質に重きを...
時間依存密度汎関数理論（じかんいぞんみつどはんかんすうりろん、英: Time-dependent density-functional theory、略称: TDDFT）は、電場や磁場といった...
時間依存密度汎関数理論（じかんいぞんみつどはんかんすうりろん、英: Time-dependent density-functional theory、略称: TDDFT）は、電場や磁場といった...
時間依存密度汎関数理論（じかんいぞんみつどはんかんすうりろん、英: Time-dependent density-functional theory、略称: TDDFT）は、電場や磁場といった...