# HG changeset patch # User Nobuyasu Oshiro # Date 1321570153 -32400 # Node ID a729fd12d13fff8fdb8ab98db9f52219e2afeca9 # Parent fc26e9b8551fb4250202bb1d9a5ceac6f7c15eed modify tex diff -r fc26e9b8551f -r a729fd12d13f nobu-graduation.aux --- 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}} diff -r fc26e9b8551f -r a729fd12d13f nobu-graduation.dvi Binary file nobu-graduation.dvi has changed diff -r fc26e9b8551f -r a729fd12d13f nobu-graduation.log --- 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) -
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) +
+ +LaTeX Warning: Reference `fig:continue' on page 1 undefined on input line 90. + File: figure/continuation.eps Graphic file (type eps) -
+
File: pic/emblem-bitmap.eps Graphic file (type 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) -
-Underfull \hbox (badness 3861) in paragraph at lines 202--204 +
+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) - [2] (./nobu-graduation.aux) ) + [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). diff -r fc26e9b8551f -r a729fd12d13f nobu-graduation.pdf Binary file nobu-graduation.pdf has changed diff -r fc26e9b8551f -r a729fd12d13f nobu-graduation.tex --- 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/”