--- 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}