Raspberry Pi Picoでロータリーエンコーダの回転を検出する