これまでESP32をESP-IDFとeclipseで開発してきたが、ESP32はArduinoIDEで開発することもできる。むしろそっちを使っている人の方が多いかもしれない。なので今回はArduinoIDEでESP32-DevKitCを開発できるように開発環境を整える。