From f4e6ac5ceacde9f912eb6829afea855e73f4771a Mon Sep 17 00:00:00 2001
From: suin <suinyeze@gmail.com>
Date: Fri, 22 May 2026 19:51:41 +0900
Subject: [PATCH] =?UTF-8?q?=E3=83=97=E3=83=AD=E3=83=91=E3=83=86=E3=82=A3?=
 =?UTF-8?q?=E3=81=AE=E5=9E=8B=E3=82=92=E7=94=9F=E6=88=90=E3=81=99=E3=82=8B?=
 =?UTF-8?q?=E3=83=9A=E3=83=BC=E3=82=B8=E3=81=AE=E8=AA=AC=E6=98=8E=E3=82=92?=
 =?UTF-8?q?=E4=BF=AE=E6=AD=A3=E3=81=97=E3=81=BE=E3=81=97=E3=81=9F=E3=80=82?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

## 対象者

- [x] 📖 読者

## Problem

「オブジェクトからプロパティの型を生成する」ページで、インデックスアクセス型を使っている箇所を Mapped Types として説明していました。そのため、読者が TypeScript の機能名と構文の対応を誤って理解する可能性がありました。

## Solution

該当ページの説明を Mapped Types からインデックスアクセス型に修正しました。

- 見出しを「インデックスアクセス型」に変更しました
- 既存のインデックスアクセス型ページへのリンクを追加しました
- まとめの説明をインデックスアクセス型の構文に合わせました

## Value

読者が `typeof conf` と `[Language]` を組み合わせた型を、インデックスアクセス型として正しく理解できるようになります。

---

Close #1124
---
 .prettierignore                                  |  1 +
 docs/tips/generates-type-from-object-property.md | 12 ++++++------
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/.prettierignore b/.prettierignore
index 702e3571..4c7275e1 100644
--- a/.prettierignore
+++ b/.prettierignore
@@ -15,4 +15,5 @@ pnpm-lock.yaml
 
 /regression-test/issues
 /regression-test/workspace
+/refs
 /.devbox
diff --git a/docs/tips/generates-type-from-object-property.md b/docs/tips/generates-type-from-object-property.md
index 3df963a5..87763b72 100644
--- a/docs/tips/generates-type-from-object-property.md
+++ b/docs/tips/generates-type-from-object-property.md
@@ -29,13 +29,13 @@ type ConfirmationMessage =
 
 ## 今回の問題を解くにあたって
 
-今回は今まで紹介してきたオブジェクトから型を作り出す方法と Mapped Types の合わせ技で再現することができます。
+今回は今まで紹介してきたオブジェクトから型を作り出す方法とインデックスアクセス型の合わせ技で再現することができます。
 
 [オブジェクトから型を生成する](generates-type-from-object.md)
 
 [オブジェクトからキーの型を生成する](generates-type-from-object-key.md)
 
-アプローチの方法としてはまずオブジェクトからキーの型を生成し Mapped Types を使いオブジェクトのプロパティの型を参照、それらをリテラル型で取得します。
+アプローチの方法としてはまずオブジェクトからキーの型を生成し、インデックスアクセス型を使いオブジェクトのプロパティの型を参照、それらをリテラル型で取得します。
 
 ### キーの型を生成する
 
@@ -56,9 +56,9 @@ type Language = keyof typeof conf;
 //   ^?
 ```
 
-### Mapped Types
+### インデックスアクセス型
 
-オブジェクトのプロパティの型を参照するために Mapped Types を使います。そのとき元のオブジェクトから型を生成するために`typeof`を使います。
+オブジェクトのプロパティの型を参照するために[インデックスアクセス型](../reference/type-reuse/indexed-access-types.md)を使います。そのとき元のオブジェクトから型を生成するために`typeof`を使います。
 
 ```ts twoslash
 const conf = {
@@ -74,7 +74,7 @@ type ConfirmationMessage = (typeof conf)[Language];
 //   ^?
 ```
 
-### リテラル型を取得するできるようにする
+### リテラル型を取得できるようにする
 
 このままだとオブジェクトから型を生成すると同じように型はリテラル型ではありません。つまりただの`string`型のユニオン型つまり`string`型です。そこで、元のオブジェクト`conf`に`as const`をつけます。
 
@@ -90,7 +90,7 @@ const conf = {
 
 ## まとめ
 
-お好みで定義したキーの型`Language`を Mapped Types のキーの部分に代入します。最終的な形は次のようになります。
+お好みで定義したキーの型`Language`をインデックスアクセス型のブラケット内に指定します。最終的な形は次のようになります。
 
 ```ts twoslash
 const conf = {