訳注の修正

Author: mandel59

1.6/ja/book/unsafe.md

@@ -87,9 +87,8 @@ desirable in your code, but are expressly _not_ unsafe:
 Rustの文脈で、安全とは「どのようなアンセーフなこともしない」ことを意味します。
 
 > 訳注:
-この文脈における安全とは、メモリ安全性があることです。
-メモリ安全性のある処理は、決して未定義動作を起こしません。
-そして、メモリ安全性が保証されていないことを「アンセーフ」と呼びます。
+正確には、安全とは「決して未定義動作を起こさない」ということです。
+そして、安全性が保証されていないことを「アンセーフ」と呼びます。
 つまり、未定義動作が起きるおそれがあるなら、それはアンセーフです。
 
 知っておくべき重要なことに、たいていのコードにおいて望ましくないが、アンセーフ _ではない_ とされている動作がいくらか存在するということがあります。
@@ -125,10 +124,10 @@ avoided, even when writing `unsafe` code:
 
 > 訳注:
 関数に付いている`unsafe`は「その関数の処理はアンセーフである」ということを表します。
-その一方で、ブロックに付いている`unsafe`は「ブロック中の個々の操作はアンセーフだが、全体としてはメモリ安全性のある処理である」ということを表します。
+その一方で、ブロックに付いている`unsafe`は「ブロック中の個々の操作はアンセーフだが、全体としては安全な処理である」ということを表します。
 避ける必要があるのは、未定義動作が起こりうる処理をアンセーフブロックの中に書くことです。
-なぜなら、アンセーフブロックにメモリ安全性があると言うためには、その内部で未定義動作が決して起こらないことを保証する必要があるからです。
-アンセーフ関数にはメモリ安全性がなくてもよいので、未定義動作が起こりうるアンセーフ関数を定義することに問題はありません。
+それは、アンセーフブロックの処理が安全であるために、その内部で未定義動作が決して起こらないことが必要だからです。
+アンセーフ関数には安全性の保証が要らないので、未定義動作が起こりうるアンセーフ関数を定義することに問題はありません。
 
 <!--
 * Data races