sanne_20
@sanne-20オフライン
師範16082026年3月8日 から
ショーケース
子午線
概念
子午線(しごせん、meridian)とは、地球の赤道に直角に交差するように両極を結ぶ曲線である。南北線(なんぼくせん)・南北圏(なんぼくけん)とも言う。同一経度の地点を結ぶ経線(けいせん、line of longitude)と一致する。 子午線に対して直交するのが卯酉線(ぼうゆうせん)で、東西圏とも言う。これに対して同一緯度の地点を結ぶのが緯線である。
ジャン・カステックス
フランスの政治家。第24代フランス首相
存在
ジャン・カステックス(Jean Castex、1965年6月25日 - )は、フランスの政治家、官僚。エマニュエル・マクロン大統領の下で第24代首相を務めた(2020年7月3日 - 2022年5月16日)。プラード市長を歴任した。
イチイ属
存在
イチイ属(イチイぞく、一位属、学名:Taxus)は、イチイ科に分類される属。針葉樹。 イチイと総称されることもあるが、イチイはイチイ属の1種 Taxus cuspidata の標準和名でもある。
集合論
集合とよばれる数学的対象をあつかう数学理論
概念
集合論(しゅうごうろん、英: set theory)は、集合とよばれる数学的対象をあつかう数学の分野である。 通常、「集合」は様々な数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では、二つの集合の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 O n {\displaystyle \mathrm {On} } もまた整列順序付けられている。任意の集合 A {\displaystyle A} の濃度集合の濃度 | A | {\displaystyle \left|A\right|} を下式で定義できる。 | A | = m i n { α ∈ O n | ∃ R [ ( A , R ) ≅ ( α , ∈ ) ] } {\displaystyle \left|A\right|=\mathrm {min} \left\{\alpha \in \mathrm {On} \,|\,\exists R\left[\left(A,\,R\right)\cong \left(\alpha ,\,\in \right)\right]\right\}} すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はスコットのトリックを参照。
ザールラント州
ドイツの州
土地
ザールラント州 Saarland ザールラント州(ザールラントしゅう、ドイツ語: Saarland, フランス語: Sarre)は、ドイツの連邦州の中西部の南方にある州。石炭の産地で、産業の要所であった。フェルクリンゲンの製鉄所跡は、ユネスコの世界遺産に登録されている。 第一次世界大戦後は国際連盟の管理下に、第二次世界大戦後はフランス領管理下に置かれた。1950年5月9日、フランスのモーリス・シューマン外相は、ザールの石炭資源などを西ドイツとの間で共同管理する内容を盛り込んだ「シューマンプラン」を提唱、西欧6カ国から承認を得るなど影響力の確保に邁進。親ドイツ政党を禁止するなどの政治的弾圧を行い、住民投票によってこの地域を独立させようとしたが、投票では住民が独立を拒んで西ドイツ(当時)への復帰を選択した。1957年1月1日に西ドイツに復帰した。
戦績
- 176コモン
- 72アンコモン
- 145レア
- 58エピック
- 26レジェンド
- 9ミシック
- 2プリズム