静的型だってテストは必要だが?