BBCのクエンティン・サマヴィル中東特派員とカメラマンのダレン・コンウェイ記者は、ウクライナ北東部ハルキウ(ロシア語でハリコフ)でウクライナ軍に同行し、戦闘の前線を取材した。
北海道南部の海域を航行するロシア海軍のウダロイⅠ級駆逐艦。この後津軽海峡を通過した=10日(防衛省統合幕僚監部提供) 防衛省は11日、ロシア海軍の軍艦10隻が津軽海峡を通過したと発表した。 同海軍は2月にウクライナ周辺の自軍と呼応する形で、極東地域で大規模な海上演習を実施。10隻はこの参加艦艇とみられ、岸信夫防衛相は同日の記者会見で「ウクライナへの侵攻が行われる中、わが国周辺でロシア軍の活動が活発化するのは懸念すべきものだ。緊張感を持ち警戒監視に当たる」と話した。外交ルートで関心を表明したという。 【写真】津軽海峡に向け航行するウダロイ1級駆逐艦(2021年10月) 防衛省によると、10日午前2時ごろ、北海道襟裳岬の東北東約180キロの太平洋上を進むロシア海軍のウダロイI級駆逐艦など10隻を海上自衛隊の哨戒機が発見。10隻は10日夜から11日未明にかけ津軽海峡を通過し、日本海に向かった。領
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
リンク 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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く