GPIOとピン番号
ピン番号には2種類ある。
1. 物理ピン番号：連番になっている。物理的な位置を指す番号。
2. GPIO番号：プログラムから制御するときに使う番号。
下記の例では、物理ピン11がGPIO17に対応している。
RaspberryPi Picoより
https://e3w2q.github.io/19/Pico-R3-SDK11-Pinout.svg
RaspberryPiより
https://www.raspberrypi.com/documentation/computers/images/GPIO-Pinout-Diagram-2.png