[infra] 編集

Author: triple-underscore

infra-ja.html

@@ -4510,7 +4510,7 @@ <h3 title="Strings">4.6. 文字列</h3>
 <ol>
 	<li>
 `~Assert$：
-0 ~LTE %始端 ~LTE %始端 ~PLUS %長さ ~LTE %文字列 の`符号位置~長さ$
+0 ~LTE %始端 ~LTE ( %始端 ~PLUS %長さ ) ~LTE %文字列 の`符号位置~長さ$
 ◎
 Assert: start and length are nonnegative.
 ◎
@@ -4553,11 +4553,11 @@ <h3 title="Strings">4.6. 文字列</h3>
 
 <div class="algo">
 <p>
-`文字列$ %文字列 の~index %始端 から
+`文字列$ %文字列 の中の %始端 から
 `終端までを成す符号位置~部分文字列@
 は
 ⇒
-~RET %文字列 の %始端から ( %文字列 の`符号位置~長さ$ ) までを`成す符号位置~部分文字列$
+~RET %文字列 の %始端 から ( %文字列 の`符号位置~長さ$ ) までを`成す符号位置~部分文字列$
 ◎
 The code point substring from start to the end of a string string is the code point substring from start to string’s code point length within string.
 </p>