Raspbian (2019-07-10版）をダウンロードし SD カードに書き込む

1. Raspbian のミラーサイトのウェブページを開く

   https://www.raspbian.org/RaspbianMirrors

2. この中から，日本のサイトを選ぶ

   このページでは、一番上の JAIST を選んだものとして、説明を続ける。他のサイトを選んでも、同様の手順になる。

   
3. イメージファイルが欲しいので， 次の順で操作する 「Parent Directory」 → 「pub」 → 「raspberrypi」 → 「raspbian」 → 「images」
4. 最新版を選ぶ
   
5. .zip ファイルを選ぶ
   
6. ダウンロードが始まる
   
7. ダウンロードした zip ファイルを展開（解凍）する．

   展開（解凍）には 7-Zip が便利である

8. 必要な場合に限り SD カードをフォーマットする

   Windows での SD カードのフォーマットは，別ページで説明

   * SD カードに負担をかける可能性があるので，なるべく SDカードのフォーマットを避ける． 但し，他のラズベリーパイで使用していた SDカードを使いたいというときは，フォーマットしたほうがトラブルが少ない

9. SD カードの書き込みソフトが欲しいので， Etcherを使うことにする．次のWebページからダウンロードし，インストールする．

   https://etcher.io/

10. Etcher を起動
11. 「Select image」をクリック
    
12. 先ほどダウンロードしたイメージファイル (.img の方) を選ぶ
    
13. SD カードが自動選択されるので確認
    

    * このとき，SD カードが自動選択されなかったときは，「Continue」をクリック

    
14. 「Flash」をクリック．
    
15. 書き込みが始まる．

    しばらく待つ

    
16. 終了の確認
    

    このとき「フォーマットする必要がある」という表示が出ていても無視する （何も操作しない）

    
17. Etcherを閉じる
18. Windows パソコンで，「PC」を開く
    

    「boot」という名前の新しいドライブができていることを確認，

    * このとき，このドライブの容量が，SDカードのサイズより小さいのは,問題ないので気にしないこと．

    
19. 次の手順で，ssh サーバを有効にする

    【関連する外部ページ】 https://www.raspberrypi.org/documentation/remote-access/ssh/

    1. まず，「boot」という名前のドライブを開く
       

       右クリックメニューで，「新規作成」，「テキストドキュメント」

       

       「新しいテキストドキュメント.txt」という名前のファイルを探す

       

       * このとき， 「新しいテキストドキュメント」という名前のファイルが表示されている （「.txt」が表示されない）ときは，必ず「表示」で「ファイル名拡張子」をチェックする

       
    2. ファイル名を「ssh」に書き換える
       
    3. 警告表示が出るので確認する．

       警告表示が出ないときは，操作を間違っている可能性があるので， この「ssh サーバを有効にする」の手順をもう一度やりなおす．

       
    4. Windows パソコンで「SD カードを取り出す操作」を行う
    5. SD カードは，ラズベリーパイに入れて使う

       Windows パソコンから，ネットワーク経由でRaspberry Piを操作する方法は， 別ページで説明