Claude Codeでプロパティベーステストを設計する：fast-check・生成戦略・不変条件の発見