Windows

『MakeCode for micro:bit』は、インターネットにつながらない場合も、つかえます。

「ダウンロード」ボタンをクリックするだけで、プログラムをマイクロビットに書き込むことができます。