4/7は「英雄」が初演された日