Mercurial > hg > Papers > 2017 > atton-master
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} また、この節で取り扱ったソースコードは付録に付す。