修正と補足

FAQ

1. Q. wsl 2 (windows): スリープ解除の後, X の画面に何も表示されません.
   A. X サーバーとの TCP/IP 接続がスリープにより切断されていることが原因です. これは将来的には wsl 2 で改善されることを期待していますが, とりあえずはスリープの前に wsl を完全終了 (windows powershell で

   wsl -t Ubuntu-20.04
   

   とする) しておくのが一番簡単な対策です.
   切断後に再接続する Xpra を使う対処法は ここ や ここ (stackExchange) を参考にしてください.
2. Q. 次のようなサイドチャンネルの緩和を有効にして... というメッセージがでます.
   どうすればいいですか?
   A. OK を押してください. このメッセージ, 日本語が変で, "サイドチャンネルの緩和によりセキュリティーが強化されます. しかしパフォーマンスの低下がおきることがあります." が正しいメッセージだと思われます. サイドチャンネルを用いた仮想マシンの攻撃方法を理解するのはかなりの知識が必要です. たとえば, CPUの脆弱性[Spectre/Meltdown]と投機的実行の仕組み〜分岐予測とアウトオブオーダー実行〜 がある程度知識のある人向けの入門的な解説です.

3. Q. MathLibre-2019 仮想マシンをネットワークからダウンロードするには?

   A. ここ に接続して 下の図の A をダウンロード(4Gあり), B から,

    VM-mathlibre-2019-for-dist.zip : VMware virtual machine (use 3G memory).
    VM-small-mathlibre-2019-for-dist-v2.zip : VMware virtual machine (use 1.5G memory).
   

   のどちらかをダウンロード. zip の中のフォルダを mathlibre-2019.iso と同じレベルにコピー. なお Desktop や document などは cloud で同期されているのでそこへはコピーしない. usb 版のコピー先の説明を参照.