Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Todaii Japanese
Switch language – current: ko
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

Todaii Japanese 소개

브랜드 스토리자주 묻는 질문사용자 가이드약관 및 정책환불 정보

소셜 네트워크

Logo facebookLogo instagram

앱 버전

AppstoreGoogle play

기타 앱

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

저작권은 eUp Technology JSC에 있습니다

Copyright@2026

사전

단어 상세정보

反復補題

反復補題あるいはポンピング補題(英: Pumping lemma)とは、計算可能性理論において、あるクラスの形式言語に反復を施してもそのクラスに依然として属することを示すものである。ここでいう「反復」とは、その言語に含まれる十分に長い文字列が部分に分割可能で、その一部分を繰り返したさらに長い文字列

관련 단어

正規言語の反復補題

正規言語の反復補題(英: pumping lemma for regular languages)とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。 この反復補題は1961年に Y. Bar-Hillel、M

補題

の補題、ガウスの補題(英語版)、Greendlingerの補題 (英語版)、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、ウリゾーンの補題(英語版)、米田の補題、ツォルンの補題。 これらの結果は当初はあまりにも簡単であるかまたは個別の

反復

何度も繰り返すこと。 「テープを~して聴く」「~練習」

文脈自由言語の反復補題

文脈自由言語の反復補題は、任意の文脈自由言語でない言語が文脈自由でないことを証明するのに使えるわけではない。場合によってはより汎用化されたオグデンの補題を使う必要がある。 任意の文脈自由言語 L に対して,(反復長 (pumping length) と呼ばれる)ある正の整数

反復説

反復説(はんぷくせつ)とは、動物胚のかたちが受精卵から成体のかたちへと複雑化することと、自然史における動物の複雑化との間に並行関係を見出したものである。 反復説は1824-26年にエチエンヌ・セールが提唱したのが最初である。科学史上、エルンスト・ヘッケルの反復説

反復法

反復法(はんぷくほう) 反復法 (修辞技法) 反復法 (数値計算) このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。

シュワルツの補題

シュワルツの補題(ドイツ語: Schwarzsche Lemma、英語: Schwarz lemma)は、ドイツの数学者ヘルマン・アマンドゥス・シュワルツにちなむ、複素解析における正則関数の性質に関する定理である。複素関数が正則であるために満たすべき、強い制約条件の1つを端的に示し、リーマンの

ポアンカレの補題

数学において、ポアンカレの補題(ぽあんかれのほだい、英: Poincaré lemma)とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。ベクトル解析におけるポテンシャルの存在条件を一般化したものとみなされる。 多様体上の k 次の微分形式 ω について、その外微分

シューアの補題

が自己準同型のときに起きる。シューアの補題は、イサイ・シューアの名前に因んでいる。彼はこの補題を使い、大直交性定理を証明し、有限群の表現論の基礎を確立した。シューアの補題は、リー群やリー代数へ一般化されており、多くの部分はジャック・ディクスミエ(英語版)によるものである。 代数 A 上の既約加群 M, N の間の

ツォルンの補題

集合論においてツォルンの補題(ツォルンのほだい、英: Zorn's lemma)またはクラトフスキ・ツォルンの補題(クラトフスキ・ツォルンのほだい)とは次の定理をいう。 命題 (Zorn の補題) 半順序集合Pは、その全ての鎖(つまり、全順序部分集合)がPに上界を持つとする。このとき、Pは少なくともひとつの極大元を持つ。

分裂補題

左分裂 (left split) 写像 t: B → A が存在して tq は A 上恒等写像である。 2. 右分裂 (right split) 写像 u: C → B が存在して ru は C 上恒等写像である。 3. 直和 (direct sum) B は A と C の直和(英語版)に同型で、q

バーンサイドの補題

つまり軌道の数(これは自然数あるいは+∞)は群 G の元による固定点の数の平均(これも自然数あるいは+∞)と等しい。もし G が無限群ならば |G| による除法は定義されないが、その場合には次の基数に関する主張が成り立つ。 | G | ⋅ | X / G | = ∑ g ∈ G | X g | {\displaystyle

蛇の補題

a\;{\color {Gray}\longrightarrow }\ker b\;{\color {Gray}\longrightarrow }\ker c\;{\overset {d}{\longrightarrow }}\operatorname {coker} a\;{\color {Gray}\longrightarrow

マズールの補題

収束する任意の列に対して、列の要素の凸結合から作られる列であって同じ極限に強収束するようなものがとれることを主張する。この補題を使ってトネリの定理(英語版)を証明することができる。 (X, || ||) をバナッハ空間とし、 (un)n∈N はある X の要素 u0 に弱収束する X の要素の列とする:

ファトゥの補題

数学の分野におけるファトゥの補題(ファトゥのほだい、英: Fatou's lemma)とは、ある関数列の下極限の(ルベーグ積分の意味での)積分と、積分の下極限とを関係付ける不等式についての補題である。ピエール・ファトゥの名にちなむ。 ファトゥの補題は、ファトゥ・ルベーグの定理(英語版)や、ルベーグの優収束定理の証明に使うことが出来る。

反復対数

計算機科学において、反復対数(英: iterated logarithm)は、結果が 1 {\displaystyle 1} 以下となるまでに必要とする対数関数の適用回数である。 n {\displaystyle n} についての反復対数は log ∗ ⁡ n {\displaystyle \log

反復配列

反復配列(はんぷくはいれつ、英語: Repetitive sequence)とは、生物ゲノムのDNA配列で、同じ配列が反復して(特に数回以上)見られるものの総称である。真核生物、特に進化した動植物に多く見られる。 一部を除いて機能はよくわかっていないため、従来は無駄な「ジャンクDNA」あるいは「利

反復記号

反復記号 楽譜上の記号 - 演奏記号#反復記号を参照 日本語で使う字の繰り返しを示す記号 - 踊り字 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクして

結句反復

結句反復(けっくはんぷく、または脚句反復、Epistrophe aka epiphora, antistrophe)とは、連続する句、節、文の最後に同じ語または言葉が繰り返される修辞技法のこと。首句反復の反対。句・節・文の最後の言葉は強調される場所なので、結句反復は大きな強調の技法である。 ... this