アカウント名:
パスワード:
「データ損失が発生しないことを数学的に証明した」のに、データの損失がほぼ起きないファイルシステムを作っただと?
これ単に、OSクラッシュでデータ損失しないことを証明しただけじゃね?ハード故障でも損失しないことを証明することは、そりゃ無理でしょう。
RAIDにしたところで、HDDが飛んだあとも交換せずに使い続ければいずれデータは飛ぶ。
公理「決して故障しない理想的なハードが存在する」の下での証明?
「存在する」では故障するハードにあたったときアウトだから、公理「ハードウェアは決して故障しない」では?
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
「科学者は100%安全だと保証できないものは動かしてはならない」、科学者「えっ」、プログラマ「えっ」
何その嫌がらせ (スコア:0)
「データ損失が発生しないことを数学的に証明した」のに、
データの損失がほぼ起きないファイルシステムを作っただと?
Re:何その嫌がらせ (スコア:0)
これ単に、OSクラッシュでデータ損失しないことを証明しただけじゃね?
ハード故障でも損失しないことを証明することは、そりゃ無理でしょう。
RAIDにしたところで、HDDが飛んだあとも交換せずに使い続ければいずれデータは飛ぶ。
Re: (スコア:0)
公理「決して故障しない理想的なハードが存在する」の下での証明?
Re: (スコア:0)
「存在する」では故障するハードにあたったときアウトだから、公理「ハードウェアは決して故障しない」では?