# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1484548056 -32400
# Node ID 33105f1f5d241f282c8ac45ce9f0d082e8309dd7
# Parent  715c01485a035c627295b952c1e637dc995542d7
Fix title

diff -r 715c01485a03 -r 33105f1f5d24 paper/atton-master.tex
--- a/paper/atton-master.tex	Mon Jan 16 15:18:03 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 16 15:27:36 2017 +0900
@@ -9,12 +9,12 @@
 
 %\input{dummy.tex} %% font
 
-\jtitle{Code Segment と Data Segment を持つ Gears OS の設計}
-\etitle{Design of Gears OS with Code and Data Segment}
+\jtitle{メタ計算を用いた Continuation based C の検証手法}
+\etitle{Verification Methods of Continuation based C using Meta Computations}
 \year{2017年 3月}
 \eyear{March 2017}
-\author{小久保 翔平}
-\eauthor{Shohei KOKUBO}
+\author{比嘉 健太}
+\eauthor{Yasutaka HIGA}
 \chife{指導教員：教授　和田 知久}
 \echife{Supervisor: Prof. Tomohisa WADA}
 
@@ -25,7 +25,7 @@
 
 \markleftfoot{% 左下に挿入
   \begin{minipage}{.8\textwidth}
-    Code Segment と Data Segment を持つ Gears OS の設計
+    メタ計算を用いた Continuation based C の検証手法
 \end{minipage}}
 
 \newcommand\figref[1]{図 \ref{fig:#1}}