タグ

2017年12月17日のブックマーク (5件)

  • 主婦が考えてみた。ABC予想って、何がすごいの?~数学の超難問が解決!! - のんびりmathematicー数学主婦のブログ

    今日の朝、起きてすぐ、LINETwitterを見て、 !!!!!!!! と、なりました。 呼吸が5秒くらい、止まった気がします。 そう、 ABC予想、解決!! headlines.yahoo.co.jp 京都大学 数理解析研究所の望月新一先生の論文(2012年に発表したもの)が、ついに「正しい」と認められ、専門誌に掲載される予定とのことです。 当に当にびっくり…! 週明けから、数学に詳しい人々にインタビューしてこようと思ってますが(その内容も、シェアしたいです)、 まずは取り急ぎ… ABC予想、何がすごいの!? というテーマで、書いていこうと思います!! 0.はじめに 2012年に、望月先生が論文を発表した時点で、 「ABC予想って何なの?」 と、色んな人に聞かれました。 今回も「解説よろしく」と、ちょこちょこ知り合いに言われます。 しかし、実は、私、 全然詳しくないです。 何も数学

    主婦が考えてみた。ABC予想って、何がすごいの?~数学の超難問が解決!! - のんびりmathematicー数学主婦のブログ
    tosebro
    tosebro 2017/12/17
    興味深い。もう少し詳しい解説が読みたくなった
  • "独創的すぎる証明"「ABC予想」をその主張だけでも理解する - アジマティクス

    2017年12月16日、数学界に激震が走りました。……というと少し語弊があるでしょうか。 この日、あの「フェルマーの最終定理」に匹敵するとも言われる数学の重要な予想、つまり未解決問題であった「ABC予想」が京都大数理解析研究所の望月新一氏によってついに解決されたというニュースが、数学界を、いや、世界中を駆け巡ったのです。 science.srad.jp とは言っても実は、ABC予想を証明したとする論文は2012年にすでに発表されていて、そこから5年間ずっと「査読中」、つまりその証明が正しいかどうかの検証中だったのです(5年もかかったというのは、それだけこの証明が独創的で難解だったことの証左でもあります)。 端から見ていた所感として、論文が出た当初は、当にこれがABC予想の証明になっているのか疑う向きも多かったようですが、最近では、証明はほぼ間違いないのだろう、というような雰囲気だったよう

    "独創的すぎる証明"「ABC予想」をその主張だけでも理解する - アジマティクス
    tosebro
    tosebro 2017/12/17
    わかりやすい!そうか、「任意のε>0」は「εがどれだけ小さくても」と読めばいいのか。
  • HTML 5.2: 4.13. Common idioms without dedicated elements

    Table of contents 1 Introduction2 Common infrastructure3 Semantics, structure, and APIs of HTML documents4 The elements of HTML5 Microdata6 User interaction7 Loading web pages8 Web application APIs9 Communication10 Web workers11 Worklets12 Web storage13 The HTML syntax14 The XML syntax15 Rendering16 Obsolete features17 IANA considerationsIndexReferencesAcknowledgmentsIntellectual property rights F

    tosebro
    tosebro 2017/12/17
  • “1000回遊べるRPG”を4000回遊んだ男 「SFCトルネコの大冒険」に挑み続けるプレイヤーが語る「不思議のダンジョンには、まだ不思議がある」

    1993年に登場したスーパーファミコン用ソフト「トルネコの大冒険 不思議のダンジョン」(チュンソフト/現スパイク・チュンソフト)。2018年に25周年を迎えるレトロゲームではありますが、遊んでいた方は今でも、あのキャッチコピーを覚えているのでは? 「1000回遊べるRPG」 主人公トルネコが挑む「不思議のダンジョン」は、入るたびにダンジョンの形状が変化。また、いくらレベルを上げても、地上に戻るとレベル1に戻ってしまうという不思議な性質がありました。これらのゲームシステムのおかげで、何度でも新鮮な気持ちで遊べることから、「1000回遊べるRPG」というコピーが採用されていました。 一見、大胆と思えるこの表現、実際には“謙虚すぎた”かもしれません。というのも、今回取材した秋川さんは、同作を実機で4000回以上プレイ。現在もダンジョンに潜っては、Web上にプレイ日記を公開しつづけています。しかも

    “1000回遊べるRPG”を4000回遊んだ男 「SFCトルネコの大冒険」に挑み続けるプレイヤーが語る「不思議のダンジョンには、まだ不思議がある」
    tosebro
    tosebro 2017/12/17
    おもしろい。運の要素も多いはずなのに、ここまでできるもんなんだなぁ。
  • NTTデータ元課長インサイダー|NHK 首都圏のニュース

    tosebro
    tosebro 2017/12/17
    これだけ見るとしょっぱい事件だけど、NTTデータの役職者となれば知りうる非公開情報は多いのかもしれない。