(Translated by https://www.hiragana.jp/)
[1905.05747] Positron driven muon source for a muon collider