Mercurial > hg > Papers > 2020 > soto-midterm
view mid_thesis.tex @ 5:d1ab156eec7d
fix multicols no balance
author | soto@cr.ie.u-ryukyu.ac.jp |
---|---|
date | Fri, 11 Sep 2020 19:03:15 +0900 |
parents | 35f0e5f12fe6 |
children | acad18934981 |
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=2cm, bottom=2cm, left=1cm, right=1cm]{geometry} % 特殊文字の表示に必要 \usepackage{luatexja} \usepackage{fontspec} \setmainfont{STIX Math}% \setmonofont{STIXGeneralBol}[ Scale=MatchLowercase ] \renewcommand{\abstractname}{要 旨} \lstset{ frame=single, keepspaces=true, stringstyle={\ttfamily}, commentstyle={\ttfamily}, identifierstyle={\ttfamily}, keywordstyle={\ttfamily}, basicstyle={\small\ttfamily}, breaklines=true, xleftmargin=0\zw, xrightmargin=0\zw, framerule=.3pt, columns=[l]{fullflexible}, numbers=none, stepnumber=1, numberstyle={\scriptsize}, numbersep=2em, language={}, tabsize=4, lineskip=-0.1\zw, escapechar={@}, } \begin{document} \ltjsetparameter{jacharrange={-3}} \title{Continuation based C による赤黒木の Hoare Logic を用いた検証 \\ 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/hoare.tex} % Hoare Logic の説明 \input{./tex/agda.tex} % agda の説明 \input{./tex/spec.tex}% 手法 \section{今後の課題} % 参考文献 \begin{thebibliography}{9} \bibitem{1}CbCの論文 \bibitem{2}外間先輩の先行研究 \bibitem{3}Hoare Logicの論文 \bibitem{4}Hoare Logicのスライド \bibitem{5}agda のサイト \bibitem{6}Aaron Stumpの本 \bibitem{7}atttonさんの論文 \bibitem{8}Haskell \bibitem{9}Coq \end{thebibliography} \end{multicols*} \end{document}