@k2works/claude-code-booster 6.1.0 → 6.3.0

package/lib/assets/docs/article/grokkingfp/java/part-6.md

@@ -1,1337 +0,0 @@
----
-type: Article
-title: "Part VI: 実践的なアプリケーション構築とテスト"
-description: "本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。"
-tags: [article, grokkingfp, java]
-status: stable
-generated: { by: human:kakimomokuri, at: 2026-03-27T04:43:33Z }
----
-
-# Part VI: 実践的なアプリケーション構築とテスト
-
-本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。また、関数型プログラミングにおけるテスト戦略についても学びます。
-
----
-
-## 第11章: 実践的なアプリケーション構築
-
-### 11.1 TravelGuide アプリケーション
-
-旅行ガイドアプリケーションを例に、実践的な FP アプリケーションの構築方法を学びます。
-
-```plantuml
-@startuml
-!theme plain
-
-package "TravelGuide Application" {
-  rectangle "Model" {
-    class Location {
-      id: LocationId
-      name: String
-      population: int
-    }
-
-    class Attraction {
-      name: String
-      description: Option<String>
-      location: Location
-    }
-
-    class Guide {
-      attraction: Attraction
-      subjects: List<PopCultureSubject>
-    }
-  }
-
-  rectangle "Data Access" {
-    interface DataAccess {
-      +findAttractions(): IO<List<Attraction>>
-      +findArtistsFromLocation(): IO<List<Artist>>
-      +findMoviesAboutLocation(): IO<List<Movie>>
-    }
-
-    class WikidataDataAccess
-    class CachedDataAccess
-  }
-
-  DataAccess <|.. WikidataDataAccess
-  DataAccess <|.. CachedDataAccess
-}
-
-@enduml
-```
-
-### 11.2 ドメインモデルの定義
-
-**ソースファイル**: `app/java/src/main/java/ch11/TravelGuide.java`
-
-```java
-// 位置情報を表す値オブジェクト
-public record LocationId(String value) {
-    public LocationId {
-        Objects.requireNonNull(value, "LocationId value cannot be null");
-    }
-}
-
-// ロケーション
-public record Location(LocationId id, String name, int population) {
-    public Location {
-        Objects.requireNonNull(id, "Location id cannot be null");
-        Objects.requireNonNull(name, "Location name cannot be null");
-    }
-}
-
-// アトラクション（観光地）
-public record Attraction(
-        String name,
-        Option<String> description,
-        Location location
-) {
-    public Attraction {
-        Objects.requireNonNull(name, "Attraction name cannot be null");
-        Objects.requireNonNull(description, "Attraction description cannot be null");
-        Objects.requireNonNull(location, "Attraction location cannot be null");
-    }
-}
-
-// ポップカルチャーの題材（sealed interface）
-public sealed interface PopCultureSubject permits Artist, Movie {
-    String name();
-}
-
-// アーティスト
-public record Artist(String name, int followers) implements PopCultureSubject {
-    public Artist {
-        Objects.requireNonNull(name, "Artist name cannot be null");
-    }
-}
-
-// 映画
-public record Movie(String name, int boxOffice) implements PopCultureSubject {
-    public Movie {
-        Objects.requireNonNull(name, "Movie name cannot be null");
-    }
-}
-
-// 旅行ガイド
-public record Guide(
-        Attraction attraction,
-        List<PopCultureSubject> subjects
-) {
-    public Guide {
-        Objects.requireNonNull(attraction, "Guide attraction cannot be null");
-        Objects.requireNonNull(subjects, "Guide subjects cannot be null");
-    }
-}
-```
-
-Java 17 の `record` と `sealed interface` を活用して、Scala の case class と ADT を表現しています。
-
-### 11.3 データアクセス層の抽象化
-
-外部データソースへのアクセスをインターフェースで抽象化します。
-
-**ソースファイル**: `app/java/src/main/java/ch11/DataAccess.java`
-
-```java
-public interface DataAccess {
-    IO<List<Attraction>> findAttractions(
-            String name,
-            AttractionOrdering ordering,
-            int limit
-    );
-
-    IO<List<Artist>> findArtistsFromLocation(
-            LocationId locationId,
-            int limit
-    );
-
-    IO<List<Movie>> findMoviesAboutLocation(
-            LocationId locationId,
-            int limit
-    );
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-interface DataAccess {
-  +findAttractions(): IO<List<Attraction>>
-  +findArtistsFromLocation(): IO<List<Artist>>
-  +findMoviesAboutLocation(): IO<List<Movie>>
-}
-
-note right of DataAccess
-  純粋な関数型インターフェース
-  すべての操作は IO でラップ
-end note
-
-class WikidataDataAccess {
-  -sparqlEndpoint: String
-  +findAttractions(): IO<List<Attraction>>
-  +findArtistsFromLocation(): IO<List<Artist>>
-  +findMoviesAboutLocation(): IO<List<Movie>>
-}
-
-class TestDataAccess {
-  -testData: Map<String, List<Attraction>>
-  +findAttractions(): IO<List<Attraction>>
-  +findArtistsFromLocation(): IO<List<Artist>>
-  +findMoviesAboutLocation(): IO<List<Movie>>
-}
-
-DataAccess <|.. WikidataDataAccess
-DataAccess <|.. TestDataAccess
-
-@enduml
-```
-
-### 11.4 Resource によるリソース管理
-
-**ソースファイル**: `app/java/src/main/java/ch11/Resource.java`
-
-`Resource` は、リソースの取得（acquire）と解放（release）を安全に管理するための型です。cats-effect の `Resource` に相当する機能を提供します。
-
-```java
-public final class Resource<A> {
-
-    private final IO<A> acquire;
-    private final Consumer<A> release;
-
-    private Resource(IO<A> acquire, Consumer<A> release) {
-        this.acquire = acquire;
-        this.release = release;
-    }
-
-    // リソースを作成
-    public static <A> Resource<A> make(IO<A> acquire, Consumer<A> release) {
-        return new Resource<>(acquire, release);
-    }
-
-    // AutoCloseable からリソースを作成
-    public static <A extends AutoCloseable> Resource<A> fromAutoCloseable(IO<A> acquire) {
-        return new Resource<>(acquire, a -> {
-            try {
-                a.close();
-            } catch (Exception e) {
-                throw new RuntimeException("Failed to close resource", e);
-            }
-        });
-    }
-
-    // リソースを使用して処理を実行
-    // リソースは処理完了後（成功・失敗問わず）に必ず解放される
-    public <B> IO<B> use(Function<A, IO<B>> f) {
-        return acquire.flatMap(resource ->
-                f.apply(resource)
-                        .guarantee(IO.effect(() -> release.accept(resource)))
-        );
-    }
-}
-```
-
-#### Resource の使用例
-
-```java
-// ファイルリソースの例
-Resource<BufferedReader> fileResource = Resource.fromAutoCloseable(
-        IO.delay(() -> new BufferedReader(new FileReader("data.txt")))
-);
-
-// リソースを使用して処理を実行
-IO<String> readFirstLine = fileResource.use(reader ->
-        IO.delay(reader::readLine)
-);
-
-// ファイルは自動的にクローズされる
-String firstLine = readFirstLine.unsafeRun();
-```
-
-```plantuml
-@startuml
-!theme plain
-
-participant "Application" as app
-participant "Resource" as res
-participant "BufferedReader" as reader
-participant "File" as file
-
-app -> res: Resource.make(acquire)(release)
-res -> reader: acquire: IO.delay(new BufferedReader(...))
-reader -> file: open
-file --> reader: file handle
-
-app -> res: use (read operation)
-res -> reader: readLine()
-reader -> file: read
-file --> reader: content
-reader --> res: String
-res --> app: result
-
-app -> res: release (automatic)
-res -> reader: close()
-reader -> file: close
-file --> reader: done
-
-note over res
-  Resource は例外が発生しても
-  必ず release を実行する
-  (guarantee を使用)
-end note
-
-@enduml
-```
-
-#### guarantee メソッド
-
-`IO` クラスに追加した `guarantee` メソッドは、成功・失敗にかかわらず必ず実行される処理を指定します。
-
-```java
-// IO クラスの guarantee メソッド
-public IO<A> guarantee(IO<Void> finalizer) {
-    return new IO<>(() -> {
-        try {
-            return thunk.get();
-        } finally {
-            try {
-                finalizer.unsafeRun();
-            } catch (Exception ignored) {
-                // finalizer のエラーは無視
-            }
-        }
-    });
-}
-```
-
-### 11.5 キャッシュの実装
-
-**ソースファイル**: `app/java/src/main/java/ch11/CachedDataAccess.java`
-
-`Ref` を使用したスレッドセーフなキャッシュの実装:
-
-```java
-public final class CachedDataAccess implements DataAccess {
-
-    private final DataAccess underlying;
-    private final Ref<Map<String, Object>> cache;
-
-    private CachedDataAccess(DataAccess underlying, Ref<Map<String, Object>> cache) {
-        this.underlying = underlying;
-        this.cache = cache;
-    }
-
-    // IO 経由でキャッシュ付き DataAccess を作成
-    public static IO<DataAccess> create(DataAccess underlying) {
-        return Ref.<Map<String, Object>>of(HashMap.empty())
-                .map(cache -> new CachedDataAccess(underlying, cache));
-    }
-
-    @Override
-    public IO<List<Attraction>> findAttractions(
-            String name,
-            AttractionOrdering ordering,
-            int limit) {
-        String key = "attractions:" + name + ":" + ordering + ":" + limit;
-        return getOrCompute(key, () -> underlying.findAttractions(name, ordering, limit));
-    }
-
-    @SuppressWarnings("unchecked")
-    private <T> IO<T> getOrCompute(String key, Supplier<IO<T>> compute) {
-        return cache.get()
-                .flatMap(currentCache ->
-                        currentCache.get(key)
-                                .map(cached -> IO.pure((T) cached))
-                                .getOrElse(() ->
-                                        compute.get().flatMap(result ->
-                                                cache.update(c -> c.put(key, result))
-                                                        .andThen(IO.pure(result))
-                                        )
-                                )
-                );
-    }
-
-    // ... 他のメソッドも同様
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-skinparam activity {
-  BackgroundColor White
-  BorderColor Black
-}
-
-start
-
-:キャッシュキー生成;
-
-:cache.get でキャッシュ確認;
-
-if (キャッシュにデータあり?) then (yes)
-  :キャッシュからデータ返却;
-else (no)
-  :外部 API を呼び出し;
-  :結果をキャッシュに保存;
-  :結果を返却;
-endif
-
-stop
-
-note right
-  Ref を使用した
-  スレッドセーフなキャッシュ
-end note
-
-@enduml
-```
-
-### 11.6 ガイドスコアの計算
-
-純粋関数でガイドのスコアを計算します:
-
-```java
-/**
- * ガイドのスコアを計算
- *
- * 要件:
- * - 30 点: 説明がある場合
- * - 10 点/件: アーティストまたは映画（最大 40 点）
- * - 1 点/100,000 フォロワー: 全アーティスト合計（最大 15 点）
- * - 1 点/10,000,000 ドル: 全映画の興行収入合計（最大 15 点）
- */
-public static int guideScore(Guide guide) {
-    int descriptionScore = guide.attraction().description().isDefined() ? 30 : 0;
-    int quantityScore = Math.min(40, guide.subjects().size() * 10);
-
-    // Long を使用してオーバーフローを防ぐ
-    long totalFollowers = guide.subjects()
-            .filter(s -> s instanceof Artist)
-            .map(s -> (long) ((Artist) s).followers())
-            .sum().longValue();
-
-    long totalBoxOffice = guide.subjects()
-            .filter(s -> s instanceof Movie)
-            .map(s -> (long) ((Movie) s).boxOffice())
-            .sum().longValue();
-
-    int followersScore = (int) Math.min(15, totalFollowers / 100_000);
-    int boxOfficeScore = (int) Math.min(15, totalBoxOffice / 10_000_000);
-
-    return descriptionScore + quantityScore + followersScore + boxOfficeScore;
-}
-```
-
-重要なポイント:
-
-
-- **オーバーフロー防止**: `long` を使用して大きな数値の合計を安全に計算
-- **上限値の設定**: 各スコア成分に最大値を設定してスコアを 0-100 の範囲に
-
-### 11.7 アプリケーションの組み立て
-
-すべてのコンポーネントを組み合わせてアプリケーションを構築します。
-
-#### バージョン 1: 基本的な実装
-
-```java
-public static IO<Option<Guide>> travelGuideV1(
-        DataAccess dataAccess,
-        String attractionName) {
-
-    return dataAccess.findAttractions(attractionName, AttractionOrdering.BY_LOCATION_POPULATION, 1)
-            .flatMap(attractions -> attractions.headOption()
-                    .map(attraction ->
-                            dataAccess.findArtistsFromLocation(attraction.location().id(), 2)
-                                    .flatMap(artists ->
-                                            dataAccess.findMoviesAboutLocation(attraction.location().id(), 2)
-                                                    .map(movies -> {
-                                                        List<PopCultureSubject> subjects = List.<PopCultureSubject>empty()
-                                                                .appendAll(artists)
-                                                                .appendAll(movies);
-                                                        return Option.some(new Guide(attraction, subjects));
-                                                    })
-                                    )
-                    )
-                    .getOrElse(IO.pure(Option.none()))
-            );
-}
-```
-
-#### バージョン 2: 複数候補からベストを選択
-
-```java
-public static IO<Option<Guide>> travelGuideV2(
-        DataAccess dataAccess,
-        String attractionName) {
-
-    return dataAccess.findAttractions(attractionName, AttractionOrdering.BY_LOCATION_POPULATION, 3)
-            .flatMap(attractions ->
-                    IO.traverse(attractions, attraction ->
-                            dataAccess.findArtistsFromLocation(attraction.location().id(), 2)
-                                    .flatMap(artists ->
-                                            dataAccess.findMoviesAboutLocation(attraction.location().id(), 2)
-                                                    .map(movies -> {
-                                                        List<PopCultureSubject> subjects = List.<PopCultureSubject>empty()
-                                                                .appendAll(artists)
-                                                                .appendAll(movies);
-                                                        return new Guide(attraction, subjects);
-                                                    })
-                                    )
-                    ).map(TravelGuide::findBestGuide)
-            );
-}
-```
-
-#### バージョン 3: エラーハンドリング付き
-
-```java
-public static IO<Either<SearchReport, Guide>> travelGuideV3(
-        DataAccess dataAccess,
-        String attractionName) {
-
-    return dataAccess.findAttractions(attractionName, AttractionOrdering.BY_LOCATION_POPULATION, 3)
-            .attempt()
-            .flatMap(attractionsResult ->
-                    attractionsResult.fold(
-                            error -> IO.pure(Either.left(
-                                    SearchReport.withProblems(List.of(error.getMessage())))),
-                            attractions ->
-                                    IO.traverse(attractions, attraction ->
-                                                    guideForAttraction(dataAccess, attraction).attempt()
-                                            )
-                                            .map(TravelGuide::processGuideResults)
-                    )
-            );
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "travelGuide 関数" {
-  card "1. アトラクション検索" as step1
-  card "2. アーティスト検索" as step2
-  card "3. 映画検索" as step3
-  card "4. Guide 組み立て" as step4
-  card "5. ベストを選択" as step5
-
-  step1 --> step2 : attraction
-  step1 --> step3 : location.id
-  step2 --> step4 : artists
-  step3 --> step4 : movies
-  step4 --> step5 : guides
-}
-
-note bottom
-  IO.traverse で
-  複数の IO を合成
-end note
-
-@enduml
-```
-
-### 11.8 attempt メソッドによるエラーハンドリング
-
-`IO` クラスに追加した `attempt` メソッドは、例外を `Either` に変換します:
-
-```java
-// IO クラスの attempt メソッド
-public IO<Either<Throwable, A>> attempt() {
-    return new IO<>(() -> {
-        try {
-            return Either.right(thunk.get());
-        } catch (Throwable e) {
-            return Either.left(e);
-        }
-    });
-}
-```
-
-これにより、例外を値として扱うことができ、関数型の方法でエラーハンドリングができます。
-
----
-
-## 第12章: テスト戦略
-
-### 12.1 関数型プログラミングのテスト
-
-関数型プログラミングでは、純粋関数のおかげでテストが非常に簡単になります。
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "テストの種類" {
-  rectangle "単体テスト" as unit {
-    card "純粋関数のテスト"
-    card "高速・独立"
-  }
-
-  rectangle "プロパティベーステスト" as property {
-    card "ランダム入力"
-    card "不変条件の検証"
-  }
-
-  rectangle "統合テスト" as integration {
-    card "コンポーネント連携"
-    card "スタブ使用"
-  }
-}
-
-unit --> property : 補完
-property --> integration : 補完
-
-@enduml
-```
-
-### 12.2 SearchReport の導入
-
-**ソースファイル**: `app/java/src/main/java/ch11/TravelGuide.java`
-
-テスト可能性を高めるため、`SearchReport` を導入します。
-
-```java
-/**
- * 検索レポート（エラーや不十分な結果を報告）
- */
-public record SearchReport(
-        List<Guide> badGuides,
-        List<String> problems
-) {
-    public SearchReport {
-        Objects.requireNonNull(badGuides, "SearchReport badGuides cannot be null");
-        Objects.requireNonNull(problems, "SearchReport problems cannot be null");
-    }
-
-    public static SearchReport empty() {
-        return new SearchReport(List.empty(), List.empty());
-    }
-
-    public static SearchReport withProblems(List<String> problems) {
-        return new SearchReport(List.empty(), problems);
-    }
-
-    public static SearchReport withBadGuides(List<Guide> badGuides) {
-        return new SearchReport(badGuides, List.empty());
-    }
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-class Guide {
-  attraction: Attraction
-  subjects: List<PopCultureSubject>
-}
-
-class SearchReport {
-  badGuides: List<Guide>
-  problems: List<String>
-}
-
-Guide --> SearchReport : 参照される
-
-note right of SearchReport
-  検索の結果情報と
-  エラー情報を保持
-end note
-
-@enduml
-```
-
-### 12.3 TestDataAccess - テスト用スタブ
-
-**ソースファイル**: `app/java/src/test/java/ch12/TestDataAccess.java`
-
-Builder パターンを使用したテスト用スタブ:
-
-```java
-public class TestDataAccess implements DataAccess {
-
-    // ビルダーパターンで作成
-    public static Builder builder() {
-        return new Builder();
-    }
-
-    // 空の DataAccess を作成
-    public static DataAccess empty() {
-        return builder().build();
-    }
-
-    // ファクトリメソッド
-    public static DataAccess withAttractions(Attraction... attractions) {
-        return builder().withAttractions(attractions).build();
-    }
-
-    public static class Builder {
-        private List<Attraction> attractions = List.empty();
-        private List<Artist> artists = List.empty();
-        private List<Movie> movies = List.empty();
-        private String attractionsError = null;
-        private String artistsError = null;
-        private String moviesError = null;
-
-        public Builder withAttractions(Attraction... attractions) {
-            this.attractions = List.of(attractions);
-            return this;
-        }
-
-        public Builder withArtists(Artist... artists) {
-            this.artists = List.of(artists);
-            return this;
-        }
-
-        public Builder withMovies(Movie... movies) {
-            this.movies = List.of(movies);
-            return this;
-        }
-
-        public Builder failOnAttractions(String errorMessage) {
-            this.attractionsError = errorMessage;
-            return this;
-        }
-
-        public Builder failOnArtists(String errorMessage) {
-            this.artistsError = errorMessage;
-            return this;
-        }
-
-        public Builder failOnMovies(String errorMessage) {
-            this.moviesError = errorMessage;
-            return this;
-        }
-
-        public TestDataAccess build() {
-            return new TestDataAccess(this);
-        }
-    }
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "テスト構成" {
-  rectangle "本番" as prod {
-    interface "DataAccess" as da1
-    class "WikidataDataAccess" as wda
-    da1 <|.. wda
-  }
-
-  rectangle "テスト" as test {
-    interface "DataAccess" as da2
-    class "TestDataAccess" as tda
-    da2 <|.. tda
-  }
-}
-
-note bottom of prod
-  実際の Wikidata に接続
-end note
-
-note bottom of test
-  テストデータを返す
-  IO.pure で即座に結果を返す
-  エラーシミュレーションも可能
-end note
-
-@enduml
-```
-
-#### TestDataAccess の使用例
-
-```java
-// テストデータの準備
-static final Location LONDON = new Location(
-        new LocationId("Q84"),
-        "London",
-        8_908_081
-);
-
-static final Attraction TOWER_BRIDGE = new Attraction(
-        "Tower Bridge",
-        Option.none(),
-        LONDON
-);
-
-static final Artist QUEEN = new Artist("Queen", 2_050_559);
-static final Movie INSIDE_OUT = new Movie("Inside Out", 857_611_174);
-
-// 正常系のテスト
-@Test
-void withAllData() {
-    DataAccess dataAccess = TestDataAccess.of(
-            List.of(TOWER_BRIDGE),
-            List.of(QUEEN),
-            List.of(INSIDE_OUT)
-    );
-
-    assertThat(dataAccess.findAttractions("test", AttractionOrdering.BY_NAME, 10).unsafeRun())
-            .containsExactly(TOWER_BRIDGE);
-    assertThat(dataAccess.findArtistsFromLocation(LONDON.id(), 10).unsafeRun())
-            .containsExactly(QUEEN);
-    assertThat(dataAccess.findMoviesAboutLocation(LONDON.id(), 10).unsafeRun())
-            .containsExactly(INSIDE_OUT);
-}
-
-// エラーシミュレーション
-@Test
-void failOnAttractions() {
-    DataAccess dataAccess = TestDataAccess.builder()
-            .failOnAttractions("Network error")
-            .build();
-
-    assertThatThrownBy(() ->
-            dataAccess.findAttractions("test", AttractionOrdering.BY_NAME, 10).unsafeRun()
-    ).isInstanceOf(RuntimeException.class)
-            .hasMessage("Network error");
-}
-```
-
-### 12.4 プロパティベーステスト
-
-**ソースファイル**: `app/java/src/test/java/ch12/PropertyBasedTest.java`
-
-JUnit 5 の `@RepeatedTest` を使用したプロパティベーステスト:
-
-```java
-// ジェネレータの定義
-static int nonNegativeInt() {
-    return random.nextInt(Integer.MAX_VALUE);
-}
-
-static String randomString() {
-    int length = random.nextInt(20) + 1;
-    StringBuilder sb = new StringBuilder();
-    for (int i = 0; i < length; i++) {
-        sb.append((char) ('a' + random.nextInt(26)));
-    }
-    return sb.toString();
-}
-
-static Location randomLocation() {
-    return new Location(
-            new LocationId("Q" + nonNegativeInt(1000000)),
-            randomString(),
-            nonNegativeInt(10_000_000)
-    );
-}
-
-static Attraction randomAttraction(boolean withDescription) {
-    return new Attraction(
-            randomString(),
-            withDescription ? Option.some(randomString()) : Option.none(),
-            randomLocation()
-    );
-}
-
-static Guide randomGuide(boolean withDescription, int maxSubjects) {
-    return new Guide(
-            randomAttraction(withDescription),
-            randomSubjects(maxSubjects)
-    );
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "プロパティベーステスト" {
-  card "randomXxx()" as gen
-  card "ランダムデータ生成" as random
-  card "プロパティ検証" as verify
-  card "@RepeatedTest(100)" as repeat
-
-  gen --> random
-  random --> verify
-  verify --> repeat
-  repeat --> random : 繰り返し
-}
-
-note bottom
-  ランダムな入力で
-  不変条件を検証
-end note
-
-@enduml
-```
-
-### 12.5 不変条件のテスト
-
-```java
-@Nested
-@DisplayName("guideScore のプロパティ")
-class GuideScorePropertyTest {
-
-    @RepeatedTest(100)
-    @DisplayName("スコアは常に 0 以上 100 以下")
-    void scoreIsBetween0And100() {
-        Guide guide = randomGuide(random.nextBoolean(), 10);
-
-        int score = guideScore(guide);
-
-        assertThat(score).isBetween(0, 100);
-    }
-
-    @RepeatedTest(100)
-    @DisplayName("説明ありのスコアは説明なしより 30 点高い")
-    void descriptionAdds30Points() {
-        Location location = randomLocation();
-        List<PopCultureSubject> subjects = randomSubjects(4);
-
-        Attraction withDesc = new Attraction("Test", Option.some("Description"), location);
-        Attraction withoutDesc = new Attraction("Test", Option.none(), location);
-
-        Guide guideWithDesc = new Guide(withDesc, subjects);
-        Guide guideWithoutDesc = new Guide(withoutDesc, subjects);
-
-        int scoreDiff = guideScore(guideWithDesc) - guideScore(guideWithoutDesc);
-
-        assertThat(scoreDiff).isEqualTo(30);
-    }
-
-    @RepeatedTest(100)
-    @DisplayName("スコアはアトラクション名に依存しない")
-    void scoreDoesNotDependOnName() {
-        Location location = randomLocation();
-        Option<String> description = Option.some(randomString());
-        List<PopCultureSubject> subjects = randomSubjects(4);
-
-        Attraction attr1 = new Attraction("Name1", description, location);
-        Attraction attr2 = new Attraction("Name2", description, location);
-
-        Guide guide1 = new Guide(attr1, subjects);
-        Guide guide2 = new Guide(attr2, subjects);
-
-        assertThat(guideScore(guide1)).isEqualTo(guideScore(guide2));
-    }
-
-    @Test
-    @DisplayName("フォロワー数のオーバーフローを防ぐ")
-    void preventsFollowerOverflow() {
-        Attraction attraction = randomAttraction(false);
-        List<Artist> artists = List.range(0, 100)
-                .map(i -> new Artist("Artist" + i, Integer.MAX_VALUE));
-        Guide guide = new Guide(attraction, List.narrow(artists));
-
-        int score = guideScore(guide);
-
-        assertThat(score).isBetween(0, 100);
-    }
-}
-```
-
-### 12.6 純粋関数のプロパティテスト
-
-```java
-@Nested
-@DisplayName("純粋関数のプロパティ")
-class PureFunctionPropertyTest {
-
-    @RepeatedTest(100)
-    @DisplayName("guideScore は同じ入力に対して同じ出力を返す（参照透過性）")
-    void guideScoreIsReferentiallyTransparent() {
-        Guide guide = randomGuide(random.nextBoolean(), 5);
-
-        int score1 = guideScore(guide);
-        int score2 = guideScore(guide);
-        int score3 = guideScore(guide);
-
-        assertThat(score1).isEqualTo(score2).isEqualTo(score3);
-    }
-
-    @RepeatedTest(100)
-    @DisplayName("findBestGuide は同じ入力に対して同じ出力を返す")
-    void findBestGuideIsReferentiallyTransparent() {
-        List<Guide> guides = List.range(0, random.nextInt(5) + 1)
-                .map(i -> randomGuide(random.nextBoolean(), 3));
-
-        Option<Guide> result1 = TravelGuide.findBestGuide(guides);
-        Option<Guide> result2 = TravelGuide.findBestGuide(guides);
-
-        assertThat(result1).isEqualTo(result2);
-    }
-}
-```
-
-### 12.7 キャッシュのテスト
-
-**ソースファイル**: `app/java/src/test/java/ch11/CachedDataAccessTest.java`
-
-```java
-@Test
-@DisplayName("同じクエリは2回目以降キャッシュから返される")
-void cachedResultsAreReused() {
-    AtomicInteger callCount = new AtomicInteger(0);
-
-    DataAccess underlying = new DataAccess() {
-        @Override
-        public IO<List<Attraction>> findAttractions(String name, AttractionOrdering ordering, int limit) {
-            return IO.delay(() -> {
-                callCount.incrementAndGet();
-                return List.of(TOWER_BRIDGE);
-            });
-        }
-
-        // 他のメソッドも同様に実装...
-    };
-
-    DataAccess cached = CachedDataAccess.createUnsafe(underlying);
-
-    // 1回目のクエリ
-    cached.findAttractions("Bridge", AttractionOrdering.BY_NAME, 10).unsafeRun();
-    assertThat(callCount.get()).isEqualTo(1);
-
-    // 2回目のクエリ（同じパラメータ）
-    cached.findAttractions("Bridge", AttractionOrdering.BY_NAME, 10).unsafeRun();
-    assertThat(callCount.get()).isEqualTo(1); // キャッシュから返されるので呼び出し回数は増えない
-
-    // 3回目のクエリ（異なるパラメータ）
-    cached.findAttractions("Tower", AttractionOrdering.BY_NAME, 10).unsafeRun();
-    assertThat(callCount.get()).isEqualTo(2); // 新しいクエリなので呼び出される
-}
-```
-
-### 12.8 Resource のテスト
-
-**ソースファイル**: `app/java/src/test/java/ch11/ResourceTest.java`
-
-```java
-@Test
-@DisplayName("use でリソースを取得して使用")
-void useAcquiresAndReleasesResource() {
-    AtomicBoolean released = new AtomicBoolean(false);
-
-    Resource<String> resource = Resource.make(
-            IO.pure("hello"),
-            s -> released.set(true)
-    );
-
-    String result = resource.use(s -> IO.pure(s.toUpperCase())).unsafeRun();
-
-    assertThat(result).isEqualTo("HELLO");
-    assertThat(released.get()).isTrue();
-}
-
-@Test
-@DisplayName("処理が失敗してもリソースは解放される")
-void resourceReleasedOnFailure() {
-    AtomicBoolean released = new AtomicBoolean(false);
-
-    Resource<String> resource = Resource.make(
-            IO.pure("hello"),
-            s -> released.set(true)
-    );
-
-    assertThatThrownBy(() ->
-            resource.use(s -> IO.delay(() -> {
-                throw new RuntimeException("error");
-            })).unsafeRun()
-    ).isInstanceOf(RuntimeException.class);
-
-    assertThat(released.get()).isTrue();
-}
-
-@Test
-@DisplayName("both で2つのリソースを組み合わせる")
-void bothCombinesTwoResources() {
-    AtomicBoolean firstReleased = new AtomicBoolean(false);
-    AtomicBoolean secondReleased = new AtomicBoolean(false);
-
-    Resource<Integer> first = Resource.make(
-            IO.pure(1),
-            i -> firstReleased.set(true)
-    );
-
-    Resource<String> second = Resource.make(
-            IO.pure("two"),
-            s -> secondReleased.set(true)
-    );
-
-    var result = Resource.both(first, second)
-            .use(tuple -> IO.pure(tuple._1() + tuple._2()))
-            .unsafeRun();
-
-    assertThat(result).isEqualTo("1two");
-    assertThat(firstReleased.get()).isTrue();
-    assertThat(secondReleased.get()).isTrue();
-}
-```
-
-### 12.9 テストピラミッド
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "テストピラミッド" {
-  rectangle "E2E テスト\n(少数)" as e2e
-  rectangle "統合テスト\n(中程度)" as integration
-  rectangle "単体テスト + プロパティテスト\n(多数)" as unit
-}
-
-e2e -[hidden]down- integration
-integration -[hidden]down- unit
-
-note right of unit
-  FP では純粋関数が多いため
-  単体テストが非常に効果的
-end note
-
-@enduml
-```
-
----
-
-## まとめ
-
-### Part VI で学んだこと
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Part VI: 実践的なアプリケーション" {
-  rectangle "第11章" as ch11 {
-    card "ドメインモデル設計"
-    card "DataAccess 抽象化"
-    card "Resource 管理"
-    card "キャッシュ実装"
-  }
-
-  rectangle "第12章" as ch12 {
-    card "SearchReport"
-    card "TestDataAccess スタブ"
-    card "プロパティベーステスト"
-    card "統合テスト"
-  }
-}
-
-ch11 --> ch12
-
-@enduml
-```
-
-### キーポイント
-
-1. **record と sealed interface**: Java 17 の機能で Scala の case class と ADT を表現
-2. **DataAccess インターフェース**: 外部依存を抽象化してテスト可能に
-3. **Resource**: acquire/release パターンで安全なリソース管理
-4. **guarantee**: finally 的なセマンティクスを IO に追加
-5. **attempt**: 例外を Either に変換してエラーを値として扱う
-6. **CachedDataAccess**: Ref を使用したスレッドセーフなキャッシュ
-7. **TestDataAccess**: Builder パターンでテストスタブを柔軟に作成
-8. **プロパティベーステスト**: @RepeatedTest とランダム生成で不変条件を検証
-
-### 学習の総括
-
-```plantuml
-@startuml
-!theme plain
-left to right direction
-
-rectangle "FP の学習パス" {
-  card "Part I\n基礎" as p1
-  card "Part II\nイミュータブル操作" as p2
-  card "Part III\n型による安全性" as p3
-  card "Part IV\nIO/Stream" as p4
-  card "Part V\n並行処理" as p5
-  card "Part VI\n実践" as p6
-}
-
-p1 --> p2
-p2 --> p3
-p3 --> p4
-p4 --> p5
-p5 --> p6
-
-@enduml
-```
-
-### Scala との比較
-
-| 概念 | Scala (cats-effect) | Java + Vavr |
-|------|---------------------|-------------|
-| 値オブジェクト | `opaque type LocationId` | `record LocationId(String value)` |
-| ドメインモデル | `case class` | `record` |
-| ADT | `sealed trait` | `sealed interface` |
-| リソース管理 | `Resource[IO, A]` | `Resource<A>` (独自実装) |
-| キャッシュ | `Ref[IO, Map[...]]` | `Ref<Map<...>>` |
-| エラーハンドリング | `IO[A].attempt` | `IO<A>.attempt()` |
-| テストスタブ | `val stub = new DataAccess {...}` | `TestDataAccess.builder().build()` |
-| プロパティテスト | ScalaCheck `Gen[A]` | `@RepeatedTest` + random generators |
-
----
-
-## 演習問題
-
-### 問題 1: DataAccess の拡張
-
-以下の要件で `DataAccess` を拡張してください:
-
-
-- 新しいメソッド `findHotelsNearLocation` を追加
-- 戻り値は `IO<List<Hotel>>`
-
-<details>
-<summary>解答</summary>
-
-```java
-public record Hotel(String name, double rating, Location location) {}
-
-public interface DataAccess {
-    // 既存のメソッド...
-
-    IO<List<Hotel>> findHotelsNearLocation(
-            LocationId locationId,
-            int limit
-    );
-}
-
-// TestDataAccess.Builder に追加
-public Builder withHotels(Hotel... hotels) {
-    this.hotels = List.of(hotels);
-    return this;
-}
-```
-
-</details>
-
-### 問題 2: プロパティベーステスト
-
-以下の関数に対するプロパティベーステストを書いてください:
-
-```java
-public static List<Location> filterPopularLocations(
-        List<Location> locations,
-        int minPopulation) {
-    return locations.filter(loc -> loc.population() >= minPopulation);
-}
-```
-
-<details>
-<summary>解答</summary>
-
-```java
-static List<Location> randomLocations(int maxCount) {
-    int count = random.nextInt(maxCount + 1);
-    return List.range(0, count).map(i -> randomLocation());
-}
-
-// プロパティ1: 結果は入力以下の要素数
-@RepeatedTest(100)
-@DisplayName("結果のサイズは入力以下")
-void resultSizeIsLessOrEqual() {
-    List<Location> locations = randomLocations(20);
-    int minPop = nonNegativeInt(10_000_000);
-
-    List<Location> result = filterPopularLocations(locations, minPop);
-
-    assertThat(result.size()).isLessThanOrEqualTo(locations.size());
-}
-
-// プロパティ2: 結果のすべての要素は条件を満たす
-@RepeatedTest(100)
-@DisplayName("すべての結果は最小人口以上")
-void allResultsMeetMinimum() {
-    List<Location> locations = randomLocations(20);
-    int minPop = nonNegativeInt(10_000_000);
-
-    List<Location> result = filterPopularLocations(locations, minPop);
-
-    assertThat(result.forAll(loc -> loc.population() >= minPop)).isTrue();
-}
-
-// プロパティ3: 条件を満たす要素はすべて結果に含まれる
-@RepeatedTest(100)
-@DisplayName("条件を満たす要素はすべて結果に含まれる")
-void allQualifyingLocationsAreInResult() {
-    List<Location> locations = randomLocations(20);
-    int minPop = nonNegativeInt(10_000_000);
-
-    List<Location> result = filterPopularLocations(locations, minPop);
-    List<Location> expected = locations.filter(loc -> loc.population() >= minPop);
-
-    assertThat(result).containsExactlyInAnyOrderElementsOf(expected);
-}
-```
-
-</details>
-
-### 問題 3: Resource の実装
-
-ファイルを安全に読み取る `Resource` を実装してください。
-
-<details>
-<summary>解答</summary>
-
-```java
-public static Resource<BufferedReader> fileResource(String path) {
-    return Resource.fromAutoCloseable(
-            IO.delay(() -> new BufferedReader(new FileReader(path)))
-    );
-}
-
-public static IO<List<String>> readLines(String path) {
-    return fileResource(path).use(reader ->
-            IO.delay(() -> {
-                java.util.List<String> lines = new java.util.ArrayList<>();
-                String line;
-                while ((line = reader.readLine()) != null) {
-                    lines.add(line);
-                }
-                return List.ofAll(lines);
-            })
-    );
-}
-
-// 使用例
-IO<Void> program = readLines("data.txt")
-        .flatMap(lines ->
-                IO.effect(() -> System.out.println("Read " + lines.size() + " lines"))
-        );
-
-program.unsafeRun();
-```
-
-</details>
-
----
-
-## シリーズ全体の総括
-
-本シリーズでは、「Grokking Functional Programming」の内容に沿って、関数型プログラミングの基礎から実践的なアプリケーション構築までを学びました。
-
-### 学んだ主な概念
-
-| Part | 章 | 主な概念 |
-|------|-----|----------|
-| I | 1-2 | 純粋関数、参照透過性 |
-| II | 3-5 | イミュータブルデータ、高階関数、flatMap |
-| III | 6-7 | Option、Either、ADT |
-| IV | 8-9 | IO モナド、Stream |
-| V | 10 | 並行処理、Ref、Fiber |
-| VI | 11-12 | 実践アプリケーション、テスト |
-
-### 関数型プログラミングの利点
-
-1. **予測可能性**: 純粋関数は同じ入力に対して常に同じ出力
-2. **テスト容易性**: 副作用がないためテストが簡単
-3. **合成可能性**: 小さな関数を組み合わせて複雑な処理を構築
-4. **並行安全性**: イミュータブルデータは競合状態を防ぐ
-5. **型安全性**: Option、Either で null や例外を型で表現
-
-### 次のステップ
-
-- Vavr のより高度な機能を学ぶ
-- プロジェクト Reactor や RxJava を探索
-- Virtual Thread と組み合わせた実践的な並行処理
-- 実際のプロジェクトで FP を適用する