Fix some typos

manual.tex

@@ -2568,8 +2568,8 @@ \section{
 	この用意の下で，以下のコマンドを実行すれば，実行形式プログラムが
 作成されます．
 \begin{program}
-\$ smlsharp hello.sml -o hello\\
-\$ ./hello\\
+\$ smlsharp hello2.sml -o hello2\\
+\$ ./hello2\\
 hello world!
 \end{program}
 \else%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -2648,8 +2648,8 @@ \section{
 
 	With this preparation, {\tt hello2.sml} is compiled as follows.
 \begin{program}
-\$ smlsharp hello.sml -o hello\\
-\$ ./hello\\
+\$ smlsharp hello2.sml -o hello2\\
+\$ ./hello2\\
 hello world!
 \end{program}
 \fi%%%%<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
@@ -3857,7 +3857,7 @@ \section{\txt{高階の関数}{Higher-order functions}}
 	以上の例から理解される通り，MLは以下の機能を持っています．
 \begin{quote}
 	関数は，整数型などのデータと同様，プ
-ログラムが返すことができる値でああり，自由に受け渡し，使うことができる．
+ログラムが返すことができる値であり，自由に受け渡し，使うことができる．
 	特に関数は，別の関数を引数として受け取ることができる．
 \end{quote}
 	これが，「プログラムを式で定義していく」という大原則の下での，MLプ
@@ -3894,7 +3894,7 @@ \section{\txt{高階の関数}{Higher-order functions}}
 from a function or passed to a function.
 	In particular, a function can take a function as a parameter. 
 % 	関数は，整数型などのデータと同様，プ
-% ログラムが返すことができる値でああり，自由に受け渡し，使うことができる．
+% ログラムが返すことができる値であり，自由に受け渡し，使うことができる．
 % 	特に関数は，別の関数を引数として受け取ることができる．
 \end{quote}
 	This is the important principle of ML under the fundamental