RPM データベースが破損して rpm コマンドがハングして応答しなくなるのは良く聞く話。 破損したデータベースの修復方法もそこらへんでよく見ます。 だけど、その修復方法が微妙に違ってたりするので、自分がやったメモを残しておきます。 1.破損したデータベースのバックアップ RPM データベースは /var/lib/rpm にある__db.001__db.002__db.003の 3 つのファイルです。 これを他のディレクトリにコピーしておきましょう。 とは言え、本当に破損している場合、バックアップしておいたところで使い物になりません。 2.破損したデータベースの削除 バックアップしたらデータベースファイルは /var/lib/rpm 内から削除します。 これが重要で、破損した RPM データベースが残ってると修復のコマンドを実行しても、そのコマンド自体がハングします。 3.RPM データベ
400年の難問、「ケプラー予想の証明」やっと100%終わる2014.08.13 22:0019,492 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100%正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと「定理」ではなく「ケプラー予想」と呼ばれ続けてきた難題中の難題です(参考)。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、「フェルマーの最終定理以来の難問が解けた!」と世界中
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く