changeset 17:c2b65d33c132

add peek
author kazz <kazz@cr.ie.u-ryukyu.ac.jp>
date Tue, 07 Feb 2012 14:36:25 +0900
parents 5682c4b7bd8d
children ae6be808bb3d
files paper/chapter3.tex
diffstat 1 files changed, 8 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/paper/chapter3.tex	Tue Feb 07 14:29:02 2012 +0900
+++ b/paper/chapter3.tex	Tue Feb 07 14:36:25 2012 +0900
@@ -99,7 +99,7 @@
 \end{figure}
 
 \subsection{Data Segment API}
-Data Segment Manager をユーザーが操作できる API、それが Data Segment API である。
+Data Segment Manager をユーザーが操作できるインタフェース、それが Data Segment API である。
 まずは以下のとおり Data Segment API を詳細に定義した。
 
 \begin{itemize}
@@ -141,6 +141,13 @@
 
 \subsubsection{"take"}
 
+\begin{figure}[htbp]
+  \begin{center}
+    \includegraphics[width=90mm]{./images/take.pdf}
+  \end{center}
+  \caption{"take" はデータを receiver に読み込む。その際、読み込んだデータは削除される}
+  \label{fig:take}
+\end{figure}