要約すれば
１ USBケーブルでPCとmicro:bitを繋ぐ
２ プログラムを作成する
３ 「ダウンロード」する
４ ダウンロードフォルダに生成された「XXX.hex」ファイルを、
５ micro:bitデバイスへドラッグ＆ドロップする
６ 転送が終わると自動的にmaicro:bitが再起動し、プログラムが動き出す。
2023年11月 追記
※ マイクロソフト・エッジ、クロームブラウザを使っている方は、ブラウザへmicro:bitが登録（下記）を行ってあれば
HEXファイルをマウスでドラッグ＆ドロップ（D&D）して書き込む必要はありません。
Tiny:bit講座の場合は、D&D転送は不要です。手順は以下の動画を参考にしてください。
※暫定版で編集されていません。2024/7までには改修します。
◯ micro:bitをブラウザに登録しmicro:bitへ転送（ダウンロード）する（クローム版）
たまに連携がうまく行かないことがあります。
その場合はHEXファイルを一旦ダウンロードしHexファイルをD&Dする基本的な方法で転送してください。