1
|
1 This is e-pTeX, Version 3.14159265-p3.6-141210-2.6 (utf8.euc) (TeX Live 2015) (preloaded format=platex 2016.4.14) 22 OCT 2019 16:09
|
0
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 entering extended mode
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 restricted \write18 enabled.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 file:line:error style messages enabled.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 %&-line parsing enabled.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 **midterm
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 (./midterm.tex
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 pLaTeX2e <2006/11/10> (based on LaTeX2e <2015/01/01> patch level 0)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 Babel <3.9l> and hyphenation patterns for 79 languages loaded.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 (/usr/local/texlive/2015/texmf-dist/tex/platex/base/jarticle.cls
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 Document Class: jarticle 2006/06/27 v1.6 Standard pLaTeX class
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 \c@@paper=\count81
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 (/usr/local/texlive/2015/texmf-dist/tex/platex/base/jsize10.clo
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 File: jsize10.clo 2006/06/27 v1.6 Standard pLaTeX file (size option)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 \c@part=\count82
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 \c@section=\count83
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 \c@subsection=\count84
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 \c@subsubsection=\count85
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 \c@paragraph=\count86
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 \c@subparagraph=\count87
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 \c@figure=\count88
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 \c@table=\count89
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 \abovecaptionskip=\skip41
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 \belowcaptionskip=\skip42
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 \symmincho=\mathgroup4
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27 LaTeX Font Info: Overwriting symbol font `mincho' in version `bold'
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 (Font) JY1/mc/m/n --> JY1/gt/m/n on input line 601.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 \toclineskip=\dimen118
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 \@lnumwidth=\dimen119
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 \bibindent=\dimen120
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 \heisei=\count90
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34 (/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphicx.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 (/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 \KV@toks@=\toks15
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41 (/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphics.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42 Package: graphics 2014/10/28 v1.0p Standard LaTeX Graphics (DPC,SPQR)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 (/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/trig.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 (/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/graphics.cfg
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48 File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50 Package graphics Info: Driver file: dvipdfmx.def on input line 94.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 (/usr/local/texlive/2015/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53 File: dvipdfmx.def 2015/03/26 v4.04 LaTeX color/graphics driver for dvipdfmx (T
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 eX Live/ChoF)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 ))
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 \Gin@req@height=\dimen121
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 \Gin@req@width=\dimen122
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 (./picins.sty Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 \@BILD=\box41
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 \@TEXT=\box42
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62 \d@breite=\dimen123
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 \d@hoehe=\dimen124
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 \d@xoff=\dimen125
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65 \d@yoff=\dimen126
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66 \d@shad=\dimen127
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 \d@dash=\dimen128
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 \d@boxl=\dimen129
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 \d@pichskip=\dimen130
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 \d@tmp=\dimen131
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 \d@tmpa=\dimen132
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 \d@bskip=\dimen133
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 \hsiz@=\dimen134
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 \p@getot@l=\dimen135
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 \c@breite=\count91
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 \c@hoehe=\count92
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 \c@xoff=\count93
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78 \c@yoff=\count94
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79 \c@pos=\count95
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 \c@shad=\count96
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 \c@dash=\count97
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
82 \c@boxl=\count98
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 \c@zeilen=\count99
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84 \@changemode=\count100
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85 \c@piccaption=\count101
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 \c@piccaptionpos=\count102
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87 \c@picpos=\count103
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88 \c@whole=\count104
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 \c@half=\count105
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
90 \c@tmp=\count106
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
91 \c@tmpa=\count107
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
92 \c@tmpb=\count108
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93 \c@tmpc=\count109
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
94 \c@tmpd=\count110
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95 \d@leftskip=\skip43
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 \ptoti=\dimen136
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
97 \ptotii=\dimen137
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
98 \env@box=\box43
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 \d@envdp=\dimen138
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
100 \c@hsize=\count111
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
101 \c@envdp=\count112
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 \d@envb=\dimen139
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
104 (/usr/local/texlive/2015/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
105 \fancy@headwidth=\skip44
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
106 \f@ncyO@elh=\skip45
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107 \f@ncyO@erh=\skip46
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
108 \f@ncyO@olh=\skip47
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
109 \f@ncyO@orh=\skip48
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
110 \f@ncyO@elf=\skip49
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111 \f@ncyO@erf=\skip50
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 \f@ncyO@olf=\skip51
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113 \f@ncyO@orf=\skip52
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
114 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
115 (/usr/local/texlive/2015/texmf-dist/tex/latex/url/url.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
116 \Urlmuskip=\muskip10
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
117 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
118 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119 (/usr/local/texlive/2015/texmf-dist/tex/latex/bussproofs/bussproofs.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120 Proof Tree (bussproofs) style macros. Version 1.1.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
121 \theLevel=\count113
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
122 \myMaxLevel=\count114
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
123 \myBoxA=\box44
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
124 \myBoxB=\box45
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
125 \myBoxC=\box46
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
126 \myBoxD=\box47
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
127 \myBoxLL=\box48
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
128 \myBoxRL=\box49
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
129 \thisAboveSkip=\dimen140
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
130 \thisBelowSkip=\dimen141
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
131 \newScoreStart=\dimen142
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
132 \newScoreEnd=\dimen143
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
133 \newCenter=\dimen144
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
134 \displace=\dimen145
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
135 \leftLowerAmt=\dimen146
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
136 \rightLowerAmt=\dimen147
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137 \scoreHeight=\dimen148
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
138 \scoreDepth=\dimen149
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
139 \htLbox=\dimen150
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
140 \htRbox=\dimen151
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
141 \htRRbox=\dimen152
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142 \htRRRbox=\dimen153
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 \htAbox=\dimen154
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144 \htCbox=\dimen155
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 ) (/usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146 \lst@mode=\count115
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
147 \lst@gtempboxa=\box50
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
148 \lst@token=\toks16
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
149 \lst@length=\count116
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
150 \lst@currlwidth=\dimen156
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151 \lst@column=\count117
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152 \lst@pos=\count118
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
153 \lst@lostspace=\dimen157
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
154 \lst@width=\dimen158
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
155 \lst@newlines=\count119
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
156 \lst@lineno=\count120
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
157 \lst@maxwidth=\dimen159
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
158
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
159 (/usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
160 File: lstmisc.sty 2014/09/06 1.5e (Carsten Heinz)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
161 \c@lstnumber=\count121
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
162 \lst@skipnumbers=\count122
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163 \lst@framebox=\box51
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
164 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
165 (/usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.cfg
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
166 File: listings.cfg 2014/09/06 1.5e listings configuration
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
167 ))
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
168 Package: listings 2014/09/06 1.5e (Carsten Heinz)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
169
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
170
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
171 ! LaTeX Error: File `jlisting.sty' not found.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
172
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
173 Type X to quit or <RETURN> to proceed,
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
174 or enter new name. (Default extension: sty)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
175
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
176 Enter file name:
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
177 (/usr/local/texlive/2015/texmf-dist/tex/latex/cite/cite.sty
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
178 LaTeX Info: Redefining \cite on input line 302.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
179 LaTeX Info: Redefining \nocite on input line 332.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
180 Package: cite 2015/02/27 v 5.5
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
181 )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
182
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183 LaTeX Warning: Unused global option(s):
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184 [9.5pt].
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
185
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
186 (./midterm.aux)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
187 \openout1 = `midterm.aux'.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
189 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
190 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
191 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
192 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
193 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
195 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
196 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
197 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
198 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
199 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
200 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
201 LaTeX Font Info: Checking defaults for JY1/mc/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
202 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
203 LaTeX Font Info: Checking defaults for JT1/mc/m/n on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
204 LaTeX Font Info: ... okay on input line 38.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
205 \c@lstlisting=\count123
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
206 LaTeX Font Info: External font `cmex10' loaded for size
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
207 (Font) <12> on input line 43.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
208 LaTeX Font Info: External font `cmex10' loaded for size
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
209 (Font) <8> on input line 43.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
210 LaTeX Font Info: External font `cmex10' loaded for size
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
211 (Font) <6> on input line 43.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
212 LaTeX Font Info: Font shape `JT1/mc/bx/n' in size <14.4> not available
|
1
|
213 (Font) Font shape `JT1/gt/m/n' tried instead on input line 47.
|
0
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
214 LaTeX Font Info: Font shape `JY1/mc/bx/n' in size <14.4> not available
|
1
|
215 (Font) Font shape `JY1/gt/m/n' tried instead on input line 47.
|
0
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
216
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
217 No file midterm.bbl.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
218 File: ./images/emblem-bitmap.pdf Graphic file (type pdf)
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
219 <./images/emblem-bitmap.pdf>
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
220
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
221 Package Fancyhdr Warning: \headheight is too small (0.0pt):
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
222 Make it at least 20.37784pt.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
223 We now make it that large for the rest of the document.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
224 This may cause the page layout to be inconsistent, however.
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
225
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
226 [1
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
227
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
228
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
229 ] (./midterm.aux) )
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
230 Here is how much of TeX's memory you used:
|
1
|
231 2377 strings out of 493777
|
|
232 31412 string characters out of 6151334
|
|
233 100133 words of memory out of 5000000
|
|
234 5885 multiletter control sequences out of 15000+600000
|
0
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
235 13101 words of font info for 51 fonts, out of 8000000 for 9000
|
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
236 929 hyphenation exceptions out of 8191
|
1
|
237 27i,15n,43p,274b,366s stack positions out of 5000i,500n,10000p,200000b,80000s
|
0
Fukuda Kouki <k.fukuda@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
238
|
1
|
239 Output written on midterm.dvi (1 page, 5408 bytes).
|