ping で調べればよいのは知っているが、パラメータを手でいじりながら試すのはめんどくさい。だからスクリプトにしてみた。単純なスクリプトだとスタート時の値から順番に試すパターンになるけど時間がかかりすぎるわけで、その時間短縮のためにちょっとした…