ガタガタ言わずにリブート

これが非常に普遍性のある定理であることは古くから知られているが、今のところ証明に成功したという話は聞いていない。(その意味ではまだ定理ではなく命題に過ぎない。)特にWindowsでは非常に有用な処置方法であることは10年以上前から知られている。またJavaが流行りだした頃から、メモリリークによるバグをごまかすための手法としても広く用いられるようになった。携帯電話によっては深夜(2時とか3時とかに)勝手にリブートするような設定になっているものもある。連続運転が原則のサーバであっても、メンテナンスと称して月に1度程度この定理を適用している。昨今PCに代わってMacが伸びているようだが、この定理はもちろん通用する。
コンピュータや携帯を使っていて何かおかしいな?と思ったら、この定理を適用してみるべきである。ただし、何らかのエラーメッセージが表示されている場合は、もう1つの定理が有用である場合がある。「エラーメッセージをそのままコピペしてGoogle。」