@misc{oai:repo.qst.go.jp:00073970, month = {2019-02-28, 2019-02-28}, title = {小型高エネルギー集束イオンビーム装置}, year = {} }