Mercurial > hg > Papers > 2016 > atton-ipsjpro

changeset 46:40d53d900609 paper_submit2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix ref in appendix code
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 08 Jul 2016 15:48:10 +0900
parents 5070a1052e6b
children 4024f3bb3397
files paper/vmpcbc.pdf paper/vmpcbc.tex
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file paper/vmpcbc.pdf has changed
--- a/paper/vmpcbc.tex	Fri Jul 08 15:31:10 2016 +0900
+++ b/paper/vmpcbc.tex	Fri Jul 08 15:48:10 2016 +0900
@@ -22,7 +22,7 @@
   captionpos=b,
   moredelim=**[s][\color{red}]{\"compressed}{\"},
 }
-\renewcommand{\lstlistingname}{Code}
+\renewcommand{\lstlistingname}{図}
 
 \def\Underline{\setbox0\hbox\bgroup\let\\\endUnderline}
 \def\endUnderline{\vphantom{y}\egroup\smash{\underline{\box0}}\\}
@@ -39,6 +39,7 @@
 
 
 \begin{document}
+\renewcommand{\thelstlisting}{\thesection-\arabic{lstlisting}}
 
 \title{Continuation based C を用いたプログラムの検証手法}
 \etitle{Verification method of programs using Continuation based C}
@@ -624,7 +625,7 @@
 % {{{ CbCで記述された赤黒木のコード
 
 \section{CbCで記述された赤黒木のコード}
-CbCで記述された赤黒木のソースコードをCode\ref{src:rbtree-full} に示す。
+CbCで記述された赤黒木のソースコードを図\ref{src:rbtree-full} に示す。
 
 
 \begin{lstlisting}[ caption={CbCで記述された赤黒木}, label=src:rbtree-full  ]