Mercurial > hg > Papers > 2020 > soto-midterm
view mid_thesis.tex @ 11:a8bc8c6b48bd default tip
fix
author | soto@cr.ie.u-ryukyu.ac.jp |
---|---|
date | Tue, 15 Sep 2020 07:06:29 +0900 |
parents | c162ca9b997e |
children |
line wrap: on
line source
\documentclass[a4j,9.5pt]{article} \usepackage{graphicx} \usepackage{picins} \usepackage{fancyhdr} \usepackage[]{multicol} \usepackage{listings} %\pagestyle{fancy} \lhead{\parpic{\includegraphics[height=1\zw,keepaspectratio,bb=0 0 251 246]{pic/emblem-bitmap.pdf}}琉球大学主催 工学部工学科知能情報コース 中間発表予稿} \rhead{} \cfoot{} \setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}} \setlength{\headheight}{0mm} \setlength{\headsep}{5mm} \setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}} \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}} \setlength{\textwidth}{181mm} \setlength{\textheight}{261mm} \setlength{\footskip}{0mm} \pagestyle{empty} \usepackage[top=20mm, bottom=20mm, left=10mm, right=10mm]{geometry} % 特殊文字の表示に必要 \usepackage{luatexja} \usepackage{fontspec} \setmainfont{STIX Math}% \setmonofont{STIXGeneralBol}[ Scale=MatchLowercase ] \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={@}, } \usepackage{indentfirst} \usepackage{url} \usepackage{amssymb} \usepackage[backend=biber, style=numeric, bibstyle=ieee]{biblatex} \nocite{*} \addbibresource{soto.bib} \setlength{\columnsep}{5mm} \def\lstlistingname{ソースコード} \newcommand\figref[1]{図 \ref{#1}} \newcommand\coderef[1]{ソースコード \ref{#1}} \begin{document} \ltjsetparameter{jacharrange={-3}} \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large Verification of red-black tree implemented in Continuation based C using Hoare Logic} \author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治} \date{} \maketitle \thispagestyle{fancy} % 要旨 \input{./tex/abstract.tex} % 2段組開始 \begin{multicols*}{2} \input{tex/intro.tex} % 研究目的 \input{tex/cbc.tex} % CbC の説明 \input{tex/agda.tex} % agda の説明 \input{tex/hoare.tex} % Hoare Logic の説明 \input{tex/rbtree.tex} % 赤黒木の説明 \input{tex/spec.tex}% 手法 \input{tex/future.tex}% 今後の課題 \printbibliography[title={参考文献}] \end{multicols*} \end{document}