インタファックス通信によると、ロシアが10日、北方領土と千島列島をさす「クリル諸島」で、地対空ミサイルの発射演習を行ったと発表した。 ウクライナ侵攻をめぐり、制裁に加わった日本をけん制する狙いもあるとみられている。

炎魔法を使えたとして、なんでそれをファイアーボールとして球状にして打ち出す必要があるんだろうか

リンク Wikipedia 公理的集合論 公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系は以下のZF公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。選択公理を仮定しない体系も盛んに研究されている。 またZC,ZでそれぞれZFC,ZFから置換公理を除いたもの、Z-、ZF-、 34 users 3 睦月 @gbhatu227 よく訓練された人でないと数学書読んでも楽しくないので、あっ！解けた！という快感を味わうために中学入試算数から始めてみるとお手軽かも、あれ大人でもぱっと解けないですよ 2022-03-10 08:1

某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話　「巨大基数の崩壊」 第二話　「クレパの木」 第三話　「ペアノの公理系」 第四話　「ストーンの表現定理」 第五話　「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）

幼保無償化の所得制限って話題で 「高所得の人に負担してもらって、低所得の人は負担が軽くなるのがこの国のシステム」とか言ってる人がいたけれど それが本当だとしたら実に真っ当なシステムなのでは…？それの何処に問題があるの？ 高所得者は税金を払って支えているのにおかしい、とばかりに被害妄想で語る人の多さに驚く 高所得の人は余裕があるんだから負担すればいいじゃん 低所得の人は余裕がないんだから負担が軽くなって何もおかしくない 応能負担がきちんと機能しているならば、それは国としてまともだって事だよ (寧ろ現実はそうなっていないから問題なんだが。貧乏な独身者から毟り取って余裕のある子持ちに所得転移している) 所得税の累進課税の話題でもそうだったけれど、高所得になればなる程負担が増えるという事を、さも不当であるかのように語る人の多さに驚くよ

世界一の陸軍と野戦防空システムを持つロシア軍が、これほどまでドローンに苦しめられると予想していた人は少なかったでしょう。 https://t.co/136KVrsyqw

妻、夫、嫁、主人、パートナー…。ここ数年、自分や他人の配偶者をどう呼ぶか、迷う人が増えている。女性の社会進出やジェンダー意識の高まりが背景にあるようだが、実際の呼び方に変化はあるのだろうか。京都新聞社は昨秋、双方向型報道「読者に応える」のLINE（ライン）で、1805人に配偶者の呼称を問うアンケートを実施。身近な人の呼称を巡る思いや体験を聞いた。 【グラフ】「嫁」「旦那」に続いて多い呼び方は 男女平等の議論が活発化する近年、他人を従属させている者という意味を持つ「主人」や、家の中にいる人を示す「家内」「奥さん」といった呼称に違和感を持つ人が増えているという。確かに総務省の統計によると、1992年に共働き世帯数が専業主婦世帯数を逆転。2020年には専業主婦世帯の2倍以上に上るなど、社会の実態は言葉本来の意味とはかけ離れている。そのためか、テレビドラマなどで「パートナー」「妻・夫さん」など、夫