\documentclass[title,12pt]{jsreport}
\usepackage{ie-thesis}

% 必要なパッケージはここに記載する
\usepackage{url}
\usepackage{amsmath}
\usepackage{listings}
\usepackage{comment}


\newcommand\figref[1]{図 \ref{fig:#1}}
\newcommand\tabref[1]{表 \ref{tab:#1}}
\newcommand\coderef[1]{ソースコード \ref{code:#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{ソースコード目次}

\jtitle{Gears Debuggerの開発}
\title{Development of Gears Debugger}

\affiliation{琉球大学工学部工学科知能情報コース}
\studentid{185703H}
\author{松岡 隆斗}
\supervisor{河野 真治}

%\Jabstract{\include{./text/Jabstract}}
\Jabstract{\input{./text/Jabstract.tex}}
\Eabstract{\input{./text/Eabstract.tex}}
   
\begin{document}
\maketitle %Don't remove.

% 目次
\tableofcontents	%Don't remove.

% 図目次，図がある場合のみ
\listoffigures

% 表目次，表がある場合のみ
%\listoftables

% pagecounter settings
\setcounter{page}{0}	%Don't remove.

% main text
% introduction
\include{./text/introduction}

% ... 
\include{./text/cbc}

\include{./text/gears}

\include{./text/modelchecking}

\include{./text/existingDebugger}


\include{./text/gearsdebugger}

\include{./text/summary}

\chapter*{謝辞}
本研究の遂行、本論文の作成にあたり、御多忙にも関わらず終始懇切なる御指導と御教授を賜わりました河野真治准教授に心より感謝致します。そして、 共に研究を行い暖かな気遣いと励ましをもって支えてくれた並列信頼研究室の全てのメンバーに感謝致します。 最後に、有意義な時間を共に過ごした知能情報コースの学友、並びに物心両面で支えてくれた家族に深く感謝致します。

% reference
\include{./text/reference}

%付録がある場合のみ
%\appendix
%付録項目ごとに章構成する．章番号は本文とは独立に構成される．
\chapter*{付録}
\section{Mindmap}
\begin{figure}[htbp]
  \begin{center}
   \includegraphics[width=12cm]{./figs/mindmap.png}
   \caption{研究遂行および論文執筆時に作成したMindmap}
   \label{figs:mindmap}
   \end{center}
\end{figure}


\end{document}