Javaプログラミング辞典―基礎編:データ型・ファイル・GUI (P