IEのプロキシ設定をどぉしてもレジストリでやっちゃいたい場合

以下の内容でテキストファイルを作り「IE_Proxy.reg」とか適当な名前を付ける

Windows Registry Editor Version 5.00
[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings]
"MigrateProxy"=dword:00000001
"ProxyEnable"=dword:00000001
"ProxyHttp1.1"=dword:00000001
"ProxyServer"="hoge.co.jp:8080"
"ProxyOverride"="172.16.*.*;"

赤字の箇所は適宜変更して
んで、出来たファイルをダブルクリックするとおｋ

お前なんかアテにしてねぇよ！って方は
レジストリ ファイルを使用してクライアントのプロキシ サーバー設定を構成する方法

を参照するヨロシ