今度は「自動修復で PC を修復できませんでした」というのが出ました。そこに書いてあるファイルと思われるものを見ると ブートの重要なファイル d:\efi\microsoft\boot\cipolicies\active\{cdd5cb55-db68-4d71-aa38-3df2b6473a52}.cip が壊れています。 と…

Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化という本のKindle版がなかったのでKinoppyで購入。Kinoppyは初めて使いました。PCでは字が小さくて読みにくいですがiPadの大きいのを持っているのでそっちではなんとか読めます。PC…

TeXからはてなブログに変換するツールを作ろうと思って、Visual StudioでPythonが使えるようなのでやってみましたが、正規表現のやり方が普通と違う感じになってしまいました。たぶん普通のやり方でもできるとは思うのですが、Pythonはよく知らないのでわか…

Windows10のノートPCを使っていたのですが、変な音がするようになったので、新しくWindows11のノートPCを購入しました。そのPCでこのブログを書いていたら、「デバイスに問題が発生したため、再起動する必要があります。エラー情報を収集しています。自動的…