「計算機援用証明」を解説文に含む見出し語の検索結果(211~220/453件中)
計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を...
計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を...
.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...
重み付き残差法(おもみつきざんさほう、英: Method of Weighted Residuals、MWR)とは微分方程式の境界値問題の近似解法の一つ[1]。計算途中で発生す...
重み付き残差法(おもみつきざんさほう、英: Method of Weighted Residuals、MWR)とは微分方程式の境界値問題の近似解法の一つ[1]。計算途中で発生す...
.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...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...