Update Unsized Types to 1.9

Author: tatsuya6502

1.9/ja/book/unsized-types.md

@@ -18,21 +18,23 @@
 Rustはいくつかのそのような型を扱うことができますが、それらには以下の様な3つの制約が存在します:
 
 <!-- 1. We can only manipulate an instance of an unsized type via a pointer. An ->
-<!--    `&[T]` works just fine, but a `[T]` does not. -->
+<!--    `&[T]` works fine, but a `[T]` does not. -->
 <!-- 2. Variables and arguments cannot have dynamically sized types. -->
 <!-- 3. Only the last field in a `struct` may have a dynamically sized type; the -->
 <!--    other fields must not. Enum variants must not have dynamically sized types as -->
 <!--    data. -->
-1. サイズ不定型はポインタを通してのみ操作することができます、たとえば、 `&[T]` は大丈夫ですが、 `[T]` はそうではありません。
+1. サイズ不定型はポインタを通してのみ操作することができます。
+   たとえば、 `&[T]` は大丈夫ですが、 `[T]` はそうではありません。
 2. 変数や引数は動的なサイズを持つことはできません。
-3. `struct` の最後のフィールドのみ、動的なサイズを持つことが許されます、その他のフィールドはサイズが不定であってはなりません。
+3. `struct` の最後のフィールドのみ、動的なサイズを持つことが許されます。
+   その他のフィールドはサイズが不定であってはなりません。
    また、Enumのバリアントはデータとして動的なサイズの型を持つ事はできません。
 
 <!-- So why bother? Well, because `[T]` can only be used behind a pointer, if we -->
 <!-- didn’t have language support for unsized types, it would be impossible to write -->
 <!-- this: -->
-なぜこんなにややこしいのでしょうか？ これは、`[T]` はポインタを通してのみ操作可能であるため、
-もし言語がサイズ不定型をサポートしていなかった場合、以下のようなコードを書くことは不可能となります:
+なぜこんなにややこしいのでしょうか？
+これは、`[T]` はポインタを通してのみ操作可能であるため、もし言語がサイズ不定型をサポートしていなかった場合、以下のようなコードを書くことは不可能となります:
 
 ```rust,ignore
 impl Foo for str {
@@ -57,7 +59,7 @@ impl Foo for &str {
 <!-- some point, there are some bugs to fix first) user-defined custom smart -->
 <!-- pointers, can use this `impl`. -->
 このように書いたとすると、このコードは [参照][ref] に対してのみ動作する用になり、他のポインタ型に対しては動作しないことになります。
-`imp for str` のように書くことで、すべてのポインタ、ユーザーの定義した独自のスマートポインタ(いくつかの点についてバグがあるので、それを先ずは直さなくてはなりませんが)もこの `impl` を利用可能になります。
+`imp for str` のように書くことで、すべてのポインタ、ユーザーの定義した独自のスマートポインタ(いくつかの点についてバグがあるので、それをまずは直さなくてはなりませんが)もこの `impl` を利用可能になります。
 
 [ref]: references-and-borrowing.html
 
@@ -76,5 +78,6 @@ struct Foo<T: ?Sized> {
 <!-- This `?`, read as “T may be `Sized`”,  means that this bound is special: it -->
 <!-- lets us match more kinds, not less. It’s almost like every `T` implicitly has -->
 <!-- `T: Sized`, and the `?` undoes this default. -->
-`?` は 「Tは `Sized` かもしれない」と読みます、これは `?` が特別な境界: より小さいカインドとマッチするのではなく、より大きいカインドとマッチする ということを意味しています。
+`?` は 「Tは `Sized` かもしれない」と読みます。
+これは `?` が特別な境界: より小さいカインドとマッチするのではなく、より大きいカインドとマッチする ということを意味しています。
 これは、すべての `T` は暗黙的に `T : Sized` という制限がかけられていて、 `?` はその制限を解除するというようなものです。