语言
没有数据
通知
无通知
昇鎖条件を満たすことと、逆整礎であること、つまり任意の空でない部分集合が極大元をもつことは同値である。これは極大条件 (maximal condition) とも呼ばれる。 有限半順序集合は昇鎖条件と降鎖条件を満たす。 降鎖条件を満たす全順序集合は整列集合と呼ばれる。 ^ Hazewinkel, Gubareni
条件演算子（じょうけんえんざんし、英: conditional operator）は、プログラミング言語の演算子で、条件文と同様な意味があるが、文ではなく値を持つ式になる。評価されると、条件式の値により異なる式が評価され、異なる値になる。 なお、C言語やC++など一部のプログラミング言語において、条件演算子とは後述する「
(1)物事を決定したり約束したりするときに， 前提あるいは制約となる事柄。
noun）である。ある表現対象が可算か不可算かは言語によって異なり、また、同じ言語でも表現方法によって異なる場合もある。 英語の場合、名詞には、純粋可算名詞、純粋不可算名詞、文脈によって可算名詞にも不可算名詞にもなるものの3つのタイプがある。通常、英語の辞書では、可算名詞には [C] （countable の略）、不可算名詞には
ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語
はまた可算である。これより、代数的数全体の集合 Q は可算であることが従う。しかし、可算個の可算集合の直積集合や、可算集合の冪集合は非可算であり、その濃度は連続体濃度である。 可算個の可算集合の直積集合の濃度は、濃度不等式 2 ℵ 0 ≤ ℵ 0 ℵ 0 ≤ ( 2 ℵ 0 ) ℵ 0 = 2 ℵ
の上限値もそれに伴って減らさなければならない。 CFL条件は陽解法の時間進展を行う際に用いられる条件であり、この条件を回避するためには陰解法がしばしば用いられる。陰解法を用いることでCFL条件の回避や緩和ができる理由としては様々な説明が存在するが、最も簡潔に説明すると、陽解法は1ステップ前の自分の周りのごくわずかな格
条件文（じょうけんぶん） 論理包含 - 論理演算の1つ if文 - プログラミング言語やアルゴリズムでの制御構文の1つ 条件法を使った文 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を
搜索 
搜索 搜索 
