@k2works/claude-code-booster 3.6.0 → 3.7.0

package/lib/assets/docs/article/grokkingfp/csharp/part-2.md

@@ -1,971 +1,971 @@
-# Part II: 関数型スタイルのプログラミング
-
-本章では、関数型プログラミングの核心となるテクニックを学びます。イミュータブルなデータ操作、高階関数、そして `Bind`（flatMap 相当）による複雑なデータ変換を習得します。
-
----
-
-## 第3章: イミュータブルなデータ操作
-
-### 3.1 イミュータブルとは
-
-イミュータブル（不変）とは、一度作成されたデータが変更されないことを意味します。データを「変更」する代わりに、新しいデータを「作成」します。
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "ミュータブル（可変）" as mut {
-  card "list = new List<string>{\"A\", \"B\"}" as m1
-  card "list.Add(\"C\")" as m2
-  card "list = [A, B, C]" as m3
-  m1 --> m2 : 変更
-  m2 --> m3 : 同じリストが変わる
-}
-
-rectangle "イミュータブル（不変）" as immut {
-  card "seq1 = Seq(\"A\", \"B\")" as i1
-  card "seq2 = seq1.Add(\"C\")" as i2
-  card "seq1 = [A; B]\nseq2 = [A; B; C]" as i3
-  i1 --> i2 : 新規作成
-  i2 --> i3 : 両方が存在
-}
-
-@enduml
-```
-
-### 3.2 Seq の基本操作
-
-**ソースファイル**: `app/csharp/src/Ch03/ImmutableOperations.cs`
-
-#### 要素の追加
-
-LanguageExt の `Seq<T>` はデフォルトでイミュータブルです。要素を追加すると新しい Seq が作成されます。
-
-```csharp
-using LanguageExt;
-using static LanguageExt.Prelude;
-
-var appleBook = Seq("Apple", "Book");
-var appleBookMango = appleBook.Add("Mango");
-
-// 元の Seq は変わらない
-Debug.Assert(appleBook.Count == 2);
-// 新しい Seq が作成される
-Debug.Assert(appleBookMango.Count == 3);
-Debug.Assert(appleBookMango.SequenceEqual(Seq("Apple", "Book", "Mango")));
-```
-
-#### スライス操作
-
-```csharp
-/// <summary>
-/// Seq の先頭 n 個の要素を取得
-/// </summary>
-public static Seq<T> FirstN<T>(Seq<T> seq, int n) =>
-    seq.Take(n);
-
-/// <summary>
-/// Seq の末尾 n 個の要素を取得
-/// </summary>
-public static Seq<T> LastN<T>(Seq<T> seq, int n)
-{
-    var skipCount = Math.Max(0, seq.Count - n);
-    return seq.Skip(skipCount);
-}
-
-/// <summary>
-/// Seq の最初の 2 要素を取得
-/// </summary>
-public static Seq<T> FirstTwo<T>(Seq<T> seq) =>
-    FirstN(seq, 2);
-
-/// <summary>
-/// Seq の最後の 2 要素を取得
-/// </summary>
-public static Seq<T> LastTwo<T>(Seq<T> seq) =>
-    LastN(seq, 2);
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Slice(start, end)" {
-  card "Seq(\"a\", \"b\", \"c\", \"d\")" as orig
-  card "Skip(1).Take(2)" as op
-  card "Seq(\"b\", \"c\")" as result
-
-  orig --> op
-  op --> result
-}
-
-note bottom of result
-  インデックス 1 から 2 要素を取得
-end note
-
-@enduml
-```
-
-### 3.3 Seq の変換例
-
-```csharp
-/// <summary>
-/// 最初の 2 要素を末尾に移動
-/// </summary>
-public static Seq<T> MoveFirstTwoToEnd<T>(Seq<T> seq)
-{
-    var first = FirstTwo(seq);
-    var rest = seq.Skip(2);
-    return rest.Concat(first);
-}
-
-// 使用例
-Debug.Assert(MoveFirstTwoToEnd(Seq("a", "b", "c")).SequenceEqual(Seq("c", "a", "b")));
-
-/// <summary>
-/// 最後の要素の前に新しい要素を挿入
-/// </summary>
-public static Seq<T> InsertBeforeLast<T>(Seq<T> seq, T element)
-{
-    var withoutLast = seq.Take(seq.Count - 1);
-    var last = LastN(seq, 1);
-    return withoutLast.Add(element).Concat(last);
-}
-
-Debug.Assert(InsertBeforeLast(Seq("a", "b"), "c").SequenceEqual(Seq("a", "c", "b")));
-```
-
-### 3.4 旅程の再計画
-
-旅行の計画変更をイミュータブルに行う例です。
-
-```csharp
-/// <summary>
-/// 指定した都市の前に新しい都市を挿入
-/// </summary>
-public static Seq<string> Replan(Seq<string> plan, string newCity, string beforeCity)
-{
-    var index = plan.ToList().FindIndex(c => c == beforeCity);
-    if (index < 0) index = plan.Count;
-
-    var citiesBefore = plan.Take(index);
-    var citiesAfter = plan.Skip(index);
-    return citiesBefore.Add(newCity).Concat(citiesAfter);
-}
-
-var planA = Seq("Paris", "Berlin", "Kraków");
-var planB = Replan(planA, "Vienna", "Kraków");
-
-Debug.Assert(planB.SequenceEqual(Seq("Paris", "Berlin", "Vienna", "Kraków")));
-Debug.Assert(planA.SequenceEqual(Seq("Paris", "Berlin", "Kraków"))); // 元の計画は変わらない!
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "旅程の再計画" {
-  card "Plan A:\nParis → Berlin → Kraków" as planA
-  card "Replan(planA, \"Vienna\", \"Kraków\")" as op
-  card "Plan B:\nParis → Berlin → Vienna → Kraków" as planB
-
-  planA --> op
-  op --> planB
-}
-
-note right of planA
-  Plan A は変更されない
-  (イミュータブル)
-end note
-
-@enduml
-```
-
-### 3.5 String と Seq の類似性
-
-String と Seq は似た操作ができます。
-
-| 操作 | C# Seq | C# String |
-|------|--------|-----------|
-| 結合 | `Concat` または `Add` | `+` または `String.Concat` |
-| 切り出し | `Skip`, `Take` | `Substring` |
-| サイズ | `Count` | `Length` |
-
-```csharp
-// Seq の操作
-var abSeq = Seq("a", "b");
-var cdSeq = Seq("c", "d");
-var abcdSeq = abSeq.Concat(cdSeq);
-Debug.Assert(abcdSeq.SequenceEqual(Seq("a", "b", "c", "d")));
-
-// String の操作
-var abStr = "ab";
-var cdStr = "cd";
-var abcdStr = abStr + cdStr;
-Debug.Assert(abcdStr == "abcd");
-```
-
-### 3.6 名前の省略
-
-```csharp
-/// <summary>
-/// 名前を省略形に変換（例: "Alonzo Church" -> "A. Church"）
-/// </summary>
-public static string Abbreviate(string name)
-{
-    var initial = name.Substring(0, 1);
-    var separatorIndex = name.IndexOf(' ');
-    if (separatorIndex < 0)
-        return name;
-
-    var lastName = name.Substring(separatorIndex + 1);
-    return $"{initial}. {lastName}";
-}
-
-Debug.Assert(Abbreviate("Alonzo Church") == "A. Church");
-Debug.Assert(Abbreviate("A. Church") == "A. Church");
-```
-
----
-
-## 第4章: 関数を値として扱う
-
-### 4.1 高階関数とは
-
-高階関数（Higher-Order Function）とは、以下のいずれかを満たす関数です:
-
-1. 関数を引数として受け取る
-2. 関数を戻り値として返す
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "高階関数" {
-  rectangle "関数を引数に取る" as arg {
-    card "OrderBy" as sortBy
-    card "Map" as map
-    card "Filter" as filter
-  }
-
-  rectangle "関数を返す" as ret {
-    card "LargerThan(n)" as larger
-    card "DivisibleBy(n)" as divisible
-  }
-}
-
-@enduml
-```
-
-### 4.2 関数を引数として渡す
-
-**ソースファイル**: `app/csharp/src/Ch04/HigherOrderFunctions.cs`
-
-#### OrderBy - ソート基準を関数で指定
-
-```csharp
-public static int WordScore(string word) =>
-    word.Replace("a", "").Length;
-
-var words = Seq("rust", "java");
-var sortedWords = toSeq(words.OrderBy(WordScore));
-
-Debug.Assert(sortedWords.SequenceEqual(Seq("java", "rust")));
-// java: 2文字 (j, v), rust: 4文字 (r, u, s, t)
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "OrderBy の動作" {
-  card "Seq(\"rust\", \"java\")" as input
-  card "WordScore(\"rust\") = 4\nWordScore(\"java\") = 2" as scores
-  card "Seq(\"java\", \"rust\")" as output
-
-  input --> scores : WordScore 関数を適用
-  scores --> output : スコア順にソート
-}
-
-@enduml
-```
-
-#### Map - 各要素を変換
-
-```csharp
-public static int Len(string s) => s.Length;
-
-var lengths = Seq("scala", "rust", "ada").Map(Len);
-Debug.Assert(lengths.SequenceEqual(Seq(5, 4, 3)));
-
-public static int Double(int i) => i * 2;
-var doubles = Seq(5, 1, 2, 4, 0).Map(Double);
-Debug.Assert(doubles.SequenceEqual(Seq(10, 2, 4, 8, 0)));
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Map の動作" {
-  card "Seq(\"scala\", \"rust\", \"ada\")" as input
-  card "Len 関数を各要素に適用" as op
-  card "Seq(5, 4, 3)" as output
-
-  input --> op
-  op --> output
-}
-
-@enduml
-```
-
-#### Filter - 条件に合う要素を抽出
-
-```csharp
-public static bool IsOdd(int i) => i % 2 == 1;
-
-var odds = Seq(5, 1, 2, 4, 0).Filter(IsOdd);
-Debug.Assert(odds.SequenceEqual(Seq(5, 1)));
-
-var large = Seq(5, 1, 2, 4, 0).Filter(i => i > 4);
-Debug.Assert(large.SequenceEqual(Seq(5)));
-```
-
-#### Fold - 畳み込み
-
-```csharp
-var sum = Seq(5, 1, 2, 4, 100).Fold(0, (acc, i) => acc + i);
-Debug.Assert(sum == 112);
-
-var maximum = Seq(5, 1, 2, 4, 15).Fold(int.MinValue, (maxVal, i) =>
-    i > maxVal ? i : maxVal);
-Debug.Assert(maximum == 15);
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Fold の動作" {
-  card "初期値: 0" as init
-  card "0 + 5 = 5" as s1
-  card "5 + 1 = 6" as s2
-  card "6 + 2 = 8" as s3
-  card "8 + 4 = 12" as s4
-  card "12 + 100 = 112" as s5
-
-  init --> s1
-  s1 --> s2
-  s2 --> s3
-  s3 --> s4
-  s4 --> s5
-}
-
-@enduml
-```
-
-### 4.3 レコード型とパターン
-
-**ソースファイル**: `app/csharp/src/Ch04/HigherOrderFunctions.cs`
-
-```csharp
-/// <summary>
-/// プログラミング言語を表すレコード型
-/// </summary>
-public record ProgrammingLanguage(string Name, int Year);
-
-var javaLang = new ProgrammingLanguage("Java", 1995);
-var scalaLang = new ProgrammingLanguage("Scala", 2004);
-
-var languages = Seq(javaLang, scalaLang);
-
-// フィールドにアクセス
-var names = languages.Map(lang => lang.Name);
-Debug.Assert(names.SequenceEqual(Seq("Java", "Scala")));
-
-// 条件でフィルタ
-var young = languages.Filter(lang => lang.Year > 2000);
-Debug.Assert(young.SequenceEqual(Seq(scalaLang)));
-```
-
-### 4.4 関数を返す関数
-
-```csharp
-/// <summary>
-/// n より大きいかを判定する関数を返す
-/// </summary>
-public static Func<int, bool> LargerThan(int n) =>
-    i => i > n;
-
-var large = Seq(5, 1, 2, 4, 0).Filter(LargerThan(4));
-Debug.Assert(large.SequenceEqual(Seq(5)));
-
-var medium = Seq(5, 1, 2, 4, 0).Filter(LargerThan(1));
-Debug.Assert(medium.SequenceEqual(Seq(5, 2, 4)));
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "関数を返す関数" {
-  card "LargerThan(4)" as call
-  card "i => i > 4" as fn
-  card "Filter に渡す" as filter
-
-  call --> fn : 関数を生成
-  fn --> filter : 生成された関数を使用
-}
-
-note bottom
-  LargerThan(4) は
-  「4より大きいか判定する関数」を返す
-end note
-
-@enduml
-```
-
-### 4.5 カリー化と部分適用
-
-LanguageExt の `curry` 関数を使ってカリー化できます。
-
-```csharp
-using static LanguageExt.Prelude;
-
-// カリー化された加算関数
-public static Func<int, Func<int, int>> AddCurried =>
-    curry<int, int, int>((a, b) => a + b);
-
-// 部分適用: 5を足す関数
-public static Func<int, int> AddFive => AddCurried(5);
-
-Debug.Assert(AddFive(3) == 8);
-Debug.Assert(AddFive(10) == 15);
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "部分適用" {
-  rectangle "元の関数" as normal {
-    card "(a, b) => a + b" as n1
-  }
-
-  rectangle "部分適用" as partial {
-    card "AddFive = AddCurried(5)" as p1
-    card "AddFive(y) = 5 + y" as p2
-  }
-
-  normal --> partial : 最初の引数を固定
-}
-
-note bottom of partial
-  AddFive(3) = AddCurried(5)(3) = 8
-end note
-
-@enduml
-```
-
-### 4.6 ワードスコアリングの例
-
-複数のスコアリングロジックを組み合わせる例です。
-
-```csharp
-public static int WordScore(string word) => word.Replace("a", "").Length;
-public static int Bonus(string word) => word.Contains('c') ? 5 : 0;
-public static int Penalty(string word) => word.Contains('s') ? 7 : 0;
-
-var words = Seq("ada", "haskell", "scala", "java", "rust");
-
-/// <summary>
-/// 指定したスコア関数でワードをランキング
-/// </summary>
-public static Seq<string> RankedWords(Seq<string> words, Func<string, int> scoreFn) =>
-    toSeq(words.OrderByDescending(scoreFn));
-
-// 基本スコアでランキング
-var ranking1 = RankedWords(words, WordScore);
-Debug.Assert(ranking1.Head == "haskell");
-
-// ボーナス付きスコアでランキング
-var ranking2 = RankedWords(words, w => WordScore(w) + Bonus(w));
-// scala: 3 + 5 = 8, haskell: 7 + 0 = 7
-Debug.Assert(ranking2.Head == "scala");
-
-// ボーナスとペナルティ付きスコアでランキング
-var ranking3 = RankedWords(words, w => WordScore(w) + Bonus(w) - Penalty(w));
-// java: 2, scala: 1, ada: 0, haskell: 0, rust: -3
-Debug.Assert(ranking3.Head == "java");
-```
-
----
-
-## 第5章: Bind とネスト構造
-
-### 5.1 Flatten と Bind
-
-**ソースファイル**: `app/csharp/src/Ch05/FlatMapOperations.cs`
-
-#### Bind - ネストした Seq を平坦化
-
-```csharp
-public record Book(string Title, Seq<string> Authors);
-
-var books = Seq(
-    new Book("FP in Scala", Seq("Chiusano", "Bjarnason")),
-    new Book("The Hobbit", Seq("Tolkien"))
-);
-
-// Map だけだとネストする
-var authorSeqs = books.Map(b => b.Authors);
-// Seq<Seq<string>>: [ ["Chiusano", "Bjarnason"], ["Tolkien"] ]
-
-// Bind で平坦化しながら変換
-var authors = books.Bind(b => b.Authors);
-// Seq<string>: ["Chiusano", "Bjarnason", "Tolkien"]
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Bind の動作" {
-  card "Seq(Seq(\"A\", \"B\"), Seq(\"C\"))" as nested
-  card "Bind(x => x)" as op
-  card "Seq(\"A\", \"B\", \"C\")" as flat
-
-  nested --> op
-  op --> flat
-}
-
-@enduml
-```
-
-#### Bind = Map + Flatten
-
-C# の LanguageExt における `Bind` は Scala の `flatMap` に相当します。
-
-```csharp
-// Map して Flatten
-var authors1 = books.Map(b => b.Authors).Bind(x => x);
-
-// Bind で同じことを1行で
-var authors2 = books.Bind(b => b.Authors);
-
-Debug.Assert(authors1.SequenceEqual(authors2));
-// ["Chiusano", "Bjarnason", "Tolkien"]
-```
-
-### 5.2 Bind によるリストサイズの変化
-
-```csharp
-// 要素数が増える
-var duplicate = Seq(1, 2, 3).Bind(i => Seq(i, i + 10));
-// [1, 11, 2, 12, 3, 13] - 6要素
-
-// 要素数が同じ
-var doubled = Seq(1, 2, 3).Bind(i => Seq(i * 2));
-// [2, 4, 6] - 3要素
-
-// 要素数が減る（フィルタリング効果）
-var evens = Seq(1, 2, 3).Bind(i =>
-    i % 2 == 0 ? Seq(i) : Empty);
-// [2] - 1要素
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Bind とサイズの変化" {
-  rectangle "増加" as inc {
-    card "Seq(1, 2, 3)" as i1
-    card "i => Seq(i, i+10)" as f1
-    card "Seq(1, 11, 2, 12, 3, 13)" as r1
-    i1 --> f1
-    f1 --> r1
-  }
-
-  rectangle "減少（フィルタ）" as dec {
-    card "Seq(1, 2, 3)" as i2
-    card "i => even ? Seq(i) : Empty" as f2
-    card "Seq(2)" as r2
-    i2 --> f2
-    f2 --> r2
-  }
-}
-
-@enduml
-```
-
-### 5.3 ネストした Bind
-
-複数の Seq を組み合わせる場合、Bind をネストします。
-
-```csharp
-public record Movie(string Title);
-
-public static Seq<Movie> BookAdaptations(string author) =>
-    author == "Tolkien"
-        ? Seq(new Movie("An Unexpected Journey"), new Movie("The Desolation of Smaug"))
-        : Empty;
-
-var books = Seq(
-    new Book("FP in Scala", Seq("Chiusano", "Bjarnason")),
-    new Book("The Hobbit", Seq("Tolkien"))
-);
-
-// ネストした Bind
-var recommendations = books.Bind(book =>
-    book.Authors.Bind(author =>
-        BookAdaptations(author).Map(movie =>
-            $"You may like {movie.Title}, because you liked {author}'s {book.Title}")));
-
-// 結果:
-// [ "You may like An Unexpected Journey, because you liked Tolkien's The Hobbit"
-//   "You may like The Desolation of Smaug, because you liked Tolkien's The Hobbit" ]
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "ネストした Bind のフロー" {
-  card "books" as books
-  card "book.Authors" as authors
-  card "BookAdaptations(author)" as movies
-  card "recommendation string" as result
-
-  books --> authors : Bind
-  authors --> movies : Bind
-  movies --> result : Map
-}
-
-note bottom
-  最後だけ Map
-  途中は Bind
-end note
-
-@enduml
-```
-
-### 5.4 LINQ クエリ式
-
-C# の LINQ クエリ式は、ネストした Bind を読みやすく書けます。
-
-```csharp
-// Bind/Map 版
-var c1 = books.Bind(book =>
-    book.Authors.Bind(author =>
-        BookAdaptations(author).Map(movie =>
-            $"You may like {movie.Title}, because you liked {author}'s {book.Title}")));
-
-// LINQ クエリ式版（等価）
-var c2 = (from book in books
-          from author in book.Authors
-          from movie in BookAdaptations(author)
-          select $"You may like {movie.Title}, because you liked {author}'s {book.Title}").ToSeq();
-
-Debug.Assert(c1.SequenceEqual(c2));
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "LINQ クエリ式の構造" {
-  card "from x in xs\nfrom y in ys\nfrom z in zs\nselect f(x, y, z)" as forComp
-
-  card "xs.Bind(x =>\n  ys.Bind(y =>\n    zs.Map(z =>\n      f(x, y, z))))" as binds
-
-  forComp <--> binds : 等価
-}
-
-note bottom
-  LINQ クエリ式は
-  Bind/Map の糖衣構文
-end note
-
-@enduml
-```
-
-### 5.5 円内の点の判定
-
-LINQ クエリ式でフィルタリングも行う例です。
-
-```csharp
-public record Point(int X, int Y);
-
-var points = Seq(new Point(5, 2), new Point(1, 1));
-var radiuses = Seq(2, 1);
-
-public static bool IsInside(Point point, int radius) =>
-    radius * radius >= point.X * point.X + point.Y * point.Y;
-
-// 全組み合わせを生成
-var allCombinations = (from r in radiuses
-                       from point in points
-                       select $"Point({point.X},{point.Y}) is within a radius of {r}: {IsInside(point, r)}").ToSeq();
-
-// 結果:
-// [ "Point(5,2) is within a radius of 2: false"
-//   "Point(1,1) is within a radius of 2: true"
-//   "Point(5,2) is within a radius of 1: false"
-//   "Point(1,1) is within a radius of 1: false" ]
-```
-
-#### where によるフィルタリング
-
-```csharp
-// where を使ったフィルタリング
-var insidePoints = (from r in radiuses
-                    from point in points
-                    where IsInside(point, r)
-                    select $"Point({point.X},{point.Y}) is within a radius of {r}").ToSeq();
-
-// 結果: [ "Point(1,1) is within a radius of 2" ]
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "フィルタリングの3つの方法" {
-  rectangle "1. Filter を使う" as m1 {
-    card "points.Filter(p => IsInside(p, r))"
-  }
-
-  rectangle "2. LINQ クエリ式で where を使う" as m2 {
-    card "from ... where IsInside(...) select ..."
-  }
-
-  rectangle "3. Bind を使う" as m3 {
-    card "cond ? Seq(x) : Empty"
-  }
-}
-
-@enduml
-```
-
-### 5.6 LINQ の柔軟性
-
-C# の LINQ クエリ式は、`Seq`、`IEnumerable`、その他の LINQ 対応型で使えます。
-
-```csharp
-// Seq を使った LINQ
-var seqResult = (from a in Seq(1, 2)
-                 from b in Seq(2, 1)
-                 select a * b).ToSeq();
-// [2, 1, 4, 2] - 重複あり、順序あり
-
-// HashSet への変換
-var hashSetResult = new System.Collections.Generic.HashSet<int>(seqResult);
-// {1, 2, 4} - 重複なし
-```
-
----
-
-## まとめ
-
-### Part II で学んだこと
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Part II: 関数型スタイルのプログラミング" {
-  rectangle "第3章" as ch3 {
-    card "イミュータブルデータ"
-    card "Skip / Take"
-    card "データ変換パターン"
-  }
-
-  rectangle "第4章" as ch4 {
-    card "高階関数"
-    card "Map / Filter / Fold"
-    card "関数を返す関数"
-    card "カリー化と部分適用"
-  }
-
-  rectangle "第5章" as ch5 {
-    card "Flatten / Bind"
-    card "ネストした変換"
-    card "LINQ クエリ式"
-    card "where によるフィルタリング"
-  }
-}
-
-ch3 --> ch4
-ch4 --> ch5
-
-@enduml
-```
-
-### キーポイント
-
-| 章 | 主要概念 | キー操作 |
-|----|----------|----------|
-| 第3章 | イミュータブル | `Concat`, `Add`, `Skip`, `Take` |
-| 第4章 | 高階関数 | `Map`, `Filter`, `Fold`, `OrderBy` |
-| 第5章 | 平坦化 | `Bind`, LINQ クエリ式 |
-
-### C#/LanguageExt と Scala/F# の対応
-
-| 操作 | C# (LanguageExt) | Scala | F# |
-|------|------------------|-------|-----|
-| 平坦化 | `Bind(x => x)` | `flatten` | `List.concat` |
-| flatMap | `Bind` | `flatMap` | `List.collect` |
-| 内包表記 | LINQ `from ... select` | `for { x <- xs } yield ...` | `[ for x in xs do ... ]` |
-| 畳み込み | `Fold` | `foldLeft` | `List.fold` |
-| フィルタ | `Filter` | `filter` | `List.filter` |
-
-### 重要な法則
-
-1. **イミュータブルデータ**: 元のデータは変更せず、新しいデータを作成する
-2. **関数は値**: 関数を引数として渡したり、戻り値として返したりできる
-3. **Bind パターン**: ネストした構造を平坦化しながら変換する
-4. **LINQ クエリ式**: Bind/Map の糖衣構文として使える
-5. **メソッドチェーン**: `.` で関数を連鎖させて読みやすくする
-
-### 次のステップ
-
-Part III では、以下のトピックを学びます:
-
-- `Option<T>` 型による安全なエラーハンドリング
-- `Either<L, R>` / `Result` 型と複合的なエラー処理
-
----
-
-## 演習問題
-
-### 問題 1: イミュータブルな操作
-
-以下の関数を実装してください。Seq の中央に要素を挿入する関数です。
-
-```csharp
-public static Seq<T> InsertAtMiddle<T>(Seq<T> seq, T element) => ???
-
-// 期待される動作
-Debug.Assert(InsertAtMiddle(Seq("a", "b", "c", "d"), "X").SequenceEqual(Seq("a", "b", "X", "c", "d")));
-Debug.Assert(InsertAtMiddle(Seq("a", "b"), "X").SequenceEqual(Seq("a", "X", "b")));
-```
-
-<details>
-<summary>解答</summary>
-
-```csharp
-public static Seq<T> InsertAtMiddle<T>(Seq<T> seq, T element)
-{
-    var middle = seq.Count / 2;
-    var before = seq.Take(middle);
-    var after = seq.Skip(middle);
-    return before.Add(element).Concat(after);
-}
-```
-
-</details>
-
-### 問題 2: 高階関数
-
-以下の関数を実装してください。条件を満たす要素の数をカウントする関数です。
-
-```csharp
-public static int CountWhere<T>(Seq<T> seq, Func<T, bool> predicate) => ???
-
-// 期待される動作
-Debug.Assert(CountWhere(Seq(1, 2, 3, 4, 5), i => i > 3) == 2);
-Debug.Assert(CountWhere(Seq("a", "bb", "ccc"), s => s.Length > 1) == 2);
-```
-
-<details>
-<summary>解答</summary>
-
-```csharp
-public static int CountWhere<T>(Seq<T> seq, Func<T, bool> predicate) =>
-    seq.Filter(predicate).Count;
-
-// または Fold を使って
-public static int CountWhere2<T>(Seq<T> seq, Func<T, bool> predicate) =>
-    seq.Fold(0, (count, elem) => predicate(elem) ? count + 1 : count);
-```
-
-</details>
-
-### 問題 3: LINQ クエリ式
-
-以下のネストした Bind を LINQ クエリ式で書き換えてください。
-
-```csharp
-var result = Seq(1, 2).Bind(x =>
-    Seq(10, 20).Bind(y =>
-        Seq(100, 200).Map(z =>
-            x + y + z)));
-```
-
-<details>
-<summary>解答</summary>
-
-```csharp
-var result = (from x in Seq(1, 2)
-              from y in Seq(10, 20)
-              from z in Seq(100, 200)
-              select x + y + z).ToSeq();
-
-// 結果: [111, 211, 121, 221, 112, 212, 122, 222]
-```
-
-</details>
-
-### 問題 4: Bind によるフィルタリング
-
-LINQ クエリ式の `where` を使わずに、Bind だけで偶数のみを抽出するコードを書いてください。
-
-```csharp
-var numbers = Seq(1, 2, 3, 4, 5, 6);
-// 偶数のみを抽出: Seq(2, 4, 6)
-```
-
-<details>
-<summary>解答</summary>
-
-```csharp
-var evenNumbers = numbers.Bind(n =>
-    n % 2 == 0 ? Seq(n) : Empty);
-
-// または関数に分離
-Seq<int> EvenFilter(int n) =>
-    n % 2 == 0 ? Seq(n) : Empty;
-
-var evenNumbers2 = numbers.Bind(EvenFilter);
-```
-
-</details>
-
-### 問題 5: メソッドチェーンで書き換え
-
-以下のコードをメソッドチェーンを使って書き換えてください。
-
-```csharp
-var result = CountWhere(
-    Filter(
-        Map(Seq(1, -2, 3, -4, 5), x => x * 2),
-        x => x > 0),
-    x => true);
-```
-
-<details>
-<summary>解答</summary>
-
-```csharp
-var result = Seq(1, -2, 3, -4, 5)
-    .Map(x => x * 2)
-    .Filter(x => x > 0)
-    .Count;
-
-// 結果: 3 (2, 6, 10 の3つ)
-```
-
-メソッドチェーンを使うと、データの変換過程が上から下に読めるようになります。
-
-</details>
+# Part II: 関数型スタイルのプログラミング
+
+本章では、関数型プログラミングの核心となるテクニックを学びます。イミュータブルなデータ操作、高階関数、そして `Bind`（flatMap 相当）による複雑なデータ変換を習得します。
+
+---
+
+## 第3章: イミュータブルなデータ操作
+
+### 3.1 イミュータブルとは
+
+イミュータブル（不変）とは、一度作成されたデータが変更されないことを意味します。データを「変更」する代わりに、新しいデータを「作成」します。
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "ミュータブル（可変）" as mut {
+  card "list = new List<string>{\"A\", \"B\"}" as m1
+  card "list.Add(\"C\")" as m2
+  card "list = [A, B, C]" as m3
+  m1 --> m2 : 変更
+  m2 --> m3 : 同じリストが変わる
+}
+
+rectangle "イミュータブル（不変）" as immut {
+  card "seq1 = Seq(\"A\", \"B\")" as i1
+  card "seq2 = seq1.Add(\"C\")" as i2
+  card "seq1 = [A; B]\nseq2 = [A; B; C]" as i3
+  i1 --> i2 : 新規作成
+  i2 --> i3 : 両方が存在
+}
+
+@enduml
+```
+
+### 3.2 Seq の基本操作
+
+**ソースファイル**: `app/csharp/src/Ch03/ImmutableOperations.cs`
+
+#### 要素の追加
+
+LanguageExt の `Seq<T>` はデフォルトでイミュータブルです。要素を追加すると新しい Seq が作成されます。
+
+```csharp
+using LanguageExt;
+using static LanguageExt.Prelude;
+
+var appleBook = Seq("Apple", "Book");
+var appleBookMango = appleBook.Add("Mango");
+
+// 元の Seq は変わらない
+Debug.Assert(appleBook.Count == 2);
+// 新しい Seq が作成される
+Debug.Assert(appleBookMango.Count == 3);
+Debug.Assert(appleBookMango.SequenceEqual(Seq("Apple", "Book", "Mango")));
+```
+
+#### スライス操作
+
+```csharp
+/// <summary>
+/// Seq の先頭 n 個の要素を取得
+/// </summary>
+public static Seq<T> FirstN<T>(Seq<T> seq, int n) =>
+    seq.Take(n);
+
+/// <summary>
+/// Seq の末尾 n 個の要素を取得
+/// </summary>
+public static Seq<T> LastN<T>(Seq<T> seq, int n)
+{
+    var skipCount = Math.Max(0, seq.Count - n);
+    return seq.Skip(skipCount);
+}
+
+/// <summary>
+/// Seq の最初の 2 要素を取得
+/// </summary>
+public static Seq<T> FirstTwo<T>(Seq<T> seq) =>
+    FirstN(seq, 2);
+
+/// <summary>
+/// Seq の最後の 2 要素を取得
+/// </summary>
+public static Seq<T> LastTwo<T>(Seq<T> seq) =>
+    LastN(seq, 2);
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Slice(start, end)" {
+  card "Seq(\"a\", \"b\", \"c\", \"d\")" as orig
+  card "Skip(1).Take(2)" as op
+  card "Seq(\"b\", \"c\")" as result
+
+  orig --> op
+  op --> result
+}
+
+note bottom of result
+  インデックス 1 から 2 要素を取得
+end note
+
+@enduml
+```
+
+### 3.3 Seq の変換例
+
+```csharp
+/// <summary>
+/// 最初の 2 要素を末尾に移動
+/// </summary>
+public static Seq<T> MoveFirstTwoToEnd<T>(Seq<T> seq)
+{
+    var first = FirstTwo(seq);
+    var rest = seq.Skip(2);
+    return rest.Concat(first);
+}
+
+// 使用例
+Debug.Assert(MoveFirstTwoToEnd(Seq("a", "b", "c")).SequenceEqual(Seq("c", "a", "b")));
+
+/// <summary>
+/// 最後の要素の前に新しい要素を挿入
+/// </summary>
+public static Seq<T> InsertBeforeLast<T>(Seq<T> seq, T element)
+{
+    var withoutLast = seq.Take(seq.Count - 1);
+    var last = LastN(seq, 1);
+    return withoutLast.Add(element).Concat(last);
+}
+
+Debug.Assert(InsertBeforeLast(Seq("a", "b"), "c").SequenceEqual(Seq("a", "c", "b")));
+```
+
+### 3.4 旅程の再計画
+
+旅行の計画変更をイミュータブルに行う例です。
+
+```csharp
+/// <summary>
+/// 指定した都市の前に新しい都市を挿入
+/// </summary>
+public static Seq<string> Replan(Seq<string> plan, string newCity, string beforeCity)
+{
+    var index = plan.ToList().FindIndex(c => c == beforeCity);
+    if (index < 0) index = plan.Count;
+
+    var citiesBefore = plan.Take(index);
+    var citiesAfter = plan.Skip(index);
+    return citiesBefore.Add(newCity).Concat(citiesAfter);
+}
+
+var planA = Seq("Paris", "Berlin", "Kraków");
+var planB = Replan(planA, "Vienna", "Kraków");
+
+Debug.Assert(planB.SequenceEqual(Seq("Paris", "Berlin", "Vienna", "Kraków")));
+Debug.Assert(planA.SequenceEqual(Seq("Paris", "Berlin", "Kraków"))); // 元の計画は変わらない!
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "旅程の再計画" {
+  card "Plan A:\nParis → Berlin → Kraków" as planA
+  card "Replan(planA, \"Vienna\", \"Kraków\")" as op
+  card "Plan B:\nParis → Berlin → Vienna → Kraków" as planB
+
+  planA --> op
+  op --> planB
+}
+
+note right of planA
+  Plan A は変更されない
+  (イミュータブル)
+end note
+
+@enduml
+```
+
+### 3.5 String と Seq の類似性
+
+String と Seq は似た操作ができます。
+
+| 操作 | C# Seq | C# String |
+|------|--------|-----------|
+| 結合 | `Concat` または `Add` | `+` または `String.Concat` |
+| 切り出し | `Skip`, `Take` | `Substring` |
+| サイズ | `Count` | `Length` |
+
+```csharp
+// Seq の操作
+var abSeq = Seq("a", "b");
+var cdSeq = Seq("c", "d");
+var abcdSeq = abSeq.Concat(cdSeq);
+Debug.Assert(abcdSeq.SequenceEqual(Seq("a", "b", "c", "d")));
+
+// String の操作
+var abStr = "ab";
+var cdStr = "cd";
+var abcdStr = abStr + cdStr;
+Debug.Assert(abcdStr == "abcd");
+```
+
+### 3.6 名前の省略
+
+```csharp
+/// <summary>
+/// 名前を省略形に変換（例: "Alonzo Church" -> "A. Church"）
+/// </summary>
+public static string Abbreviate(string name)
+{
+    var initial = name.Substring(0, 1);
+    var separatorIndex = name.IndexOf(' ');
+    if (separatorIndex < 0)
+        return name;
+
+    var lastName = name.Substring(separatorIndex + 1);
+    return $"{initial}. {lastName}";
+}
+
+Debug.Assert(Abbreviate("Alonzo Church") == "A. Church");
+Debug.Assert(Abbreviate("A. Church") == "A. Church");
+```
+
+---
+
+## 第4章: 関数を値として扱う
+
+### 4.1 高階関数とは
+
+高階関数（Higher-Order Function）とは、以下のいずれかを満たす関数です:
+
+1. 関数を引数として受け取る
+2. 関数を戻り値として返す
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "高階関数" {
+  rectangle "関数を引数に取る" as arg {
+    card "OrderBy" as sortBy
+    card "Map" as map
+    card "Filter" as filter
+  }
+
+  rectangle "関数を返す" as ret {
+    card "LargerThan(n)" as larger
+    card "DivisibleBy(n)" as divisible
+  }
+}
+
+@enduml
+```
+
+### 4.2 関数を引数として渡す
+
+**ソースファイル**: `app/csharp/src/Ch04/HigherOrderFunctions.cs`
+
+#### OrderBy - ソート基準を関数で指定
+
+```csharp
+public static int WordScore(string word) =>
+    word.Replace("a", "").Length;
+
+var words = Seq("rust", "java");
+var sortedWords = toSeq(words.OrderBy(WordScore));
+
+Debug.Assert(sortedWords.SequenceEqual(Seq("java", "rust")));
+// java: 2文字 (j, v), rust: 4文字 (r, u, s, t)
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "OrderBy の動作" {
+  card "Seq(\"rust\", \"java\")" as input
+  card "WordScore(\"rust\") = 4\nWordScore(\"java\") = 2" as scores
+  card "Seq(\"java\", \"rust\")" as output
+
+  input --> scores : WordScore 関数を適用
+  scores --> output : スコア順にソート
+}
+
+@enduml
+```
+
+#### Map - 各要素を変換
+
+```csharp
+public static int Len(string s) => s.Length;
+
+var lengths = Seq("scala", "rust", "ada").Map(Len);
+Debug.Assert(lengths.SequenceEqual(Seq(5, 4, 3)));
+
+public static int Double(int i) => i * 2;
+var doubles = Seq(5, 1, 2, 4, 0).Map(Double);
+Debug.Assert(doubles.SequenceEqual(Seq(10, 2, 4, 8, 0)));
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Map の動作" {
+  card "Seq(\"scala\", \"rust\", \"ada\")" as input
+  card "Len 関数を各要素に適用" as op
+  card "Seq(5, 4, 3)" as output
+
+  input --> op
+  op --> output
+}
+
+@enduml
+```
+
+#### Filter - 条件に合う要素を抽出
+
+```csharp
+public static bool IsOdd(int i) => i % 2 == 1;
+
+var odds = Seq(5, 1, 2, 4, 0).Filter(IsOdd);
+Debug.Assert(odds.SequenceEqual(Seq(5, 1)));
+
+var large = Seq(5, 1, 2, 4, 0).Filter(i => i > 4);
+Debug.Assert(large.SequenceEqual(Seq(5)));
+```
+
+#### Fold - 畳み込み
+
+```csharp
+var sum = Seq(5, 1, 2, 4, 100).Fold(0, (acc, i) => acc + i);
+Debug.Assert(sum == 112);
+
+var maximum = Seq(5, 1, 2, 4, 15).Fold(int.MinValue, (maxVal, i) =>
+    i > maxVal ? i : maxVal);
+Debug.Assert(maximum == 15);
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Fold の動作" {
+  card "初期値: 0" as init
+  card "0 + 5 = 5" as s1
+  card "5 + 1 = 6" as s2
+  card "6 + 2 = 8" as s3
+  card "8 + 4 = 12" as s4
+  card "12 + 100 = 112" as s5
+
+  init --> s1
+  s1 --> s2
+  s2 --> s3
+  s3 --> s4
+  s4 --> s5
+}
+
+@enduml
+```
+
+### 4.3 レコード型とパターン
+
+**ソースファイル**: `app/csharp/src/Ch04/HigherOrderFunctions.cs`
+
+```csharp
+/// <summary>
+/// プログラミング言語を表すレコード型
+/// </summary>
+public record ProgrammingLanguage(string Name, int Year);
+
+var javaLang = new ProgrammingLanguage("Java", 1995);
+var scalaLang = new ProgrammingLanguage("Scala", 2004);
+
+var languages = Seq(javaLang, scalaLang);
+
+// フィールドにアクセス
+var names = languages.Map(lang => lang.Name);
+Debug.Assert(names.SequenceEqual(Seq("Java", "Scala")));
+
+// 条件でフィルタ
+var young = languages.Filter(lang => lang.Year > 2000);
+Debug.Assert(young.SequenceEqual(Seq(scalaLang)));
+```
+
+### 4.4 関数を返す関数
+
+```csharp
+/// <summary>
+/// n より大きいかを判定する関数を返す
+/// </summary>
+public static Func<int, bool> LargerThan(int n) =>
+    i => i > n;
+
+var large = Seq(5, 1, 2, 4, 0).Filter(LargerThan(4));
+Debug.Assert(large.SequenceEqual(Seq(5)));
+
+var medium = Seq(5, 1, 2, 4, 0).Filter(LargerThan(1));
+Debug.Assert(medium.SequenceEqual(Seq(5, 2, 4)));
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "関数を返す関数" {
+  card "LargerThan(4)" as call
+  card "i => i > 4" as fn
+  card "Filter に渡す" as filter
+
+  call --> fn : 関数を生成
+  fn --> filter : 生成された関数を使用
+}
+
+note bottom
+  LargerThan(4) は
+  「4より大きいか判定する関数」を返す
+end note
+
+@enduml
+```
+
+### 4.5 カリー化と部分適用
+
+LanguageExt の `curry` 関数を使ってカリー化できます。
+
+```csharp
+using static LanguageExt.Prelude;
+
+// カリー化された加算関数
+public static Func<int, Func<int, int>> AddCurried =>
+    curry<int, int, int>((a, b) => a + b);
+
+// 部分適用: 5を足す関数
+public static Func<int, int> AddFive => AddCurried(5);
+
+Debug.Assert(AddFive(3) == 8);
+Debug.Assert(AddFive(10) == 15);
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "部分適用" {
+  rectangle "元の関数" as normal {
+    card "(a, b) => a + b" as n1
+  }
+
+  rectangle "部分適用" as partial {
+    card "AddFive = AddCurried(5)" as p1
+    card "AddFive(y) = 5 + y" as p2
+  }
+
+  normal --> partial : 最初の引数を固定
+}
+
+note bottom of partial
+  AddFive(3) = AddCurried(5)(3) = 8
+end note
+
+@enduml
+```
+
+### 4.6 ワードスコアリングの例
+
+複数のスコアリングロジックを組み合わせる例です。
+
+```csharp
+public static int WordScore(string word) => word.Replace("a", "").Length;
+public static int Bonus(string word) => word.Contains('c') ? 5 : 0;
+public static int Penalty(string word) => word.Contains('s') ? 7 : 0;
+
+var words = Seq("ada", "haskell", "scala", "java", "rust");
+
+/// <summary>
+/// 指定したスコア関数でワードをランキング
+/// </summary>
+public static Seq<string> RankedWords(Seq<string> words, Func<string, int> scoreFn) =>
+    toSeq(words.OrderByDescending(scoreFn));
+
+// 基本スコアでランキング
+var ranking1 = RankedWords(words, WordScore);
+Debug.Assert(ranking1.Head == "haskell");
+
+// ボーナス付きスコアでランキング
+var ranking2 = RankedWords(words, w => WordScore(w) + Bonus(w));
+// scala: 3 + 5 = 8, haskell: 7 + 0 = 7
+Debug.Assert(ranking2.Head == "scala");
+
+// ボーナスとペナルティ付きスコアでランキング
+var ranking3 = RankedWords(words, w => WordScore(w) + Bonus(w) - Penalty(w));
+// java: 2, scala: 1, ada: 0, haskell: 0, rust: -3
+Debug.Assert(ranking3.Head == "java");
+```
+
+---
+
+## 第5章: Bind とネスト構造
+
+### 5.1 Flatten と Bind
+
+**ソースファイル**: `app/csharp/src/Ch05/FlatMapOperations.cs`
+
+#### Bind - ネストした Seq を平坦化
+
+```csharp
+public record Book(string Title, Seq<string> Authors);
+
+var books = Seq(
+    new Book("FP in Scala", Seq("Chiusano", "Bjarnason")),
+    new Book("The Hobbit", Seq("Tolkien"))
+);
+
+// Map だけだとネストする
+var authorSeqs = books.Map(b => b.Authors);
+// Seq<Seq<string>>: [ ["Chiusano", "Bjarnason"], ["Tolkien"] ]
+
+// Bind で平坦化しながら変換
+var authors = books.Bind(b => b.Authors);
+// Seq<string>: ["Chiusano", "Bjarnason", "Tolkien"]
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Bind の動作" {
+  card "Seq(Seq(\"A\", \"B\"), Seq(\"C\"))" as nested
+  card "Bind(x => x)" as op
+  card "Seq(\"A\", \"B\", \"C\")" as flat
+
+  nested --> op
+  op --> flat
+}
+
+@enduml
+```
+
+#### Bind = Map + Flatten
+
+C# の LanguageExt における `Bind` は Scala の `flatMap` に相当します。
+
+```csharp
+// Map して Flatten
+var authors1 = books.Map(b => b.Authors).Bind(x => x);
+
+// Bind で同じことを1行で
+var authors2 = books.Bind(b => b.Authors);
+
+Debug.Assert(authors1.SequenceEqual(authors2));
+// ["Chiusano", "Bjarnason", "Tolkien"]
+```
+
+### 5.2 Bind によるリストサイズの変化
+
+```csharp
+// 要素数が増える
+var duplicate = Seq(1, 2, 3).Bind(i => Seq(i, i + 10));
+// [1, 11, 2, 12, 3, 13] - 6要素
+
+// 要素数が同じ
+var doubled = Seq(1, 2, 3).Bind(i => Seq(i * 2));
+// [2, 4, 6] - 3要素
+
+// 要素数が減る（フィルタリング効果）
+var evens = Seq(1, 2, 3).Bind(i =>
+    i % 2 == 0 ? Seq(i) : Empty);
+// [2] - 1要素
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Bind とサイズの変化" {
+  rectangle "増加" as inc {
+    card "Seq(1, 2, 3)" as i1
+    card "i => Seq(i, i+10)" as f1
+    card "Seq(1, 11, 2, 12, 3, 13)" as r1
+    i1 --> f1
+    f1 --> r1
+  }
+
+  rectangle "減少（フィルタ）" as dec {
+    card "Seq(1, 2, 3)" as i2
+    card "i => even ? Seq(i) : Empty" as f2
+    card "Seq(2)" as r2
+    i2 --> f2
+    f2 --> r2
+  }
+}
+
+@enduml
+```
+
+### 5.3 ネストした Bind
+
+複数の Seq を組み合わせる場合、Bind をネストします。
+
+```csharp
+public record Movie(string Title);
+
+public static Seq<Movie> BookAdaptations(string author) =>
+    author == "Tolkien"
+        ? Seq(new Movie("An Unexpected Journey"), new Movie("The Desolation of Smaug"))
+        : Empty;
+
+var books = Seq(
+    new Book("FP in Scala", Seq("Chiusano", "Bjarnason")),
+    new Book("The Hobbit", Seq("Tolkien"))
+);
+
+// ネストした Bind
+var recommendations = books.Bind(book =>
+    book.Authors.Bind(author =>
+        BookAdaptations(author).Map(movie =>
+            $"You may like {movie.Title}, because you liked {author}'s {book.Title}")));
+
+// 結果:
+// [ "You may like An Unexpected Journey, because you liked Tolkien's The Hobbit"
+//   "You may like The Desolation of Smaug, because you liked Tolkien's The Hobbit" ]
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "ネストした Bind のフロー" {
+  card "books" as books
+  card "book.Authors" as authors
+  card "BookAdaptations(author)" as movies
+  card "recommendation string" as result
+
+  books --> authors : Bind
+  authors --> movies : Bind
+  movies --> result : Map
+}
+
+note bottom
+  最後だけ Map
+  途中は Bind
+end note
+
+@enduml
+```
+
+### 5.4 LINQ クエリ式
+
+C# の LINQ クエリ式は、ネストした Bind を読みやすく書けます。
+
+```csharp
+// Bind/Map 版
+var c1 = books.Bind(book =>
+    book.Authors.Bind(author =>
+        BookAdaptations(author).Map(movie =>
+            $"You may like {movie.Title}, because you liked {author}'s {book.Title}")));
+
+// LINQ クエリ式版（等価）
+var c2 = (from book in books
+          from author in book.Authors
+          from movie in BookAdaptations(author)
+          select $"You may like {movie.Title}, because you liked {author}'s {book.Title}").ToSeq();
+
+Debug.Assert(c1.SequenceEqual(c2));
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "LINQ クエリ式の構造" {
+  card "from x in xs\nfrom y in ys\nfrom z in zs\nselect f(x, y, z)" as forComp
+
+  card "xs.Bind(x =>\n  ys.Bind(y =>\n    zs.Map(z =>\n      f(x, y, z))))" as binds
+
+  forComp <--> binds : 等価
+}
+
+note bottom
+  LINQ クエリ式は
+  Bind/Map の糖衣構文
+end note
+
+@enduml
+```
+
+### 5.5 円内の点の判定
+
+LINQ クエリ式でフィルタリングも行う例です。
+
+```csharp
+public record Point(int X, int Y);
+
+var points = Seq(new Point(5, 2), new Point(1, 1));
+var radiuses = Seq(2, 1);
+
+public static bool IsInside(Point point, int radius) =>
+    radius * radius >= point.X * point.X + point.Y * point.Y;
+
+// 全組み合わせを生成
+var allCombinations = (from r in radiuses
+                       from point in points
+                       select $"Point({point.X},{point.Y}) is within a radius of {r}: {IsInside(point, r)}").ToSeq();
+
+// 結果:
+// [ "Point(5,2) is within a radius of 2: false"
+//   "Point(1,1) is within a radius of 2: true"
+//   "Point(5,2) is within a radius of 1: false"
+//   "Point(1,1) is within a radius of 1: false" ]
+```
+
+#### where によるフィルタリング
+
+```csharp
+// where を使ったフィルタリング
+var insidePoints = (from r in radiuses
+                    from point in points
+                    where IsInside(point, r)
+                    select $"Point({point.X},{point.Y}) is within a radius of {r}").ToSeq();
+
+// 結果: [ "Point(1,1) is within a radius of 2" ]
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "フィルタリングの3つの方法" {
+  rectangle "1. Filter を使う" as m1 {
+    card "points.Filter(p => IsInside(p, r))"
+  }
+
+  rectangle "2. LINQ クエリ式で where を使う" as m2 {
+    card "from ... where IsInside(...) select ..."
+  }
+
+  rectangle "3. Bind を使う" as m3 {
+    card "cond ? Seq(x) : Empty"
+  }
+}
+
+@enduml
+```
+
+### 5.6 LINQ の柔軟性
+
+C# の LINQ クエリ式は、`Seq`、`IEnumerable`、その他の LINQ 対応型で使えます。
+
+```csharp
+// Seq を使った LINQ
+var seqResult = (from a in Seq(1, 2)
+                 from b in Seq(2, 1)
+                 select a * b).ToSeq();
+// [2, 1, 4, 2] - 重複あり、順序あり
+
+// HashSet への変換
+var hashSetResult = new System.Collections.Generic.HashSet<int>(seqResult);
+// {1, 2, 4} - 重複なし
+```
+
+---
+
+## まとめ
+
+### Part II で学んだこと
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Part II: 関数型スタイルのプログラミング" {
+  rectangle "第3章" as ch3 {
+    card "イミュータブルデータ"
+    card "Skip / Take"
+    card "データ変換パターン"
+  }
+
+  rectangle "第4章" as ch4 {
+    card "高階関数"
+    card "Map / Filter / Fold"
+    card "関数を返す関数"
+    card "カリー化と部分適用"
+  }
+
+  rectangle "第5章" as ch5 {
+    card "Flatten / Bind"
+    card "ネストした変換"
+    card "LINQ クエリ式"
+    card "where によるフィルタリング"
+  }
+}
+
+ch3 --> ch4
+ch4 --> ch5
+
+@enduml
+```
+
+### キーポイント
+
+| 章 | 主要概念 | キー操作 |
+|----|----------|----------|
+| 第3章 | イミュータブル | `Concat`, `Add`, `Skip`, `Take` |
+| 第4章 | 高階関数 | `Map`, `Filter`, `Fold`, `OrderBy` |
+| 第5章 | 平坦化 | `Bind`, LINQ クエリ式 |
+
+### C#/LanguageExt と Scala/F# の対応
+
+| 操作 | C# (LanguageExt) | Scala | F# |
+|------|------------------|-------|-----|
+| 平坦化 | `Bind(x => x)` | `flatten` | `List.concat` |
+| flatMap | `Bind` | `flatMap` | `List.collect` |
+| 内包表記 | LINQ `from ... select` | `for { x <- xs } yield ...` | `[ for x in xs do ... ]` |
+| 畳み込み | `Fold` | `foldLeft` | `List.fold` |
+| フィルタ | `Filter` | `filter` | `List.filter` |
+
+### 重要な法則
+
+1. **イミュータブルデータ**: 元のデータは変更せず、新しいデータを作成する
+2. **関数は値**: 関数を引数として渡したり、戻り値として返したりできる
+3. **Bind パターン**: ネストした構造を平坦化しながら変換する
+4. **LINQ クエリ式**: Bind/Map の糖衣構文として使える
+5. **メソッドチェーン**: `.` で関数を連鎖させて読みやすくする
+
+### 次のステップ
+
+Part III では、以下のトピックを学びます:
+
+- `Option<T>` 型による安全なエラーハンドリング
+- `Either<L, R>` / `Result` 型と複合的なエラー処理
+
+---
+
+## 演習問題
+
+### 問題 1: イミュータブルな操作
+
+以下の関数を実装してください。Seq の中央に要素を挿入する関数です。
+
+```csharp
+public static Seq<T> InsertAtMiddle<T>(Seq<T> seq, T element) => ???
+
+// 期待される動作
+Debug.Assert(InsertAtMiddle(Seq("a", "b", "c", "d"), "X").SequenceEqual(Seq("a", "b", "X", "c", "d")));
+Debug.Assert(InsertAtMiddle(Seq("a", "b"), "X").SequenceEqual(Seq("a", "X", "b")));
+```
+
+<details>
+<summary>解答</summary>
+
+```csharp
+public static Seq<T> InsertAtMiddle<T>(Seq<T> seq, T element)
+{
+    var middle = seq.Count / 2;
+    var before = seq.Take(middle);
+    var after = seq.Skip(middle);
+    return before.Add(element).Concat(after);
+}
+```
+
+</details>
+
+### 問題 2: 高階関数
+
+以下の関数を実装してください。条件を満たす要素の数をカウントする関数です。
+
+```csharp
+public static int CountWhere<T>(Seq<T> seq, Func<T, bool> predicate) => ???
+
+// 期待される動作
+Debug.Assert(CountWhere(Seq(1, 2, 3, 4, 5), i => i > 3) == 2);
+Debug.Assert(CountWhere(Seq("a", "bb", "ccc"), s => s.Length > 1) == 2);
+```
+
+<details>
+<summary>解答</summary>
+
+```csharp
+public static int CountWhere<T>(Seq<T> seq, Func<T, bool> predicate) =>
+    seq.Filter(predicate).Count;
+
+// または Fold を使って
+public static int CountWhere2<T>(Seq<T> seq, Func<T, bool> predicate) =>
+    seq.Fold(0, (count, elem) => predicate(elem) ? count + 1 : count);
+```
+
+</details>
+
+### 問題 3: LINQ クエリ式
+
+以下のネストした Bind を LINQ クエリ式で書き換えてください。
+
+```csharp
+var result = Seq(1, 2).Bind(x =>
+    Seq(10, 20).Bind(y =>
+        Seq(100, 200).Map(z =>
+            x + y + z)));
+```
+
+<details>
+<summary>解答</summary>
+
+```csharp
+var result = (from x in Seq(1, 2)
+              from y in Seq(10, 20)
+              from z in Seq(100, 200)
+              select x + y + z).ToSeq();
+
+// 結果: [111, 211, 121, 221, 112, 212, 122, 222]
+```
+
+</details>
+
+### 問題 4: Bind によるフィルタリング
+
+LINQ クエリ式の `where` を使わずに、Bind だけで偶数のみを抽出するコードを書いてください。
+
+```csharp
+var numbers = Seq(1, 2, 3, 4, 5, 6);
+// 偶数のみを抽出: Seq(2, 4, 6)
+```
+
+<details>
+<summary>解答</summary>
+
+```csharp
+var evenNumbers = numbers.Bind(n =>
+    n % 2 == 0 ? Seq(n) : Empty);
+
+// または関数に分離
+Seq<int> EvenFilter(int n) =>
+    n % 2 == 0 ? Seq(n) : Empty;
+
+var evenNumbers2 = numbers.Bind(EvenFilter);
+```
+
+</details>
+
+### 問題 5: メソッドチェーンで書き換え
+
+以下のコードをメソッドチェーンを使って書き換えてください。
+
+```csharp
+var result = CountWhere(
+    Filter(
+        Map(Seq(1, -2, 3, -4, 5), x => x * 2),
+        x => x > 0),
+    x => true);
+```
+
+<details>
+<summary>解答</summary>
+
+```csharp
+var result = Seq(1, -2, 3, -4, 5)
+    .Map(x => x * 2)
+    .Filter(x => x > 0)
+    .Count;
+
+// 結果: 3 (2, 6, 10 の3つ)
+```
+
+メソッドチェーンを使うと、データの変換過程が上から下に読めるようになります。
+
+</details>