TeX Typesetting Circumstances for Japanese Publishing

TEX Typesetting Circumstances
for Japanese Publishing
YAMAMOTO Munehiro

EuroTeX 2012

Layout

1.The Answers of the Questionnaires
2.Some Issues of Japanese TEX Publishing
✦ Fixed-Style and Glue-Style Line Spacing
✦ Page Layout Designing
✦ Development of Human Resources
3.My Hope

Questionnaires about TEX publishing
✤ The details of your products
✤ The details of typesetting applications for your products
✤ Any comments on TeX in general

Questionnaires about TEX publishing

companies sent out answers

publishing 22 8

printing 8 4

production 3 1

total 33 13

The Answers of the Questionnaires

Publishing companies

general publishers academic publishers

others InDesign

InDesign
MC-B2 TeX
over 95%

Summary of General Publishers
✤ They mainly publish books
and magazines
for general readers.
✤ They use Adobe InDesign
for most of products.
✤ Some of them use LaTeX
in limited ways InDesign
✦ e.g., data-based dictionary over 95%

Summary of Academic Publishers
✤ They mainly publish journals
and scientiﬁc books
✤ They choose/use suitable
typesetting applications others InDesign
depending on the amount of
mathematical objects

MC-B2 TeX

General Publishers
✤ Iwanami Shoten

✦ publishes some scientiﬁc books

✦ typesets 20% of them using
LaTeX.

✤ Pearson Kirihara K.K.

✦ publishes some books on
LaTeX and related topics

✦ typesets almost of them using
LaTeX. Quoted From Iwanami Shoten Ofﬁcial Web Site

General Publishers
✤ Iwanami Shoten


LaTeX.



LaTeX.

General Publishers
✤ Iwanami Shoten


LaTeX.



LaTeX. Quoted From Pearson Kirihara Ofﬁcial Web Site

Academic Publishers
✤ Some of them
✦ use LaTeX for half of
scientiﬁc books
others InDesign
✦ use Adobe InDesign for
the other half.
✤ Universal Academy Press, Inc.
MC-B2 TeX
✦ typesets most of journals
and books using LaTeX.

Academic Publishers
✤ A long-established publisher
✦ uses Morisawa MC-B2
for scientiﬁc books that
contain many others InDesign
mathematical objects
✦ uses Adobe InDesign
for books that contain
a few mathematical MC-B2 TeX
objects.

Morisawa MC-B2
Editing a book

Quoted From Morisawa Ofﬁcial Web Site

Morisawa MC-B2
Editing a mathematical object


Morisawa MC-B2
Drawing a ﬁgure


઄ 09年度：数ⅠA/本試<解答>

 9 3
∴  PR  = = 復習正弦・余弦・正接の加法定理
 16 4 ⑴ sin( α+β )=sinαcosβ+cosαsinβ

Morisawa MC-B2
したがって，∠QPR=θ とすると sin( α−β )=sinαcosβ−cosαsinβ
  5 ⑵ cos( α+β )=cosαcosβ−sinαsinβ
PQ ∙ PR 24 5  7
cos θ=   = = cos( α−β )=cosαcosβ+sinαsinβ
 PQ  ∙  PR   7 3 21 tanα+tanβ
∙ ⑶ tan( α+β )=
6 4 1−tanαtanβ
tanα−tanβ
〔2〕標準《 2 次関数》 tan( α−β )=
1+tanαtanβ
2 次関数 y=x  −4ax+4a−4a−3b+9 を標準形にすると

y=(x−2a ) −4a−3b+9
よって，この関数のグラフC は頂点の座標が
( 2 a，− 4 a− 3 b+ 9 )
の放物線である。
✤ High quality Japanese typesetting ⑴ 2 次方程式 x −4ax+4a−4a−3b+9=0 の 2 つの解を α，α+2  11 とおくと，解と係数の関係より
α+α+2  11 =4a ……①

of a computerized typesetting ①より
α (α+2  11 )=4a−4a−3b+9 ……②
α=2a− 11

system (CTS) これを②に代入すると
(2a− 11 )(2a+ 11 )=4a−4a−3b+9
206 F 206

これを整理すると素関数 F(z)を定義し，F(z)の関数論的性質から f
4a+3b= の性質を導くことは，広く用いられ最も有力な方法
20 η(
である．f から F(z) を作る方法としては，ベキ級
変形して 3b=4(5−a ) ∞ ∞ を満た

High productivity, equipped with
数  f (n) z  ，ディリクレ級数  f (n)n  等が最
3，4 は互いに素であるから， を自然数として b=4 と表すことができ，b0 であるからるとき
✤  
とるも
3=5−a ∴もよく使われる．いずれの場合にも関数の性質を数
a=5−3
論的関数の性質に戻す必要があるが，ベキ級数の場したが
a は自然数であるから =1 であり，このとき合は Cauchy の積分定数，ディリクレ級数の場合は
a= 2 ， Perron 4
b= の公式†がしばしばその目的で使われる．
a 代表的な数論的関数の生成関数をあげる．すべて

a batch processing like TeX
⑵ 直線 x= ，ℓ  および C で囲まれた図形の面積 S は
の自然数で１をとる関数 σ の生成関数は Riemann となる
2
✦ 
†
のゼータ関数である． μ(n)，d(n)，σ(n)，φ(n)，i(n) a，b，
1 a (任意の n に対し i(n)＝n) の生成関数をディリクこれら


S= × ×a− −x +2x  dx
2 2  

レ級数で作ると，
−1
それぞれ ζ(z)−1，2(z)，
ζ ζ(z)ζ(z−1)，に対す
 ζ(z−1)ζ(z) ，ζ(z−1)になる．これら数論的関数の分かる
a x a a a a 
   

= − − +x  = − − + 詳しい性質は，生成関数の性質から導かれる(⇀314
= Rom
4 3  4 24 ディリクレ級数，227ゼータ関数)．
4 24 し，p(

✦ a WYSIWYG interface. ⑶
分割数†p(n)はベキ級数が使われる代表的な例で
ある．| a , a
放物線 y= x +qx+r が O 0, 0, P  a, −a+2a , Q z |＜1でを通るとき 2 ∞
 ∞
p(11m
に彼は

0=r F (z) =  (1−z )=1+  (n) z 


……①
 
−a+2a= a+qa+r ……② ポイント数列の和
が成立するので， F(z) が p(n) の生成関数であ 
a a ……③ る．Hardy と S.Ramanujan は Cauchy の積分公式 
a=  ∙ +q ∙ +r n 
n ( n+1)
4 2
(n)= (2πi)


∑ dz(C ∑ k=
F (z) zk=11=n,は原点中心で半径

 2
のよう
φ()=
①と a≠0 より，②，③はそれぞれが1より小さい円)の右辺を巧妙に計算することに
1 H.A.


a+q=−a+2 (n) ~
より， e π 2n/3 を導き，これが円周それら
4 3 n F.確
a+2q=4 †の端緒となった．
法

一般
これを解いて m hm とが多
自然数 h, k に対して s(h, k)=  (( )) と
 k k Aを
= −2 ，q=a+ 2 ，r= 0
おき， W = exp(πi s(h,k)) とする．ただし Σ 内
q  x =−2x + a+2 x とおくと， 0≦x≦a においての((t))は t が整数でないときは t−[t]−1/2([ ]は
q x − f x =−x +ax=−x x−a ≧0
Gauss の記号)，t が整数のときは０と約束する記号
である．このとき，F(z)は次の変換公式(transfor- が存在
よって， C と C で囲まれた図形の面積 S は 0≦x≦a において， C が C の上にあるので
mation formula)を満たす(Hardy - Ramanujan)： densit
2πih 2πz 呼ぶ．
 
F exp
k
−
k  =W  z


π πz 2πih' 2π

y=(x−2a ) −4a−3b+9
よって，この関数のグラフC は頂点の座標が
( 2 a，− 4 a− 3 b+ 9 )
の放物線である。
⑴ 2 次方程式 x −4ax+4a−4a−3b+9=0 の 2 つの解を α，α+2  11 とおくと，解と係数の関係より
α+α+2  11 =4a ……①

Morisawa MC-B2
α (α+2  11 )=4a−4a−3b+9 ……②
①より α=2a− 11
これを②に代入すると
206 F 206 モリサワ論的関数
(2a− 11 )(2a+ 11 )=4a−4a−3b+9
これを整理すると素関数 F(z)を定義し，F(z)の関数論的性質から f
4a+3b= の性質を導くことは，広く用いられ最も有力な方法
20
である．f から F(z) を作る方法としては，ベキ級
η(τ+1)=exp(
πi
12
1
)η(τ), η(− )=
τ  τ
i
η(τ)

変形して 3b=4(5−a ) ∞ ∞ 
を満たす．ただし， τ/i はτが虚軸の正の部分にあ
数  f (n) z  ，ディリクレ級数  f (n)n 
3，4 は互いに素であるから， を自然数として b=4 と表すことができ，b0 であるから等が最
  るとき正の実数値をとるI m(τ)＞0で正則な関数を
3=5−a ∴もよく使われる．いずれの場合にも関数の性質を数
a=5−3 とるものとする．
論的関数の性質に戻す必要があるが，ベキ級数の場したがって a，b，c，d が整数で ad−bc＝1なら，
a は自然数であるから =1 であり，このとき合は Cauchy の積分定数，ディリクレ級数の場合は
 cr+d  =ε
ar+b cr+d
a= 2 ， Perron 4
b= の公式†がしばしばその目的で使われる． η η(τ), c>0
i

High quality Japanese typesetting
a 代表的な数論的関数の生成関数をあげる．すべて
⑵ 直線 x= ，ℓ  および C で囲まれた図形の面積 S は
✤ 2 の自然数で１をとる関数 σ の生成関数は Riemann
†
のゼータ関数である． μ(n)，d(n)，σ(n)，φ(n)，i(n)
となる．ここに ε は１のある24乗根で，その値は
a，b，c，d から具体的に求めることができる数である．

1 a (任意の n に対し i(n)＝n) の生成関数をディリクこれらの結果からη(τ)は楕円モジュラー群†Γ(1)

of a computerized typesetting 
 
S= × ×a− −x +2x  dx
2 2  レ級数で作ると，それぞれ ζ(z)−1，2(z)，
ζ ζ(z)ζ(z−1)，に対する重さ1/2のモジュラー形式†であることが
 ζ(z−1)ζ(z)−1，ζ(z−1)になる．これら数論的関数の分かる．
     

 a x a a
 a

a


= − − +x  = − − + 詳しい性質は，生成関数の性質から導かれる(⇀314 Romanujan は分割数 p(n)の間の合同式に注目

system (CTS)
=
4 3  4 24 ディリクレ級数，227ゼータ関数)．
4 24 し，p(5m＋4)≡0(mod5)， p(7m＋5)≡0(mod7)，
分割数†p(n)はベキ級数が使われる代表的な例で p(11m＋6)≡0(mod 11)のような結果を得た．さら
⑶ ある．| a , a
放物線 y= x +qx+r が O 0, 0, P  a, −a+2a , Q z |＜1でを通るとき 2 ∞
 ∞
に彼は証明なしで
∞ φ( )
0=r F (z) =  (1−z )=1+  (n) z   (5m+4)  =5 ,


……①  φ()
 
 
−a +2a= a +qa+r ……② ポイント数列の和 φ( ) φ( )

High productivity, equipped with
∞
が成立するので， F(z) が p(n) の生成関数であ  (7m+5)  =7 +49
✤ a=  ∙

a a
+q ∙ +r ……③ る．Hardy と S.Ramanujan は Cauchy の積分公式
n 
n ( n+1)
 φ() φ()
4 2
(n)= (2πi) 



∑ dz(C ∑ k=
F (z) zk=11=n,は原点中心で半径

 2
のような驚くべき等式を述べている．ただし

φ()=F () である．これらは後に L.J.Mordell，
①と a≠0 より，②，③はそれぞれが1より小さい円)の右辺を巧妙に計算することに
1 H.A.Rademacher 等によって証明が与えられたが，


a+q=−a+2 (n) ~
より， e π 2n/3 を導き，これが円周それらにはモジュラー関数†の理論が使われた．
4 3 n

a batch processing like TeX
a+2q=4 †の端緒となった． F.確立論的方法
法
✦ これを解いて 
m hm
一般的に数論的関数は非常に複雑な動きをするこ
とが多く，確率論的な考え方も利用される．
自然数 h, k に対して s(h, k)=  (( )) と
 k k A を N の部分集合とするとき，
= −2 ，q=a+ 2 ，r= 0
おき， W = exp(πi s(h,k)) とする．ただし Σ 内
q  x =−2x + a+2 x とおくと， 0≦x≦a において 1
の((t))は t が整数でないときは t−[t]−1/2([ ]は lim  1=d(A)
∞ 
q x − f x =−x +ax=−x x−a ≧0
Gauss の記号)，t が整数のときは０と約束する記号 ,

a WYSIWYG interface.
である．このとき，F(z)は次の変換公式(transfor- が存在するなら，この値を A の自然密度(natural
よって， C と C で囲まれた図形の面積 S は 0≦x≦a において， C が C の上にあるので
✦ mation formula)を満たす(Hardy - Ramanujan)： density)あるいは漸近密度(asymptotic density)と
2πih 2πz 呼ぶ．また
  k − k  =W  z
F exp 

lim
1

1
=d′A，
π πz 2πih' 2π log n
exp 
12kz 12k  
F exp 
kz 
∞ 
− − ．
k 1
lim  n  =d″A
ただし(h，k)＝1，hh'≡−1(mod k)である．上記   ζσ 
の s(h，k)は Dedekind の和(Dedekind sum)と呼ばが存在するなら，これをそれぞれ A の対数密度
れ，つぎの相互法則(reciprocity law for Dedekind (logarithmic Density) ,Dirichlet の密度 (Dirichlet
sum)が成り立つ． Density)あるいは解析密度(analytic Density)とい
1 1 h k 1 う．ここで ζ は Riemann のゼータ関数である．こ
sh, k+sk, h =− +
4 12  k + h + hk ．れらの密度の間には，d' と d"は存在までふくめて
同じ値をとること，d' が存在しても d は存在するか
Hardly-Ramanujan(1918)は F(z)の性質を調べどうか分からないが，存在するなら値は同じになる
るために Dedekind の η 関数を考えるとよいことこと，などが知られている．
を発見し，新しい研究の出発点を与えた．τを上半 f を数論的関数， g(x) を単調な実関数とする．
複素平面を動く複素変数とするとき，η(τ)は任意の整数εに対し，自然密度０の集合を除いて
πiτ ∞ (1− ε)g(n)≦f(n)≦(1＋ ε)g(n)が成立するとき，f
η(τ)=exp  12   (1−exp(2πinτ))

は正規の大きさ(normal order)g(x)を持つという．
ω(n)や Ω(n)は正規の大きさとして loglog x を持
によって定義される関数であり，変換公式つことが知られている．

標準（学術論文）

Many companies install MC-B2
because ...
Morisawa Inc.
✤ one of the major Japanese font vendor,
✤ familiar with the internal affairs of the publishing world in Japan,
✤ quickly careful about supporting.

Summary of Printing Companies
✤ They use Adobe InDesign
for half of products.
✤ They produce various kinds
of products
e.g., textbooks, journals, and MC-B2 and others
40% InDesign
academic books
50%
✤ TeX is used in limited ways
TeX
10%
✤ Their TeX typeset products
share is about 10%
Cooperated From Livretech Co. Ltd., Nakanishi Printing Company,
Sanbi Printing Co. Ltd., And Chuo Printing Co. Ltd.

Production Companies (no summary)

I only recieved ONE answer :-(
✤ Top Studio Co., Ltd.
✦ mainly produces computer
books
✦ uses Adobe InDesign
for 90% products. InDesign

Production Companies (I suppose that...)
✤ They use mostly Adobe InDesign for products
✦ because they start to make a product
after recieving an order from publishing/printing companies.
✤ There are some TeX production companies in Japan,
✦ but as far as I know, such companies are few.

Some Issues of Japanese TEX Publishing

TeX is used in limited ways.Why?
✤ Fixed-Style and Glue-Style Line Spacing
✤ Page Layout Designing
✤ Development of Human Resources
✦ The production cost in Japanese publishing
✦ Japanese local TeX community

Fixed-Style and Glue-Style
Line Spacing

Which side of these looks better?
Let f : [a, b] ! R be a continuous function on the closed interval Let f : [a, b] ! R be a continuous function on the closed interval
[a, b], and di↵erentiable on the open interval (a, b), where a < b. Then [a, b], and di↵erentiable on the open interval (a, b), where a < b. Then
there exists some c in (a, b) such that there exists some c in (a, b) such that
f (b) f (a) f (b) f (a)
f 0 (c) = f 0 (c) =
b a b a
The mean value theorem is a generalization of Rolle’s theorem, The mean value theorem is a generalization of Rolle’s theorem,
which assumes f (a) = f (b), so that the right-hand side above is zero. which assumes f (a) = f (b), so that the right-hand side above is zero.
The mean value theorem is still valid in a slightly more general The mean value theorem is still valid in a slightly more general
setting. One only needs to assume that f : [a, b] ! R is continuous setting. One only needs to assume that f : [a, b] ! R is continuous
on [a, b], and that for every x in (a, b) the limit on [a, b], and that for every x in (a, b) the limit
f (x + h) f (x)
lim f (x + h) f (x)
h!0 h lim
h!0 h
exists as a finite number or equals +1 or 1. If finite, that limit
equals f 0 (x). An example where this version of the theorem applies is exists as a finite number or equals +1 or 1. If finite, that limit
given by the real-valued cube root function mapping x to x1/3 , whose equals f 0 (x). An example where this version of the theorem applies is
derivative tends to infinity at the origin. given by the real-valued cube root function mapping x to x1/3 , whose
Note that the theorem, as stated, is false if a di↵erentiable function derivative tends to infinity at the origin.
is complex-valued instead of real-valued. For example, define f (x) = Note that the theorem, as stated, is false if a di↵erentiable function
eix for all real x. Then is complex-valued instead of real-valued. For example, define f (x) =
eix for all real x. Then
f (2⇡)f (0) = 0 = 0(2⇡0)
while |f 0 (x)| = 1. f (2⇡)f (0) = 0 = 0(2⇡0)

while |f 0 (x)| = 1.

Let f : [a, b] ! R be a continuous function on the closed interval
[a, b], and di↵erentiable on the open interval (a, b), where a < b. Then
there exists some c in (a, b) such that

0 f (b) f (a)
f (c) =
b a
The mean value theorem is a generalization of Rolle’s theorem,
which assumes f (a) = f (b), so that the right-hand side above is zero.
The mean value theorem is still valid in a slightly more general
setting. One only needs to assume that f : [a, b] ! R is continuous
on [a, b], and that for every x in (a, b) the limit
f (x + h) f (x)
lim
h!0 h
equals f 0 (x). An example where this version of the theorem applies is
given by the real-valued cube root function mapping x to x1/3 , whose
derivative tends to inﬁnity at the origin.
Note that the theorem, as stated, is false if a di↵erentiable function
is complex-valued instead of real-valued. For example, deﬁne f (x) =

Left side
while |f 0 (x)| = 1.
f (2⇡)f (0) = 0 = 0(2⇡0)

Let f : [a, b] ! R be a continuous function on the closed interval
[a, b], and di↵erentiable on the open interval (a, b), where a < b. Then
there exists some c in (a, b) such that

0 f (b) f (a)
f (c) =
b a
The mean value theorem is a generalization of Rolle’s theorem,
which assumes f (a) = f (b), so that the right-hand side above is zero.
The mean value theorem is still valid in a slightly more general
setting. One only needs to assume that f : [a, b] ! R is continuous
on [a, b], and that for every x in (a, b) the limit

f (x + h) f (x)
lim
h!0 h
equals f 0 (x). An example where this version of the theorem applies is
given by the real-valued cube root function mapping x to x1/3 , whose
derivative tends to inﬁnity at the origin.
Note that the theorem, as stated, is false if a di↵erentiable function
is complex-valued instead of real-valued. For example, deﬁne f (x) =

f (2⇡)f (0) = 0 = 0(2⇡0)
Right side
while |f 0 (x)| = 1.

a < b とし，f (x) を閉区間 [a, b] で連続で，開区間 (a, b) で微分可 a < b とし，f (x) を閉区間 [a, b] で連続で，開区間 (a, b) で微分可
能な関数とする．このとき開区間 (a, b) 上に，ある点 c が存在して能な関数とする．このとき開区間 (a, b) 上に，ある点 c が存在して
f (b) − f (a)
= f (c) f (b) − f (a)
b−a = f (c)
b−a
が成り立つ．これを微分に関するラグランジュの平均値の定理とい
う．左辺は、グラフにおいて (a, f (a)), (b, f (b)) を結ぶ線分（曲線の
弦と呼ぶ）の傾き（＝平均変化率）であるから，ラグランジュの平均値
の定理は弦と平行な接線（＝瞬間の変化率）を持つ点が a と b の間に
存在するということがこの定理の主張である．つまり平均値の定理は
存在型の定理である．またラグランジュの平均値の定理は b = a + h,
c − a + θh とおくと，
f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)
とも表せる． f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)

とも表せる．

a < b とし，f (x) を閉区間 [a, b] で連続で，開区間 (a, b) で微分可
能な関数とする．このとき開区間 (a, b) 上に，ある点 c が存在して
f (b) − f (a)
= f (c)
b−a
f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)
とも表せる．

Left side


f (b) − f (a)
= f (c)
b−a

f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)

とも表せる．

Right side

□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
a < b とし，f (x) を閉区間 [a, b] で連続で，開区間 (a, b) で微分可 □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ 能な関数とする．このとき開区間 (a, b) 上に，ある点 c が存在して
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
f (b) − f (a) □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
= f (c) f (b) − f (a)
b−a
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ = f (c)
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
b−a
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
が成り立つ．これを微分に関するラグランジュの平均値の定理とい □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
う．左辺は、グラフにおいて (a, f (a)), (b, f (b)) を結ぶ線分（曲線の □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
弦と呼ぶ）の傾き（＝平均変化率）であるから，ラグランジュの平均値 □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
の定理は弦と平行な接線（＝瞬間の変化率）を持つ点が a と b の間に □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
存在するということがこの定理の主張である．つまり平均値の定理は □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
存在型の定理である．またラグランジュの平均値の定理は b = a + h, □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
c − a + θh とおくと， □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
f (a + h) = f (a) + hf (a + θh) (0 < θ < 1) □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
とも表せる． f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
とも表せる．
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□

□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
f (b) − f (a)
= f (c)
b−a
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
とも表せる．
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□

Left side

□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
f (b) − f (a)
= f (c)
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
b−a
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
f (a + h) = f (a) + hf (a + θh) (0 < θ < 1)
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
とも表せる．
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□

Right side

Fixed-Style and Glue-Style
Line Spacing
✤ Some Japanese editors think ...
✦ glue-style line spacing is not so good in Japanese publishing.
✤ When positioning mathematical objects, illustrations and so on,
✦ they set these objects based on a number of lines
in the text area.

□□□□□□□□□□□□□□□□□□□□
a < b とし，f (x) を閉区間 [a, b] で連続次の行列を考える。
□□□□□□□□□□□□□□□□□□□□
 
□□□□□□□□□□□□□□□□□□□□
で，開区間 (a, b) で微分可能な関数とする． □□□□□□□□□□□□□□□□□□□□
9 −1 2
□□□□□□□□□□□□□□□□□□□□
このとき開区間 (a, b) 上に，ある点 c が存在

A = −2 8 4
□□□□□□□□□□□□□□□□□□□□

1 1 8
□□□□□□□□□□□□□□□□□□□□
して □□□□□□□□□□□□□□□□□□□□
f (b) − f (a)
□□□□□□□□□□□□□□□□□□□□ この固有値は 5, 10, 10 であるから，定義よ
□□□□□□□□□□□□□□□□□□□□
= f (c)
b−a
□□□□□□□□□□□□□□□□□□□□ り，スペクトル半径は ρ(A) = 10 である．
□□□□□□□□□□□□□□□□□□□□
が成り立つ．これを微分に関するラグラン
□□□□□□□□□□□□□□□□□□□□ 以下の表には，ベクトルの p-ノルムから誘
□□□□□□□□□□□□□□□□□□□□
ジュの平均値の定理という．左辺は、グラフ
□□□□□□□□□□□□□□□□□□□□ 導された行列の作用素ノルムおよびヒルベ
□□□□□□□□□□□□□□□□□□□□
において (a, f (a)), (b, f (b)) を結ぶ線分（曲
□□□□□□□□□□□□□□□□□□□□ ルト–シュミットノルム（フロベニウスノル
□□□□□□□□□□□□□□□□□□□□
線の弦と呼ぶ）の傾き（＝平均変化率）であ
□□□□□□□□□□□□□□□□□□□□ ム）に関する Ak 1/k の，k の増加に対す
□□□□□□□□□□□□□□□□□□□□
るから，ラグランジュの平均値の定理は弦と
□□□□□□□□□□□□□□□□□□□□ る値が列挙されている（この行列の場合には
□□□□□□□□□□□□□□□□□□□□
平行な接線（＝瞬間の変化率）を持つ点が a
□□□□□□□□□□□□□□□□□□□□ Ak 1 = Ak ∞ となっている）
□□□□□□□□□□□□□□□□□□□□．
と b の間に存在するということがこの定理
□□□□□□□□□□□□□□□□□□□□ 次の行列を考える。
□□□□□□□□□□□□□□□□□□□□
 
の主張である．つまり平均値の定理は存在型
□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□
9 −1 2
の定理である．

A = −2 8 4 
□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□
1 1 8
a < b とし，f (x) を閉区間 [a, b] で連続
□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□
で，開区間 (a, b) で微分可能な関数とする．
□□□□□□□□□□□□□□□□□□□□ この固有値は 5, 10, 10 であるから，定義よ
□□□□□□□□□□□□□□□□□□□□
このとき開区間 (a, b) 上に，ある点 c が存在
□□□□□□□□□□□□□□□□□□□□ り，スペクトル半径は ρ(A) = 10 である．
□□□□□□□□□□□□□□□□□□□□
して
□□□□□□□□□□□□□□□□□□□□ 以下の表には，ベクトルの p-ノルムから誘
□□□□□□□□□□□□□□□□□□□□
f (b) − f (a) 導された行列の作用素ノルムおよびヒルベ

2 columns layout
□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□
= f (c)
b−a
□□□□□□□□□□□□□□□□□□□□ ルト–シュミットノルム（フロベニウスノル
□□□□□□□□□□□□□□□□□□□□
が成り立つ．これを微分に関するラグラン
□□□□□□□□□□□□□□□□□□□□ ム）に関する Ak 1/k の，k の増加に対す
□□□□□□□□□□□□□□□□□□□□
ジュの平均値の定理という．左辺は、グラフ
□□□□□□□□□□□□□□□□□□□□ る値が列挙されている（この行列の場合には
□□□□□□□□□□□□□□□□□□□□
において (a, f (a)), (b, f (b)) を結ぶ線分（曲
□□□□□□□□□□□□□□□□□□□□ Ak 1 = Ak ∞ となっている）
□□□□□□□□□□□□□□□□□□□□．
線の弦と呼ぶ）の傾き（＝平均変化率）であ
□□□□□□□□□□□□□□□□□□□□ 次の行列を考える。
□□□□□□□□□□□□□□□□□□□□

付録DVDを使って
イ付
今すぐチャレンジ!!
ぞリンＤだる本動すクトトしたあＵ
。ースをけ］的するをーーてめるｂＬ
ｕン録

Ubnutu 12.04
ントだのるとドルに。ｉ
使はル、ｎｖ
ボ
シー
ョル
っ。
こタ
、よ
う
自
動
ラ
イ
方
法
すハは
、
だ
が
ｔ
ｕｅスの
て質Ｃ
ッすＵこン問に的ブは
る
の
ー
ド専本をＤトＤ
トる
と
ｂ
ｕ
で
は
を
ク
にな
っ
に
イ
に
入
と
てがデ用
の
来
の
使
用
やーＶ
と全
ｎ
ｔ本リ
答
えてンれも一ィパ性す
仮
想ルＤ
も手ｕ誌ッ
ないスて簡番ス
ク
ソ能るマか
に順だ

LTS
を付クるトＰ単コを形
解をＰ属し
が
のーＣ。。にン発態
シら
らイイン
説、Ｃのて［でラをデを揮は
な
すスにＤい続、が起ィンン用す色
ど
るクイＶくけ基起動ススス意る々
、

BIOSの設定を確認
STEP

1 日本語
START Remixを
インストール
する!!
DVDからパソコンを起動でき
るよう、BIOSの設定を確認、変
更しよう。なおBIOSを変更しな
くても起動時に特定のキーを押す
と、今回限りのブートデバイスを文：水野源（Ubuntu Japanese Team）
選択できる機種もある。

A computer magazine in Japanese
using Adobe InDesign Creative Suite version 3

Credit: 水野源 (Ubuntu Japanese Team), シオミズタロウ, ASCII Media Works Ubuntu Magazine Japan Vol.08 2012.06.11

TeX Typesetting Circumstances for Japanese Publishing

TeX Typesetting Circumstances for Japanese Publishing

Recommended

Recommended

More Related Content

Viewers also liked

Viewers also liked (13)

Recently uploaded

Recently uploaded (8)

TeX Typesetting Circumstances for Japanese Publishing