Mercurial > hg > Papers > 2018 > suruga-thesis

annotate paper/final_main/main.log @ 25:df67999ffb29

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author suruga
date Mon, 19 Feb 2018 16:25:22 +0900
parents bf55a5069bf1
children f6a62539e722
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25
suruga
parents: 24
diff changeset
1 This is e-pTeX, Version 3.14159265-p3.7.1-161114-2.6 (utf8.euc) (TeX Live 2017) (preloaded format=platex 2018.2.19) 19 FEB 2018 16:24
4
0f938112b48e add paper
suruga
parents:
diff changeset
2 entering extended mode
0f938112b48e add paper
suruga
parents:
diff changeset
3 restricted \write18 enabled.
0f938112b48e add paper
suruga
parents:
diff changeset
4 %&-line parsing enabled.
0f938112b48e add paper
suruga
parents:
diff changeset
5 **main
0f938112b48e add paper
suruga
parents:
diff changeset
6 (./main.tex
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
7 pLaTeX2e <2017/10/28>+4 (based on LaTeX2e <2017-04-15>)
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
8 Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
4
0f938112b48e add paper
suruga
parents:
diff changeset
9 (/usr/local/texlive/2017/texmf-dist/tex/platex/base/jreport.cls
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
10 Document Class: jreport 2017/09/19 v1.7g Standard pLaTeX class
4
0f938112b48e add paper
suruga
parents:
diff changeset
11 \c@@paper=\count82
0f938112b48e add paper
suruga
parents:
diff changeset
12 (/usr/local/texlive/2017/texmf-dist/tex/platex/base/jsize12.clo
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
13 File: jsize12.clo 2017/09/19 v1.7g Standard pLaTeX file (size option)
4
0f938112b48e add paper
suruga
parents:
diff changeset
14 )
0f938112b48e add paper
suruga
parents:
diff changeset
15 \c@part=\count83
0f938112b48e add paper
suruga
parents:
diff changeset
16 \c@chapter=\count84
0f938112b48e add paper
suruga
parents:
diff changeset
17 \c@section=\count85
0f938112b48e add paper
suruga
parents:
diff changeset
18 \c@subsection=\count86
0f938112b48e add paper
suruga
parents:
diff changeset
19 \c@subsubsection=\count87
0f938112b48e add paper
suruga
parents:
diff changeset
20 \c@paragraph=\count88
0f938112b48e add paper
suruga
parents:
diff changeset
21 \c@subparagraph=\count89
0f938112b48e add paper
suruga
parents:
diff changeset
22 \c@figure=\count90
0f938112b48e add paper
suruga
parents:
diff changeset
23 \c@table=\count91
0f938112b48e add paper
suruga
parents:
diff changeset
24 \abovecaptionskip=\skip41
0f938112b48e add paper
suruga
parents:
diff changeset
25 \belowcaptionskip=\skip42
0f938112b48e add paper
suruga
parents:
diff changeset
26 \symmincho=\mathgroup4
0f938112b48e add paper
suruga
parents:
diff changeset
27 LaTeX Font Info: Overwriting symbol font `mincho' in version `bold'
0f938112b48e add paper
suruga
parents:
diff changeset
28 (Font) JY1/mc/m/n --> JY1/gt/m/n on input line 702.
0f938112b48e add paper
suruga
parents:
diff changeset
29 \toclineskip=\dimen118
0f938112b48e add paper
suruga
parents:
diff changeset
30 \@lnumwidth=\dimen119
0f938112b48e add paper
suruga
parents:
diff changeset
31 \bibindent=\dimen120
0f938112b48e add paper
suruga
parents:
diff changeset
32 \heisei=\count92
0f938112b48e add paper
suruga
parents:
diff changeset
33 )
0f938112b48e add paper
suruga
parents:
diff changeset
34 (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
35 Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
4
0f938112b48e add paper
suruga
parents:
diff changeset
36
0f938112b48e add paper
suruga
parents:
diff changeset
37 (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty
0f938112b48e add paper
suruga
parents:
diff changeset
38 Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
0f938112b48e add paper
suruga
parents:
diff changeset
39 \KV@toks@=\toks15
0f938112b48e add paper
suruga
parents:
diff changeset
40 )
0f938112b48e add paper
suruga
parents:
diff changeset
41 (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
42 Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
4
0f938112b48e add paper
suruga
parents:
diff changeset
43
0f938112b48e add paper
suruga
parents:
diff changeset
44 (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty
0f938112b48e add paper
suruga
parents:
diff changeset
45 Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
0f938112b48e add paper
suruga
parents:
diff changeset
46 )
0f938112b48e add paper
suruga
parents:
diff changeset
47 (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
0f938112b48e add paper
suruga
parents:
diff changeset
48 File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
0f938112b48e add paper
suruga
parents:
diff changeset
49 )
0f938112b48e add paper
suruga
parents:
diff changeset
50 Package graphics Info: Driver file: dvipdfmx.def on input line 99.
0f938112b48e add paper
suruga
parents:
diff changeset
51
0f938112b48e add paper
suruga
parents:
diff changeset
52 (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
53 File: dvipdfmx.def 2017/06/24 v5.0g Graphics/color driver for dvipdfmx
4
0f938112b48e add paper
suruga
parents:
diff changeset
54 ))
0f938112b48e add paper
suruga
parents:
diff changeset
55 \Gin@req@height=\dimen121
0f938112b48e add paper
suruga
parents:
diff changeset
56 \Gin@req@width=\dimen122
0f938112b48e add paper
suruga
parents:
diff changeset
57 )
0f938112b48e add paper
suruga
parents:
diff changeset
58 (./mythesis.sty)
0f938112b48e add paper
suruga
parents:
diff changeset
59 (/usr/local/texlive/2017/texmf-dist/tex/latex/bussproofs/bussproofs.sty
0f938112b48e add paper
suruga
parents:
diff changeset
60 Proof Tree (bussproofs) style macros. Version 1.1.
0f938112b48e add paper
suruga
parents:
diff changeset
61 \theLevel=\count93
0f938112b48e add paper
suruga
parents:
diff changeset
62 \myMaxLevel=\count94
0f938112b48e add paper
suruga
parents:
diff changeset
63 \myBoxA=\box42
0f938112b48e add paper
suruga
parents:
diff changeset
64 \myBoxB=\box43
0f938112b48e add paper
suruga
parents:
diff changeset
65 \myBoxC=\box44
0f938112b48e add paper
suruga
parents:
diff changeset
66 \myBoxD=\box45
0f938112b48e add paper
suruga
parents:
diff changeset
67 \myBoxLL=\box46
0f938112b48e add paper
suruga
parents:
diff changeset
68 \myBoxRL=\box47
0f938112b48e add paper
suruga
parents:
diff changeset
69 \thisAboveSkip=\dimen123
0f938112b48e add paper
suruga
parents:
diff changeset
70 \thisBelowSkip=\dimen124
0f938112b48e add paper
suruga
parents:
diff changeset
71 \newScoreStart=\dimen125
0f938112b48e add paper
suruga
parents:
diff changeset
72 \newScoreEnd=\dimen126
0f938112b48e add paper
suruga
parents:
diff changeset
73 \newCenter=\dimen127
0f938112b48e add paper
suruga
parents:
diff changeset
74 \displace=\dimen128
0f938112b48e add paper
suruga
parents:
diff changeset
75 \leftLowerAmt=\dimen129
0f938112b48e add paper
suruga
parents:
diff changeset
76 \rightLowerAmt=\dimen130
0f938112b48e add paper
suruga
parents:
diff changeset
77 \scoreHeight=\dimen131
0f938112b48e add paper
suruga
parents:
diff changeset
78 \scoreDepth=\dimen132
0f938112b48e add paper
suruga
parents:
diff changeset
79 \htLbox=\dimen133
0f938112b48e add paper
suruga
parents:
diff changeset
80 \htRbox=\dimen134
0f938112b48e add paper
suruga
parents:
diff changeset
81 \htRRbox=\dimen135
0f938112b48e add paper
suruga
parents:
diff changeset
82 \htRRRbox=\dimen136
0f938112b48e add paper
suruga
parents:
diff changeset
83 \htAbox=\dimen137
0f938112b48e add paper
suruga
parents:
diff changeset
84 \htCbox=\dimen138
0f938112b48e add paper
suruga
parents:
diff changeset
85 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/multirow/multirow.sty
0f938112b48e add paper
suruga
parents:
diff changeset
86 Package: multirow 2016/11/25 v2.2 Span multiple rows of a table
0f938112b48e add paper
suruga
parents:
diff changeset
87 \multirow@colwidth=\skip43
0f938112b48e add paper
suruga
parents:
diff changeset
88 \multirow@cntb=\count95
0f938112b48e add paper
suruga
parents:
diff changeset
89 \multirow@dima=\skip44
0f938112b48e add paper
suruga
parents:
diff changeset
90 \bigstrutjot=\dimen139
0f938112b48e add paper
suruga
parents:
diff changeset
91 )
0f938112b48e add paper
suruga
parents:
diff changeset
92 (/usr/local/texlive/2017/texmf-dist/tex/latex/here/here.sty)
0f938112b48e add paper
suruga
parents:
diff changeset
93 (/usr/local/texlive/2017/texmf-dist/tex/latex/float/float.sty
0f938112b48e add paper
suruga
parents:
diff changeset
94 Package: float 2001/11/08 v1.3d Float enhancements (AL)
0f938112b48e add paper
suruga
parents:
diff changeset
95 \c@float@type=\count96
0f938112b48e add paper
suruga
parents:
diff changeset
96 \float@exts=\toks16
0f938112b48e add paper
suruga
parents:
diff changeset
97 \float@box=\box48
0f938112b48e add paper
suruga
parents:
diff changeset
98 \@float@everytoks=\toks17
0f938112b48e add paper
suruga
parents:
diff changeset
99 \@floatcapt=\box49
0f938112b48e add paper
suruga
parents:
diff changeset
100 )
0f938112b48e add paper
suruga
parents:
diff changeset
101 (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.sty
0f938112b48e add paper
suruga
parents:
diff changeset
102 \lst@mode=\count97
0f938112b48e add paper
suruga
parents:
diff changeset
103 \lst@gtempboxa=\box50
0f938112b48e add paper
suruga
parents:
diff changeset
104 \lst@token=\toks18
0f938112b48e add paper
suruga
parents:
diff changeset
105 \lst@length=\count98
0f938112b48e add paper
suruga
parents:
diff changeset
106 \lst@currlwidth=\dimen140
0f938112b48e add paper
suruga
parents:
diff changeset
107 \lst@column=\count99
0f938112b48e add paper
suruga
parents:
diff changeset
108 \lst@pos=\count100
0f938112b48e add paper
suruga
parents:
diff changeset
109 \lst@lostspace=\dimen141
0f938112b48e add paper
suruga
parents:
diff changeset
110 \lst@width=\dimen142
0f938112b48e add paper
suruga
parents:
diff changeset
111 \lst@newlines=\count101
0f938112b48e add paper
suruga
parents:
diff changeset
112 \lst@lineno=\count102
0f938112b48e add paper
suruga
parents:
diff changeset
113 \lst@maxwidth=\dimen143
0f938112b48e add paper
suruga
parents:
diff changeset
114
0f938112b48e add paper
suruga
parents:
diff changeset
115 (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/lstmisc.sty
0f938112b48e add paper
suruga
parents:
diff changeset
116 File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
0f938112b48e add paper
suruga
parents:
diff changeset
117 \c@lstnumber=\count103
0f938112b48e add paper
suruga
parents:
diff changeset
118 \lst@skipnumbers=\count104
0f938112b48e add paper
suruga
parents:
diff changeset
119 \lst@framebox=\box51
0f938112b48e add paper
suruga
parents:
diff changeset
120 )
0f938112b48e add paper
suruga
parents:
diff changeset
121 (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.cfg
0f938112b48e add paper
suruga
parents:
diff changeset
122 File: listings.cfg 2015/06/04 1.6 listings configuration
0f938112b48e add paper
suruga
parents:
diff changeset
123 ))
0f938112b48e add paper
suruga
parents:
diff changeset
124 Package: listings 2015/06/04 1.6 (Carsten Heinz)
0f938112b48e add paper
suruga
parents:
diff changeset
125
0f938112b48e add paper
suruga
parents:
diff changeset
126 (/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty
0f938112b48e add paper
suruga
parents:
diff changeset
127 \Urlmuskip=\muskip10
0f938112b48e add paper
suruga
parents:
diff changeset
128 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
0f938112b48e add paper
suruga
parents:
diff changeset
129 )
0f938112b48e add paper
suruga
parents:
diff changeset
130 (/usr/local/texlive/2017/texmf-dist/tex/latex/cite/cite.sty
0f938112b48e add paper
suruga
parents:
diff changeset
131 LaTeX Info: Redefining \cite on input line 302.
0f938112b48e add paper
suruga
parents:
diff changeset
132 LaTeX Info: Redefining \nocite on input line 332.
0f938112b48e add paper
suruga
parents:
diff changeset
133 Package: cite 2015/02/27 v 5.5
0f938112b48e add paper
suruga
parents:
diff changeset
134 )
0f938112b48e add paper
suruga
parents:
diff changeset
135 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty
0f938112b48e add paper
suruga
parents:
diff changeset
136 Package: amssymb 2013/01/14 v3.01 AMS font symbols
0f938112b48e add paper
suruga
parents:
diff changeset
137
0f938112b48e add paper
suruga
parents:
diff changeset
138 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty
0f938112b48e add paper
suruga
parents:
diff changeset
139 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
0f938112b48e add paper
suruga
parents:
diff changeset
140 \@emptytoks=\toks19
0f938112b48e add paper
suruga
parents:
diff changeset
141 \symAMSa=\mathgroup5
0f938112b48e add paper
suruga
parents:
diff changeset
142 \symAMSb=\mathgroup6
0f938112b48e add paper
suruga
parents:
diff changeset
143 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
0f938112b48e add paper
suruga
parents:
diff changeset
144 (Font) U/euf/m/n --> U/euf/b/n on input line 106.
0f938112b48e add paper
suruga
parents:
diff changeset
145 ))
0f938112b48e add paper
suruga
parents:
diff changeset
146 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
147 Package: amsmath 2017/09/02 v2.17a AMS math features
4
0f938112b48e add paper
suruga
parents:
diff changeset
148 \@mathmargin=\skip45
0f938112b48e add paper
suruga
parents:
diff changeset
149
0f938112b48e add paper
suruga
parents:
diff changeset
150 For additional information on amsmath, use the `?' option.
0f938112b48e add paper
suruga
parents:
diff changeset
151 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty
0f938112b48e add paper
suruga
parents:
diff changeset
152 Package: amstext 2000/06/29 v2.01 AMS text
0f938112b48e add paper
suruga
parents:
diff changeset
153
0f938112b48e add paper
suruga
parents:
diff changeset
154 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty
0f938112b48e add paper
suruga
parents:
diff changeset
155 File: amsgen.sty 1999/11/30 v2.0 generic functions
0f938112b48e add paper
suruga
parents:
diff changeset
156 \@emptytoks=\toks20
0f938112b48e add paper
suruga
parents:
diff changeset
157 \ex@=\dimen144
0f938112b48e add paper
suruga
parents:
diff changeset
158 ))
0f938112b48e add paper
suruga
parents:
diff changeset
159 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty
0f938112b48e add paper
suruga
parents:
diff changeset
160 Package: amsbsy 1999/11/29 v1.2d Bold Symbols
0f938112b48e add paper
suruga
parents:
diff changeset
161 \pmbraise@=\dimen145
0f938112b48e add paper
suruga
parents:
diff changeset
162 )
0f938112b48e add paper
suruga
parents:
diff changeset
163 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty
0f938112b48e add paper
suruga
parents:
diff changeset
164 Package: amsopn 2016/03/08 v2.02 operator names
0f938112b48e add paper
suruga
parents:
diff changeset
165 )
0f938112b48e add paper
suruga
parents:
diff changeset
166 \inf@bad=\count105
0f938112b48e add paper
suruga
parents:
diff changeset
167 LaTeX Info: Redefining \frac on input line 213.
0f938112b48e add paper
suruga
parents:
diff changeset
168 \uproot@=\count106
0f938112b48e add paper
suruga
parents:
diff changeset
169 \leftroot@=\count107
0f938112b48e add paper
suruga
parents:
diff changeset
170 LaTeX Info: Redefining \overline on input line 375.
0f938112b48e add paper
suruga
parents:
diff changeset
171 \classnum@=\count108
0f938112b48e add paper
suruga
parents:
diff changeset
172 \DOTSCASE@=\count109
0f938112b48e add paper
suruga
parents:
diff changeset
173 LaTeX Info: Redefining \ldots on input line 472.
0f938112b48e add paper
suruga
parents:
diff changeset
174 LaTeX Info: Redefining \dots on input line 475.
0f938112b48e add paper
suruga
parents:
diff changeset
175 LaTeX Info: Redefining \cdots on input line 596.
0f938112b48e add paper
suruga
parents:
diff changeset
176 \Mathstrutbox@=\box52
0f938112b48e add paper
suruga
parents:
diff changeset
177 \strutbox@=\box53
0f938112b48e add paper
suruga
parents:
diff changeset
178 \big@size=\dimen146
0f938112b48e add paper
suruga
parents:
diff changeset
179 LaTeX Font Info: Redeclaring font encoding OML on input line 712.
0f938112b48e add paper
suruga
parents:
diff changeset
180 LaTeX Font Info: Redeclaring font encoding OMS on input line 713.
0f938112b48e add paper
suruga
parents:
diff changeset
181 \macc@depth=\count110
0f938112b48e add paper
suruga
parents:
diff changeset
182 \c@MaxMatrixCols=\count111
0f938112b48e add paper
suruga
parents:
diff changeset
183 \dotsspace@=\muskip11
0f938112b48e add paper
suruga
parents:
diff changeset
184 \c@parentequation=\count112
0f938112b48e add paper
suruga
parents:
diff changeset
185 \dspbrk@lvl=\count113
0f938112b48e add paper
suruga
parents:
diff changeset
186 \tag@help=\toks21
0f938112b48e add paper
suruga
parents:
diff changeset
187 \row@=\count114
0f938112b48e add paper
suruga
parents:
diff changeset
188 \column@=\count115
0f938112b48e add paper
suruga
parents:
diff changeset
189 \maxfields@=\count116
0f938112b48e add paper
suruga
parents:
diff changeset
190 \andhelp@=\toks22
0f938112b48e add paper
suruga
parents:
diff changeset
191 \eqnshift@=\dimen147
0f938112b48e add paper
suruga
parents:
diff changeset
192 \alignsep@=\dimen148
0f938112b48e add paper
suruga
parents:
diff changeset
193 \tagshift@=\dimen149
0f938112b48e add paper
suruga
parents:
diff changeset
194 \tagwidth@=\dimen150
0f938112b48e add paper
suruga
parents:
diff changeset
195 \totwidth@=\dimen151
0f938112b48e add paper
suruga
parents:
diff changeset
196 \lineht@=\dimen152
0f938112b48e add paper
suruga
parents:
diff changeset
197 \@envbody=\toks23
0f938112b48e add paper
suruga
parents:
diff changeset
198 \multlinegap=\skip46
0f938112b48e add paper
suruga
parents:
diff changeset
199 \multlinetaggap=\skip47
0f938112b48e add paper
suruga
parents:
diff changeset
200 \mathdisplay@stack=\toks24
0f938112b48e add paper
suruga
parents:
diff changeset
201 LaTeX Info: Redefining \[ on input line 2817.
0f938112b48e add paper
suruga
parents:
diff changeset
202 LaTeX Info: Redefining \] on input line 2818.
0f938112b48e add paper
suruga
parents:
diff changeset
203 )
9
57ea24b150cc add paper
suruga
parents: 4
diff changeset
204
57ea24b150cc add paper
suruga
parents: 4
diff changeset
205 ! LaTeX Error: File `jlisting.sty' not found.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
206
57ea24b150cc add paper
suruga
parents: 4
diff changeset
207 Type X to quit or <RETURN> to proceed,
57ea24b150cc add paper
suruga
parents: 4
diff changeset
208 or enter new name. (Default extension: sty)
57ea24b150cc add paper
suruga
parents: 4
diff changeset
209
57ea24b150cc add paper
suruga
parents: 4
diff changeset
210 Enter file name:
4
0f938112b48e add paper
suruga
parents:
diff changeset
211 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/inputenc.sty
0f938112b48e add paper
suruga
parents:
diff changeset
212 Package: inputenc 2015/03/17 v1.2c Input encoding file
0f938112b48e add paper
suruga
parents:
diff changeset
213 \inpenc@prehook=\toks25
0f938112b48e add paper
suruga
parents:
diff changeset
214 \inpenc@posthook=\toks26
0f938112b48e add paper
suruga
parents:
diff changeset
215
0f938112b48e add paper
suruga
parents:
diff changeset
216 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/utf8.def
0f938112b48e add paper
suruga
parents:
diff changeset
217 File: utf8.def 2017/01/28 v1.1t UTF-8 support for inputenc
0f938112b48e add paper
suruga
parents:
diff changeset
218 Now handling font encoding OML ...
0f938112b48e add paper
suruga
parents:
diff changeset
219 ... no UTF-8 mapping file for font encoding OML
0f938112b48e add paper
suruga
parents:
diff changeset
220 Now handling font encoding T1 ...
0f938112b48e add paper
suruga
parents:
diff changeset
221 ... processing UTF-8 mapping file for font encoding T1
0f938112b48e add paper
suruga
parents:
diff changeset
222
0f938112b48e add paper
suruga
parents:
diff changeset
223 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.dfu
0f938112b48e add paper
suruga
parents:
diff changeset
224 File: t1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
0f938112b48e add paper
suruga
parents:
diff changeset
225 defining Unicode char U+00A0 (decimal 160)
0f938112b48e add paper
suruga
parents:
diff changeset
226 defining Unicode char U+00A1 (decimal 161)
0f938112b48e add paper
suruga
parents:
diff changeset
227 defining Unicode char U+00A3 (decimal 163)
0f938112b48e add paper
suruga
parents:
diff changeset
228 defining Unicode char U+00AB (decimal 171)
0f938112b48e add paper
suruga
parents:
diff changeset
229 defining Unicode char U+00AD (decimal 173)
0f938112b48e add paper
suruga
parents:
diff changeset
230 defining Unicode char U+00BB (decimal 187)
0f938112b48e add paper
suruga
parents:
diff changeset
231 defining Unicode char U+00BF (decimal 191)
0f938112b48e add paper
suruga
parents:
diff changeset
232 defining Unicode char U+00C0 (decimal 192)
0f938112b48e add paper
suruga
parents:
diff changeset
233 defining Unicode char U+00C1 (decimal 193)
0f938112b48e add paper
suruga
parents:
diff changeset
234 defining Unicode char U+00C2 (decimal 194)
0f938112b48e add paper
suruga
parents:
diff changeset
235 defining Unicode char U+00C3 (decimal 195)
0f938112b48e add paper
suruga
parents:
diff changeset
236 defining Unicode char U+00C4 (decimal 196)
0f938112b48e add paper
suruga
parents:
diff changeset
237 defining Unicode char U+00C5 (decimal 197)
0f938112b48e add paper
suruga
parents:
diff changeset
238 defining Unicode char U+00C6 (decimal 198)
0f938112b48e add paper
suruga
parents:
diff changeset
239 defining Unicode char U+00C7 (decimal 199)
0f938112b48e add paper
suruga
parents:
diff changeset
240 defining Unicode char U+00C8 (decimal 200)
0f938112b48e add paper
suruga
parents:
diff changeset
241 defining Unicode char U+00C9 (decimal 201)
0f938112b48e add paper
suruga
parents:
diff changeset
242 defining Unicode char U+00CA (decimal 202)
0f938112b48e add paper
suruga
parents:
diff changeset
243 defining Unicode char U+00CB (decimal 203)
0f938112b48e add paper
suruga
parents:
diff changeset
244 defining Unicode char U+00CC (decimal 204)
0f938112b48e add paper
suruga
parents:
diff changeset
245 defining Unicode char U+00CD (decimal 205)
0f938112b48e add paper
suruga
parents:
diff changeset
246 defining Unicode char U+00CE (decimal 206)
0f938112b48e add paper
suruga
parents:
diff changeset
247 defining Unicode char U+00CF (decimal 207)
0f938112b48e add paper
suruga
parents:
diff changeset
248 defining Unicode char U+00D0 (decimal 208)
0f938112b48e add paper
suruga
parents:
diff changeset
249 defining Unicode char U+00D1 (decimal 209)
0f938112b48e add paper
suruga
parents:
diff changeset
250 defining Unicode char U+00D2 (decimal 210)
0f938112b48e add paper
suruga
parents:
diff changeset
251 defining Unicode char U+00D3 (decimal 211)
0f938112b48e add paper
suruga
parents:
diff changeset
252 defining Unicode char U+00D4 (decimal 212)
0f938112b48e add paper
suruga
parents:
diff changeset
253 defining Unicode char U+00D5 (decimal 213)
0f938112b48e add paper
suruga
parents:
diff changeset
254 defining Unicode char U+00D6 (decimal 214)
0f938112b48e add paper
suruga
parents:
diff changeset
255 defining Unicode char U+00D8 (decimal 216)
0f938112b48e add paper
suruga
parents:
diff changeset
256 defining Unicode char U+00D9 (decimal 217)
0f938112b48e add paper
suruga
parents:
diff changeset
257 defining Unicode char U+00DA (decimal 218)
0f938112b48e add paper
suruga
parents:
diff changeset
258 defining Unicode char U+00DB (decimal 219)
0f938112b48e add paper
suruga
parents:
diff changeset
259 defining Unicode char U+00DC (decimal 220)
0f938112b48e add paper
suruga
parents:
diff changeset
260 defining Unicode char U+00DD (decimal 221)
0f938112b48e add paper
suruga
parents:
diff changeset
261 defining Unicode char U+00DE (decimal 222)
0f938112b48e add paper
suruga
parents:
diff changeset
262 defining Unicode char U+00DF (decimal 223)
0f938112b48e add paper
suruga
parents:
diff changeset
263 defining Unicode char U+00E0 (decimal 224)
0f938112b48e add paper
suruga
parents:
diff changeset
264 defining Unicode char U+00E1 (decimal 225)
0f938112b48e add paper
suruga
parents:
diff changeset
265 defining Unicode char U+00E2 (decimal 226)
0f938112b48e add paper
suruga
parents:
diff changeset
266 defining Unicode char U+00E3 (decimal 227)
0f938112b48e add paper
suruga
parents:
diff changeset
267 defining Unicode char U+00E4 (decimal 228)
0f938112b48e add paper
suruga
parents:
diff changeset
268 defining Unicode char U+00E5 (decimal 229)
0f938112b48e add paper
suruga
parents:
diff changeset
269 defining Unicode char U+00E6 (decimal 230)
0f938112b48e add paper
suruga
parents:
diff changeset
270 defining Unicode char U+00E7 (decimal 231)
0f938112b48e add paper
suruga
parents:
diff changeset
271 defining Unicode char U+00E8 (decimal 232)
0f938112b48e add paper
suruga
parents:
diff changeset
272 defining Unicode char U+00E9 (decimal 233)
0f938112b48e add paper
suruga
parents:
diff changeset
273 defining Unicode char U+00EA (decimal 234)
0f938112b48e add paper
suruga
parents:
diff changeset
274 defining Unicode char U+00EB (decimal 235)
0f938112b48e add paper
suruga
parents:
diff changeset
275 defining Unicode char U+00EC (decimal 236)
0f938112b48e add paper
suruga
parents:
diff changeset
276 defining Unicode char U+00ED (decimal 237)
0f938112b48e add paper
suruga
parents:
diff changeset
277 defining Unicode char U+00EE (decimal 238)
0f938112b48e add paper
suruga
parents:
diff changeset
278 defining Unicode char U+00EF (decimal 239)
0f938112b48e add paper
suruga
parents:
diff changeset
279 defining Unicode char U+00F0 (decimal 240)
0f938112b48e add paper
suruga
parents:
diff changeset
280 defining Unicode char U+00F1 (decimal 241)
0f938112b48e add paper
suruga
parents:
diff changeset
281 defining Unicode char U+00F2 (decimal 242)
0f938112b48e add paper
suruga
parents:
diff changeset
282 defining Unicode char U+00F3 (decimal 243)
0f938112b48e add paper
suruga
parents:
diff changeset
283 defining Unicode char U+00F4 (decimal 244)
0f938112b48e add paper
suruga
parents:
diff changeset
284 defining Unicode char U+00F5 (decimal 245)
0f938112b48e add paper
suruga
parents:
diff changeset
285 defining Unicode char U+00F6 (decimal 246)
0f938112b48e add paper
suruga
parents:
diff changeset
286 defining Unicode char U+00F8 (decimal 248)
0f938112b48e add paper
suruga
parents:
diff changeset
287 defining Unicode char U+00F9 (decimal 249)
0f938112b48e add paper
suruga
parents:
diff changeset
288 defining Unicode char U+00FA (decimal 250)
0f938112b48e add paper
suruga
parents:
diff changeset
289 defining Unicode char U+00FB (decimal 251)
0f938112b48e add paper
suruga
parents:
diff changeset
290 defining Unicode char U+00FC (decimal 252)
0f938112b48e add paper
suruga
parents:
diff changeset
291 defining Unicode char U+00FD (decimal 253)
0f938112b48e add paper
suruga
parents:
diff changeset
292 defining Unicode char U+00FE (decimal 254)
0f938112b48e add paper
suruga
parents:
diff changeset
293 defining Unicode char U+00FF (decimal 255)
0f938112b48e add paper
suruga
parents:
diff changeset
294 defining Unicode char U+0100 (decimal 256)
0f938112b48e add paper
suruga
parents:
diff changeset
295 defining Unicode char U+0101 (decimal 257)
0f938112b48e add paper
suruga
parents:
diff changeset
296 defining Unicode char U+0102 (decimal 258)
0f938112b48e add paper
suruga
parents:
diff changeset
297 defining Unicode char U+0103 (decimal 259)
0f938112b48e add paper
suruga
parents:
diff changeset
298 defining Unicode char U+0104 (decimal 260)
0f938112b48e add paper
suruga
parents:
diff changeset
299 defining Unicode char U+0105 (decimal 261)
0f938112b48e add paper
suruga
parents:
diff changeset
300 defining Unicode char U+0106 (decimal 262)
0f938112b48e add paper
suruga
parents:
diff changeset
301 defining Unicode char U+0107 (decimal 263)
0f938112b48e add paper
suruga
parents:
diff changeset
302 defining Unicode char U+0108 (decimal 264)
0f938112b48e add paper
suruga
parents:
diff changeset
303 defining Unicode char U+0109 (decimal 265)
0f938112b48e add paper
suruga
parents:
diff changeset
304 defining Unicode char U+010A (decimal 266)
0f938112b48e add paper
suruga
parents:
diff changeset
305 defining Unicode char U+010B (decimal 267)
0f938112b48e add paper
suruga
parents:
diff changeset
306 defining Unicode char U+010C (decimal 268)
0f938112b48e add paper
suruga
parents:
diff changeset
307 defining Unicode char U+010D (decimal 269)
0f938112b48e add paper
suruga
parents:
diff changeset
308 defining Unicode char U+010E (decimal 270)
0f938112b48e add paper
suruga
parents:
diff changeset
309 defining Unicode char U+010F (decimal 271)
0f938112b48e add paper
suruga
parents:
diff changeset
310 defining Unicode char U+0110 (decimal 272)
0f938112b48e add paper
suruga
parents:
diff changeset
311 defining Unicode char U+0111 (decimal 273)
0f938112b48e add paper
suruga
parents:
diff changeset
312 defining Unicode char U+0112 (decimal 274)
0f938112b48e add paper
suruga
parents:
diff changeset
313 defining Unicode char U+0113 (decimal 275)
0f938112b48e add paper
suruga
parents:
diff changeset
314 defining Unicode char U+0114 (decimal 276)
0f938112b48e add paper
suruga
parents:
diff changeset
315 defining Unicode char U+0115 (decimal 277)
0f938112b48e add paper
suruga
parents:
diff changeset
316 defining Unicode char U+0116 (decimal 278)
0f938112b48e add paper
suruga
parents:
diff changeset
317 defining Unicode char U+0117 (decimal 279)
0f938112b48e add paper
suruga
parents:
diff changeset
318 defining Unicode char U+0118 (decimal 280)
0f938112b48e add paper
suruga
parents:
diff changeset
319 defining Unicode char U+0119 (decimal 281)
0f938112b48e add paper
suruga
parents:
diff changeset
320 defining Unicode char U+011A (decimal 282)
0f938112b48e add paper
suruga
parents:
diff changeset
321 defining Unicode char U+011B (decimal 283)
0f938112b48e add paper
suruga
parents:
diff changeset
322 defining Unicode char U+011C (decimal 284)
0f938112b48e add paper
suruga
parents:
diff changeset
323 defining Unicode char U+011D (decimal 285)
0f938112b48e add paper
suruga
parents:
diff changeset
324 defining Unicode char U+011E (decimal 286)
0f938112b48e add paper
suruga
parents:
diff changeset
325 defining Unicode char U+011F (decimal 287)
0f938112b48e add paper
suruga
parents:
diff changeset
326 defining Unicode char U+0120 (decimal 288)
0f938112b48e add paper
suruga
parents:
diff changeset
327 defining Unicode char U+0121 (decimal 289)
0f938112b48e add paper
suruga
parents:
diff changeset
328 defining Unicode char U+0122 (decimal 290)
0f938112b48e add paper
suruga
parents:
diff changeset
329 defining Unicode char U+0123 (decimal 291)
0f938112b48e add paper
suruga
parents:
diff changeset
330 defining Unicode char U+0124 (decimal 292)
0f938112b48e add paper
suruga
parents:
diff changeset
331 defining Unicode char U+0125 (decimal 293)
0f938112b48e add paper
suruga
parents:
diff changeset
332 defining Unicode char U+0128 (decimal 296)
0f938112b48e add paper
suruga
parents:
diff changeset
333 defining Unicode char U+0129 (decimal 297)
0f938112b48e add paper
suruga
parents:
diff changeset
334 defining Unicode char U+012A (decimal 298)
0f938112b48e add paper
suruga
parents:
diff changeset
335 defining Unicode char U+012B (decimal 299)
0f938112b48e add paper
suruga
parents:
diff changeset
336 defining Unicode char U+012C (decimal 300)
0f938112b48e add paper
suruga
parents:
diff changeset
337 defining Unicode char U+012D (decimal 301)
0f938112b48e add paper
suruga
parents:
diff changeset
338 defining Unicode char U+012E (decimal 302)
0f938112b48e add paper
suruga
parents:
diff changeset
339 defining Unicode char U+012F (decimal 303)
0f938112b48e add paper
suruga
parents:
diff changeset
340 defining Unicode char U+0130 (decimal 304)
0f938112b48e add paper
suruga
parents:
diff changeset
341 defining Unicode char U+0131 (decimal 305)
0f938112b48e add paper
suruga
parents:
diff changeset
342 defining Unicode char U+0132 (decimal 306)
0f938112b48e add paper
suruga
parents:
diff changeset
343 defining Unicode char U+0133 (decimal 307)
0f938112b48e add paper
suruga
parents:
diff changeset
344 defining Unicode char U+0134 (decimal 308)
0f938112b48e add paper
suruga
parents:
diff changeset
345 defining Unicode char U+0135 (decimal 309)
0f938112b48e add paper
suruga
parents:
diff changeset
346 defining Unicode char U+0136 (decimal 310)
0f938112b48e add paper
suruga
parents:
diff changeset
347 defining Unicode char U+0137 (decimal 311)
0f938112b48e add paper
suruga
parents:
diff changeset
348 defining Unicode char U+0139 (decimal 313)
0f938112b48e add paper
suruga
parents:
diff changeset
349 defining Unicode char U+013A (decimal 314)
0f938112b48e add paper
suruga
parents:
diff changeset
350 defining Unicode char U+013B (decimal 315)
0f938112b48e add paper
suruga
parents:
diff changeset
351 defining Unicode char U+013C (decimal 316)
0f938112b48e add paper
suruga
parents:
diff changeset
352 defining Unicode char U+013D (decimal 317)
0f938112b48e add paper
suruga
parents:
diff changeset
353 defining Unicode char U+013E (decimal 318)
0f938112b48e add paper
suruga
parents:
diff changeset
354 defining Unicode char U+0141 (decimal 321)
0f938112b48e add paper
suruga
parents:
diff changeset
355 defining Unicode char U+0142 (decimal 322)
0f938112b48e add paper
suruga
parents:
diff changeset
356 defining Unicode char U+0143 (decimal 323)
0f938112b48e add paper
suruga
parents:
diff changeset
357 defining Unicode char U+0144 (decimal 324)
0f938112b48e add paper
suruga
parents:
diff changeset
358 defining Unicode char U+0145 (decimal 325)
0f938112b48e add paper
suruga
parents:
diff changeset
359 defining Unicode char U+0146 (decimal 326)
0f938112b48e add paper
suruga
parents:
diff changeset
360 defining Unicode char U+0147 (decimal 327)
0f938112b48e add paper
suruga
parents:
diff changeset
361 defining Unicode char U+0148 (decimal 328)
0f938112b48e add paper
suruga
parents:
diff changeset
362 defining Unicode char U+014A (decimal 330)
0f938112b48e add paper
suruga
parents:
diff changeset
363 defining Unicode char U+014B (decimal 331)
0f938112b48e add paper
suruga
parents:
diff changeset
364 defining Unicode char U+014C (decimal 332)
0f938112b48e add paper
suruga
parents:
diff changeset
365 defining Unicode char U+014D (decimal 333)
0f938112b48e add paper
suruga
parents:
diff changeset
366 defining Unicode char U+014E (decimal 334)
0f938112b48e add paper
suruga
parents:
diff changeset
367 defining Unicode char U+014F (decimal 335)
0f938112b48e add paper
suruga
parents:
diff changeset
368 defining Unicode char U+0150 (decimal 336)
0f938112b48e add paper
suruga
parents:
diff changeset
369 defining Unicode char U+0151 (decimal 337)
0f938112b48e add paper
suruga
parents:
diff changeset
370 defining Unicode char U+0152 (decimal 338)
0f938112b48e add paper
suruga
parents:
diff changeset
371 defining Unicode char U+0153 (decimal 339)
0f938112b48e add paper
suruga
parents:
diff changeset
372 defining Unicode char U+0154 (decimal 340)
0f938112b48e add paper
suruga
parents:
diff changeset
373 defining Unicode char U+0155 (decimal 341)
0f938112b48e add paper
suruga
parents:
diff changeset
374 defining Unicode char U+0156 (decimal 342)
0f938112b48e add paper
suruga
parents:
diff changeset
375 defining Unicode char U+0157 (decimal 343)
0f938112b48e add paper
suruga
parents:
diff changeset
376 defining Unicode char U+0158 (decimal 344)
0f938112b48e add paper
suruga
parents:
diff changeset
377 defining Unicode char U+0159 (decimal 345)
0f938112b48e add paper
suruga
parents:
diff changeset
378 defining Unicode char U+015A (decimal 346)
0f938112b48e add paper
suruga
parents:
diff changeset
379 defining Unicode char U+015B (decimal 347)
0f938112b48e add paper
suruga
parents:
diff changeset
380 defining Unicode char U+015C (decimal 348)
0f938112b48e add paper
suruga
parents:
diff changeset
381 defining Unicode char U+015D (decimal 349)
0f938112b48e add paper
suruga
parents:
diff changeset
382 defining Unicode char U+015E (decimal 350)
0f938112b48e add paper
suruga
parents:
diff changeset
383 defining Unicode char U+015F (decimal 351)
0f938112b48e add paper
suruga
parents:
diff changeset
384 defining Unicode char U+0160 (decimal 352)
0f938112b48e add paper
suruga
parents:
diff changeset
385 defining Unicode char U+0161 (decimal 353)
0f938112b48e add paper
suruga
parents:
diff changeset
386 defining Unicode char U+0162 (decimal 354)
0f938112b48e add paper
suruga
parents:
diff changeset
387 defining Unicode char U+0163 (decimal 355)
0f938112b48e add paper
suruga
parents:
diff changeset
388 defining Unicode char U+0164 (decimal 356)
0f938112b48e add paper
suruga
parents:
diff changeset
389 defining Unicode char U+0165 (decimal 357)
0f938112b48e add paper
suruga
parents:
diff changeset
390 defining Unicode char U+0168 (decimal 360)
0f938112b48e add paper
suruga
parents:
diff changeset
391 defining Unicode char U+0169 (decimal 361)
0f938112b48e add paper
suruga
parents:
diff changeset
392 defining Unicode char U+016A (decimal 362)
0f938112b48e add paper
suruga
parents:
diff changeset
393 defining Unicode char U+016B (decimal 363)
0f938112b48e add paper
suruga
parents:
diff changeset
394 defining Unicode char U+016C (decimal 364)
0f938112b48e add paper
suruga
parents:
diff changeset
395 defining Unicode char U+016D (decimal 365)
0f938112b48e add paper
suruga
parents:
diff changeset
396 defining Unicode char U+016E (decimal 366)
0f938112b48e add paper
suruga
parents:
diff changeset
397 defining Unicode char U+016F (decimal 367)
0f938112b48e add paper
suruga
parents:
diff changeset
398 defining Unicode char U+0170 (decimal 368)
0f938112b48e add paper
suruga
parents:
diff changeset
399 defining Unicode char U+0171 (decimal 369)
0f938112b48e add paper
suruga
parents:
diff changeset
400 defining Unicode char U+0172 (decimal 370)
0f938112b48e add paper
suruga
parents:
diff changeset
401 defining Unicode char U+0173 (decimal 371)
0f938112b48e add paper
suruga
parents:
diff changeset
402 defining Unicode char U+0174 (decimal 372)
0f938112b48e add paper
suruga
parents:
diff changeset
403 defining Unicode char U+0175 (decimal 373)
0f938112b48e add paper
suruga
parents:
diff changeset
404 defining Unicode char U+0176 (decimal 374)
0f938112b48e add paper
suruga
parents:
diff changeset
405 defining Unicode char U+0177 (decimal 375)
0f938112b48e add paper
suruga
parents:
diff changeset
406 defining Unicode char U+0178 (decimal 376)
0f938112b48e add paper
suruga
parents:
diff changeset
407 defining Unicode char U+0179 (decimal 377)
0f938112b48e add paper
suruga
parents:
diff changeset
408 defining Unicode char U+017A (decimal 378)
0f938112b48e add paper
suruga
parents:
diff changeset
409 defining Unicode char U+017B (decimal 379)
0f938112b48e add paper
suruga
parents:
diff changeset
410 defining Unicode char U+017C (decimal 380)
0f938112b48e add paper
suruga
parents:
diff changeset
411 defining Unicode char U+017D (decimal 381)
0f938112b48e add paper
suruga
parents:
diff changeset
412 defining Unicode char U+017E (decimal 382)
0f938112b48e add paper
suruga
parents:
diff changeset
413 defining Unicode char U+01CD (decimal 461)
0f938112b48e add paper
suruga
parents:
diff changeset
414 defining Unicode char U+01CE (decimal 462)
0f938112b48e add paper
suruga
parents:
diff changeset
415 defining Unicode char U+01CF (decimal 463)
0f938112b48e add paper
suruga
parents:
diff changeset
416 defining Unicode char U+01D0 (decimal 464)
0f938112b48e add paper
suruga
parents:
diff changeset
417 defining Unicode char U+01D1 (decimal 465)
0f938112b48e add paper
suruga
parents:
diff changeset
418 defining Unicode char U+01D2 (decimal 466)
0f938112b48e add paper
suruga
parents:
diff changeset
419 defining Unicode char U+01D3 (decimal 467)
0f938112b48e add paper
suruga
parents:
diff changeset
420 defining Unicode char U+01D4 (decimal 468)
0f938112b48e add paper
suruga
parents:
diff changeset
421 defining Unicode char U+01E2 (decimal 482)
0f938112b48e add paper
suruga
parents:
diff changeset
422 defining Unicode char U+01E3 (decimal 483)
0f938112b48e add paper
suruga
parents:
diff changeset
423 defining Unicode char U+01E6 (decimal 486)
0f938112b48e add paper
suruga
parents:
diff changeset
424 defining Unicode char U+01E7 (decimal 487)
0f938112b48e add paper
suruga
parents:
diff changeset
425 defining Unicode char U+01E8 (decimal 488)
0f938112b48e add paper
suruga
parents:
diff changeset
426 defining Unicode char U+01E9 (decimal 489)
0f938112b48e add paper
suruga
parents:
diff changeset
427 defining Unicode char U+01EA (decimal 490)
0f938112b48e add paper
suruga
parents:
diff changeset
428 defining Unicode char U+01EB (decimal 491)
0f938112b48e add paper
suruga
parents:
diff changeset
429 defining Unicode char U+01F0 (decimal 496)
0f938112b48e add paper
suruga
parents:
diff changeset
430 defining Unicode char U+01F4 (decimal 500)
0f938112b48e add paper
suruga
parents:
diff changeset
431 defining Unicode char U+01F5 (decimal 501)
0f938112b48e add paper
suruga
parents:
diff changeset
432 defining Unicode char U+0218 (decimal 536)
0f938112b48e add paper
suruga
parents:
diff changeset
433 defining Unicode char U+0219 (decimal 537)
0f938112b48e add paper
suruga
parents:
diff changeset
434 defining Unicode char U+021A (decimal 538)
0f938112b48e add paper
suruga
parents:
diff changeset
435 defining Unicode char U+021B (decimal 539)
0f938112b48e add paper
suruga
parents:
diff changeset
436 defining Unicode char U+0232 (decimal 562)
0f938112b48e add paper
suruga
parents:
diff changeset
437 defining Unicode char U+0233 (decimal 563)
0f938112b48e add paper
suruga
parents:
diff changeset
438 defining Unicode char U+1E02 (decimal 7682)
0f938112b48e add paper
suruga
parents:
diff changeset
439 defining Unicode char U+1E03 (decimal 7683)
0f938112b48e add paper
suruga
parents:
diff changeset
440 defining Unicode char U+200C (decimal 8204)
0f938112b48e add paper
suruga
parents:
diff changeset
441 defining Unicode char U+2010 (decimal 8208)
0f938112b48e add paper
suruga
parents:
diff changeset
442 defining Unicode char U+2011 (decimal 8209)
0f938112b48e add paper
suruga
parents:
diff changeset
443 defining Unicode char U+2012 (decimal 8210)
0f938112b48e add paper
suruga
parents:
diff changeset
444 defining Unicode char U+2013 (decimal 8211)
0f938112b48e add paper
suruga
parents:
diff changeset
445 defining Unicode char U+2014 (decimal 8212)
0f938112b48e add paper
suruga
parents:
diff changeset
446 defining Unicode char U+2015 (decimal 8213)
0f938112b48e add paper
suruga
parents:
diff changeset
447 defining Unicode char U+2018 (decimal 8216)
0f938112b48e add paper
suruga
parents:
diff changeset
448 defining Unicode char U+2019 (decimal 8217)
0f938112b48e add paper
suruga
parents:
diff changeset
449 defining Unicode char U+201A (decimal 8218)
0f938112b48e add paper
suruga
parents:
diff changeset
450 defining Unicode char U+201C (decimal 8220)
0f938112b48e add paper
suruga
parents:
diff changeset
451 defining Unicode char U+201D (decimal 8221)
0f938112b48e add paper
suruga
parents:
diff changeset
452 defining Unicode char U+201E (decimal 8222)
0f938112b48e add paper
suruga
parents:
diff changeset
453 defining Unicode char U+2030 (decimal 8240)
0f938112b48e add paper
suruga
parents:
diff changeset
454 defining Unicode char U+2031 (decimal 8241)
0f938112b48e add paper
suruga
parents:
diff changeset
455 defining Unicode char U+2039 (decimal 8249)
0f938112b48e add paper
suruga
parents:
diff changeset
456 defining Unicode char U+203A (decimal 8250)
0f938112b48e add paper
suruga
parents:
diff changeset
457 defining Unicode char U+2423 (decimal 9251)
0f938112b48e add paper
suruga
parents:
diff changeset
458 defining Unicode char U+1E20 (decimal 7712)
0f938112b48e add paper
suruga
parents:
diff changeset
459 defining Unicode char U+1E21 (decimal 7713)
0f938112b48e add paper
suruga
parents:
diff changeset
460 )
0f938112b48e add paper
suruga
parents:
diff changeset
461 Now handling font encoding OT1 ...
0f938112b48e add paper
suruga
parents:
diff changeset
462 ... processing UTF-8 mapping file for font encoding OT1
0f938112b48e add paper
suruga
parents:
diff changeset
463
0f938112b48e add paper
suruga
parents:
diff changeset
464 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/ot1enc.dfu
0f938112b48e add paper
suruga
parents:
diff changeset
465 File: ot1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
0f938112b48e add paper
suruga
parents:
diff changeset
466 defining Unicode char U+00A0 (decimal 160)
0f938112b48e add paper
suruga
parents:
diff changeset
467 defining Unicode char U+00A1 (decimal 161)
0f938112b48e add paper
suruga
parents:
diff changeset
468 defining Unicode char U+00A3 (decimal 163)
0f938112b48e add paper
suruga
parents:
diff changeset
469 defining Unicode char U+00AD (decimal 173)
0f938112b48e add paper
suruga
parents:
diff changeset
470 defining Unicode char U+00B8 (decimal 184)
0f938112b48e add paper
suruga
parents:
diff changeset
471 defining Unicode char U+00BF (decimal 191)
0f938112b48e add paper
suruga
parents:
diff changeset
472 defining Unicode char U+00C5 (decimal 197)
0f938112b48e add paper
suruga
parents:
diff changeset
473 defining Unicode char U+00C6 (decimal 198)
0f938112b48e add paper
suruga
parents:
diff changeset
474 defining Unicode char U+00D8 (decimal 216)
0f938112b48e add paper
suruga
parents:
diff changeset
475 defining Unicode char U+00DF (decimal 223)
0f938112b48e add paper
suruga
parents:
diff changeset
476 defining Unicode char U+00E6 (decimal 230)
0f938112b48e add paper
suruga
parents:
diff changeset
477 defining Unicode char U+00EC (decimal 236)
0f938112b48e add paper
suruga
parents:
diff changeset
478 defining Unicode char U+00ED (decimal 237)
0f938112b48e add paper
suruga
parents:
diff changeset
479 defining Unicode char U+00EE (decimal 238)
0f938112b48e add paper
suruga
parents:
diff changeset
480 defining Unicode char U+00EF (decimal 239)
0f938112b48e add paper
suruga
parents:
diff changeset
481 defining Unicode char U+00F8 (decimal 248)
0f938112b48e add paper
suruga
parents:
diff changeset
482 defining Unicode char U+0131 (decimal 305)
0f938112b48e add paper
suruga
parents:
diff changeset
483 defining Unicode char U+0141 (decimal 321)
0f938112b48e add paper
suruga
parents:
diff changeset
484 defining Unicode char U+0142 (decimal 322)
0f938112b48e add paper
suruga
parents:
diff changeset
485 defining Unicode char U+0152 (decimal 338)
0f938112b48e add paper
suruga
parents:
diff changeset
486 defining Unicode char U+0153 (decimal 339)
0f938112b48e add paper
suruga
parents:
diff changeset
487 defining Unicode char U+0174 (decimal 372)
0f938112b48e add paper
suruga
parents:
diff changeset
488 defining Unicode char U+0175 (decimal 373)
0f938112b48e add paper
suruga
parents:
diff changeset
489 defining Unicode char U+0176 (decimal 374)
0f938112b48e add paper
suruga
parents:
diff changeset
490 defining Unicode char U+0177 (decimal 375)
0f938112b48e add paper
suruga
parents:
diff changeset
491 defining Unicode char U+0218 (decimal 536)
0f938112b48e add paper
suruga
parents:
diff changeset
492 defining Unicode char U+0219 (decimal 537)
0f938112b48e add paper
suruga
parents:
diff changeset
493 defining Unicode char U+021A (decimal 538)
0f938112b48e add paper
suruga
parents:
diff changeset
494 defining Unicode char U+021B (decimal 539)
0f938112b48e add paper
suruga
parents:
diff changeset
495 defining Unicode char U+2013 (decimal 8211)
0f938112b48e add paper
suruga
parents:
diff changeset
496 defining Unicode char U+2014 (decimal 8212)
0f938112b48e add paper
suruga
parents:
diff changeset
497 defining Unicode char U+2018 (decimal 8216)
0f938112b48e add paper
suruga
parents:
diff changeset
498 defining Unicode char U+2019 (decimal 8217)
0f938112b48e add paper
suruga
parents:
diff changeset
499 defining Unicode char U+201C (decimal 8220)
0f938112b48e add paper
suruga
parents:
diff changeset
500 defining Unicode char U+201D (decimal 8221)
0f938112b48e add paper
suruga
parents:
diff changeset
501 )
0f938112b48e add paper
suruga
parents:
diff changeset
502 Now handling font encoding OMS ...
0f938112b48e add paper
suruga
parents:
diff changeset
503 ... processing UTF-8 mapping file for font encoding OMS
0f938112b48e add paper
suruga
parents:
diff changeset
504
0f938112b48e add paper
suruga
parents:
diff changeset
505 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/omsenc.dfu
0f938112b48e add paper
suruga
parents:
diff changeset
506 File: omsenc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
0f938112b48e add paper
suruga
parents:
diff changeset
507 defining Unicode char U+00A7 (decimal 167)
0f938112b48e add paper
suruga
parents:
diff changeset
508 defining Unicode char U+00B6 (decimal 182)
0f938112b48e add paper
suruga
parents:
diff changeset
509 defining Unicode char U+00B7 (decimal 183)
0f938112b48e add paper
suruga
parents:
diff changeset
510 defining Unicode char U+2020 (decimal 8224)
0f938112b48e add paper
suruga
parents:
diff changeset
511 defining Unicode char U+2021 (decimal 8225)
0f938112b48e add paper
suruga
parents:
diff changeset
512 defining Unicode char U+2022 (decimal 8226)
0f938112b48e add paper
suruga
parents:
diff changeset
513 )
0f938112b48e add paper
suruga
parents:
diff changeset
514 Now handling font encoding OMX ...
0f938112b48e add paper
suruga
parents:
diff changeset
515 ... no UTF-8 mapping file for font encoding OMX
0f938112b48e add paper
suruga
parents:
diff changeset
516 Now handling font encoding U ...
0f938112b48e add paper
suruga
parents:
diff changeset
517 ... no UTF-8 mapping file for font encoding U
0f938112b48e add paper
suruga
parents:
diff changeset
518 Now handling font encoding JY1 ...
0f938112b48e add paper
suruga
parents:
diff changeset
519 ... no UTF-8 mapping file for font encoding JY1
0f938112b48e add paper
suruga
parents:
diff changeset
520 Now handling font encoding JT1 ...
0f938112b48e add paper
suruga
parents:
diff changeset
521 ... no UTF-8 mapping file for font encoding JT1
0f938112b48e add paper
suruga
parents:
diff changeset
522 defining Unicode char U+00A9 (decimal 169)
0f938112b48e add paper
suruga
parents:
diff changeset
523 defining Unicode char U+00AA (decimal 170)
0f938112b48e add paper
suruga
parents:
diff changeset
524 defining Unicode char U+00AE (decimal 174)
0f938112b48e add paper
suruga
parents:
diff changeset
525 defining Unicode char U+00BA (decimal 186)
0f938112b48e add paper
suruga
parents:
diff changeset
526 defining Unicode char U+02C6 (decimal 710)
0f938112b48e add paper
suruga
parents:
diff changeset
527 defining Unicode char U+02DC (decimal 732)
0f938112b48e add paper
suruga
parents:
diff changeset
528 defining Unicode char U+200C (decimal 8204)
0f938112b48e add paper
suruga
parents:
diff changeset
529 defining Unicode char U+2026 (decimal 8230)
0f938112b48e add paper
suruga
parents:
diff changeset
530 defining Unicode char U+2122 (decimal 8482)
0f938112b48e add paper
suruga
parents:
diff changeset
531 defining Unicode char U+2423 (decimal 9251)
20
suruga
parents: 19
diff changeset
532 )) (./main.aux
suruga
parents: 19
diff changeset
533
suruga
parents: 19
diff changeset
534 LaTeX Warning: Label `5' multiply defined.
suruga
parents: 19
diff changeset
535
suruga
parents: 19
diff changeset
536 )
4
0f938112b48e add paper
suruga
parents:
diff changeset
537 \openout1 = `main.aux'.
0f938112b48e add paper
suruga
parents:
diff changeset
538
9
57ea24b150cc add paper
suruga
parents: 4
diff changeset
539 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
540 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
541 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
542 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
543 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
544 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
545 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
546 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
547 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
548 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
549 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
550 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
551 LaTeX Font Info: Checking defaults for JY1/mc/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
552 LaTeX Font Info: ... okay on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
553 LaTeX Font Info: Checking defaults for JT1/mc/m/n on input line 78.
57ea24b150cc add paper
suruga
parents: 4
diff changeset
554 LaTeX Font Info: ... okay on input line 78.
4
0f938112b48e add paper
suruga
parents:
diff changeset
555 \c@lstlisting=\count117
0f938112b48e add paper
suruga
parents:
diff changeset
556 File: fig/ryukyu.pdf Graphic file (type pdf)
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
557 <fig/ryukyu.pdf>
20
suruga
parents: 19
diff changeset
558 [0
4
0f938112b48e add paper
suruga
parents:
diff changeset
559
0f938112b48e add paper
suruga
parents:
diff changeset
560 ]
0f938112b48e add paper
suruga
parents:
diff changeset
561 LaTeX Font Info: Font shape `JT1/mc/bx/n' in size <24.88> not available
9
57ea24b150cc add paper
suruga
parents: 4
diff changeset
562 (Font) Font shape `JT1/gt/m/n' tried instead on input line 87.
4
0f938112b48e add paper
suruga
parents:
diff changeset
563 LaTeX Font Info: Font shape `JY1/mc/bx/n' in size <24.88> not available
9
57ea24b150cc add paper
suruga
parents: 4
diff changeset
564 (Font) Font shape `JY1/gt/m/n' tried instead on input line 87.
20
suruga
parents: 19
diff changeset
565 (./main.toc
suruga
parents: 19
diff changeset
566 LaTeX Font Info: Font shape `JT1/mc/bx/n' in size <12> not available
suruga
parents: 19
diff changeset
567 (Font) Font shape `JT1/gt/m/n' tried instead on input line 1.
suruga
parents: 19
diff changeset
568 LaTeX Font Info: Font shape `JY1/mc/bx/n' in size <12> not available
suruga
parents: 19
diff changeset
569 (Font) Font shape `JY1/gt/m/n' tried instead on input line 1.
suruga
parents: 19
diff changeset
570 LaTeX Font Info: Try loading font information for U+msa on input line 2.
suruga
parents: 19
diff changeset
571
suruga
parents: 19
diff changeset
572 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd
suruga
parents: 19
diff changeset
573 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
suruga
parents: 19
diff changeset
574 )
suruga
parents: 19
diff changeset
575 LaTeX Font Info: Try loading font information for U+msb on input line 2.
suruga
parents: 19
diff changeset
576
suruga
parents: 19
diff changeset
577 (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd
suruga
parents: 19
diff changeset
578 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
suruga
parents: 19
diff changeset
579 ))
4
0f938112b48e add paper
suruga
parents:
diff changeset
580 \tf@toc=\write3
0f938112b48e add paper
suruga
parents:
diff changeset
581 \openout3 = `main.toc'.
0f938112b48e add paper
suruga
parents:
diff changeset
582
0f938112b48e add paper
suruga
parents:
diff changeset
583 [1
0f938112b48e add paper
suruga
parents:
diff changeset
584
20
suruga
parents: 19
diff changeset
585 ]
suruga
parents: 19
diff changeset
586 (./main.lof)
4
0f938112b48e add paper
suruga
parents:
diff changeset
587 \tf@lof=\write4
0f938112b48e add paper
suruga
parents:
diff changeset
588 \openout4 = `main.lof'.
0f938112b48e add paper
suruga
parents:
diff changeset
589
0f938112b48e add paper
suruga
parents:
diff changeset
590 [2
0f938112b48e add paper
suruga
parents:
diff changeset
591
0f938112b48e add paper
suruga
parents:
diff changeset
592 ] (./main.lol)
0f938112b48e add paper
suruga
parents:
diff changeset
593 \tf@lol=\write5
0f938112b48e add paper
suruga
parents:
diff changeset
594 \openout5 = `main.lol'.
0f938112b48e add paper
suruga
parents:
diff changeset
595
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
596 (./chapter1.tex [3
4
0f938112b48e add paper
suruga
parents:
diff changeset
597
0f938112b48e add paper
suruga
parents:
diff changeset
598 ]
0f938112b48e add paper
suruga
parents:
diff changeset
599 第 1 章
0f938112b48e add paper
suruga
parents:
diff changeset
600 LaTeX Font Info: Font shape `JT1/mc/bx/n' in size <17.28> not available
0f938112b48e add paper
suruga
parents:
diff changeset
601 (Font) Font shape `JT1/gt/m/n' tried instead on input line 6.
0f938112b48e add paper
suruga
parents:
diff changeset
602 LaTeX Font Info: Font shape `JY1/mc/bx/n' in size <17.28> not available
0f938112b48e add paper
suruga
parents:
diff changeset
603 (Font) Font shape `JY1/gt/m/n' tried instead on input line 6.
0f938112b48e add paper
suruga
parents:
diff changeset
604 [1
0f938112b48e add paper
suruga
parents:
diff changeset
605
0f938112b48e add paper
suruga
parents:
diff changeset
606 ]) (./chapter2.tex [2]
0f938112b48e add paper
suruga
parents:
diff changeset
607 第 2 章
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
608 [3
11
suruga
parents: 10
diff changeset
609
suruga
parents: 10
diff changeset
610 ]
22
suruga
parents: 21
diff changeset
611 File: pic/tree.pdf Graphic file (type pdf)
suruga
parents: 21
diff changeset
612 <pic/tree.pdf>
4
0f938112b48e add paper
suruga
parents:
diff changeset
613 File: pic/ring.pdf Graphic file (type pdf)
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
614 <pic/ring.pdf>
4
0f938112b48e add paper
suruga
parents:
diff changeset
615 File: pic/mesh.pdf Graphic file (type pdf)
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
616 <pic/mesh.pdf>
22
suruga
parents: 21
diff changeset
617 ) (./chapter3.tex [4] [5] [6]
4
0f938112b48e add paper
suruga
parents:
diff changeset
618 第 3 章
22
suruga
parents: 21
diff changeset
619 [7
4
0f938112b48e add paper
suruga
parents:
diff changeset
620
9
57ea24b150cc add paper
suruga
parents: 4
diff changeset
621 ]
13
suruga
parents: 12
diff changeset
622 File: ./pic/gaiyou.pdf Graphic file (type pdf)
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
623 <./pic/gaiyou.pdf>
22
suruga
parents: 21
diff changeset
624 [8]
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
625 File: ./pic/torque.pdf Graphic file (type pdf)
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
626 <./pic/torque.pdf>
24
suruga
parents: 23
diff changeset
627 [9] [10] [11] [12]
25
suruga
parents: 24
diff changeset
628 File: pic/topologymanager5.pdf Graphic file (type pdf)
suruga
parents: 24
diff changeset
629 <pic/topologymanager5.pdf>
suruga
parents: 24
diff changeset
630 [13] [14]
13
suruga
parents: 12
diff changeset
631 File: pic/LogupdateTree.pdf Graphic file (type pdf)
18
fb2cbbed0f05 add prepaper
suruga
parents: 16
diff changeset
632 <pic/LogupdateTree.pdf>
25
suruga
parents: 24
diff changeset
633 [15] (./plsource.txt)) [16]
24
suruga
parents: 23
diff changeset
634 (./chapter4.tex [17]
20
suruga
parents: 19
diff changeset
635 第 4 章
24
suruga
parents: 23
diff changeset
636 [18
20
suruga
parents: 19
diff changeset
637
suruga
parents: 19
diff changeset
638 ]) (./chapter5.tex
suruga
parents: 19
diff changeset
639 第 5 章
24
suruga
parents: 23
diff changeset
640 ) (./bibliography.tex [19
20
suruga
parents: 19
diff changeset
641
24
suruga
parents: 23
diff changeset
642 ]) (./thanks.tex [20
20
suruga
parents: 19
diff changeset
643
24
suruga
parents: 23
diff changeset
644 ]) [21
20
suruga
parents: 19
diff changeset
645
suruga
parents: 19
diff changeset
646 ] (./main.aux)
suruga
parents: 19
diff changeset
647
suruga
parents: 19
diff changeset
648 LaTeX Warning: There were multiply-defined labels.
4
0f938112b48e add paper
suruga
parents:
diff changeset
649
20
suruga
parents: 19
diff changeset
650 )
4
0f938112b48e add paper
suruga
parents:
diff changeset
651 Here is how much of TeX's memory you used:
24
suruga
parents: 23
diff changeset
652 4045 strings out of 493640
suruga
parents: 23
diff changeset
653 49166 string characters out of 6148698
suruga
parents: 23
diff changeset
654 237749 words of memory out of 5000000
suruga
parents: 23
diff changeset
655 7558 multiletter control sequences out of 15000+600000
9
57ea24b150cc add paper
suruga
parents: 4
diff changeset
656 16433 words of font info for 66 fonts, out of 8000000 for 9000
4
0f938112b48e add paper
suruga
parents:
diff changeset
657 929 hyphenation exceptions out of 8191
24
suruga
parents: 23
diff changeset
658 27i,9n,32p,795b,1701s stack positions out of 5000i,500n,10000p,200000b,80000s
4
0f938112b48e add paper
suruga
parents:
diff changeset
659
25
suruga
parents: 24
diff changeset
660 Output written on main.dvi (25 pages, 72004 bytes).