大学ではプロキシサーバーを使うので、大学と自宅で設定のオンオフを切り替えるのがとてもめんどくさい。JavaScriptでなんとかならねぇかなぁって思ったらWSH(Windows Script Host)とかいうものがあったので、それを使った。WSHではJscript(javaScriptのMicr…