四个字
洪武大帝
总不可能是日本人姓洪武吧
一定是姓洪名武人称大帝
所以才叫洪武大帝
那么
洪武大帝姓洪没错吧