Menthas(メンタス)は、プログラマ向けニュースキュレーションサービスです。フロントエンドからインフラ、機械学習やVRといった様々なジャンルの最新情報を提供します。
400年の難問、「ケプラー予想の証明」やっと100%終わる2014.08.13 22:0019,492 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100%正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと「定理」ではなく「ケプラー予想」と呼ばれ続けてきた難題中の難題です(参考)。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、「フェルマーの最終定理以来の難問が解けた!」と世界中
グーグルのプログラミング言語「Dart」、ECMA標準に:次はenumとdeferred loadingの正式サポートを 米グーグルはオープンソースのプログラミング言語「Dart」が国際標準化団体ECMAの正式仕様として承認されたことを発表した。 DartはJavaと同じクラスベースのオブジェクト指向言語で、複雑なWebアプリケーションの開発に使われる。 Dartはグーグルが2011年に発表。2013年12月には、ECMAによってDartの標準化を目指す技術委員会「TC52」が設置された。2014年6月25日に開かれたECMAの総会では、Dart 1.3をベースとする標準仕様「ECMA-408」の第1版が承認されている。 DartのGoogle+に掲載された情報によると、ECMA TC52委員会はこのほど開いた第3回会合で、enum(列挙型)やdeferred loading、async(
ファイル共有ソフトWinnyの作者で、東京大学情報基盤センター特任講師の金子勇氏が、2013年7月6日午後6時55分、急性心筋梗塞で死去した。Winny事件の弁護士を務めた壇俊光氏が7月7日、ブログで明らかにした。 金子氏は 東京大学大学院の助手を務めていた2004年、著作権法違反幇助の疑いにより京都府警察に逮捕され(関連記事)、2006年に京都地方裁判所で有罪判決を受けた(関連記事)。2009年、大阪高裁で逆転無罪判決を勝ち取り、2011年に最高裁が検察側の上告を棄却。無罪が確定していた(関連記事)。 現在はSkeedファウンダー兼CINO、東京大学情報基盤センター特任講師を務めていた。 ■関連記事 「金子勇さんの遺志が健全に羽ばたける世に」 慶応大環境情報学部長 村井純氏が追悼の言葉
Hacker News new | past | comments | ask | show | jobs | submit login 1. F-35 Cleared for Full-Rate Production 17 Years After Its First Flight (twz.com) 47 points by jdmark 1 hour ago | hide | 6 comments 2. Nanofont3x4: Smallest readable 3x4 font with lowercase (github.com/michaelangel007) 26 points by lsferreira42 56 minutes ago | hide | 1 comment 3. Boinc lets you help cutting-edge science resear
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く