\documentclass[a4j,12pt]{ltjreport}

\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{bmpsize}
\usepackage{here}
\usepackage{listings}
\usepackage{comment}

% sty
\usepackage{picins}
\usepackage{mythesis}

%\pagestyle{empty}
\usepackage{multirow}

% 特殊文字の表示
\usepackage{luatexja}
\usepackage{fontspec}
\setmainfont{STIX Math}
\setmonofont{STIXGeneralBol}[
	Scale=MatchLowercase
]
\usepackage{caption}

% フォント
%\usepackage{luatexja-fontspec}
%\usepackage[hiragino-pro]{luatexja-preset}

%\special{pdf:mapline rml H meiryo.ttc}
%\special{pdf:mapline gbm H meiryo.ttc}
%\usepackage[hiragino-pro]{pxchfon}

\lstset{
  frame=single,
  keepspaces=true,
  stringstyle={\ttfamily},
  commentstyle={\ttfamily},
  identifierstyle={\ttfamily},
  keywordstyle={\ttfamily},
  basicstyle={\ttfamily},
  breaklines=true,
  xleftmargin=0\zw,
  xrightmargin=0\zw,
  framerule=.3pt,
  columns=[l]{fullflexible},
  numbers=left,
  stepnumber=1,
%  numberstyle={\scriptsize},
  numbersep=5pt,
  language={},
  tabsize=4,
  lineskip=-0.1\zw,
  escapechar={@},
}
\def\lstlistingname{ソースコード}

% bibtex
\usepackage[backend=biber, style=numeric, bibstyle=ieee]{biblatex}
\nocite{*}
\addbibresource{soto.bib}

\usepackage{indentfirst}
\usepackage{url}
\usepackage{amssymb}

% コマンド類
\def\lstlistlistingname{リスト目次}
\newcommand\figref[1]{図 \ref{#1}}
\newcommand\coderef[1]{ソースコード \ref{#1}}

% 表紙
\setlength{\itemsep}{-1\zh}
\title{\fontsize{24pt}{24pt}\selectfont Continuation based C による RedBlackTree の \\ Hoare Logic を用いた検証}
\icon{\includegraphics[width=50mm]{pic/ryukyu.pdf}}
\year{令和2年度 卒業論文}
\belongto{琉球大学工学部工学科知能情報コース}
\author{175707H 氏名 {上地 悠斗}\\ 指導教員 : {河野 真治} }

% 目次
\makeatletter
\renewcommand{\lstlistlistingname}{ソースコード目次}
\newcommand{\figcaption}[1]{\def\@captype{figure}\caption{#1}}
\newcommand{\tblcaption}[1]{\def\@captype{table}\caption{#1}}
\makeatother
\setlength\abovecaptionskip{0pt}

\begin{document}
\ltjsetparameter{jacharrange={-3}}
\maketitle
\baselineskip 17pt plus 1pt minus 1pt

\setcounter{page}{0}

\setcounter{tocdepth}{2}
\setcounter{secnumdepth}{2}
\pagenumbering{roman} % ページ番号
\tableofcontents
\listoffigures % 図目次
\listoftables % 表目次
\lstlistoflistings

%\thispagestyle{fancy}

\input{tex/intro.tex} % はじめに
\input{tex/cbc.tex} % CbC の説明
\input{tex/agda.tex} % agda の説明
\input{tex/cbc_agda.tex}% continuation 形式で書くagda
\input{tex/hoare.tex} % Hoare Logic の説明
\input{tex/rbt_intro.tex} % 赤黒木の説明
\input{tex/rbt_imple.tex}% 手法
\input{tex/rbt_verif.tex}% 検証
\input{tex/future.tex}% 今後の課題
\input{tex/thanks.tex} % 謝辞
\printbibliography[title={参考文献}]

\end{document}