Mercurial > hg > Papers > 2008 > atsuki-master

changeset 13:f2f4577cf0ab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author atsuki
date Sat, 16 Feb 2008 00:37:35 +0900
parents 9b2553e32341
children 39242aece5fc
files paper/appendix.tex paper/master_paper.tex
diffstat 2 files changed, 16 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/paper/appendix.tex	Fri Feb 15 22:16:02 2008 +0900
+++ b/paper/appendix.tex	Sat Feb 16 00:37:35 2008 +0900
@@ -1,3 +1,16 @@
-\chapter*{付録}
-\addcontentsline{toc}{chapter}{付録}
+\chapter*{発表文献}
+\addcontentsline{toc}{chapter}{発表文献}
 
+タブロー法を用いた Continuation based C プログラムの検証\\
+下地 篤樹, 河野 真治, ~~
+情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2006.
+\\
+\\
+タブロー法を用いた Continuation based C プログラムの検証\\
+下地 篤樹, 河野 真治, ~~
+日本ソフトウェア科学会第23回大会, 2006.
+\\
+\\
+線形時相論理による Continuation based C プログラムの検証\\
+下地 篤樹, 河野 真治, ~~
+情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.
--- a/paper/master_paper.tex	Fri Feb 15 22:16:02 2008 +0900
+++ b/paper/master_paper.tex	Sat Feb 16 00:37:35 2008 +0900
@@ -70,7 +70,7 @@
 \input{bibliography.tex}
 
 %付録
-%\input{appendix.tex}
+\input{appendix.tex}
 
 %\printindex
 \end{document}