语言
没有数据
通知
无通知
連続信号に周期 T {\displaystyle T} のインパルス列を掛けることにより、標本値の列を得ることができる。この場合において、周期の逆数 1 / T {\displaystyle 1/T} をサンプリング周波数（標本化周波数）といい、一般に f s {\displaystyle
ら採取された検体またはサンプルについて、主に病理診断を目的に作製された標本のこと。 病理標本は組織・臓器にパラフィンを浸透して固め、数μmの膜状に薄く切り、スライドガラスに貼って染色してプレパラートの形にしたものを指すことが多い。ヘマトキシリン・エオジン染色（HE染色）を基本に、診断目的や病変に応じ
ゲーム理論における純化定理 (じゅんかていり，英: purification theorem) は，ノーベル経済学賞ジョン・ハーサニの 1973 年論文による貢献である．この定理は，混合戦略ナッシュ均衡において，各プレーヤーは正確率で選ぶすべての行動について完全に無差別であるにもかかわらず，他のプレ
標本 (分類学) タイプ (分類学)（基準標本・模式標本・タイプ標本） 昆虫採集・昆虫標本 押し葉標本 病理組織標本 岩石標本 鉱物標本 プレパラート 骨格標本 透明骨格標本 染色 (生物学) （英語: sample）集団や物質の中から、それを代表するものとして取り出し調査の対象とする一部分を標本
ウリゾーンの定理は次のように言い換えることも出来る：ある位相空間が可分かつ距離可能であるための必要十分条件は、それが正則、ハウスドルフかつ第二可算的であることである。長田＝スミルノフの距離化定理はこの内容を、非可分であるような場合に対しても拡張するものである。その定理によると、位相空間が距
円型（正の曲率、正の曲がった曲率をもつ）、放物型（平坦）、双曲型(負曲率）として分類する。 一意化定理はリーマンの写像定理の平面の固有な単連結開部分集合から、任意の単連結はリーマン面への一般化である。 一意化定理は、任意の連結である第二可算の面の同様な結果、定数曲率のリーマン計量を与えることができることを意味している。
であることが知られている。ループプログラムは、基本的な算術演算、大小比較、条件分岐（if-then-else）、（変数によってループ回数を指定する）計数ループ、からなる言語であり、ジャンプ命令（goto文）やbreak文のような機構を含まない。したがって、ループプログラムで記述されるアルゴリズムは構造化定理の求める条件を満たしている。
公理に基づき， 論証によって証明された命題。 また特に， 重要なもののみを定理ということがある。
搜索 
