generated at
プロパティーベースのテスティング
→ Property Based Testing