1. OSイメージのダウンロード
下記のダウンロードページからRASPBIAN STRETCH LITE（右側）を選択。
https://www.raspberrypi.org/downloads/raspbian/
※ ダウンロードには時間がかかるので気長に待つべし
2. SDカードへの書き込み
2.1. SDの特定
下記コマンドでSDのデバイスへのパスを特定する。
% diskutil list
手元の環境では/dev/disk3 (internal, physical)となっているので、disk3だということが分かる。
2.2. アンマウントしてOSイメージを書き込む
上記2.1で特定したデバイスにddコマンドで書き込む。この時、diskをrdiskとすることで書き込みが断然早くなる。
% diskutil unmountDisk /dev/disk3
% sudo dd bs=16m if=./2018-06-27-raspbian-stretch-lite.img of=/dev/rdisk3
2.3. 再度アンマウントして取り出して完了
diskutil unmountDisk /dev/disk3