561位志村の相互法則推定知名度 0.01%数学において、志村の相互法則（しむらのそうごほうそく、Shimura's reciprocity law）は、におけるモジュラー函数の値への虚二次体のイデールの作用を記述する。…
562位スライスサンプリング推定知名度 0.01%スライスサンプリングとはマルコフ連鎖モンテカルロ法の一種であり、何らかの確率密度関数に従う擬似乱数を生成するためのアルゴリズムである。このアルゴリズムは等高線の高さと、等高線に…
563位カントールの定理推定知名度 0%初等的な集合論において、カントールの定理 (Cantor's theorem) は次のように述べている。任意の集合 A に対して、A のすべての部分集合の集合（A の冪集合）は…
564位レリッヒ＝コンドラショフの定理推定知名度 0%数学におけるレリッヒ＝コンドラショフの定理（レリッヒ＝コンドラショフのていり、Rellich–Kondrachov theorem）とは、ソボレフ空間に関するコンパクトな埋め込…
565位自己検証理論推定知名度 0%自己検証理論 (Self-verifying theories) とは、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系である。ダン・ウィラード…
566位コンパクト性定理推定知名度 0%コンパクト性定理（）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりあ…
567位ブラムの公理推定知名度 0%計算複雑性理論におけるブラムの公理（ブラムのこうり、Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。こ…
568位空集合の公理推定知名度 0%空集合の公理 (くうしゅうごうのこうり、) は、ZF集合論やKP集合論の公理の一つで、「いかなる集合も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用し…
569位可算選択公理推定知名度 0%可算選択公理（Axiom of countable choice）とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一…
570位算法少女推定知名度 0%『算法少女』（さんぽうしょうじょ）は、児童文学作家の遠藤寛子による少年少女小説。1973年に岩崎書店から出版され、のち2006年にちくま学芸文庫から復刊された。安永4年（177…
志村の相互法則推定知名度 0.01%数学において、志村の相互法則（しむらのそうごほうそく、Shimura's reciprocity law）は、におけるモジュラー函数の値への虚二次体のイデールの作用を記述する。…志村の相互法則推定知名度 0.01%数学において、志村の相互法則（しむらのそうごほうそく、Shimura's reciprocity law）は、におけるモジュラー函数の値への虚二次体のイデールの作用を記述する。…
