This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.13)  19 FEB 2018 23:31
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**finalPre.tex
(./finalPre.tex
pLaTeX2e <2016/05/07> (based on LaTeX2e <2016/03/31>)
Babel <3.9r> and hyphenation patterns for 83 language(s) loaded.
(/usr/local/texlive/2016/texmf-dist/tex/platex/base/jarticle.cls
Document Class: jarticle 2006/06/27 v1.6 Standard pLaTeX class
\c@@paper=\count81
(/usr/local/texlive/2016/texmf-dist/tex/platex/base/jsize10.clo
File: jsize10.clo 2006/06/27 v1.6 Standard pLaTeX file (size option)
)
\c@part=\count82
\c@section=\count83
\c@subsection=\count84
\c@subsubsection=\count85
\c@paragraph=\count86
\c@subparagraph=\count87
\c@figure=\count88
\c@table=\count89
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\symmincho=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
(Font)                  JY1/mc/m/n --> JY1/gt/m/n on input line 593.
\toclineskip=\dimen118
\@lnumwidth=\dimen119
\bibindent=\dimen120
\heisei=\count90
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2016/05/09 v1.0r Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/01/02 v1.10 sample graphics configuration
)
Package graphics Info: Driver file: dvipdfmx.def on input line 96.

(/usr/local/texlive/2016/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def
File: dvipdfmx.def 2016/04/06 v4.08 LaTeX color/graphics driver for dvipdfmx (T
eX Live/ChoF)

(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
)
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
)))
\Gin@req@height=\dimen121
\Gin@req@width=\dimen122
)
(./picins.sty Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
\@BILD=\box41
\@TEXT=\box42
\d@breite=\dimen123
\d@hoehe=\dimen124
\d@xoff=\dimen125
\d@yoff=\dimen126
\d@shad=\dimen127
\d@dash=\dimen128
\d@boxl=\dimen129
\d@pichskip=\dimen130
\d@tmp=\dimen131
\d@tmpa=\dimen132
\d@bskip=\dimen133
\hsiz@=\dimen134
\p@getot@l=\dimen135
\c@breite=\count91
\c@hoehe=\count92
\c@xoff=\count93
\c@yoff=\count94
\c@pos=\count95
\c@shad=\count96
\c@dash=\count97
\c@boxl=\count98
\c@zeilen=\count99
\@changemode=\count100
\c@piccaption=\count101
\c@piccaptionpos=\count102
\c@picpos=\count103
\c@whole=\count104
\c@half=\count105
\c@tmp=\count106
\c@tmpa=\count107
\c@tmpb=\count108
\c@tmpc=\count109
\c@tmpd=\count110
\d@leftskip=\skip43
\ptoti=\dimen136
\ptotii=\dimen137
\env@box=\box43
\d@envdp=\dimen138
\c@hsize=\count111
\c@envdp=\count112
\d@envb=\dimen139
)
(./fancyhdr.sty
Package: fancyhdr 2017/06/30 v3.9a Extensive control of page headers and footer
s
\f@nch@headwidth=\skip44
\f@nch@O@elh=\skip45
\f@nch@O@erh=\skip46
\f@nch@O@olh=\skip47
\f@nch@O@orh=\skip48
\f@nch@O@elf=\skip49
\f@nch@O@erf=\skip50
\f@nch@O@olf=\skip51
\f@nch@O@orf=\skip52
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/abstract/abstract.sty
Package: abstract 2009/06/08 v1.2a configurable abstracts
\abstitleskip=\skip53
\absleftindent=\skip54
\absrightindent=\skip55
\absparindent=\skip56
\absparsep=\skip57
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip10
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
) (./bussproofs.sty
Proof Tree (bussproofs) style macros. Version 1.1.
\theLevel=\count113
\myMaxLevel=\count114
\myBoxA=\box44
\myBoxB=\box45
\myBoxC=\box46
\myBoxD=\box47
\myBoxLL=\box48
\myBoxRL=\box49
\thisAboveSkip=\dimen140
\thisBelowSkip=\dimen141
\newScoreStart=\dimen142
\newScoreEnd=\dimen143
\newCenter=\dimen144
\displace=\dimen145
\leftLowerAmt=\dimen146
\rightLowerAmt=\dimen147
\scoreHeight=\dimen148
\scoreDepth=\dimen149
\htLbox=\dimen150
\htRbox=\dimen151
\htRRbox=\dimen152
\htRRRbox=\dimen153
\htAbox=\dimen154
\htCbox=\dimen155
) (/usr/local/texlive/2016/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count115
\lst@gtempboxa=\box50
\lst@token=\toks16
\lst@length=\count116
\lst@currlwidth=\dimen156
\lst@column=\count117
\lst@pos=\count118
\lst@lostspace=\dimen157
\lst@width=\dimen158
\lst@newlines=\count119
\lst@lineno=\count120
\lst@maxwidth=\dimen159

(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
\c@lstnumber=\count121
\lst@skipnumbers=\count122
\lst@framebox=\box51
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2015/06/04 1.6 listings configuration
))
Package: listings 2015/06/04 1.6 (Carsten Heinz)

(./jlisting.sty
Package: jlisting 2006/02/20 0.2 (Thor)
\lst@nextchar=\count123
\lst@inputfile=\read1
) (./dummy.tex)

LaTeX Warning: Unused global option(s):
    [9.5pt].

(./finalPre.aux)
\openout1 = `finalPre.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 41.
LaTeX Font Info:    ... okay on input line 41.
\c@lstlisting=\count124
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 99.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 99.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 99.
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <9> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 99.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <9> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 99.
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <14.4> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 104.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <14.4> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 104.
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 132.

 (/usr/local/texlive/2016/texmf-dist/tex/latex/base/omscmr.fd
File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 132.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 132.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 132.
LaTeX Font Info:    Try loading font information for OML+cmr on input line 132.


(/usr/local/texlive/2016/texmf-dist/tex/latex/base/omlcmr.fd
File: omlcmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OML/cmr/m/n' in size <10> not available
(Font)              Font shape `OML/cmm/m/it' tried instead on input line 132.
File: ../pic/emblem-bitmap.pdf Graphic file (type pdf)

<../pic/emblem-bitmap.pdf>

Package Fancyhdr Warning: \headheight is too small (0.0pt): 
 Make it at least 20.37784pt.
 We now make it that large for the rest of the document.
 This may cause the page layout to be inconsistent, however.

[1


]
Underfull \hbox (badness 10000) in paragraph at lines 193--193
[]\JY1/mc/m/n/10 ソ ースコ ード \OT1/cmr/m/n/10 4: \JY1/mc/m/n/10 抽象的な \OT1
/cmr/m/n/10 Stack \JY1/mc/m/n/10 の定義と
 []

(./finalPre.bbl [2]) [3

] (./finalPre.aux) ) 
Here is how much of TeX's memory you used:
 2652 strings out of 493693
 35610 string characters out of 6149787
 395064 words of memory out of 5000000
 6194 multiletter control sequences out of 15000+600000
 14789 words of font info for 58 fonts, out of 8000000 for 9000
 929 hyphenation exceptions out of 8191
 36i,15n,45p,299b,1738s stack positions out of 5000i,500n,10000p,200000b,80000s

Output written on finalPre.dvi (3 pages, 22724 bytes).