なんで紫電は制式名称で烈風は略符号なんだろうな