# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1484640818 -32400
# Node ID 13096ef2be8bf5af78ad2024fd8aa8e1a3d4624a
# Parent  2f944ab2f5f665f040f0fc3dbe339e22e1fb8c27
Update table of contents

diff -r 2f944ab2f5f6 -r 13096ef2be8b paper/atton-master.tex
--- 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{今後の課題}