めちゃくちゃ小さいのに領土争いがある地区・島 - 歴ログ -世界史専門ブログ-
Photo by Toubletap なんでこんな小さな土地を巡って争うのか？ 韓国が実効支配し、日本が領有を主張している竹島（韓国名：独島 トクト）は、総面積約0.2平方キロメートルのめちゃくちゃ小さい島です。 第三者からすると、なぜ韓国がこんなちっぽけな島に愛国心をたぎらせ、警備兵を常駐させ、何もないのに観光客が押し寄せているのか全く理解できないんじゃないんでしょうか。 同じように、我々から見ると争うのが馬鹿馬鹿しいほど小さいのに、国家間で領有権争いが続く地域は数多くあります。 １. ポイント20シルバー（シンガポール vs マレーシア） シンガポールの土地埋め立てにより発生した論争 マレー半島の先端にある島国シンガポールは、隣国マレーシアと狭い海峡を挟んで隣り合っています。 両国の国境はシンガポール側にある東のテコン島から西のトゥアス地区まで海域を2分して、陸路である2つの橋と、海上
定理証明リンク集
定理証明、特に定理証明支援系(Proof Assistant)はその存在こそ少しずつ浸透しつつあるような気がしないでもないけれど資料とか全然まとまってないのが不便だなと前々から思っていたのでリソースをまとめておきます。 これも追加してほしいみたいなのあったら教えてください。 Proof Assistants 始めるなら次の中から選ぶのがよいと思います。 Coq Calculus of constructionsベースの型システムとリッチなコマンドを備えた言語 このリストの中では最もコミュニティが大きい、入門書等も豊富 型システムと項を書くためのGallina, コンパイラへの命令を記述するためのVernacular, タクティクスの定義に使うLtacなどの言語が混ざって出てくるのが初心者には混乱必至 結構複雑な言語なので使いこなすのはそれなりに大変 Agda Martin-Löf type
GitHub、無料ユーザーもプライベートリポジトリを使い放題に
米Microsoft傘下の開発者向けのソースコード共有サービスGitHubは1月7日（現地時間）、無料ユーザーでもプライベートリポジトリを使えるようにしたと発表した。 これまでは、ソースコードを非公開にできるプライベートリポジトリを使えるのは月額7ドル以上の有料ユーザーのみだった。新プランでは、無料ユーザーでも無制限にプライベートリポジトリを使えるが、共有できるのは3人までだ。 また、有料プランの構成を変えた。従来「Developer」という呼称だった月額7ドルの個人向けプランは「Pro」に、GitHubのみで使うものと自社サーバでのホスティングも可能なものの2つに分かれていた2つのビジネス向けプランが1つになり、「Enterprise」という呼称になった。料金は変更なしだ。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
