Mercurial > hg > Papers > 2018 > nozomi-master

changeset 4:33105f1f5d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix title
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:27:36 +0900
parents 715c01485a03
children cb4bf01e9ad9
files paper/atton-master.tex
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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}}