@k2works/claude-code-booster 6.2.0 → 6.3.1

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

@@ -1,657 +0,0 @@
----
-type: Article
-title: "Part I: 関数型プログラミングの基礎"
-description: "本章では、関数型プログラミング（FP）の基本概念を Java + Vavr で学びます。"
-tags: [article, grokkingfp, java]
-status: stable
-generated: { by: human:kakimomokuri, at: 2026-03-27T04:43:33Z }
----
-
-# 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
-```