五月にWindows10の大型アップデートがあった。たいてい、こういうアップデートを行うと種々のトラブルが起こる。てきるならやりたくなかったのだが、トラブルが起こり、トラブル解決にはアップデートせざるを得ないらしく、仕方ないのでアップデートした。 …