あるツールをインストールしようとダウンロードしてきたZIPファイルを展開しようとしたら、うまく展開できず。 どうやら、Windows7のときに使っていた展開ツールがWindows10では完全には対応していないようだ。 ということで、別の展開ツールを使ってインス…