1. 最新版のディスクイメージをダウンロード(raspbian-2017-07-05版 Kernelのバージョンは4.9)
    http://ftp.jaist.ac.jp/pub/raspberrypi/raspbian/images/
  2. Windows用SD Formatterをダウンロード・インストールして、32GBのMicro SDをフォーマット

  3. Windows用Win32 Disk Imagerをダウンロード・インストールして、ディスクイメージを書き込み。
    書込先を間違えるとディスクを消去してしまうため、PC内蔵HDD以外をすべて取り外した状態が好ましい。

  4. sshによる接続を許可するため、sshというファイル名のファイルを、bootドライブのルートディレクトリに作成する。

  5. WakeMeOnLAN等でipアドレスを調べて、PuTTY等でSSHログインする。初期ユーザ名はpi、初期パスワードはraspberry。