Brush up translation for Associated Types (1.9)

Author: tatsuya6502

1.9/ja/book/associated-types.md

@@ -7,8 +7,8 @@
 <!-- to write a `Graph` trait, you have two types to be generic over: the node type -->
 <!-- and the edge type. So you might write a trait, `Graph<N, E>`, that looks like -->
 <!-- this: -->
-関連型は、Rust型システムの強力な部分です。関連型は、「型族」という概念と関連が有り、
-言い換えると、複数の型をグループ化するものです。
+関連型は、Rust型システムの強力な部分です。
+関連型は、「型族」という概念と関連があり、言い換えると、複数の型をグループ化するものです。
 この説明はすこし抽象的なので、実際の例を見ていきましょう。
 例えば、 `Graph` トレイトを定義したいとしましょう、このときジェネリックになる２つの型: 頂点の型、辺の型 が存在します。
 そのため、以下のように `Graph<N, E>` と書きたくなるでしょう:
@@ -33,12 +33,12 @@ fn distance<N, E, G: Graph<N, E>>(graph: &G, start: &N, end: &N) -> u32 { ... }
 
 <!-- Our distance calculation works regardless of our `Edge` type, so the `E` stuff in -->
 <!-- this signature is a distraction. -->
-この距離を計算する関数distanceは、辺の型に関わらず動作します、そのためシグネチャに含まれる `E` に関連する部分は邪魔となります。
+この距離を計算する関数distanceは、辺の型に関わらず動作します、そのためシグネチャに含まれる `E` に関連する部分は邪魔になります。
 
 <!-- What we really want to say is that a certain `E`dge and `N`ode type come together -->
 <!-- to form each kind of `Graph`. We can do that with associated types: -->
 本当に表現したいことは、それぞれのグラフ( `Graph` )は辺( `E` )や頂点( `N` )で構成されているということです。
-それは、以下のように関連型を用いて表現することができます:
+それは、以下のように関連型を用いて表現できます:
 
 ```rust
 trait Graph {
@@ -59,7 +59,7 @@ fn distance<G: Graph>(graph: &G, start: &G::N, end: &G::N) -> u32 { ... }
 ```
 
 <!-- No need to deal with the `E`dge type here! -->
-もう `E` について扱う必要はありません!
+もう `E` について扱う必要はありません！
 
 <!-- Let’s go over all this in more detail. -->
 もっと詳しく見ていきましょう。
@@ -163,7 +163,7 @@ impl Graph for MyGraph {
 
 <!-- There’s one more bit of syntax we should talk about: trait objects. If you -->
 <!-- try to create a trait object from a trait with an associated type, like this: -->
-すこし触れておきたい構文: トレイトオブジェクト があります。
+すこし触れておきたい構文のひとつに、トレイトオブジェクトがあります。
 もし、トレイトオブジェクトを以下のように関連型を持つトレイトから作成しようとした場合:
 
 ```rust,ignore