MicroPython
Raspberry Pi Picoのアプリは MicroPython で書きます。
MicroPythonはマイコンでの動作に最適化された、Python 3と高い互換性を持つプログラミング言語処理系です。
MicroPythonのダウンロード
Raspberry Piのホームページを開きます。
Hardware をクリックします。

ページをスクロールして Raspberry Pi Pico をクリックします。

ページをスクロールして View the documentation をクリックします。

左の目次の MicroPython をクリックします。

Drag-and-Drop MicroPython をクリックします。

MicroPython UF2 のリンクをクリックすると、ダウンロードが始まります。
ダウンロードファイル名は rp2-pico-yyyymmdd-v*.*.*.uf2 の形式をしています。

MicroPythonをRaspberry Pi Picoにコピー
BOOTSEL ボタンを押しながらUSBケーブルをパソコンに挿入します。

大容量記憶装置として認識されエクスプローラーが開きます。

この中にさっきダウンロードしたMicroPythonのファイル( rp2-pico-yyyymmdd-v*.*.*.uf2 )をドロップします。

ダウンロードするとRaspberry Pi Picoが自動的に再起動します。
BOOTSEL ボタンを押さずにPicoを起動すると、USB シリアル デバイスとしてパソコンと接続します。

PicoにPythonのプログラムを書くには Thonny というアプリを使います。