Mercurial > hg > Papers > 2023 > soto-master

changeset 32:4915eaa51ee0 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add front
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Thu, 23 Feb 2023 18:39:56 +0900
parents 826ae66f79f3
children
files Paper/master_paper.aux Paper/master_paper.dvi Paper/master_paper.fdb_latexmk Paper/master_paper.fls Paper/master_paper.log Paper/master_paper.pdf Paper/master_paper.synctex.gz Paper/master_paper.tex
diffstat 8 files changed, 74 insertions(+), 64 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/master_paper.aux	Wed Feb 15 17:54:36 2023 +0900
+++ b/Paper/master_paper.aux	Thu Feb 23 18:39:56 2023 +0900
@@ -15,10 +15,11 @@
 \global\let\hyper@last\relax 
 \gdef\HyperFirstAtBeginDocument#1{#1}
 \providecommand*\HyPL@Entry[1]{}
-\HyPL@Entry{0<</P()>>}
-\HyPL@Entry{1<</S/r>>}
+\HyPL@Entry{0<</S/D>>}
+\HyPL@Entry{1<</P()>>}
+\HyPL@Entry{2<</S/r>>}
 \@writefile{toc}{\contentsline {chapter}{研究関連論文業績}{iv}{chapter*.3}\protected@file@percent }
-\HyPL@Entry{5<</S/D>>}
+\HyPL@Entry{6<</S/D>>}
 \citation{cbc-gcc}
 \citation{agda}
 \citation{ryokka-sigos}
@@ -208,4 +209,4 @@
 \bibcite{mitsuki-prosym}{17}
 \bibcite{model}{18}
 \bibstyle{junsrt}
-\gdef \@abspage@last{49}
+\gdef \@abspage@last{50}
Binary file Paper/master_paper.dvi has changed
--- a/Paper/master_paper.fdb_latexmk	Wed Feb 15 17:54:36 2023 +0900
+++ b/Paper/master_paper.fdb_latexmk	Thu Feb 23 18:39:56 2023 +0900
@@ -1,17 +1,17 @@
 # Fdb version 3
-["bibtex master_paper"] 1675432991 "master_paper.aux" "master_paper.bbl" "master_paper" 1676115609
+["bibtex master_paper"] 1677040218 "master_paper.aux" "master_paper.bbl" "master_paper" 1677040253
   "junsrt.bst" 0 -1 0 ""
-  "master_paper.aux" 1676115608 19572 0389835a9786a06fbd1766a61cfb8e10 "latex"
+  "master_paper.aux" 1677040252 19595 d64a665b334060bc74a02e1f75b1b7c8 "latex"
   "reference.bib" 1675336779 4441 cbcfa8f3c6c78deaf589b09a84f57dc9 ""
   (generated)
   "master_paper.bbl"
   "master_paper.blg"
-["dvipdf"] 1676115608 "master_paper.dvi" "master_paper.pdf" "master_paper" 1676115609
-  "master_paper.dvi" 1676115608 322892 d5e1d20746c038537134b70cd2d318bb "latex"
+["dvipdf"] 1677040252 "master_paper.dvi" "master_paper.pdf" "master_paper" 1677040253
+  "master_paper.dvi" 1677040252 324076 166057565e634a9a40322e9d476ef605 "latex"
   (generated)
   "master_paper.pdf"
-["latex"] 1676115607 "/home/soto/lab/soto-master/Paper/master_paper.tex" "master_paper.dvi" "master_paper" 1676115609
-  "/home/soto/lab/soto-master/Paper/master_paper.tex" 1676115607 3097 65f21be5c4f1e0234a8f6ffd26dbeafa ""
+["latex"] 1677040251 "/home/soto/lab/soto-master/Paper/master_paper.tex" "master_paper.dvi" "master_paper" 1677040253
+  "/home/soto/lab/soto-master/Paper/master_paper.tex" 1677040251 3133 99a3a7308e860b93b9259096d16c7d88 ""
   "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1650183167 3524 cb3e574dea2d1052e39280babc910dc8 ""
   "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1200.tfm" 1650183167 1536 74b7293ec3713bb7fdca8dd1bd1f469c ""
   "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/tctt1000.tfm" 1650183167 1536 c5729d01ab121276cf99b309129349a0 ""
@@ -128,14 +128,14 @@
   "fig/dpp-model.pdf" 1674369845 54353 01b0af963c00cb0c2721ab5a1d2bc781 ""
   "fig/rbt-stack.pdf" 1674125175 35233 d7920c7c7df9157f95299a7f4e75eab1 ""
   "fig/u-ryukyu-Mark.eps" 1674125175 177171 82fa7968c81a6b7289de9d1085964fe1 ""
-  "master_paper.aux" 1676115608 19572 0389835a9786a06fbd1766a61cfb8e10 "latex"
-  "master_paper.bbl" 1675432991 3042 1f8e88c721c88589fe6b356911ae236d "bibtex master_paper"
-  "master_paper.lof" 1676115608 629 bb98eadca704b5d48a03911c72cf03e2 "latex"
-  "master_paper.lol" 1676115608 4682 ee5355881ee488a771f0e7774cbca43d "latex"
-  "master_paper.out" 1676115608 8014 752f2940cbc6f3216306fde56a77d4ef "latex"
+  "master_paper.aux" 1677040252 19595 d64a665b334060bc74a02e1f75b1b7c8 "latex"
+  "master_paper.bbl" 1677040218 3042 1f8e88c721c88589fe6b356911ae236d "bibtex master_paper"
+  "master_paper.lof" 1677040252 629 bb98eadca704b5d48a03911c72cf03e2 "latex"
+  "master_paper.lol" 1677040252 4682 ee5355881ee488a771f0e7774cbca43d "latex"
+  "master_paper.out" 1677040252 8014 752f2940cbc6f3216306fde56a77d4ef "latex"
   "master_paper.sty" 1676115605 13232 506750f1706ac71feedc33ce08dea99b ""
-  "master_paper.tex" 1676115607 3097 65f21be5c4f1e0234a8f6ffd26dbeafa ""
-  "master_paper.toc" 1676115608 3910 500a0fc084c1fda6fc35b24ae13c676a "latex"
+  "master_paper.tex" 1677040251 3133 99a3a7308e860b93b9259096d16c7d88 ""
+  "master_paper.toc" 1677040252 3910 500a0fc084c1fda6fc35b24ae13c676a "latex"
   "src/agda-dpp-impl.agda.replaced" 1675358521 2824 60454fbbf20d18849d1886385e94384b ""
   "src/agda-term3.agda.replaced" 1675358515 545 44ab43e2fe263959526d8b27411b6b81 ""
   "src/agda/And.agda.replaced" 1675358518 74 04fb41b7bb7a82a71ad4722821fb7177 ""
--- a/Paper/master_paper.fls	Wed Feb 15 17:54:36 2023 +0900
+++ b/Paper/master_paper.fls	Thu Feb 23 18:39:56 2023 +0900
@@ -743,6 +743,9 @@
 INPUT /usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm
 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
 OUTPUT master_paper.dvi
+INPUT ./fig/u-ryukyu-Mark.eps
+INPUT ./fig/u-ryukyu-Mark.eps
+INPUT fig/u-ryukyu-Mark.eps
 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
--- a/Paper/master_paper.log	Wed Feb 15 17:54:36 2023 +0900
+++ b/Paper/master_paper.log	Thu Feb 23 18:39:56 2023 +0900
@@ -1,4 +1,4 @@
-This is e-upTeX, Version 3.141592653-p4.0.0-u1.28-220214-2.6 (utf8.uptex) (TeX Live 2022/Arch Linux) (preloaded format=uplatex 2022.11.28)  11 FEB 2023 20:40
+This is e-upTeX, Version 3.141592653-p4.0.0-u1.28-220214-2.6 (utf8.uptex) (TeX Live 2022/Arch Linux) (preloaded format=uplatex 2022.11.28)  22 FEB 2023 13:30
 entering extended mode
  restricted \write18 enabled.
  file:line:error style messages enabled.
@@ -330,9 +330,9 @@
 Package hyperref Info: Option `bookmarksopen' set `true' on input line 78.
 Package hyperref Info: Option `colorlinks' set `true' on input line 78.
 LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
-(Font)              scaled to size 11.54663pt on input line 83.
+(Font)              scaled to size 11.54663pt on input line 84.
 LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
-(Font)              scaled to size 11.54663pt on input line 83.
+(Font)              scaled to size 11.54663pt on input line 84.
  (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def
 File: l3backend-dvips.def 2022-04-14 L3 backend support: dvips
 \l__pdf_internal_box=\box83
@@ -345,28 +345,28 @@
 ) (./master_paper.aux)
 \openout1 = `master_paper.aux'.
 
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for JY2/mc/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for JT2/mc/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
-LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 83.
-LaTeX Font Info:    ... okay on input line 83.
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for JY2/mc/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for JT2/mc/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
+LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 84.
+LaTeX Font Info:    ... okay on input line 84.
 \c@lstlisting=\count305
  (/usr/share/texmf-dist/tex/latex/graphics/color.sty
 Package: color 2021/12/07 v1.3c Standard LaTeX Color (DPC)
@@ -377,7 +377,7 @@
  (/usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def
 File: dvipsnam.def 2016/06/17 v3.0m Driver-dependent file (DPC,SPQR)
 ))
-Package hyperref Info: Link coloring ON on input line 83.
+Package hyperref Info: Link coloring ON on input line 84.
  (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
 Package: nameref 2021-04-02 v2.47 Cross-referencing by name of section
  (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty
@@ -387,9 +387,9 @@
 )
 \c@section@level=\count306
 )
-LaTeX Info: Redefining \ref on input line 83.
-LaTeX Info: Redefining \pageref on input line 83.
-LaTeX Info: Redefining \nameref on input line 83.
+LaTeX Info: Redefining \ref on input line 84.
+LaTeX Info: Redefining \pageref on input line 84.
+LaTeX Info: Redefining \nameref on input line 84.
  (./master_paper.out) (./master_paper.out)
 \@outlinefile=\write4
 \openout4 = `master_paper.out'.
@@ -437,27 +437,30 @@
 (Font)              scaled to size 13.47107pt on input line 86.
 LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
 (Font)              scaled to size 13.47107pt on input line 86.
-[0
+[1
 
 ]
-LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
-(Font)              scaled to size 7.69775pt on input line 91.
+File: fig/u-ryukyu-Mark.eps Graphic file (type eps)
+<fig/u-ryukyu-Mark.eps>
+ [0]
 LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
-(Font)              scaled to size 5.77332pt on input line 91.
-LaTeX Font Info:    Trying to load font information for U+msa on input line 91.
+(Font)              scaled to size 7.69775pt on input line 94.
+LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
+(Font)              scaled to size 5.77332pt on input line 94.
+LaTeX Font Info:    Trying to load font information for U+msa on input line 94.
  (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
 )
-LaTeX Font Info:    Trying to load font information for U+msb on input line 91.
+LaTeX Font Info:    Trying to load font information for U+msb on input line 94.
  (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
 )
 LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
-(Font)              scaled to size 11.54663pt on input line 91.
+(Font)              scaled to size 11.54663pt on input line 94.
 LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
-(Font)              scaled to size 11.54663pt on input line 91.
+(Font)              scaled to size 11.54663pt on input line 94.
 
-Overfull \hbox (2.61108pt too wide) in paragraph at lines 91--93
+Overfull \hbox (2.61108pt too wide) in paragraph at lines 94--96
 []$[]$[] []$[]$[] 
  []
 
@@ -484,13 +487,13 @@
 \openout5 = `master_paper.toc'.
 
 LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
-(Font)              scaled to size 10.53629pt on input line 108.
+(Font)              scaled to size 10.53629pt on input line 111.
 LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
-(Font)              scaled to size 10.53629pt on input line 108.
+(Font)              scaled to size 10.53629pt on input line 111.
 LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
-(Font)              scaled to size 10.53629pt on input line 108.
+(Font)              scaled to size 10.53629pt on input line 111.
 LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
-(Font)              scaled to size 10.53629pt on input line 108.
+(Font)              scaled to size 10.53629pt on input line 111.
  [2] (./master_paper.lof)
 \tf@lof=\write6
 \openout6 = `master_paper.lof'.
@@ -647,10 +650,10 @@
 Here is how much of TeX's memory you used:
  16732 strings out of 478689
  253685 string characters out of 5861063
- 1442015 words of memory out of 5000000
+ 1441973 words of memory out of 5000000
  34816 multiletter control sequences out of 15000+600000
  520406 words of font info for 134 fonts, out of 8000000 for 9000
  929 hyphenation exceptions out of 8191
  60i,12n,64p,954b,2407s stack positions out of 5000i,500n,10000p,200000b,80000s
 
-Output written on master_paper.dvi (49 pages, 322892 bytes).
+Output written on master_paper.dvi (50 pages, 324076 bytes).
Binary file Paper/master_paper.pdf has changed
Binary file Paper/master_paper.synctex.gz has changed
--- a/Paper/master_paper.tex	Wed Feb 15 17:54:36 2023 +0900
+++ b/Paper/master_paper.tex	Thu Feb 23 18:39:56 2023 +0900
@@ -23,8 +23,8 @@
 \eyear{March 2023}
 \author{上地 悠斗}
 \eauthor{Yuto Uechi}
-\chife{指導教員：教授 和田 知久}
-\echife{Supervisor: Prof. Tomohisa Wada}
+\chife{　}
+\echife{　}
 
 \marklefthead{% 左上に挿入
   \begin{minipage}[b]{.4\textwidth}
@@ -80,8 +80,11 @@
 %%% 索引のために以下の2行を追加
 %\usepackage{makeidx,multicol}
 %\makeindex
+%rome
 \begin{document}
-%rome
+\maketitle
+\chife{指導教員：教授 和田 知久}
+\echife{Supervisor: Prof. Tomohisa Wada}
 \maketitle
 \pagenumbering{roman}
 \setcounter{page}{0}