学内の proxy よりも ssh でトンネリングした SOCKS 経由の接続の方がはやい。