2014年8月14日のブックマーク (2件)

  • 【2ch】ニュー速クオリティ:ゲームの攻略WIKIやってて糞儲かるけど質問ある?

    1: 名無しさん@おーぷん 2014/05/11(日)08:09:45 ID:HCNEjfFEX まとめとか目じゃないな 引用元:http://open01.open2ch.net/test/read.cgi/news4vip/1399763385/ 続きを読む

    Nao_u
    Nao_u 2014/08/14
  • 400年の難問、「ケプラー予想の証明」やっと100%終わる

    400年の難問、「ケプラー予想の証明」やっと100%終わる2014.08.13 22:0019,492 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100%正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと「定理」ではなく「ケプラー予想」と呼ばれ続けてきた難題中の難題です(参考)。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、「フェルマーの最終定理以来の難問が解けた!」と世界中

    Nao_u
    Nao_u 2014/08/14
    回路設計とかも人間の手に負えるレベルを超えてたりして、気がついたら誰も実際に低レベルで何が起こってるのかがどんどんわからなくなっていきそう