PyDevのインストール
eclipseを起動して、
Help > Software Updates > Find and Install
からPyDevをインストールすることにした。
アップデートサイトとして、
http://pydev.sourceforge.net/updates/
を加える。
後は表示に従って、関係のありそうなものをすべてインストールした。
自分のホームディレクトリに、.eclipseが作成された。
インタプリタの設定は以下のサイトの記述に従う(設定完了まで10分程度かかった)。
http://www.atmarkit.co.jp/fjava/rensai3/eclipseplgn10/eclipseplgn10_3.html