% Todo
\documentclass[a4j,12pt]{jreport}
\usepackage{master_paper}
\usepackage{ascmac}
\usepackage[dvipdfmx]{graphicx}
\usepackage{here}
\usepackage{listings}
\usepackage{comment}
\usepackage{url}
\usepackage[deluxe, multi]{otf}
%% \usepackage{cite}
%% \usepackage{listings}
\usepackage{amssymb}
%% \usepackage[fleqn]{amsmath}

%% \usepackage[utf8]{inputenc}

%% \input{dummy.tex} %% font
\usepackage{type1cm}
\usepackage[usenames]{color}
\usepackage{ulem}
\usepackage{lstlinebgrd} 

\jtitle{Continuation based C での Hoare Logic を用いた仕様記述と検証}
%% \etitle{Hoare Logic based Specification and Verification in Continuation based C}
\year{2020年 3月}
\eyear{March 2020}
\author{外間 政尊}
\eauthor{Masataka HOKAMA}

\chife{指導教員：教授 玉城 史朗}
\echife{Supervisor: Prof. Shirou TAMAKI}
%% \chife{　} % 表紙用
%% \echife{　}


\marklefthead{% 左上に挿入
  \begin{minipage}[b]{.4\textwidth}
    琉球大学大学院学位論文(修士)
\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{
  frame=single,
  keepspaces=true,
  stringstyle={\ttfamily},
  commentstyle={\ttfamily},
  identifierstyle={\ttfamily},
  keywordstyle={\ttfamily},
  basicstyle={\ttfamily},
  breaklines=true,
  xleftmargin=0zw,
  xrightmargin=0zw,
  framerule=.2pt,
  columns=[l]{fullflexible},
  numbers=left,
  stepnumber=1,
  numberstyle={\scriptsize},
  numbersep=1em,
  language={},
  tabsize=4,
  lineskip=-0.5zw,
  escapechar={@},
}
\def\lstlistingname{ソースコード}
\def\lstlistlistingname{ソースコード目次}

%%% 索引のために以下の2行を追加
\usepackage{makeidx,multicol}
\makeindex

\begin{document}
\maketitle

\pagenumbering{roman}
\setcounter{page}{0}
\makecommission

\newpage

%要旨
\input{abstract.tex}

%発表履歴
\addcontentsline{toc}{chapter}{研究関連論文業績}
\input{history.tex}

\mainmatter
%目次
\tableofcontents

%図目次
\listoffigures

%表目次
%% \listoftables

%リスト目次
\lstlistoflistings

%chapters
\input{introduction.tex}
\input{cbc.tex}
\input{agda.tex}
\input{hoare.tex}
\input{cbc_agda.tex}
\input{cbc_hoare.tex}
\input{conclusion.tex}

%% %謝辞
\addcontentsline{toc}{chapter}{謝辞}
\input{thanks.tex}

%参考文献
\nocite{*}
\bibliographystyle{junsrt}
\bibliography{reference}

%付録
\addcontentsline{toc}{chapter}{付録}
\appendix

\end{document}