ArduinoIDEが起動しない場合の対処方法
ArduinoIDEがバージョンアップしていたのでダウンロードして起動したら，次の画面のまま起動しませんでした．
ネットを検索すると，インターネットへの接続がプロキシ経由の場合，プロキシ設定をしないとこの画面のまま先に進めないとのことです．対処方法は，
https://zenn.dev/ignorant/scraps/4edf73e9399b57
に掲載されていました．
ところで，本来プログラミング環境はスタンドアロンで可能なのですが，最近はなんでもネット接続が必要になってきました．理由は，素人対応，セキュリティだと思うのですが，こんなことでもネット環境が関係してくるとは思いませんでした．
私はこのArduinoはあまり好みません．しかし，WROOM-02やESP32のプログラミングには，ArduinoIDEが手っ取り早くて便利です．