changeset 90:f535393e4043

Add figure meta-hierarchy
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 09 Feb 2017 18:30:02 +0900
parents 865c83d5dcd7
children 54cf3b3153fe
files paper/cbc-type.tex paper/fig/meta-hierarchy.graffle paper/fig/meta-hierarchy.pdf
diffstat 3 files changed, 8 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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}
 
 また、この節で取り扱ったソースコードは付録に付す。
 
Binary file paper/fig/meta-hierarchy.graffle has changed
Binary file paper/fig/meta-hierarchy.pdf has changed