Mercurial > hg > Papers > 2018 > nozomi-master

changeset 11:13096ef2be8b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update table of contents
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Tue, 17 Jan 2017 17:13:38 +0900
parents 2f944ab2f5f6
children 1c9fc852e4ce
files paper/atton-master.tex
diffstat 1 files changed, 3 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/paper/atton-master.tex	Mon Jan 16 16:40:22 2017 +0900
+++ b/paper/atton-master.tex	Tue Jan 17 17:13:38 2017 +0900
@@ -98,6 +98,8 @@
 \section{Continuation based C における CodeSegment と DataSegment}
 \section{MetaCodeSegment と MetaDataSegment}
 \section{GearsOS}
+\section{メタ計算ライブラリ akasha}
+\section{akasha を用いた赤黒木の実装の検証}
 
 \chapter{ラムダ計算と型システム}
 \section{型システムとは}
@@ -119,13 +121,8 @@
 \section{MetaCodeSegment の定義}
 \section{MetaDataSegment の定義}
 \section{メタレベル計算の実行}
-
-\chapter{Continuation based C の検証}
-\section{証明を用いた検証}
+\section{Agda を用いたContinuation based C の検証}
 \section{スタックの実装の検証}
-\section{メタ計算を用いた検証}
-\section{メタ計算ライブラリ akasha}
-\section{赤黒木の実装の検証}
 
 \chapter{まとめ}
 \section{今後の課題}