Google で、「Windows 10 文字 消える」で検索してみた結果Windows 10 にはよくあることらしい。再起動したら直ったので、「こんなミスをするなんて、おかわいいこと。」程度のようだ。

日本語キーボードっていらない概念だと思う。

TeXLive でがんばってみる。

感動した。ただ、スイッチが左側にあるタイプ世代だったのはちょっとショック(自分とは相性が悪い)。

フリーズしすぎて使い物にならないのは、surface が悪いのか、VOICEBOX が悪いのか。メモリ32GByte では処理速度が追いつかないという印象。Microsoft のメモリさばきが悪いようにも思うし。# 少し長い文章は、GPUモード よりも CPUモード の方がフリーズせ…

ファイルをアップロード中に、「更新」をうっかりクリックしてしまうと、アップロードが中止されて一からやりなおしに。作った人はやはり馬鹿。