静的型付け言語を使うからって別に必要なテストの量が減るわけじゃない