Eclipse 4.3 Kepler で、プロキシ環境を設定

Eclipseをプロキシ環境下で使用するとき、HTTP/HTTPS を設定すると良い。
（SOCKS がいらないことに注意！）

1. 「環境設定...」 ––> 「一般」 ––> 「ネットワーク接続」
2. 「アクティブ・プロバイダー」を「マニュアル」にする
3. HTTP/HTTPSのプロキシを設定する。
4. SOCKSは何も書かない（もしホストやポートが記入されているなら、右側の「クリア」ボタンでクリアしてください）。
5. Eclipse を再起動

以上です。

参考文献
Eclipse Kepler not connecting to internet via proxy - Stack Overflow

プロキシ環境で、RStudio を使って R のパッケージをインストールする方法

目的

プロキシ環境下で RStudio を利用すると、デフォルトではパッケージインストールが出来ない。
ネットワーク環境で設定していても、ターミナルでbash_profileとかに記載していてもダメ。
解決策は、以下にあった。

RStudio - 浅井拓也　研究室用ページ
http://qh73xe.jimdo.com/r%E3%81%AE%E5%9F%BA%E6%9C%AC/r%E3%81%AE%E4%BE%BF%E5%88%A9%E3%81%AA%E9%96%A2%E9%80%A3%E3%82%BD%E3%83%95%E3%83%88/rstudio/

方法

プロキシ環境が、proxy.xxx.yyy.zzz.jp:80 であるとき、

> vi ~/.Renviron
http_proxy=http://proxy.xxx.yyy.zzz.jp:80

として、RStudioを再起動する。

起動したら、コンソールで、

options(RCurlOptions = list(proxy = "proxy.xxx.yyy.zzz.jp:80"))

とする。
これでプロキシ環境でもパッケージインストール可能になる。
偉大な先人に多謝。