diff --git a/docs/types/type-inference.md b/docs/types/type-inference.md
index 4689ac36..a8669786 100644
--- a/docs/types/type-inference.md
+++ b/docs/types/type-inference.md
@@ -126,7 +126,7 @@ iTakeAnAdder(({a, b}) => { // Types of `a` and `b` are inferred
 
 ## Type Guard (Type Guards)
 
-[Type Guard](./typeGuard.md)が(特にユニオン型の場合に)どのように型を変更したり絞り込んだりするのを見てきました。TypeGuardは、ブロック内の変数の型推論の別の形式です。
+[Type Guard](./typeGuard.md)が(特にユニオン型の場合に)どのように型を変更したり絞り込んだりするのかを見てきました。TypeGuardは、ブロック内の変数の型推論の別の形式です。
 
 ## 警告(Warnings)
 
diff --git a/type-system/type-inference.md b/type-system/type-inference.md
index 9870106d..4c3b44fb 100644
--- a/type-system/type-inference.md
+++ b/type-system/type-inference.md
@@ -126,7 +126,7 @@ iTakeAnAdder(({a, b}) => { // Types of `a` and `b` are inferred
 
 ## Type Guard \(Type Guards\)
 
-[Type Guard](typeguard.md)が\(特にユニオン型の場合に\)どのように型を変更したり絞り込んだりするのを見てきました。TypeGuardは、ブロック内の変数の型推論の別の形式です。
+[Type Guard](typeguard.md)が\(特にユニオン型の場合に\)どのように型を変更したり絞り込んだりするのかを見てきました。TypeGuardは、ブロック内の変数の型推論の別の形式です。
 
 ## 警告\(Warnings\)