语言
没有数据
通知
无通知
の補題、ガウスの補題（英語版）、Greendlingerの補題 （英語版）、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、ウリゾーンの補題（英語版）、米田の補題、ツォルンの補題。 これらの結果は当初はあまりにも簡単であるかまたは個別の
何度も繰り返すこと。
正規言語の反復補題（英: pumping lemma for regular languages）とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。 この反復補題は1961年に Y. Bar-Hillel、M
反復説（はんぷくせつ）とは、動物胚のかたちが受精卵から成体のかたちへと複雑化することと、自然史における動物の複雑化との間に並行関係を見出したものである。 反復説は1824-26年にエチエンヌ・セールが提唱したのが最初である。科学史上、エルンスト・ヘッケルの反復説
反復法（はんぷくほう） 反復法 (修辞技法) 反復法 (数値計算) このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。
文脈自由言語の反復補題は、任意の文脈自由言語でない言語が文脈自由でないことを証明するのに使えるわけではない。場合によってはより汎用化されたオグデンの補題を使う必要がある。 任意の文脈自由言語 L に対して，（反復長 (pumping length) と呼ばれる）ある正の整数
シュワルツの補題（ドイツ語: Schwarzsche Lemma、英語: Schwarz lemma）は、ドイツの数学者ヘルマン・アマンドゥス・シュワルツにちなむ、複素解析における正則関数の性質に関する定理である。複素関数が正則であるために満たすべき、強い制約条件の1つを端的に示し、リーマンの
数学において、ポアンカレの補題（ぽあんかれのほだい、英: Poincaré lemma）とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。ベクトル解析におけるポテンシャルの存在条件を一般化したものとみなされる。 多様体上の k 次の微分形式 ω について、その外微分
搜索 
搜索 搜索 
