--- a/5.tex	Sat Mar 28 13:45:45 2009 +0900
+++ b/5.tex	Sat Mar 28 16:24:11 2009 +0900
@@ -2,12 +2,12 @@
 
 Federated Linda 上でデバッグする一つの方法は、デバッガ
 からタプルスペースへ問い合わせの通信を行なうことである(図\ref{集中型デバッガ})。
-\begin{figure}[htb]
-\begin{center}
-\includegraphics[width=6cm]{fig/comDebug.eps}
-\caption{集中型デバッガ}
-\end{center}
-\label{集中型デバッガ}
+\begin{figure}[tb]
+  \begin{center}
+    \includegraphics[width=7cm]{fig/comDebug.eps}
+    \caption{集中型デバッガ}
+    \label{集中型デバッガ}
+  \end{center}
 \end{figure}
 
 
@@ -24,12 +24,12 @@
 Linda にそろえることにより、Linda Serverへの
 ad-hoc な改変を、決まったAPI上のデバッグプロトコル
 の設計にすることができる(図\ref{Debugger})。
-\begin{figure}[htb]
-\begin{center}
-\includegraphics[width=6cm]{fig/debugger.eps}
-\caption{Debugger}
-\end{center}
-\label{Debugger}
+\begin{figure}[tb]
+  \begin{center}
+    \includegraphics[width=7cm]{fig/debugger.eps}
+    \caption{Debugger}
+    \label{Debugger}
+  \end{center}
 \end{figure}
 
 
@@ -42,12 +42,12 @@
 つまり、最初に情報収集などに適したプロトコルをFederated
 Linda で作成し、それをそのままデバッガのプロトコルに
 採用できることが望ましい。
-\begin{figure}[htb]
-\begin{center}
-\includegraphics[width=6cm]{fig/obj2meta.eps}
-\caption{メタへの移行}
-\end{center}
-\label{メタへの移行}
+\begin{figure}[tb]
+  \begin{center}
+    \includegraphics[width=7cm]{fig/obj2meta.eps}
+    \caption{メタへの移行}
+    \label{メタへの移行}
+  \end{center}
 \end{figure}