Superconducting Magnet Design for the Hyperfine Structure Measurement of Muonium at the J-PARC | IEEE Journals & Magazine | IEEE Xplore