7zip

まず最初に7zipをインストールしてもらいたいです。

7zipは現在使われているソフトで、
最高といっていい性能を持っている圧縮展開ファイル形式です。
インストールすることでついてくるファイルビューワ7ZipFMも優秀なのでおすすめです。
既にPCに別の圧縮展開ソフトが入っていても入れておきましょう。

普段使っているものがあるからそれ使えばいいでしょと思われるかもしれませんが、
7zipを強く推奨する理由があります。
世間でよく使われているソフトにはプログラマー的に問題があるものがあるのです。
Windows10の標準のものやLhaplusのようなソフトは、
ユーザーの安全重視してセキュリティの観点から、
圧縮ファイルの中の勝手に大切なファイルを勝手に削除することがあるのです。
プログラマーでないユーザーにはそれでよいでしょうけどもプログラマーにとってはとんだおせっかいです。

問題がないほかの圧縮展開ソフトとしてWinRARを挙げておきます。
シェアウェアという販売形態で、有料ソフトですが一応無料で使い続けることができます。
私は買いました_(:3 」∠ )_

おせっかいのない素直に正しく動作するソフトを使いましょう。

インストール

2.softフォルダの中に7z1900-x64.exeがあるのでこれを開いてInstallをクリックします。
これで7zipのインストールは終わりです。迷うことはないと思います。あとは閉じてよいです。

拡張子について

次に2.softフォルダを見てください。
このようなファイル構成になっているはずです。

2.soft/
├── 2.soft.7z.001
├── 2.soft.7z.002
├── 2.soft.7z.003
├── 2.soft.7z.004
├── 2.soft.7z.005
├── 2.soft.7z.006
├── 2.soft.7z.007
├── 2.soft.7z.008
├── 7z1900-x64.exe
├── go_build.bat
└── show_extension.bat

2.soft.7z.001から始まる連番のファイルがあります。
ただ人によっては、2.soft.7zのように001がついて無いように見える場合があります。

詳細表示

アイコン表示

そうなっている方はエクスプローラーの上にある表示をクリックして、その中にあるファイル名拡張子にチェックをつけましょう。

これで2.soft.7z.001のように表示されると思います。

windowsにおいて名前にドット.が含まれるとき、最後のドット以降を拡張子と呼びます。
JPGやMP3を効いたことがあるかもしれません。だいたいそういうのです。
aaa.bbb.ccc.dddという名前のファイルがあったとしたら.dddを拡張子といいます。
普通ドットも含むことが多いです。
拡張子はファイルの種類を判別するのに役立つため、表示するようにしましょう。

どうしても設定できない場合のためにshow_extension.batというものを置いています。これをクリックして実行してください。上のやり方とは違って、実行後に再起動が必要です。面倒ではありますが、これで確実に拡張子が表示されるはずです。

7zipの使い方

拡張子が表示される状態にすると、001~008までファイルがあるのがわかると思います。
001のファイルを右クリックして、出たメニューの中から7Zipにカーソルを合わせます。
カーソルを合わせるとさらにメニューが出るので、
とりあえずその中の「ここに展開」を選びます。別にどこに展開しても構わないです。

これで

の４つのファイルが展開されます。

常に最新版がリリースされています。
上の箇条書きには公式サイトへのリンクを張っていますので、
最新版を取得して使って構いません。
ただしバージョンアップによる変更で説明と実物が乖離します。
新しいものを使って説明と乖離していた場合適当に選んでも問題ありません。
パソコンというのはたいてい適当に操作しても、あとから取り返しがつくことが多いです。
問題が起きたらその都度調べて解決しましょう。

textbook