400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0020,202 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
宇宙望遠鏡ケプラー、仮死状態…運用断念も : 科学 : YOMIURI ONLINE（読売新聞）
【ワシントン＝中島達雄】米航空宇宙局（ＮＡＳＡ）は１５日、宇宙望遠鏡ケプラーが制御不能になり、仮死状態に陥っていることを明らかにした。 今月初めから、姿勢制御装置の一部がうまく作動しなくなった。２０１６年ごろまで観測を続ける計画だったが、太陽電池パネルを太陽の方角に固定できなくなっており、このまま復旧しなければ、運用を断念することになる。 ケプラーは太陽系外の地球型惑星を探すため、０９年３月に米フロリダ州から打ち上げられた。順調に観測を続け、先月、生物が住むのに適した惑星を３個発見して話題になったばかり。 現在は地球から６４００万キロ・メートル離れた場所にあり、地球と月の距離（３８万４千キロ・メートル）の約１６７倍。宇宙飛行士が修理に行くのは不可能だという。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
