Mercurial > hg > Papers > 2020 > ryokka-master
view paper/master_paper.tex @ 13:e8655e0264b8
fix paper, slide
author | ryokka |
---|---|
date | Tue, 11 Feb 2020 02:31:26 +0900 |
parents | bf3288c36d7e |
children | 19ab6b8055ea |
line wrap: on
line source
% 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}