400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0018,572 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
大学「オープンラボ」普及へ 研究室、壁を外し交流を - 日本経済新聞
文部科学省は11日までに、国立大学の施設設計の指針を15年ぶりに改定し、個室になっている研究室の壁を取り払って研究者同士の交流を促す「オープンラボ」方式の普及に乗り出した。交流を通じて研究の場を活性化し、新たな発想を生み出すのが狙い。公立・私立の大学にも導入を呼びかけていく。政府の教育再生実行会議（座長・鎌田薫早稲田大総長）がイノベーション創出のための大学の研究環境整備を提言したことなどを受け
Typhoon Halong triggers evacuation orders in Japan
Roads have flooded in the city of Tsu, Mie prefecture More than one million people have been told to evacuate their homes as a powerful typhoon hit south-west Japan. Typhoon Halong made landfall near Aki, Kochi prefecture, at around 06:00 (21:00 GMT Saturday), the Japan Meteorological Agency said. Torrential rain in Mie prefecture, west of Tokyo, was already "unprecedented" and could trigger lands
'Remote control' contraceptive chip available 'by 2018'
The chip would need replacing every 16 years (chip pictured is not the one described in the article) A contraceptive computer chip that can be controlled by remote control has been developed in Massachusetts. The chip is implanted under a woman's skin, releasing a small dose of levonorgestrel, a hormone. This will happen every day for 16 years, but can be stopped at any time by using a wireless re
Japanese man sets self on fire over military rule change
The incident took place on a bridge at the busy Shinjuku station in central Tokyo A man set himself on fire in central Tokyo in protest at a proposed law which could allow Japan to deploy its military overseas. The man was taken to hospital after being hosed down but his condition was not immediately known, officials said. Japan's government could make the change to its pacifist constitution as ea
白バラ牛乳が飲みたくて 鳥取県、給食の入札拒否を決意：朝日新聞デジタル
地産地消を掲げる鳥取県が、学校給食の牛乳調達に求められている入札を来年度から取りやめる方針を決めた。入札の結果、今春から一部の学校で県外業者産に切り替わったためだ。学校関係者や酪農家から戸惑いの声も上がっている。ただ、低温殺菌の牛乳なら随意契約ができ、入札にこだわる必要はない。問題はどこにあるのか。 「高い値段でやる、透明性を欠いたようなことをやる、という気持ちはさらさらない。リーズナブルなプロセスで選ばせていただきたい。例えば市町村が独自に購入することを認めていただければ直ちに解決する問題だ」 ５月１６日、東京・霞が関の農林水産省。鳥取県の平井伸治知事は小里泰弘政務官に調達制度の見直しを訴えた。 入札に伴い、今春から県外業者の牛乳に切り替わったのは県内１９市町村のうち、県西部の６市町。米子市もその一つだ。市教委によると、当初は児童・生徒から「味が薄くなった」といった声が上がった。これまで
47NEWS（よんななニュース）
［剣道・ＢＳＮ高校選手権］男子個人・大竹陽向（新潟明訓）が制覇、女子個人・櫻井心結（五泉）が優勝 全国高校選抜大会新潟県予選
Japan lawmaker admits to sexist remark
Mr Suzuki bowed in apology to Ms Shiomura at Tokyo's city hall on Monday, in front of reporters A male member of Tokyo's city council has admitted telling a female colleague to "hurry up and get married", in an incident that outraged many Japanese. Mr Akihiro Suzuki shouted his remark at Ms Ayaka Shiomura at a meeting of the assembly last Wednesday. Ms Shiomura was asking about measures to help mo
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ロボット「JIBO」がクラウドファンドで人気を集める理由
アメリカのテックショップ（Tech Shop）「モノづくりの米会員制工房」が日本進出で、富士通と提携するらしい | ニュース屋さん＠日本株式投資
Learning English - Words in the News - Monkey business!
Home
Google to be sued over 'snooping'
Japan consumer price growth at 32-year high
Google reveals first Android Wear watches to go on sale
Iraqis use Firechat messaging app to overcome net block