Mercurial > hg > Papers > 2011 > nobu-thesis

changeset 2:a729fd12d13f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modify tex
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Fri, 18 Nov 2011 07:49:13 +0900
parents fc26e9b8551f
children ef5f7c93074a
files nobu-graduation.aux nobu-graduation.dvi nobu-graduation.log nobu-graduation.pdf nobu-graduation.tex
diffstat 5 files changed, 37 insertions(+), 22 deletions(-) [+]
line wrap: on
line diff
--- a/nobu-graduation.aux	Fri Nov 18 07:45:29 2011 +0900
+++ b/nobu-graduation.aux	Fri Nov 18 07:49:13 2011 +0900
@@ -16,11 +16,10 @@
 \bibcite{4}{4}
 \bibcite{5}{5}
 \bibcite{6}{6}
-\bibcite{7}{7}
 \@writefile{toc}{\contentsline {subsection}{\numberline {3.2}typedefrec の実装}{2}}
 \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces typedefrecの例}}{2}}
 \newlabel{fig:typedefrec}{{3}{2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}\_\_return 変数}{2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}環境付き継続}{2}}
 \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.1}\_\_return 変数の問題}{2}}
 \@writefile{toc}{\contentsline {subsection}{\numberline {3.4}x86\_64 での fastcall}{2}}
 \@writefile{toc}{\contentsline {section}{\numberline {4}CbC の今後}{2}}
Binary file nobu-graduation.dvi has changed
--- a/nobu-graduation.log	Fri Nov 18 07:45:29 2011 +0900
+++ b/nobu-graduation.log	Fri Nov 18 07:49:13 2011 +0900
@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.1415926-p3.2-110415-2.3 (utf8.euc) (TeX Live 2011) (format=platex 2011.11.10)  16 NOV 2011 11:29
+This is e-pTeX, Version 3.1415926-p3.2-110415-2.3 (utf8.euc) (TeX Live 2011) (format=platex 2011.11.10)  18 NOV 2011 07:48
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -125,7 +125,7 @@
 LaTeX Warning: Unused global option(s):
     [9.5pt].
 
-(./nobu-graduation.aux)
+No file nobu-graduation.aux.
 \openout1 = `nobu-graduation.aux'.
 
 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 21.
@@ -158,17 +158,22 @@
 (Font)              Font shape `JT1/gt/m/n' tried instead on input line 49.
 LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <12> not available
 (Font)              Font shape `JY1/gt/m/n' tried instead on input line 49.
-File: figure/codesegment.eps Graphic file (type eps)
- <figure/codesegment.eps>
 LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <10> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 85.
+(Font)              Font shape `JT1/gt/m/n' tried instead on input line 53.
 LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <10> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 85.
+(Font)              Font shape `JY1/gt/m/n' tried instead on input line 53.
+
+LaTeX Warning: Reference `fig:cs' on page 1 undefined on input line 53.
+
+File: figure/codesegment.eps Graphic file (type eps)
+<figure/codesegment.eps>
+
+LaTeX Warning: Reference `fig:continue' on page 1 undefined on input line 90.
+
 File: figure/continuation.eps Graphic file (type eps)
- <figure/continuation.eps>
+<figure/continuation.eps>
 File: pic/emblem-bitmap.eps Graphic file (type eps)
-
-<pic/emblem-bitmap.eps>
+ <pic/emblem-bitmap.eps>
 
 Package Fancyhdr Warning: \headheight is too small (0.0pt): 
  Make it at least 20.37784pt.
@@ -179,22 +184,33 @@
 
 
 ]
+
+LaTeX Warning: Reference `fig:typedefrec' on page 2 undefined on input line 115
+.
+
 File: figure/typedefrec.eps Graphic file (type eps)
- <figure/typedefrec.eps>
-Underfull \hbox (badness 3861) in paragraph at lines 202--204
+<figure/typedefrec.eps>
+Underfull \hbox (badness 3861) in paragraph at lines 205--207
 []\OT1/cmr/m/n/10 GNU Com-piler Col-lec-tion (GCC) In-ter-nals:  \JY1/mc/m/n/10
  “
  []
 
 File: pic/emblem-bitmap.eps Graphic file (type eps)
-<pic/emblem-bitmap.eps> [2] (./nobu-graduation.aux) ) 
+<pic/emblem-bitmap.eps> [2] (./nobu-graduation.aux)
+
+LaTeX Warning: There were undefined references.
+
+
+LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
+
+ ) 
 Here is how much of TeX's memory you used:
- 930 strings out of 494163
- 10588 string characters out of 3160585
+ 927 strings out of 494163
+ 10545 string characters out of 3160585
  69616 words of memory out of 3000000
- 4356 multiletter control sequences out of 15000+200000
+ 4355 multiletter control sequences out of 15000+200000
  13716 words of font info for 53 fonts, out of 3000000 for 9000
  745 hyphenation exceptions out of 8191
  27i,15n,43p,208b,415s stack positions out of 5000i,500n,10000p,200000b,50000s
 
-Output written on nobu-graduation.dvi (2 pages, 13812 bytes).
+Output written on nobu-graduation.dvi (2 pages, 13832 bytes).
Binary file nobu-graduation.pdf has changed
--- a/nobu-graduation.tex	Fri Nov 18 07:45:29 2011 +0900
+++ b/nobu-graduation.tex	Fri Nov 18 07:49:13 2011 +0900
@@ -122,7 +122,7 @@
   \label{fig:typedefrec}
 \end{figure}
 
-より柔軟なプログラミングが行えるように typdefrec を実装したい。
+より柔軟なプログラミングが行えるように typdefrec を実装を行いたい。
 
 %\subsubsection{typedefrec の実装方法}
 %typedefrec 
@@ -199,10 +199,10 @@
 \bibitem{5}{下地篤樹,河野真治}:
 “線形時相論理を用いたContinuation based C プログラムの検証”. 琉球大学大学院　理工学研究科 情報工学専攻 学位論文(修士), 2008
 
-\bibitem{6}{楊挺,河野真治}:
-“Continuation based C の実装”. 琉球大学大学院　理工学研究科 情報工学専攻 学位論文(修士), 2002
+%\bibitem{6}{楊挺,河野真治}:
+%“Continuation based C の実装”. 琉球大学大学院　理工学研究科 情報工学専攻 学位論文(修士), 2002
 
-\bibitem{7}{GNU Compiler Collection (GCC) Internals}:
+\bibitem{6}{GNU Compiler Collection (GCC) Internals}:
 “http://gcc.gnu.org/onlinedocs/gccint/”