4 IDE
開発環境としての IDE をいくつか紹介している。
4.1 Thonny
今や、MicroPython の開発環境としての定番 IDE となってしまった Thonny である。Raspberry Pi Pico の MicroPython 入門書でも全面的に Thonny が使われている。
スクリプトの Pico への転送方法はここで初めて言及される。転送方法はもっと前にいろいろ方法を説明しておくべきだよな。
4.2 VSCode
VSCode については、やや記載が古いような気がする。今どきは Raspberry Pi Pico 拡張機能を紹介するべきだろう。
4.3 rshell
これは IDE というよりは、コマンドラインツール。今時であればコマンドラインツールを１つ紹介するなら mpremote にして欲しいところ。
おわりに
以上です（付録については省略）。
全体を読んでみて、これだけで Pico プログラミングできるようにはならんだろうなという印象。MicroPython 本家ドキュメントを併せて合わせて参照するようにしよう。