「Arithmetic」を解説文に含む見出し語の検索結果(131～140/1448件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/09 07:33 UTC 版)「H.264」の記事における「エントロピー符号化」の解説H.264では、ハフマン符号をベ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/03 23:37 UTC 版)「Python」の記事における「オブジェクト指向プログラミング」の解説Pythonでは扱...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/26 14:14 UTC 版)「並行制約プログラミング」の記事における「ハイブリッド並行制約プログラミング」の解説ハイ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/05 09:28 UTC 版)「数値解析ソフトの比較」の記事における「ライブラリ関連」の解説^ Sanderson, ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/02 14:51 UTC 版)「ウィラード・ヴァン・オーマン・クワイン」の記事における「集合論」の解説クワインは論理学...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/09 18:14 UTC 版)「砂田登志子」の記事における「食育活動のおける講演会やメディア出演時」の解説『栄養バラン...
ウィリアム・ラザフォード（William Rutherford、1798年 - 1871年）は、イングランドの数学者。1841年に円周率を208桁計算したことで有名。のちに最初の152桁のみが正しいこ...
ベン・グリーン (Ben Green) とテレンス・タオ (Terence Tao) により2004年に証明された、数論における定理であるグリーン・タオの定理[1]は、素数の列は任意の...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...