>>17 micro:bit には、最初はmicroPython が入っていないから、python のソースコードを実行させるには一度HEXファイル(microPythonが埋め込まれている)を作って送り込む必要がある。 だから600kb 位のサイズがある。(バイナリにすれば200kb位か?)