Mercurial > hg > Papers > 2020 > soto-midterm
diff 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 diff
--- a/mid_thesis.tex Tue Sep 15 04:49:26 2020 +0900 +++ b/mid_thesis.tex Tue Sep 15 07:06:29 2020 +0900 @@ -55,15 +55,15 @@ \usepackage{url} \usepackage{amssymb} -%\bibliographystyle{plain} -%\bibliography{soto} -\usepackage[backend=biber, style=numeric]{biblatex} +\usepackage[backend=biber, style=numeric, bibstyle=ieee]{biblatex} \nocite{*} \addbibresource{soto.bib} -%\bibliography{soto} %hoge.bibから拡張子を外した名前 -%\bibliographystyle{junsrt} %参考文献出力スタイル \setlength{\columnsep}{5mm} +\def\lstlistingname{ソースコード} + +\newcommand\figref[1]{図 \ref{#1}} +\newcommand\coderef[1]{ソースコード \ref{#1}} \begin{document} \ltjsetparameter{jacharrange={-3}} @@ -85,39 +85,7 @@ \input{tex/rbtree.tex} % 赤黒木の説明 \input{tex/spec.tex}% 手法 \input{tex/future.tex}% 今後の課題 - -% 参考文献 -% \begin{thebibliography}{9} -% \bibitem{cbc} -% cbc-gcc - 並列信頼研 mercurial repository. \\ -% \url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/}. 2020/09/10. -% \bibitem{ryokka} -% Continuation based C での Hoare Logic を用いた仕様記述と検証. Master's thesis,\\ -% 琉球大学 大学院理工学研究科 情報工学専攻, 2020. -% \bibitem{hoare} -% C. A. R. Hoare. An axiomatic basis for computer programming. \\ -% Commun. ACM, Vol. 12, No. 10, p. 576–580, October 1969. -% \bibitem{agda-wiki} -% The agda wiki. \\ -% \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}. 2020/09/10. -% \bibitem{agda-doc} -% Welcome to agda’s documentation!. \\ -% \url{http://agda.readthedocs.io/en/latest/}. 2020/09/10. -% \bibitem{agda-book} -% Aaron Stump. Verified Functional Programming in Agda. -% Association for Computing Machinery and Morgan; Claypool, New York, NY, USA, 2016. -% \bibitem{atton} -% 比嘉健太. メタ計算を用いた continuation based c の検証手法. Master's thesis, \\ -% 琉球大学 大学院理工学研究科 情報工学専攻, 2017. -% \bibitem{meta} -% 徳森海斗. Llvm clang 上の continuation based c コンパイラ の改良. Master's thesis, \\ -% 琉球大学 大学院理工学研究科 情報工学専攻, 2016. -% \bibitem{rbtree} -% 渡邉敏正. データ構造と基本アルゴリズム. \\ -% 共立出版株式会社, 2015. -% \end{thebibliography} -% \printbibliography[title=参考文献] - \printbibliography + \printbibliography[title={参考文献}] \end{multicols*} \end{document}