How the battle for Mosul unfolded
The battle for Mosul was a huge military operation to recapture Iraq's second largest city from so-called Islamic State (IS). Mosul fell to IS in June 2014, with IS leader Abu Bakr al-Baghdadi proclaiming the creation of a "caliphate" from its ancient and now destroyed Great Mosque of al-Nuri. Thousands of Iraqi soldiers, Kurdish fighters, Sunni Arab tribesmen and Shia militiamen, assisted by US-l
位相空間論における反例と線形順序
位相空間論ではさまざまな例が全順序（またの名を、線形順序）を伴って構成されます。たとえば、実数直線 の通常の位相は開区間 の全体で生成されます。これを少し変更して、実数直線に の形の半開区間の全体で生成される位相を入れたものは Sorgenfrey 直線と呼ばれ、反例としてよく引用されるものです。これは例えば、それ自身はパラコンパクト Hausdorff だがその平方はパラコンパクトでないような空間の簡単な例になっています。 1 次元多様体で距離化可能でないものの例として、長い直線を以前に取り上げました。これも、全順序集合に開区間全体から生成される位相を入れたものです。長い直線の構成で重要だったのは、最小の非可算順序数 です。この に開区間から生成される位相を入れたものは、位相空間論で非常に汎用性の高い反例です。とくに、パラコンパクト性を一般化して得られる様々な性質が では成り立たない（
RustのRFC一覧 (～0200) - 簡潔なQ
この記事は古いのでこちらをご覧ください 概要: RustのRFCの一覧を作ろうとしたが、あまりに多いのでとりあえず0200までで公開することにした。なお、単に全てのRFCを列挙したいならばここを見ればよい。 このRFCはRustのコミュニティーが管理しているものであり、 “RFC” の元祖であるIETF RFCとは関係ない。いずれもrequest-for-commentの略である。 メタ RFC 0002 Rust RFCの提出プロセスの説明 スタイル RFC 0199 似たような動作で、所有権/借用の種別だけが異なるようなメソッドの命名規則を定める 構文 RFC 0016 属性を let 文、ブロック、式にも使えるようにする (#![feature(stmt_expr_attributes)]) RFC 0049 マッチ腕に属性を使えるようにする RFC 0059 ~T 型と ~x 式を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Richard A. Eisenberg - Levity Polymorphism
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
Reddit - Dive into anything
