--- a/paper/master_paper.tex	Sat Feb 08 22:07:16 2020 +0900
+++ b/paper/master_paper.tex	Mon Feb 10 14:20:21 2020 +0900
@@ -17,8 +17,10 @@
 
 %% \input{dummy.tex} %% font
 \usepackage{type1cm}
+\usepackage[usenames]{color}
+\usepackage{ulem}
 
-\jtitle{Continuation based C での HoareLogic を用いた仕様記述と検証}
+\jtitle{Continuation based C での Hoare Logic を用いた仕様記述と検証}
 %% \etitle{Hoare Logic based Specification and Verification in Continuation based C}
 \year{2020年 3月}
 \eyear{March 2020}
@@ -32,15 +34,17 @@
     琉球大学大学院学位論文(修士)
 \end{minipage}}
 
-%\markleftfoot{% 左下に挿入
-%  \begin{minipage}{.8\textwidth}
-%    Gears OS の並列処理
-%\end{minipage}}
+\markleftfoot{% 左下に挿入
+ \begin{minipage}{.8\textwidth}
+   Continuation based C での Hoare Logic を用いた仕様記述と検証
+\end{minipage}}
 
 \newcommand\figref[1]{図 \ref{#1}}
 \newcommand\tabref[1]{表 \ref{#1}}
 \newcommand\coderef[1]{ソースコード \ref{#1}}
 \newcommand\secref[1]{第 \ref{#1} 章}
+\newcommand\cc[1]{\textcolor {RoyalBlue} {#1}}
+
 
 
 \lstset{