英語だけの下記のURLに使い方が書いてあります。 https://github.c… ESP32のaruduinoライブラリーを更新したいときは、"How to update to the latest code"を参照してください。 https://github.c… 学術情報基盤センターの実習端末にもarudinoとGitのツールがインストールされており、利用できます。ESP32にUSBドライバーもインストールされているので利用できるようです。