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

사전

단어 상세정보

可算鎖条件

を特徴付けるかと言う問題は、ススリンの問題として知られる。 また、可算鎖条件を満たす距離空間は可分である。しかしながら、一般の位相空間においては可算鎖条件を満たす非可分な空間も存在する。例えば、 { 0 , 1 } 2 2 ℵ 0   {\displaystyle \{0,1\}^{2^{2^{\aleph

관련 단어

昇鎖条件

昇鎖条件を満たすことと、逆整礎であること、つまり任意の空でない部分集合が極大元をもつことは同値である。これは極大条件 (maximal condition) とも呼ばれる。 有限半順序集合は昇鎖条件と降鎖条件を満たす。 降鎖条件を満たす全順序集合は整列集合と呼ばれる。 ^ Hazewinkel, Gubareni

条件演算子

条件演算子（じょうけんえんざんし、英: conditional operator）は、プログラミング言語の演算子で、条件文と同様な意味があるが、文ではなく値を持つ式になる。評価されると、条件式の値により異なる式が評価され、異なる値になる。 なお、C言語やC++など一部のプログラミング言語において、条件演算子とは後述する「

条件

(1)物事を決定したり約束したりするときに， 前提あるいは制約となる事柄。 「～を付ける」「相手の～をのむ」「～のよい仕事を探す」 (2)物事の成立あるいは実現に必要な事柄。 ある事態を引き起こす原因。 「スターになる～がそろっている」 (3)〔法〕 法律行為の効力の発生を制約する， 実現が不確実な将来の事実。 (4)箇条。 項目。

可算名詞

noun）である。ある表現対象が可算か不可算かは言語によって異なり、また、同じ言語でも表現方法によって異なる場合もある。 英語の場合、名詞には、純粋可算名詞、純粋不可算名詞、文脈によって可算名詞にも不可算名詞にもなるものの3つのタイプがある。通常、英語の辞書では、可算名詞には [C] （countable の略）、不可算名詞には

可逆計算

ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語

可算集合

はまた可算である。これより、代数的数全体の集合 Q は可算であることが従う。しかし、可算個の可算集合の直積集合や、可算集合の冪集合は非可算であり、その濃度は連続体濃度である。 可算個の可算集合の直積集合の濃度は、濃度不等式 2 ℵ 0 ≤ ℵ 0 ℵ 0 ≤ ( 2 ℵ 0 ) ℵ 0 = 2 ℵ

非可算集合

数学において、非可算集合（ひかさんしゅうごう、英語: uncountable set）、あるいは非可算無限集合とは可算集合でない無限集合のことである。集合の非可算性は基数、濃度という概念と密接に関係している。集合は、その濃度が自然数全体の集合の濃度より大きいときに、非可算である。 集合の非可算性には多くの同値な言い換えが存在する。集合

計算可能数

これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。 実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。 計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)

可算コンパクト空間

X が可算コンパクト空間（英: Countably compact space）であるとは、任意の可算開被覆が有限部分被覆を持つことをいう。即ち、 X = ⋃ λ O λ {\displaystyle X=\bigcup _{\lambda }O_{\lambda }} を満たす任意の可算開集合族

CFL条件

の上限値もそれに伴って減らさなければならない。 CFL条件は陽解法の時間進展を行う際に用いられる条件であり、この条件を回避するためには陰解法がしばしば用いられる。陰解法を用いることでCFL条件の回避や緩和ができる理由としては様々な説明が存在するが、最も簡潔に説明すると、陽解法は1ステップ前の自分の周りのごくわずかな格

条件文

条件文（じょうけんぶん） 論理包含 - 論理演算の1つ if文 - プログラミング言語やアルゴリズムでの制御構文の1つ 条件法を使った文 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を

条件法

否定した上で、その場合にはこうなったであろうという結論を導きだしているが、この場合に条件法が使われる。 また、英語などで非常に丁寧な依頼の文章を作る場合にI would like toという表現を使うが、これはこの条件法から派生した用法である。

条件数

x} を近似的に求める際の不正確さの上限を与える。なお、これには丸め誤差の影響は考慮しない。条件数は行列の属性であって、計算に使うシステムの浮動小数点数の精度やアルゴリズムとは無関係である。この場合（非常に大まかに言って）、 b {\displaystyle b} の変化によって解である x {\displaystyle

クッタ条件

後縁を回り込みさらに上面を後縁から前方へと移動することとなる。後縁で渦状の流れが生じ、不連続形状かそれに近い（曲率が極端に大きい）後縁部では局所的な高速領域が生じ、これは強烈な粘性力をもたらし後縁周囲の空気に作用する。そして強い渦が後縁近傍の翼体上面に蓄積する。 翼体が移動するにつれてこの渦

主イデアルに関する昇鎖条件

と省略される）が満たされるとは、環において与えられたタイプ（左／右／両側）の主イデアルの真の無限昇鎖が存在しないということである。あるいは別の言い方をすれば、すべての昇鎖はやがて一定になる。 片割れである降鎖条件もまたこれらの半順序集合に適用することができるが、しかし用語 "DCCP"

不可侵条約

不可侵条約（ふかしんじょうやく）とは相互に相手国に対して侵略行為を行わない事を国際的に約束し、条約によって明文化するもの。不侵略条約と言われる場合もある。条約締結国間では常時侵略行為と見なされる行動が禁じられ、片方の国が戦争状態になった場合にはその交戦相手国に対する一切の援助・支援が間接的な侵略

計算可能関数

手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。 計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。 自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数

鎖

〔動詞「鏈る」の連用形から〕 (1)金属製の輪をつないだひも状のもの。 「懐中時計の～」「～につながれた猛獣」 (2)物と物とを結び付けているもの。 きずな。 「因果の～」

単鎖可変領域フラグメント

Fvは大腸菌などの細菌の細胞培養で作られることが多い。 単鎖可変領域フラグメントは、完全な抗体分子に見られる定常Fc領域を持たないため、共通の結合部位（プロテインGなど）を使用して抗体を精製することはできない。プロテインLはκ軽鎖（カッパ軽鎖）の可変領域と相互作用するため、これらのフラグメントはプロ