update

Author: ken-okabe

_site/0-book/unit-4/section-0/0-about-unit.md

@@ -20,7 +20,7 @@ Furthermore, this unit offers a unique and critical perspective on the **Applica
 
 このユニットでは、この目的のために特別に設計された構造である**アプリカティブファンクター**を深く掘り下げます。その中核となる操作`map2`が、いかにして任意の二項関数をコンテナ型で動作するように持ち上げ、独立した並列処理を可能にするかを探求します。
 
-この並列的な組み合わせには、2つの基本的なパターンがあります。一つは、考えられるすべてのペアを生成する**デカルト積**。もう一つは、現代のGPUコンピューティングやデータ処理の主力である**ポイントワイズ（ZIP）**操作です。これら2つのパターンを徹底的に解剖します。
+この並列的な組み合わせには、2つの基本的なパターンがあります。一つは、考えられるすべてのペアを生成する **デカルト積**。もう一つは、現代のGPUコンピューティングやデータ処理の主力である **ポイントワイズ（ZIP）** 操作です。これら2つのパターンを徹底的に解剖します。
 
 さらに、このユニットは**アプリカティブ法則**に対する独自の批判的な視点を提供します。単に記憶すべき抽象的なルールとして扱うのではなく、その実践的な起源を解き明かし、それらが「計算の独立性」という概念そのものを直感的に形式化したものであることを明らかにします。この洞察は、学習プロセスを単純化し、なぜアプリカティブファンクターがスケーラブルで高性能な関数型プログラミングの基礎となっているのかについて、より深く、より実践的な理解をもたらします。
 

src/content/docs/ja/book/unit-4/section-0/0-about-unit.md

@@ -8,6 +8,6 @@ description: >-
 
 このユニットでは、この目的のために特別に設計された構造である**アプリカティブファンクター**を深く掘り下げます。その中核となる操作`map2`が、いかにして任意の二項関数をコンテナ型で動作するように持ち上げ、独立した並列処理を可能にするかを探求します。
 
-この並列的な組み合わせには、2つの基本的なパターンがあります。一つは、考えられるすべてのペアを生成する**デカルト積**。もう一つは、現代のGPUコンピューティングやデータ処理の主力である**ポイントワイズ（ZIP）**操作です。これら2つのパターンを徹底的に解剖します。
+この並列的な組み合わせには、2つの基本的なパターンがあります。一つは、考えられるすべてのペアを生成する **デカルト積**。もう一つは、現代のGPUコンピューティングやデータ処理の主力である **ポイントワイズ（ZIP）** 操作です。これら2つのパターンを徹底的に解剖します。
 
 さらに、このユニットは**アプリカティブ法則**に対する独自の批判的な視点を提供します。単に記憶すべき抽象的なルールとして扱うのではなく、その実践的な起源を解き明かし、それらが「計算の独立性」という概念そのものを直感的に形式化したものであることを明らかにします。この洞察は、学習プロセスを単純化し、なぜアプリカティブファンクターがスケーラブルで高性能な関数型プログラミングの基礎となっているのかについて、より深く、より実践的な理解をもたらします。