ジョン・ホップクロフト loading ...