\documentclass[a4j,12pt]{jreport}
\usepackage{master_paper}
\usepackage{ascmac}    %% itembox
\usepackage[dvipdfm]{graphicx}
\usepackage{listings, jlisting}
\lstset{basicstyle=\footnotesize, frame=trbl, framesep=5pt}

% dvipdfm を使って PDF ファイルに日本語の栞をつける
% \usepackage[dvipdfm]{color}
% \usepackage[dvipdfm,bookmarks=true,bookmarksnumbered=true,%
% bookmarkstype=toc]{hyperref}

\jtitle{線形時相論理を用いた Continuation based C プログラムの検証}
\etitle{Verification of Continuation based C Program using Linear-time Temporal Logic} 
\year{平成19年度}
\affiliation{\center%
  \vspace{-10mm}
  \includegraphics[clip,keepaspectratio,width=.15\textwidth]
  {u-ryukyu-Mark.eps}\\
  \vskip15mm
  琉球大学大学院 \ 理工学研究科\\ 情報工学専攻}
\author{下地 篤樹}


\marklefthead{% 左上に挿入
 \begin{minipage}[b]{.4\textwidth}
   \includegraphics[height=1zw,clip,keepaspectratio]{emblem-bitmap.eps}
   琉球大学大学院学位論文(修士)
  \end{minipage}}
\markleftfoot{% 左下に挿入
  \begin{minipage}{.8\textwidth}
   線形時相論理を用いた Continuation based C プログラムの検証
  \end{minipage}}


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

\maketitle

%要旨
\input{abstract.tex}

%目次
\tableofcontents

%図目次
\listoffigures

%表目次
\listoftables

%背景と研究目的
\input{chapter1.tex}
%CbC、線形時相論理、他のモデル検査ツールについて
\input{chapter2.tex}
%検証手法の実装
\input{chapter3.tex}
%評価と考察
\input{chapter4.tex}
%まとめと今後の課題
\input{chapter5.tex}

%謝辞
\input{thanx.tex}

%参考文献
\input{bibliography.tex}

%付録
\input{appendix.tex}

%\printindex
\end{document}