ラッセルのパラドックスでは自分自身を含む集合を考えます。例えば， 全ての物を含む集合 XXX というものを考えてみると，それは自分自身も含むべきなので X∈XX\in XX∈X となりそうです。 そのような自分自身を含む集合はよく分からないのでこの記事では「異常な集合」と呼ぶことにします。 X∉XX\not\in XX∈X であるような集合を「正常な集合」と呼ぶことにします。 すると，以下のように矛盾が導けます！ 正常な集合 XXX を全て集めてきた集合を AAA とする。 ・ AAA が正常なとき AAA は定義より正常な集合を全て集めてきたものなので当然 AAA 自身も含む。よって A∈AA\in AA∈A である。しかし，これは異常の定義より AAA が異常であることを表しているので矛盾。 ・ AAA が異常なとき AAA が異常なので，異常の定義より A∈AA\in AA∈A

チューリングマシンとかの話で出てくる停止性問題について、とてもわかりやすいたとえ話を聞いたので紹介。 停止性問題 停止性問題（ていしせいもんだい）は、（直接的には）計算可能性理論の問題で、チューリング機械（≒プログラム、アルゴリズム）Aに入力xを入れたら有限時間で停止するか、という問題。アラン・チューリングは1936年、停止性問題を解くチューリング機械が存在しない事を対角線論法で示した。すなわちそのようなチューリング機械の存在を仮定すると、自身が停止すると判定したならば無限ループを行い、停止しないと判定したならば停止するような別のチューリング機械が構成できるという矛盾が導かれる。 (Wikipedia) 単純にいえば、「与えられたプログラムが停止する」ということを判断し停止するプログラムは書けないということ。 なぜなら、もし、そういったプログラムが存在するようであれば、結果をひっくり返した

同じ犬種でも100年でこう変わった…1915年と2015年の比較した写真いろいろ 左：1915年のドーベルマン　右：2015年のドーベルマン 犬の品種は、数百から数千とも言われますが、ほとんどは人間が作り出したもので、同じ犬種でも世代を経るごとに少しずつ変わっています。 100年前と現在でどう変わったのか（変わってないのか）、同じ犬種の比較をご覧ください。 ダックスフンド 1915年 2015年 ブルテリア 1915年 2015年 ジャーマン・シェパード 1915年 2015年 パグ 1915年 2015年 ビアデッド・コリー 1915年 2015年 セントバーナード 1915年 2015年 サルーキ 1915年 2015年 バセット・ハウンド 1915年 2015年 ボクサー 1915年 2015年 ホワイト・テリア 1915年 2015年 ブルドッグ 1915年 2015年 以上、12

ローソンとスリーエフの提携が8月31日に発表された。高知のスリーエフがローソンに鞍替えしたという例はあるが、今回はローソンがスリーエフの株を約5％ほど取得し、共同での商品開発や仕入れを行う意向だという。 スリーエフは1979年に神奈川県横浜市で誕生し、現在は南関東を中心に558店舗(2015年9月1日現在)を構えるコンビニエンスチェーン。三大チェーンに比べると数は少ないが、このエリアでは一定の知名度があり、Tポイントの使用も可能だ。 「そういえば学生時代、校舎近くのスリーエフに行っていたけど最近は全然行ってないな……」と思い、あらためて会社近くのスリーエフに行ってみた。 都内のスリーエフにGO! 都内某所のスリーエフはこんな感じ。ビルの1階にある店舗で、外観は他のコンビニと比べても大きな違いはない。

自民党の特命委員会が、飲酒・喫煙の解禁年齢を「18歳」に引き下げるよう政府に求める方針を固めたと報じられた。これを受けて高田延彦さんが懸念をツイートしている。

アマゾンジャパンの元社員、島崎敦美さん（仮名）。アマゾンからは雇用契約書（オファーレター）への署名を求められるその時まで、雇用条件に関する詳しい説明がなかったという。 アマゾンジャパンの中途採用で内定した島崎敦美さん（仮名）。だが、計4度の面接中はおろか、内定が出た段階でも雇用条件の明示がなかった。雇用契約書は入社10日前に手渡されると言われ訪問したところ、アマゾンは彼女に「契約書を持ち帰っての検討は不可」「この場でサインしなければ内定取り消し」と通告。そこで初めて明らかになった各種不利な条件――基本給に月70時間分の残業代が予め組み込まれていることや、賞与の代わりとなるRSU（制限付き株）が４年勤続しないと満額支給されないこと――を理解・検討する時間がないまま、署名せざるを得なかった。入社後も「できるだけシフトは固定」「転勤なし」などの口約束を反故にされ、体力的限界から1年持たずに退職。