AA艦名はミニやまと、ミニむさし?