@k2works/claude-code-booster 4.13.0 → 4.15.0

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

@@ -1,648 +1,648 @@
-# Part I: 関数型プログラミングの基礎
-
-本章では、関数型プログラミング（FP）の基本概念を **Java + Vavr** で学びます。命令型プログラミングとの違いを理解し、純粋関数の利点を実感することが目標です。
-
----
-
-## 第1章: 関数型プログラミング入門
-
-### 1.1 命令型 vs 関数型
-
-プログラミングには大きく分けて2つのパラダイムがあります。
-
-```plantuml
-@startuml
-!theme plain
-left to right direction
-
-rectangle "命令型プログラミング" as imp {
-  card "HOW（どうやるか）" as how
-  card "ステップバイステップ" as step
-  card "状態の変更" as state
-}
-
-rectangle "関数型プログラミング" as fp {
-  card "WHAT（何をするか）" as what
-  card "宣言的記述" as decl
-  card "値の変換" as transform
-}
-
-imp -[hidden]right-> fp
-@enduml
-```
-
-**命令型プログラミング**は「どうやるか」を記述します。
-
-**ソースファイル**: `app/java/src/main/java/ch01/IntroJava.java`
-
-```java
-// Java: 命令型でワードスコアを計算
-public static int calculateScoreImperative(String word) {
-    int score = 0;
-    for (char c : word.toCharArray()) {
-        score++;
-    }
-    return score;
-}
-```
-
-**関数型プログラミング**は「何をするか」を記述します。
-
-```java
-// Java: 関数型でワードスコアを計算
-public static int wordScore(String word) {
-    return word.length();
-}
-```
-
-### 1.2 Java での関数定義
-
-Java での関数（メソッド）定義の基本形を見てみましょう。
-
-```java
-public static int increment(int x) {
-    return x + 1;
-}
-
-public static char getFirstCharacter(String s) {
-    return s.charAt(0);
-}
-
-public static int wordScore(String word) {
-    return word.length();
-}
-```
-
-### 1.3 関数の構造
-
-```plantuml
-@startuml
-!theme plain
-skinparam rectangle {
-  BackgroundColor White
-  BorderColor Black
-}
-
-rectangle "public static int increment(int x) { return x + 1; }" {
-  rectangle "public static" as mod #LightBlue
-  rectangle "int" as ret #LightPink
-  rectangle "increment" as name #LightGreen
-  rectangle "(int x)" as params #LightYellow
-  rectangle "return x + 1" as body #LightGray
-}
-
-note bottom of mod : 修飾子
-note bottom of ret : 戻り値の型
-note bottom of name : メソッド名
-note bottom of params : パラメータ
-note bottom of body : メソッド本体
-
-@enduml
-```
-
-### 1.4 学習ポイント
-
-| 概念 | 命令型 | 関数型 |
-|------|--------|--------|
-| 焦点 | 手順（How） | 結果（What） |
-| 状態 | 変更する | 変換する |
-| ループ | for/while | map/filter/reduce |
-| データ | ミュータブル | イミュータブル |
-
----
-
-## 第2章: 純粋関数とテスト
-
-### 2.1 純粋関数とは
-
-純粋関数（Pure Function）は以下の特徴を持つ関数です:
-
-1. **同じ入力には常に同じ出力を返す**
-2. **副作用がない**（外部状態を変更しない）
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "純粋関数" as pure {
-  card "入力" as in
-  card "出力" as out
-  in -> out : 決定論的
-}
-
-rectangle "不純な関数" as impure {
-  card "入力" as in2
-  card "出力" as out2
-  card "外部状態" as state
-  in2 -> out2
-  state --> out2 : 影響
-  out2 --> state : 変更
-}
-
-@enduml
-```
-
-### 2.2 純粋関数の例
-
-**ソースファイル**: `app/java/src/main/java/ch02/PureFunctions.java`
-
-```java
-// 純粋関数の例
-public static int increment(int x) {
-    return x + 1;
-}
-
-public static int add(int a, int b) {
-    return a + b;
-}
-
-public static char getFirstCharacter(String s) {
-    return s.charAt(0);
-}
-
-public static double applyDiscount(double x) {
-    return x * 95.0 / 100.0;
-}
-```
-
-**純粋ではない関数の例**:
-
-```java
-// 不純な関数 - Math.random() は毎回異なる値を返す
-public static double randomPart(double x) {
-    return x * Math.random();
-}
-
-// 不純な関数 - 現在時刻は毎回異なる
-public static long currentTime() {
-    return System.currentTimeMillis();
-}
-```
-
-### 2.3 ショッピングカートの例
-
-状態を持つクラスの問題点を見てみましょう。
-
-**ソースファイル**: `app/java/src/main/java/ch02/ShoppingCartBad.java`
-
-#### 問題のあるコード
-
-```java
-public class ShoppingCartBad {
-    private List<String> items = new ArrayList<>();
-    private boolean bookAdded = false;
-
-    public void addItem(String item) {
-        items.add(item);
-        if (item.equals("Book")) {
-            bookAdded = true;
-        }
-    }
-
-    public int getDiscountPercentage() {
-        if (bookAdded) {
-            return 5;
-        } else {
-            return 0;
-        }
-    }
-
-    public List<String> getItems() {
-        return items;  // 問題: 内部状態への参照を返している
-    }
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-skinparam sequence {
-  ArrowColor Black
-  LifeLineBorderColor Black
-}
-
-actor User
-participant "ShoppingCartBad" as cart
-participant "items (List)" as list
-
-User -> cart: addItem("Book")
-cart -> list: add("Book")
-cart -> cart: bookAdded = true
-
-User -> cart: getItems()
-cart --> User: items の参照
-
-User -> list: remove("Book")
-note right: 外部から直接変更!
-
-User -> cart: getDiscountPercentage()
-cart --> User: 5 (bookAdded は true のまま)
-
-note over User, list
-  カートに Book がないのに
-  割引が 5% のままになる!
-end note
-
-@enduml
-```
-
-#### 純粋関数による解決
-
-**ソースファイル**: `app/java/src/main/java/ch02/ShoppingCart.java`
-
-```java
-import io.vavr.collection.List;
-
-public class ShoppingCart {
-    /**
-     * 割引率を計算する純粋関数
-     */
-    public static int getDiscountPercentage(List<String> items) {
-        if (items.contains("Book")) {
-            return 5;
-        } else {
-            return 0;
-        }
-    }
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "純粋関数版 ShoppingCart" {
-  card "getDiscountPercentage" as func
-
-  card "List(\"Apple\")" as in1
-  card "0" as out1
-
-  card "List(\"Apple\", \"Book\")" as in2
-  card "5" as out2
-
-  in1 --> func
-  func --> out1
-
-  in2 --> func
-  func --> out2
-}
-
-note bottom
-  同じ入力には常に同じ出力
-  状態を持たない
-end note
-
-@enduml
-```
-
-### 2.4 Vavr の List を使ったイミュータブル操作
-
-Vavr の `List` はイミュータブルなデータ構造です。
-
-```java
-import io.vavr.collection.List;
-
-// イミュータブルな操作
-List<String> cart1 = List.of("Apple");
-List<String> cart2 = cart1.append("Book");  // 新しいリストを作成
-List<String> cart3 = cart2.append("Lemon"); // 新しいリストを作成
-
-// cart1 は変更されていない
-System.out.println(cart1); // List(Apple)
-System.out.println(cart2); // List(Apple, Book)
-System.out.println(cart3); // List(Apple, Book, Lemon)
-
-// 割引率を計算
-ShoppingCart.getDiscountPercentage(cart1); // 0
-ShoppingCart.getDiscountPercentage(cart2); // 5
-ShoppingCart.getDiscountPercentage(cart3); // 5
-```
-
-### 2.5 チップ計算の例
-
-**ソースファイル**: `app/java/src/main/java/ch02/TipCalculator.java`
-
-```java
-import io.vavr.collection.List;
-
-public class TipCalculator {
-    /**
-     * チップ率を計算する純粋関数
-     */
-    public static int getTipPercentage(List<String> names) {
-        if (names.size() > 5) {
-            return 20;
-        } else if (names.size() > 0) {
-            return 10;
-        } else {
-            return 0;
-        }
-    }
-}
-```
-
-この関数は:
-
-
-- 6人以上のグループ → 20% のチップ
-- 1-5人のグループ → 10% のチップ
-- 0人（空リスト） → 0% のチップ
-
-### 2.6 純粋関数のテスト
-
-純粋関数は非常にテストしやすいです。
-
-**ソースファイル**: `app/java/src/test/java/ch01/IntroJavaTest.java`
-
-```java
-@Test
-@DisplayName("increment は入力に1を加える")
-void incrementAddOne() {
-    assertThat(IntroJava.increment(0)).isEqualTo(1);
-    assertThat(IntroJava.increment(6)).isEqualTo(7);
-    assertThat(IntroJava.increment(-1)).isEqualTo(0);
-    assertThat(IntroJava.increment(Integer.MAX_VALUE - 1))
-            .isEqualTo(Integer.MAX_VALUE);
-}
-
-@Test
-@DisplayName("isEven は偶数を判定")
-void isEvenChecksEvenness() {
-    assertThat(IntroJava.isEven(0)).isTrue();
-    assertThat(IntroJava.isEven(2)).isTrue();
-    assertThat(IntroJava.isEven(1)).isFalse();
-    assertThat(IntroJava.isEven(-2)).isTrue();
-    assertThat(IntroJava.isEven(-3)).isFalse();
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "テストの特徴比較" {
-  rectangle "純粋関数のテスト" as pure {
-    card "セットアップ不要" as s1
-    card "独立して実行可能" as s2
-    card "決定論的" as s3
-    card "高速" as s4
-  }
-
-  rectangle "状態を持つコードのテスト" as impure {
-    card "セットアップ必要" as i1
-    card "実行順序に依存" as i2
-    card "非決定論的になりやすい" as i3
-    card "モック/スタブが必要" as i4
-  }
-}
-
-@enduml
-```
-
-### 2.7 文字 'a' を除外するワードスコア
-
-より複雑な例を見てみましょう。
-
-```java
-public static int wordScoreWithoutA(String word) {
-    return word.replace("a", "").length();
-}
-
-// テスト
-assertThat(wordScoreWithoutA("Scala")).isEqualTo(3);    // "Scl" → 3文字
-assertThat(wordScoreWithoutA("function")).isEqualTo(8); // 'a' なし → 8文字
-assertThat(wordScoreWithoutA("")).isEqualTo(0);         // 空文字 → 0文字
-```
-
-### 2.8 参照透過性
-
-純粋関数は**参照透過性（Referential Transparency）**を持ちます。
-
-> 式をその評価結果で置き換えても、プログラムの意味が変わらないこと
-
-```java
-// 参照透過性の例
-int score1 = wordScore("Java");
-int score2 = wordScore("Java");
-// score1 と score2 は常に同じ値（4）
-
-// 以下の2つは同等
-int total1 = wordScore("Java") + wordScore("Scala");
-int total2 = 4 + 5;  // wordScore の結果で置き換え可能
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "参照透過性" {
-  card "wordScore(\"Java\")" as expr
-  card "4" as value
-
-  expr <--> value : 常に置換可能
-}
-
-note bottom
-  式をその結果で置き換えても
-  プログラムの動作は変わらない
-end note
-
-@enduml
-```
-
----
-
-## Java と Vavr の対応表
-
-| 概念 | 標準 Java | Vavr |
-|------|-----------|------|
-| イミュータブルリスト | `List.of()` (Java 9+) | `io.vavr.collection.List` |
-| 空リスト | `List.of()` | `List.empty()` |
-| 要素追加 | 不可（イミュータブル） | `list.append(x)` |
-| 要素削除 | 不可（イミュータブル） | `list.remove(x)` |
-| 要素検索 | `list.contains(x)` | `list.contains(x)` |
-
----
-
-## まとめ
-
-### Part I で学んだこと
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Part I: 関数型プログラミングの基礎" {
-  rectangle "第1章" as ch1 {
-    card "命令型 vs 関数型"
-    card "Java での FP 入門"
-    card "HOW から WHAT へ"
-  }
-
-  rectangle "第2章" as ch2 {
-    card "純粋関数"
-    card "副作用の排除"
-    card "テストの容易さ"
-    card "参照透過性"
-    card "Vavr の List"
-  }
-}
-
-ch1 --> ch2
-
-@enduml
-```
-
-### キーポイント
-
-1. **関数型プログラミング**は「何をするか」を宣言的に記述する
-2. **純粋関数**は同じ入力に対して常に同じ出力を返す
-3. **副作用**を避けることでコードの予測可能性が向上する
-4. **純粋関数**はテストが非常に簡単
-5. **参照透過性**により、コードの理解と推論が容易になる
-6. **Vavr の List** を使うとイミュータブルなデータ操作が簡単
-
-### 次のステップ
-
-Part II では、以下のトピックを学びます:
-
-- イミュータブルなデータ操作（Vavr コレクション）
-- 高階関数（関数を値として扱う）
-- `flatMap` とネスト構造の平坦化
-- Vavr の `For.yield()` による内包表記
-
----
-
-## 演習問題
-
-### 問題 1: 純粋関数の識別
-
-以下の関数のうち、純粋関数はどれですか?
-
-```java
-// A
-public static int doubleValue(int x) {
-    return x * 2;
-}
-
-// B
-private static int counter = 0;
-public static int incrementCounter() {
-    counter++;
-    return counter;
-}
-
-// C
-public static String greet(String name) {
-    return "Hello, " + name + "!";
-}
-
-// D
-public static long currentTime() {
-    return System.currentTimeMillis();
-}
-```
-
-<details>
-<summary>解答</summary>
-
-**A と C は純粋関数**です。
-
-- A: 同じ入力に対して常に同じ出力を返し、副作用がない
-- B: 外部変数 `counter` を変更する副作用がある（不純）
-- C: 同じ入力に対して常に同じ出力を返し、副作用がない
-- D: 呼び出すたびに異なる値を返す（不純）
-
-</details>
-
-### 問題 2: 純粋関数への書き換え
-
-以下の不純な関数を純粋関数に書き換えてください。
-
-```java
-public class Counter {
-    private int value = 0;
-
-    public int increment() {
-        value++;
-        return value;
-    }
-}
-```
-
-<details>
-<summary>解答</summary>
-
-```java
-public static int increment(int value) {
-    return value + 1;
-}
-
-// 使用例
-int v1 = 0;
-int v2 = increment(v1);  // 1
-int v3 = increment(v2);  // 2
-```
-
-状態を外部に持ち、関数は値を受け取って新しい値を返すだけにします。
-
-</details>
-
-### 問題 3: Vavr List を使ったテストを書く
-
-以下の関数に対するテストケースを JUnit + AssertJ で書いてください。
-
-```java
-public static boolean hasDiscount(List<String> items) {
-    return items.contains("Book") || items.contains("Magazine");
-}
-```
-
-<details>
-<summary>解答</summary>
-
-```java
-@Test
-void hasDiscountTest() {
-    // 空のリスト
-    assertThat(hasDiscount(List.empty())).isFalse();
-
-    // Book のみ
-    assertThat(hasDiscount(List.of("Book"))).isTrue();
-
-    // Magazine のみ
-    assertThat(hasDiscount(List.of("Magazine"))).isTrue();
-
-    // 両方
-    assertThat(hasDiscount(List.of("Book", "Magazine"))).isTrue();
-
-    // どちらもない
-    assertThat(hasDiscount(List.of("Apple", "Orange"))).isFalse();
-
-    // 混在
-    assertThat(hasDiscount(List.of("Apple", "Book", "Orange"))).isTrue();
-}
-```
-
-</details>
-
----
-
-## 実行方法
-
-### テストの実行
-
-```bash
-cd app/java
-./gradlew test
-```
-
-### サンプルコードの実行
-
-```bash
-cd app/java
-./gradlew run -PmainClass=ch01.IntroJava
-./gradlew run -PmainClass=ch02.PureFunctions
-./gradlew run -PmainClass=ch02.ShoppingCart
-./gradlew run -PmainClass=ch02.TipCalculator
-```
+# Part I: 関数型プログラミングの基礎
+
+本章では、関数型プログラミング（FP）の基本概念を **Java + Vavr** で学びます。命令型プログラミングとの違いを理解し、純粋関数の利点を実感することが目標です。
+
+---
+
+## 第1章: 関数型プログラミング入門
+
+### 1.1 命令型 vs 関数型
+
+プログラミングには大きく分けて2つのパラダイムがあります。
+
+```plantuml
+@startuml
+!theme plain
+left to right direction
+
+rectangle "命令型プログラミング" as imp {
+  card "HOW（どうやるか）" as how
+  card "ステップバイステップ" as step
+  card "状態の変更" as state
+}
+
+rectangle "関数型プログラミング" as fp {
+  card "WHAT（何をするか）" as what
+  card "宣言的記述" as decl
+  card "値の変換" as transform
+}
+
+imp -[hidden]right-> fp
+@enduml
+```
+
+**命令型プログラミング**は「どうやるか」を記述します。
+
+**ソースファイル**: `app/java/src/main/java/ch01/IntroJava.java`
+
+```java
+// Java: 命令型でワードスコアを計算
+public static int calculateScoreImperative(String word) {
+    int score = 0;
+    for (char c : word.toCharArray()) {
+        score++;
+    }
+    return score;
+}
+```
+
+**関数型プログラミング**は「何をするか」を記述します。
+
+```java
+// Java: 関数型でワードスコアを計算
+public static int wordScore(String word) {
+    return word.length();
+}
+```
+
+### 1.2 Java での関数定義
+
+Java での関数（メソッド）定義の基本形を見てみましょう。
+
+```java
+public static int increment(int x) {
+    return x + 1;
+}
+
+public static char getFirstCharacter(String s) {
+    return s.charAt(0);
+}
+
+public static int wordScore(String word) {
+    return word.length();
+}
+```
+
+### 1.3 関数の構造
+
+```plantuml
+@startuml
+!theme plain
+skinparam rectangle {
+  BackgroundColor White
+  BorderColor Black
+}
+
+rectangle "public static int increment(int x) { return x + 1; }" {
+  rectangle "public static" as mod #LightBlue
+  rectangle "int" as ret #LightPink
+  rectangle "increment" as name #LightGreen
+  rectangle "(int x)" as params #LightYellow
+  rectangle "return x + 1" as body #LightGray
+}
+
+note bottom of mod : 修飾子
+note bottom of ret : 戻り値の型
+note bottom of name : メソッド名
+note bottom of params : パラメータ
+note bottom of body : メソッド本体
+
+@enduml
+```
+
+### 1.4 学習ポイント
+
+| 概念 | 命令型 | 関数型 |
+|------|--------|--------|
+| 焦点 | 手順（How） | 結果（What） |
+| 状態 | 変更する | 変換する |
+| ループ | for/while | map/filter/reduce |
+| データ | ミュータブル | イミュータブル |
+
+---
+
+## 第2章: 純粋関数とテスト
+
+### 2.1 純粋関数とは
+
+純粋関数（Pure Function）は以下の特徴を持つ関数です:
+
+1. **同じ入力には常に同じ出力を返す**
+2. **副作用がない**（外部状態を変更しない）
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "純粋関数" as pure {
+  card "入力" as in
+  card "出力" as out
+  in -> out : 決定論的
+}
+
+rectangle "不純な関数" as impure {
+  card "入力" as in2
+  card "出力" as out2
+  card "外部状態" as state
+  in2 -> out2
+  state --> out2 : 影響
+  out2 --> state : 変更
+}
+
+@enduml
+```
+
+### 2.2 純粋関数の例
+
+**ソースファイル**: `app/java/src/main/java/ch02/PureFunctions.java`
+
+```java
+// 純粋関数の例
+public static int increment(int x) {
+    return x + 1;
+}
+
+public static int add(int a, int b) {
+    return a + b;
+}
+
+public static char getFirstCharacter(String s) {
+    return s.charAt(0);
+}
+
+public static double applyDiscount(double x) {
+    return x * 95.0 / 100.0;
+}
+```
+
+**純粋ではない関数の例**:
+
+```java
+// 不純な関数 - Math.random() は毎回異なる値を返す
+public static double randomPart(double x) {
+    return x * Math.random();
+}
+
+// 不純な関数 - 現在時刻は毎回異なる
+public static long currentTime() {
+    return System.currentTimeMillis();
+}
+```
+
+### 2.3 ショッピングカートの例
+
+状態を持つクラスの問題点を見てみましょう。
+
+**ソースファイル**: `app/java/src/main/java/ch02/ShoppingCartBad.java`
+
+#### 問題のあるコード
+
+```java
+public class ShoppingCartBad {
+    private List<String> items = new ArrayList<>();
+    private boolean bookAdded = false;
+
+    public void addItem(String item) {
+        items.add(item);
+        if (item.equals("Book")) {
+            bookAdded = true;
+        }
+    }
+
+    public int getDiscountPercentage() {
+        if (bookAdded) {
+            return 5;
+        } else {
+            return 0;
+        }
+    }
+
+    public List<String> getItems() {
+        return items;  // 問題: 内部状態への参照を返している
+    }
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+skinparam sequence {
+  ArrowColor Black
+  LifeLineBorderColor Black
+}
+
+actor User
+participant "ShoppingCartBad" as cart
+participant "items (List)" as list
+
+User -> cart: addItem("Book")
+cart -> list: add("Book")
+cart -> cart: bookAdded = true
+
+User -> cart: getItems()
+cart --> User: items の参照
+
+User -> list: remove("Book")
+note right: 外部から直接変更!
+
+User -> cart: getDiscountPercentage()
+cart --> User: 5 (bookAdded は true のまま)
+
+note over User, list
+  カートに Book がないのに
+  割引が 5% のままになる!
+end note
+
+@enduml
+```
+
+#### 純粋関数による解決
+
+**ソースファイル**: `app/java/src/main/java/ch02/ShoppingCart.java`
+
+```java
+import io.vavr.collection.List;
+
+public class ShoppingCart {
+    /**
+     * 割引率を計算する純粋関数
+     */
+    public static int getDiscountPercentage(List<String> items) {
+        if (items.contains("Book")) {
+            return 5;
+        } else {
+            return 0;
+        }
+    }
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "純粋関数版 ShoppingCart" {
+  card "getDiscountPercentage" as func
+
+  card "List(\"Apple\")" as in1
+  card "0" as out1
+
+  card "List(\"Apple\", \"Book\")" as in2
+  card "5" as out2
+
+  in1 --> func
+  func --> out1
+
+  in2 --> func
+  func --> out2
+}
+
+note bottom
+  同じ入力には常に同じ出力
+  状態を持たない
+end note
+
+@enduml
+```
+
+### 2.4 Vavr の List を使ったイミュータブル操作
+
+Vavr の `List` はイミュータブルなデータ構造です。
+
+```java
+import io.vavr.collection.List;
+
+// イミュータブルな操作
+List<String> cart1 = List.of("Apple");
+List<String> cart2 = cart1.append("Book");  // 新しいリストを作成
+List<String> cart3 = cart2.append("Lemon"); // 新しいリストを作成
+
+// cart1 は変更されていない
+System.out.println(cart1); // List(Apple)
+System.out.println(cart2); // List(Apple, Book)
+System.out.println(cart3); // List(Apple, Book, Lemon)
+
+// 割引率を計算
+ShoppingCart.getDiscountPercentage(cart1); // 0
+ShoppingCart.getDiscountPercentage(cart2); // 5
+ShoppingCart.getDiscountPercentage(cart3); // 5
+```
+
+### 2.5 チップ計算の例
+
+**ソースファイル**: `app/java/src/main/java/ch02/TipCalculator.java`
+
+```java
+import io.vavr.collection.List;
+
+public class TipCalculator {
+    /**
+     * チップ率を計算する純粋関数
+     */
+    public static int getTipPercentage(List<String> names) {
+        if (names.size() > 5) {
+            return 20;
+        } else if (names.size() > 0) {
+            return 10;
+        } else {
+            return 0;
+        }
+    }
+}
+```
+
+この関数は:
+
+
+- 6人以上のグループ → 20% のチップ
+- 1-5人のグループ → 10% のチップ
+- 0人（空リスト） → 0% のチップ
+
+### 2.6 純粋関数のテスト
+
+純粋関数は非常にテストしやすいです。
+
+**ソースファイル**: `app/java/src/test/java/ch01/IntroJavaTest.java`
+
+```java
+@Test
+@DisplayName("increment は入力に1を加える")
+void incrementAddOne() {
+    assertThat(IntroJava.increment(0)).isEqualTo(1);
+    assertThat(IntroJava.increment(6)).isEqualTo(7);
+    assertThat(IntroJava.increment(-1)).isEqualTo(0);
+    assertThat(IntroJava.increment(Integer.MAX_VALUE - 1))
+            .isEqualTo(Integer.MAX_VALUE);
+}
+
+@Test
+@DisplayName("isEven は偶数を判定")
+void isEvenChecksEvenness() {
+    assertThat(IntroJava.isEven(0)).isTrue();
+    assertThat(IntroJava.isEven(2)).isTrue();
+    assertThat(IntroJava.isEven(1)).isFalse();
+    assertThat(IntroJava.isEven(-2)).isTrue();
+    assertThat(IntroJava.isEven(-3)).isFalse();
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "テストの特徴比較" {
+  rectangle "純粋関数のテスト" as pure {
+    card "セットアップ不要" as s1
+    card "独立して実行可能" as s2
+    card "決定論的" as s3
+    card "高速" as s4
+  }
+
+  rectangle "状態を持つコードのテスト" as impure {
+    card "セットアップ必要" as i1
+    card "実行順序に依存" as i2
+    card "非決定論的になりやすい" as i3
+    card "モック/スタブが必要" as i4
+  }
+}
+
+@enduml
+```
+
+### 2.7 文字 'a' を除外するワードスコア
+
+より複雑な例を見てみましょう。
+
+```java
+public static int wordScoreWithoutA(String word) {
+    return word.replace("a", "").length();
+}
+
+// テスト
+assertThat(wordScoreWithoutA("Scala")).isEqualTo(3);    // "Scl" → 3文字
+assertThat(wordScoreWithoutA("function")).isEqualTo(8); // 'a' なし → 8文字
+assertThat(wordScoreWithoutA("")).isEqualTo(0);         // 空文字 → 0文字
+```
+
+### 2.8 参照透過性
+
+純粋関数は**参照透過性（Referential Transparency）**を持ちます。
+
+> 式をその評価結果で置き換えても、プログラムの意味が変わらないこと
+
+```java
+// 参照透過性の例
+int score1 = wordScore("Java");
+int score2 = wordScore("Java");
+// score1 と score2 は常に同じ値（4）
+
+// 以下の2つは同等
+int total1 = wordScore("Java") + wordScore("Scala");
+int total2 = 4 + 5;  // wordScore の結果で置き換え可能
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "参照透過性" {
+  card "wordScore(\"Java\")" as expr
+  card "4" as value
+
+  expr <--> value : 常に置換可能
+}
+
+note bottom
+  式をその結果で置き換えても
+  プログラムの動作は変わらない
+end note
+
+@enduml
+```
+
+---
+
+## Java と Vavr の対応表
+
+| 概念 | 標準 Java | Vavr |
+|------|-----------|------|
+| イミュータブルリスト | `List.of()` (Java 9+) | `io.vavr.collection.List` |
+| 空リスト | `List.of()` | `List.empty()` |
+| 要素追加 | 不可（イミュータブル） | `list.append(x)` |
+| 要素削除 | 不可（イミュータブル） | `list.remove(x)` |
+| 要素検索 | `list.contains(x)` | `list.contains(x)` |
+
+---
+
+## まとめ
+
+### Part I で学んだこと
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Part I: 関数型プログラミングの基礎" {
+  rectangle "第1章" as ch1 {
+    card "命令型 vs 関数型"
+    card "Java での FP 入門"
+    card "HOW から WHAT へ"
+  }
+
+  rectangle "第2章" as ch2 {
+    card "純粋関数"
+    card "副作用の排除"
+    card "テストの容易さ"
+    card "参照透過性"
+    card "Vavr の List"
+  }
+}
+
+ch1 --> ch2
+
+@enduml
+```
+
+### キーポイント
+
+1. **関数型プログラミング**は「何をするか」を宣言的に記述する
+2. **純粋関数**は同じ入力に対して常に同じ出力を返す
+3. **副作用**を避けることでコードの予測可能性が向上する
+4. **純粋関数**はテストが非常に簡単
+5. **参照透過性**により、コードの理解と推論が容易になる
+6. **Vavr の List** を使うとイミュータブルなデータ操作が簡単
+
+### 次のステップ
+
+Part II では、以下のトピックを学びます:
+
+- イミュータブルなデータ操作（Vavr コレクション）
+- 高階関数（関数を値として扱う）
+- `flatMap` とネスト構造の平坦化
+- Vavr の `For.yield()` による内包表記
+
+---
+
+## 演習問題
+
+### 問題 1: 純粋関数の識別
+
+以下の関数のうち、純粋関数はどれですか?
+
+```java
+// A
+public static int doubleValue(int x) {
+    return x * 2;
+}
+
+// B
+private static int counter = 0;
+public static int incrementCounter() {
+    counter++;
+    return counter;
+}
+
+// C
+public static String greet(String name) {
+    return "Hello, " + name + "!";
+}
+
+// D
+public static long currentTime() {
+    return System.currentTimeMillis();
+}
+```
+
+<details>
+<summary>解答</summary>
+
+**A と C は純粋関数**です。
+
+- A: 同じ入力に対して常に同じ出力を返し、副作用がない
+- B: 外部変数 `counter` を変更する副作用がある（不純）
+- C: 同じ入力に対して常に同じ出力を返し、副作用がない
+- D: 呼び出すたびに異なる値を返す（不純）
+
+</details>
+
+### 問題 2: 純粋関数への書き換え
+
+以下の不純な関数を純粋関数に書き換えてください。
+
+```java
+public class Counter {
+    private int value = 0;
+
+    public int increment() {
+        value++;
+        return value;
+    }
+}
+```
+
+<details>
+<summary>解答</summary>
+
+```java
+public static int increment(int value) {
+    return value + 1;
+}
+
+// 使用例
+int v1 = 0;
+int v2 = increment(v1);  // 1
+int v3 = increment(v2);  // 2
+```
+
+状態を外部に持ち、関数は値を受け取って新しい値を返すだけにします。
+
+</details>
+
+### 問題 3: Vavr List を使ったテストを書く
+
+以下の関数に対するテストケースを JUnit + AssertJ で書いてください。
+
+```java
+public static boolean hasDiscount(List<String> items) {
+    return items.contains("Book") || items.contains("Magazine");
+}
+```
+
+<details>
+<summary>解答</summary>
+
+```java
+@Test
+void hasDiscountTest() {
+    // 空のリスト
+    assertThat(hasDiscount(List.empty())).isFalse();
+
+    // Book のみ
+    assertThat(hasDiscount(List.of("Book"))).isTrue();
+
+    // Magazine のみ
+    assertThat(hasDiscount(List.of("Magazine"))).isTrue();
+
+    // 両方
+    assertThat(hasDiscount(List.of("Book", "Magazine"))).isTrue();
+
+    // どちらもない
+    assertThat(hasDiscount(List.of("Apple", "Orange"))).isFalse();
+
+    // 混在
+    assertThat(hasDiscount(List.of("Apple", "Book", "Orange"))).isTrue();
+}
+```
+
+</details>
+
+---
+
+## 実行方法
+
+### テストの実行
+
+```bash
+cd app/java
+./gradlew test
+```
+
+### サンプルコードの実行
+
+```bash
+cd app/java
+./gradlew run -PmainClass=ch01.IntroJava
+./gradlew run -PmainClass=ch02.PureFunctions
+./gradlew run -PmainClass=ch02.ShoppingCart
+./gradlew run -PmainClass=ch02.TipCalculator
+```