# HG changeset patch # User soto # Date 1677145196 -32400 # Node ID 4915eaa51ee0ec78bdc881e0a5f9f11186a27c74 # Parent 826ae66f79f3255c0b93c33df7d5b436a8bab122 Add front diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.aux --- 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<>} -\HyPL@Entry{1<>} +\HyPL@Entry{0<>} +\HyPL@Entry{1<>} +\HyPL@Entry{2<>} \@writefile{toc}{\contentsline {chapter}{研究関連論文業績}{iv}{chapter*.3}\protected@file@percent } -\HyPL@Entry{5<>} +\HyPL@Entry{6<>} \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} diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.dvi Binary file Paper/master_paper.dvi has changed diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.fdb_latexmk --- 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 "" diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.fls --- 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 diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.log --- 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) + + [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). diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.pdf Binary file Paper/master_paper.pdf has changed diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.synctex.gz Binary file Paper/master_paper.synctex.gz has changed diff -r 826ae66f79f3 -r 4915eaa51ee0 Paper/master_paper.tex --- 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}