指摘に従い、J-PARCを追加しました。ただし、加速器設計の歴史的展開に配慮してJHFは残しました。ついでに勝手にILCも付け加えました。この辺りの扱い方について、各位のご意見をお寄せ下さい。特に原文を用意された方の意向を聞きたいです。