2006-07-06 仕事の裏でEclipse3.2のインストール Life TPTPだけ入れなかったー。たぶんしばらく使わないので。他のプラグインは一切入ってないのでまだ開発用環境ってわけではない。時間がかかるからバックグラウンドで放置中〜。ダウンロード&インストールが終わったら、実用プラグインをバカバカ入れるかな?たぶん10個くらい。