# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486632602 -32400
# Node ID f535393e40437d01370057dbe0c205bc5aa85fff
# Parent  865c83d5dcd761ba2e6953cb1d6ef55892f4f19a
Add figure meta-hierarchy

diff -r 865c83d5dcd7 -r f535393e4043 paper/cbc-type.tex
--- a/paper/cbc-type.tex	Thu Feb 09 18:12:12 2017 +0900
+++ b/paper/cbc-type.tex	Thu Feb 09 18:30:02 2017 +0900
@@ -178,14 +178,16 @@
 
 \lstinputlisting[label=src:agda-mmcs, caption=Agda における Meta Meta CodeSegment の定義と実行例] {src/MetaMetaCodeSegment.agda.replaced}
 
-なお、CbC におけるメタ計算を含む軽量継続\verb/goto meta/とAgda におけるメタ計算実行の比較はリスト~\ref{src:goto-meta}のようになる
-% TODO: cbc と agda の diff
-
-CodeSegment や Meta CodeSegment などの定義が多かっため、どの処理やデータがどのレベルに属するか複雑になったため、一度図にてまとめる。
+CodeSegment や Meta CodeSegment などの定義が多かっため、どの処理やデータがどのレベルに属するか複雑になったため、一度図~\ref{fig:meta-hierarchy}にてまとめる。
 Meta DataSegment を含む任意の DataSegment は Meta DataSegment になりえるので、この階層構造は任意の段数定義することが可能である。
 
-
-% TODO: メタの階層構造の図
+\begin{figure}[htbp]
+    \begin{center}
+        \includegraphics[width=450]{fig/meta-hierarchy.pdf}
+        \caption{fig:meta-hierarchy}
+        \label{メタの階層構造}
+    \end{center}
+\end{figure}
 
 また、この節で取り扱ったソースコードは付録に付す。
 
diff -r 865c83d5dcd7 -r f535393e4043 paper/fig/meta-hierarchy.graffle
Binary file paper/fig/meta-hierarchy.graffle has changed
diff -r 865c83d5dcd7 -r f535393e4043 paper/fig/meta-hierarchy.pdf
Binary file paper/fig/meta-hierarchy.pdf has changed