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
entering extended mode
 restricted \write18 enabled.
 file:line:error style messages enabled.
 %&-line parsing enabled.
**/home/soto/lab/soto-master/Paper/master_paper.tex
(/home/soto/lab/soto-master/Paper/master_paper.tex
pLaTeX2e <2021-11-15u04> (based on LaTeX2e <2021-11-15> patch level 1)
L3 programming layer <2022-04-10> (/usr/share/texmf-dist/tex/uplatex/base/ujreport.cls
Document Class: ujreport 2020/09/30 v1.8f-u00 Standard upLaTeX class
\c@@paper=\count184
(/usr/share/texmf-dist/tex/uplatex/base/ujsize12.clo
File: ujsize12.clo 2020/09/30 v1.8f-u00 Standard upLaTeX file (size option)
LaTeX Font Info:    Font shape `JT2/mc/m/n' will be
(Font)              scaled to size 11.54663pt on input line 28.
LaTeX Font Info:    Font shape `JY2/mc/m/n' will be
(Font)              scaled to size 11.54663pt on input line 28.
)
\c@part=\count185
\c@chapter=\count186
\c@section=\count187
\c@subsection=\count188
\c@subsubsection=\count189
\c@paragraph=\count190
\c@subparagraph=\count191
\c@figure=\count192
\c@table=\count193
\abovecaptionskip=\skip47
\belowcaptionskip=\skip48
\symmincho=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
(Font)                  JY2/mc/m/n --> JY2/gt/m/n on input line 705.
\toclineskip=\dimen154
\@lnumwidth=\dimen155
\bibindent=\dimen156
\heisei=\count194
) (./master_paper.sty
****************************************************************
** 平成15年度 琉球大学大学院 学位論文(修士) ********************
** スタイルファイル(LaTeX2e) : 非公式 ********************
****************************************************************
\c@defnum=\count195
) (/usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty
Package: ascmac 2020/01/15 v2.1 ascmac wrapper (community edition) 
 (/usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty
Package: tascmac 2020/01/15 v2.1 ascmac package (community edition) 
\@savetbaselineshift=\dimen157
\@saveybaselineshift=\dimen158
\scb@x=\box67
\scscb@x=\box68
\@bw=\dimen159
\@nbox=\box69
\@nbody=\box70
\@scw=\dimen160
\ascmac@hoboxa=\box71
\ascmac@hoboxb=\box72
\@itemh=\dimen161
\@iboxpos=\toks17
\@iboxstr=\box73
\@bwsp=\box74
\@@bwsp=\box75
\@bcal=\count196
\shaderule=\dimen162
)) (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)
 (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks18
) (/usr/share/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR)
 (/usr/share/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
) (/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: dvipdfmx.def on input line 107.
 (/usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
File: dvipdfmx.def 2022/04/12 v5.0k Graphics/color driver for dvipdfmx
))
\Gin@req@height=\dimen163
\Gin@req@width=\dimen164
) (/usr/share/texmf-dist/tex/latex/here/here.sty) (/usr/share/texmf-dist/tex/latex/float/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count197
\float@exts=\toks19
\float@box=\box76
\@float@everytoks=\toks20
\@floatcapt=\box77
) (/usr/share/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count198
\lst@gtempboxa=\box78
\lst@token=\toks21
\lst@length=\count199
\lst@currlwidth=\dimen165
\lst@column=\count266
\lst@pos=\count267
\lst@lostspace=\dimen166
\lst@width=\dimen167
\lst@newlines=\count268
\lst@lineno=\count269
\lst@maxwidth=\dimen168
 (/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2020/03/24 1.8d (Carsten Heinz)
\c@lstnumber=\count270
\lst@skipnumbers=\count271
\lst@framebox=\box79
) (/usr/share/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2020/03/24 1.8d listings configuration
))
Package: listings 2020/03/24 1.8d (Carsten Heinz)
 (/usr/share/texmf-dist/tex/latex/comment/comment.sty
\CommentStream=\write3
 Excluding comment 'comment') (/usr/share/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip16
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
) (/usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty
Package: otf 2022/03/05 TeX JP org, v1.7b8 psitau, u0.27 ttk
LaTeX Font Info:    Redeclaring symbol font `mincho' on input line 322.
LaTeX Font Info:    Overwriting symbol font `mincho' in version `normal'
(Font)                  JY2/mc/m/n --> JY2/hmc/m/n on input line 322.
LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
(Font)                  JY2/gt/m/n --> JY2/hmc/m/n on input line 322.
LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
(Font)                  JY2/hmc/m/n --> JY2/hmc/bx/n on input line 324.
LaTeX Font Info:    Redeclaring math alphabet \mathgt on input line 325.
LaTeX Font Info:    Overwriting math alphabet `\mathgt' in version `normal'
(Font)                  JY2/gt/m/n --> JY2/hgt/m/n on input line 325.
LaTeX Font Info:    Overwriting math alphabet `\mathgt' in version `bold'
(Font)                  JY2/gt/m/n --> JY2/hgt/m/n on input line 325.
LaTeX Font Info:    Overwriting math alphabet `\mathgt' in version `bold'
(Font)                  JY2/hgt/m/n --> JY2/hgt/bx/n on input line 326.
 (/usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
Package: ajmacros 2019/04/01 21:00 iNOUE Koich! <inoue@ma.ns.musashi-tech.ac.jp>
\@tempcntc=\count272
\@tempcntd=\count273
\@tempcnte=\count274
\@tempcntf=\count275
)) (/usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty
Package: mlutf 2004/04/17 v1.1.2 psitau, u0.27 ttk
) (/usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty
Package: mlcid 2004/04/17 v1.0.2 psitau
) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2022-02-21 v7.00n Hypertext links for LaTeX
 (/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO)
) (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
) (/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO)
 (/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode not found.
) (/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
) (/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
) (/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
) (/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
) (/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
) (/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
) (/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO)
)
\@linkdim=\dimen169
\Hy@linkcounter=\count276
\Hy@pagecounter=\count277
 (/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2022-02-21 v7.00n Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
) (/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
) (/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
)
\Hy@SavedSpaceFactor=\count278
 (/usr/share/texmf-dist/tex/latex/hyperref/puenc.def
File: puenc.def 2022-02-21 v7.00n Hyperref: PDF Unicode definition (HO)
Now handling font encoding PU ...
... no UTF-8 mapping file for font encoding PU
)
Package hyperref Info: Hyper figures OFF on input line 4137.
Package hyperref Info: Link nesting OFF on input line 4142.
Package hyperref Info: Hyper index ON on input line 4145.
Package hyperref Info: Plain pages OFF on input line 4152.
Package hyperref Info: Backreferencing OFF on input line 4157.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4390.
\c@Hy@tempcnt=\count279
LaTeX Info: Redefining \url on input line 4749.
\XeTeXLinkMargin=\dimen170
 (/usr/share/texmf-dist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
 (/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO)
))
\Fld@menulength=\count280
\Field@Width=\dimen171
\Fld@charsize=\dimen172
Package hyperref Info: Hyper figures OFF on input line 6027.
Package hyperref Info: Link nesting OFF on input line 6032.
Package hyperref Info: Hyper index ON on input line 6035.
Package hyperref Info: backreferencing OFF on input line 6042.
Package hyperref Info: Link coloring OFF on input line 6047.
Package hyperref Info: Link coloring with OCG OFF on input line 6052.
Package hyperref Info: PDF/A mode OFF on input line 6057.
LaTeX Info: Redefining \ref on input line 6097.
LaTeX Info: Redefining \pageref on input line 6101.
 (/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi
package with kernel methods
)
\Hy@abspage=\count281
\c@Item=\count282
\c@Hfootnote=\count283
)
Package hyperref Info: Driver: hdvipdfm.
 (/usr/share/texmf-dist/tex/latex/hyperref/hdvipdfm.def
File: hdvipdfm.def 2022-02-21 v7.00n Hyperref driver for dvipdfm
\pdfm@box=\box80
\c@Hy@AnnotLevel=\count284
\HyField@AnnotCount=\count285
\Fld@listcount=\count286
\c@bookmark@seq@number=\count287
 (/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
 (/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend package
with kernel methods
) (/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 286.
)
\Hy@SectionHShift=\skip49
) (/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty
Package: pxjahyper 2022/04/01 v1.0
 (/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count288
) (/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty
Package: pxjahyper-enc 2022/04/01 v1.0
) (/usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty
Package: bxjatoucs 2019/10/20 v0.2
)
Package pxjahyper Info: Loaded 'pxjahyper-ajm.def'.
 (/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-ajm.def
File: pxjahyper-ajm.def 2022/04/01 v1.0
) (/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-uni.def
File: pxjahyper-uni.def 2022/04/01 v1.0
)
Package pxjahyper Info: The setup for hyperref 'unicode' is applied.
) (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2021/10/15 v2.17l AMS math features
\@mathmargin=\skip50

For additional information on amsmath, use the `?' option.
(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2021/08/26 v2.01 AMS text
 (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks22
\ex@=\dimen173
)) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen174
) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2021/08/26 v2.02 operator names
)
\inf@bad=\count289
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count290
\leftroot@=\count291
LaTeX Info: Redefining \overline on input line 399.
\classnum@=\count292
\DOTSCASE@=\count293
LaTeX Info: Redefining \ldots on input line 496.
LaTeX Info: Redefining \dots on input line 499.
LaTeX Info: Redefining \cdots on input line 620.
\Mathstrutbox@=\box81
\strutbox@=\box82
\big@size=\dimen175
LaTeX Font Info:    Redeclaring font encoding OML on input line 743.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 744.
\macc@depth=\count294
\c@MaxMatrixCols=\count295
\dotsspace@=\muskip17
\c@parentequation=\count296
\dspbrk@lvl=\count297
\tag@help=\toks23
\row@=\count298
\column@=\count299
\maxfields@=\count300
\andhelp@=\toks24
\eqnshift@=\dimen176
\alignsep@=\dimen177
\tagshift@=\dimen178
\tagwidth@=\dimen179
\totwidth@=\dimen180
\lineht@=\dimen181
\@envbody=\toks25
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks26
LaTeX Info: Redefining \[ on input line 2938.
LaTeX Info: Redefining \] on input line 2939.
) (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
 (/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
LaTeX Font Info:    Redeclaring math symbol \hbar on input line 98.
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
)) (/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
File: lstlang1.sty 2020/03/24 1.8d listings language file
) (/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2020/03/24 1.8d (Carsten Heinz)
)
Package hyperref Info: Option `setpagesize' set `false' on input line 78.
Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 78.
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.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 11.54663pt on input line 83.
 (/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
\g__pdf_backend_object_int=\count301
\l__pdf_backend_content_box=\box84
\l__pdf_backend_model_box=\box85
\g__pdf_backend_annotation_int=\count302
\g__pdf_backend_link_int=\count303
\g__pdf_backend_link_sf_int=\count304
) (./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.
\c@lstlisting=\count305
 (/usr/share/texmf-dist/tex/latex/graphics/color.sty
Package: color 2021/12/07 v1.3c Standard LaTeX Color (DPC)
 (/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package color Info: Driver file: dvipdfmx.def on input line 149.
 (/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.
 (/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
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
) (/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
)
\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.
 (./master_paper.out) (./master_paper.out)
\@outlinefile=\write4
\openout4 = `master_paper.out'.

LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 15.39551pt on input line 86.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 15.39551pt on input line 86.


LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <16> not available
(Font)              size <17.28> substituted on input line 86.

LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(Font)              scaled to size 15.39551pt on input line 86.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 15.39551pt on input line 86.

LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <16> not available
(Font)              size <17.28> substituted on input line 86.

LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 17.31995pt on input line 86.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 17.31995pt on input line 86.

LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <18> not available
(Font)              size <17.28> substituted on input line 86.

LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(Font)              scaled to size 17.31995pt on input line 86.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 17.31995pt on input line 86.

LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <18> not available
(Font)              size <17.28> substituted on input line 86.

LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 13.47107pt on input line 86.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 13.47107pt on input line 86.
File: fig/u-ryukyu-Mark.eps Graphic file (type eps)
<fig/u-ryukyu-Mark.eps>
LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(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

]
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 7.69775pt on input line 91.
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.
 (/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.
 (/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.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 11.54663pt on input line 91.

Overfull \hbox (2.61108pt too wide) in paragraph at lines 91--93
[]$[]$[] []$[]$[] 
 []

[1] (./tex/abst.tex
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 23.94002pt on input line 1.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 23.94002pt on input line 1.
LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(Font)              scaled to size 23.94002pt on input line 1.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 23.94002pt on input line 1.
 [2

]) (./tex/history.tex [3

]) [4

] (./master_paper.toc [1


])
\tf@toc=\write5
\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.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 10.53629pt on input line 108.
LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(Font)              scaled to size 10.53629pt on input line 108.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 10.53629pt on input line 108.
 [2] (./master_paper.lof)
\tf@lof=\write6
\openout6 = `master_paper.lof'.

 [3

] (./master_paper.lol [4

])
\tf@lol=\write7
\openout7 = `master_paper.lol'.

 (./tex/intro.tex [5]
第 1 章(6ページ)
) (./tex/cbc.tex [6

]
第 2 章(7ページ)
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 16.62714pt on input line 9.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 16.62714pt on input line 9.
LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(Font)              scaled to size 16.62714pt on input line 9.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 16.62714pt on input line 9.
Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on input line 31.
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 9.6222pt on input line 31.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 9.6222pt on input line 31.
(./src/cbc/fib.c
consecutive:
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 7.69775pt on input line 5.
[7

]) (./src/cbc/fib.cbc
consecutive:
) (./src/cbc/c.txt
LaTeX Font Info:    Trying to load font information for TS1+cmtt on input line 4.
 (/usr/share/texmf-dist/tex/latex/base/ts1cmtt.fd
File: ts1cmtt.fd 2019/12/16 v2.5j Standard LaTeX font definitions
) [8]) (./src/cbc/cbc.txt) [9]
File: fig/cbc_codegear.pdf Graphic file (type pdf)
<fig/cbc_codegear.pdf>
) (./tex/agda.tex [10]
第 3 章(11ページ)
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 13.85594pt on input line 13.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 13.85594pt on input line 13.
LaTeX Font Info:    Font shape `JT2/hmc/bx/n' will be
(Font)              scaled to size 13.85594pt on input line 13.
LaTeX Font Info:    Font shape `JY2/hmc/bx/n' will be
(Font)              scaled to size 13.85594pt on input line 13.
(./src/agda/plus.agda.replaced
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 6.73553pt on input line 1.
LaTeX Font Info:    Font shape `JY2/hmc/m/n' will be
(Font)              scaled to size 4.8111pt on input line 1.
) [11

] (./src/agda/plus2.agda.replaced
consecutive:
) Excluding 'comment' comment. (./src/agda/Nat.agda.replaced) [12] (./src/agda/And.agda.replaced) (./src/agda/syllogism.agda.replaced) (./src/agda/abridgement.agda.replaced
consecutive:
[13]) (./src/zero.agda.replaced)
LaTeX Font Info:    Trying to load font information for OMS+cmr on input line 135.
 (/usr/share/texmf-dist/tex/latex/base/omscmr.fd
File: omscmr.fd 2019/12/16 v2.5j Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 135.
 [14] (./src/cong.agda.replaced) (./src/agda-term3.agda.replaced) [15]) (./tex/cbc_agda.tex [16]
第 4 章(17ページ)
(./src/agda/cbc-agda.agda.replaced
consecutive:
) (./src/agda/cbc-agda.agda.replaced
consecutive:
) [17

] (./src/agda/cbc-agda.agda.replaced
consecutive:
) (./src/agda/cbc-agda.agda.replaced
consecutive:
)
Overfull \hbox (3.6787pt too wide) in paragraph at lines 68--72
[]\OT1/cmr/m/n/12 Meta CodeGear \JY2/hmc/m/n/12 は 通常の \OT1/cmr/m/n/12 CodeGear \JY2/hmc/m/n/12 では扱えないメタレベルの計算を扱う \OT1/cmr/m/n/12 CodeGear
 []

[18]) (./tex/hoare.tex [19]
第 5 章(20ページ)
[20

]) (./tex/while_loop.tex (./src/while_loop_impl/while_loop_dg.agda.replaced) (./src/while_loop_impl/init_cg.agda.replaced) (./src/while_loop_impl/while_loop.agda.replaced) [21] (./src/while_loop_impl/while_loop_c.agda.replaced) (./src/while_loop_verif/init_cg.agda.replaced) (./src/while_loop_verif/conversion.agda.replaced) [22] (./src/while_loop_verif/while_loop.agda.replaced) (./src/while_loop_verif/verif_term.agda.replaced) [23] (./src/while_loop_verif/verif_loop.agda.replaced) (./src/while_loop_verif/verif.agda.replaced)) (./tex/tree_desc.tex [24]
File: fig/rbt-stack.pdf Graphic file (type pdf)
<fig/rbt-stack.pdf>
 (./src/bt_impl/bt_env.agda.replaced) [25] (./src/bt_impl/find.agda.replaced
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 6.73553pt on input line 10.
LaTeX Font Info:    Font shape `JT2/hmc/m/n' will be
(Font)              scaled to size 4.8111pt on input line 10.
) (./src/bt_impl/replace.agda.replaced [26]) (./src/bt_verif/invariant.agda.replaced) [27] (./src/bt_verif/find.agda.replaced)) (./tex/spin_dpp.tex [28]
第 6 章(29ページ)
File: fig/Dining.pdf Graphic file (type pdf)
<fig/Dining.pdf>
[29

] (./src/dpp-verif/spin.pml [30])
File: fig/dpp-model.pdf Graphic file (type pdf)
<fig/dpp-model.pdf>
) (./tex/dpp_impl.tex [31] [32] (./src/agda-dpp-impl.agda.replaced) (./src/agda-dpp-impl.agda.replaced
consecutive:
) (./src/agda-dpp-impl.agda.replaced
consecutive:
) [33] (./src/agda-dpp-impl.agda.replaced
consecutive:
) (./src/agda-dpp-impl.agda.replaced
consecutive:
) (./src/agda-dpp-impl.agda.replaced
consecutive:
[34]) (./src/dpp-verif/dpp-metadata.agda.replaced [35]) (./src/dpp-verif/dpp-metacode.agda.replaced) [36] (./src/dpp-verif/judge-deadlock.agda.replaced) [37] (./src/dpp-verif/exclude-same-env.agda.replaced) [38] [39]) (./tex/conclusion.tex [40]
第 7 章(41ページ)
) (./tex/thanks.tex [41

]) (./master_paper.bbl [42

]
LaTeX Font Info:    Font shape `JT2/hgt/m/n' will be
(Font)              scaled to size 11.54663pt on input line 11.
LaTeX Font Info:    Font shape `JY2/hgt/m/n' will be
(Font)              scaled to size 11.54663pt on input line 11.
LaTeX Font Info:    Kanji font shape `JY2/hgt/m/it' undefined
(Font)              No change on input line 11.
LaTeX Font Info:    Kanji font shape `JY2/hgt/m/it' undefined
(Font)              No change on input line 23.
LaTeX Font Info:    Kanji font shape `JY2/hgt/m/it' undefined
(Font)              No change on input line 33.
LaTeX Font Info:    Kanji font shape `JY2/hgt/m/it' undefined
(Font)              No change on input line 41.
LaTeX Font Info:    Kanji font shape `JY2/hgt/m/it' undefined
(Font)              No change on input line 68.
 [43

]) [44] (./master_paper.aux)

LaTeX Font Warning: Size substitutions with differences
(Font)              up to 1.28pt have occurred.

Package rerunfilecheck Info: File `master_paper.out' has not changed.
(rerunfilecheck)             Checksum: 752F2940CBC6F3216306FDE56A77D4EF;8014.
 ) 
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
 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).