source: Programming the BBC micro:bit: Getting Started with MicroPython, p.8
This file is then transferred to the micro:bit (uploaded or flashed) simply by copying the hex file from your computer's disk drive to the micro:bit's virtual USB device.
この flash は move something quickly。
micro:bit 関連のドキュメントは、コンパイルした .hex ファイルを micro:bit に書き込むこと (micro:bit のフラッシュメモリーに転送すること、アップロードすること) を “flash” すると表現している。
