Mercurial > hg > Papers > 2018 > nozomi-master

changeset 57:3f58377a9f59

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Split cbc-type.tex
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Wed, 01 Feb 2017 13:27:58 +0900
parents 6060f56bb564
children 68bf744d726e
files paper/atton-master.tex paper/cbc-type.tex
diffstat 2 files changed, 15 insertions(+), 15 deletions(-) [+]
line wrap: on
line diff
--- a/paper/atton-master.tex	Tue Jan 31 19:26:31 2017 +0900
+++ b/paper/atton-master.tex	Wed Feb 01 13:27:58 2017 +0900
@@ -116,21 +116,10 @@
 %chapters
 \input{introduction.tex}
 
-\input{cbc.tex}
-\input{type.tex}
-\input{agda.tex}
-
-
-\chapter{Agda における Continuation based C の表現}
-\label{chapter:cbc-type}
-\section{CodeSegment の定義}
-\section{DataSegment の定義}
-\section{ノーマルレベル計算の実行}
-\section{MetaCodeSegment の定義}
-\section{MetaDataSegment の定義}
-\section{メタレベル計算の実行}
-\section{Agda を用いたContinuation based C の検証}
-\section{スタックの実装の検証}
+% \input{cbc.tex}
+% \input{type.tex}
+% \input{agda.tex}
+\input{cbc-type.tex}
 
 \chapter{まとめ}
 \section{今後の課題}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/cbc-type.tex	Wed Feb 01 13:27:58 2017 +0900
@@ -0,0 +1,11 @@
+\chapter{Agda における Continuation based C の表現}
+\label{chapter:cbc-type}
+\section{CodeSegment の定義}
+\section{DataSegment の定義}
+\section{ノーマルレベル計算の実行}
+\section{MetaCodeSegment の定義}
+\section{MetaDataSegment の定義}
+\section{メタレベル計算の実行}
+\section{Agda を用いたContinuation based C の検証}
+\section{スタックの実装の検証}
+