鄭成功が人名だって知ったのは割と最近。