（数式の入った）本をつくる
Mar. 8, 2015•0 likes•11,655 views
Download to read offline
Report
Engineering
EPUB で数式の入った電子書籍を作るワークフローについての発表です。 講演映像：http://youtu.be/a0NcKmVWKq0 Keynote：http://konn-san.com/t/2015-tateyama-making-epub.key
Hiromi IshiiFollow
More Related Content
What's hot
Spring AMQP × RabbitMQKeisuke Nishitani
nioで作ったBufferedWriterに変えたら例外になったchibochibo
Clojureの世界と実際のWeb開発Tsutomu Yano
メルカリ・ソウゾウでは どうGoを活用しているのか？Takuya Ueda
9/14にリリースされたばかりの新LTS版Java 17、ここ3年間のJavaの変化を知ろう！（Open Source Conference 2021 O...NTT DATA Technology & Innovation
組み込みでこそC++を使う10の理由kikairoya
More from Hiromi Ishii
ものまね鳥を愛でる 結合子論理と計算Hiromi Ishii
Freer Monads, More Extensible EffectsHiromi Ishii
Lebesgue可測性に関するSoloayの定理と実数の集合の正則性Hiromi Ishii
実数の集合はどこまで可測になれるか？Hiromi Ishii
御清聴ありがとうございましたHiromi Ishii
Lebesgue 可測性に関する Solovay-Shelah の結果に必要な記述集合論のごく基本的な事項Hiromi Ishii
（数式の入った）本をつくる
- 3. そこで……
- 7. 👏 を使えばよい■
- 9. ……本当に？
- 10. 本とは？
- 12. 本とは
- 13. 本とは 紙に印刷されたやつ
- 15. 本とは 紙に印刷されたやつ 大体の印刷所は PDF 形式で入稿出来る を使えば PDF は簡単に生成出来る
- 16. 本とは 紙に印刷されたやつ 大体の印刷所は PDF 形式で入稿出来る を使えば PDF は簡単に生成出来る 行送りや禁則などの処理もしてくれる
- 17. 本とは 紙に印刷されたやつ 大体の印刷所は PDF 形式で入稿出来る を使えば PDF は簡単に生成出来る 行送りや禁則などの処理もしてくれる ？ で十分では？
- 18. 本とは 紙に印刷されたやつ 大体の印刷所は PDF 形式で入稿出来る を使えば PDF は簡単に生成出来る 行送りや禁則などの処理もしてくれる ？ で十分では？ ! NO!
- 19. 21世紀の 本
- 20. 21世紀の 本 電子書籍
- 22. 21世紀の 本 電子書籍 紙に印刷されてない！ 形式：PDF, EPUB, .mobi (Kindle), .ibooks (Apple),...
- 23. 21世紀の 本 電子書籍 紙に印刷されてない！ 形式：PDF, EPUB, .mobi (Kindle), .ibooks (Apple),... PDF で十分なら でやればよい。
- 24. 21世紀の 本 電子書籍 紙に印刷されてない！ 形式：PDF, EPUB, .mobi (Kindle), .ibooks (Apple),... PDF で十分なら でやればよい。 ! 専用端末による快適な閲覧には EPUB など特化形式による組版が不可欠！
- 25. なぜ？
- 26. PDFには限界がある
- 27. PDF の限界
- 34. そこで
- 35. 電子書籍フォーマットEPUB
- 39. 電子書籍フォーマットEPUB EPUB: 電子書籍の標準規格 最近縦組みやルビ、圏点などにも対応 禁則処理や行 えの機能はまだまだ弱い Kindle の .mobi や Apple の .ibooks は EPUB に独自機能や DRM を追加したもの
- 40. 電子書籍フォーマットEPUB EPUB: 電子書籍の標準規格 最近縦組みやルビ、圏点などにも対応 禁則処理や行 えの機能はまだまだ弱い Kindle の .mobi や Apple の .ibooks は EPUB に独自機能や DRM を追加したもの ➡ EPUB さえ出力出来ればなんとかなる！
- 41. Table of Contents EPUBの仕組みと数式 EPUB の仕組み EPUB と数式 数学者がEPUBを書く方法 Pandoc によるワークフロー
- 42. Table of Contents EPUBの仕組みと数式 EPUB の仕組み EPUB と数式 数学者がEPUBを書く方法 Pandoc によるワークフロー
- 43. EPUBの仕組みと数式
- 44. EPUBの仕組み
- 45. EPUBの仕組み HTML5, CSS, 画像を zip で圧縮したもの
- 46. EPUBの仕組み HTML5, CSS, 画像を zip で圧縮したもの 実質的にウェブサイトを圧縮してまとめた物
- 47. EPUBの仕組み HTML5, CSS, 画像を zip で圧縮したもの 実質的にウェブサイトを圧縮してまとめた物 厳密には HTML や CSS のサブセットに電子出版用の 機能追加をしたもの
- 48. EPUBの仕組み HTML5, CSS, 画像を zip で圧縮したもの 実質的にウェブサイトを圧縮してまとめた物 厳密には HTML や CSS のサブセットに電子出版用の 機能追加をしたもの 編集方法：InDesign, Sigil など
- 49. EPUBの仕組み HTML5, CSS, 画像を zip で圧縮したもの 実質的にウェブサイトを圧縮してまとめた物 厳密には HTML や CSS のサブセットに電子出版用の 機能追加をしたもの 編集方法：InDesign, Sigil など Zip の中身が覗けるなら原理的にはどんなエディタでも 使える（Emacs とか）
- 50. EPUBと数式
- 53. EPUBと数式 EPUBで数式を表示する二つの方法 1. MathML：数式をXMLで表現する規格 2. 画像： で組んだ数式を画像化・埋め込み
- 54. EPUBと数式 EPUBで数式を表示する二つの方法 1. MathML：数式をXMLで表現する規格 2. 画像： で組んだ数式を画像化・埋め込み ？ それぞれの利点・欠点は？
- 55. MathML
- 56. MathML 数式を XML で表現 <math display="block" xmlns="..."> <semantics> <mrow> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo>−</mo><mi>x</mi> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>=</mo> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>−</mo> <mi>b</mi> </mrow> </semantics> </math>
- 57. MathML 数式を XML で表現 標準規格 <math display="block" xmlns="..."> <semantics> <mrow> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo>−</mo><mi>x</mi> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>=</mo> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>−</mo> <mi>b</mi> </mrow> </semantics> </math>
- 58. MathML 数式を XML で表現 標準規格 機械的処理がしやすい <math display="block" xmlns="..."> <semantics> <mrow> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo>−</mo><mi>x</mi> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>=</mo> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>−</mo> <mi>b</mi> </mrow> </semantics> </math>
- 59. MathML 数式を XML で表現 標準規格 機械的処理がしやすい 😟手で書くのが大変 <math display="block" xmlns="..."> <semantics> <mrow> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo>−</mo><mi>x</mi> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>=</mo> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>−</mo> <mi>b</mi> </mrow> </semantics> </math>
- 60. MathML 数式を XML で表現 標準規格 機械的処理がしやすい 😟手で書くのが大変 <math display="block" xmlns="..."> <semantics> <mrow> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo>−</mo><mi>x</mi> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>=</mo> <msup> <mrow> <mo stretchy="true" form="prefix">(</mo> <mfrac><mi>a</mi><mn>2</mn></mfrac> <mo stretchy="true" form="postfix">)</mo> </mrow> <mn>2</mn> </msup> <mo>−</mo> <mi>b</mi> </mrow> </semantics> </math> ! デバイスによって 対応状況がまちまち
- 61. MathML 対応状況
- 62. MathML 対応状況 😟 iBooks: 部分的に対応 簡単な数式なら組めるが、 まだまだ崩れる 縦書きと混ぜるのは絶望的 iBooks による数式
- 63. MathML 対応状況 😟 iBooks: 部分的に対応 簡単な数式なら組めるが、 まだまだ崩れる 縦書きと混ぜるのは絶望的 😵 Kindle: ほぼ未対応 iBooks による数式 Kindle による数式
- 64. MathML 対応状況 😟 iBooks: 部分的に対応 簡単な数式なら組めるが、 まだまだ崩れる 縦書きと混ぜるのは絶望的 😵 Kindle: ほぼ未対応 現状では MathML を使うのは 現実的ではない iBooks による数式 Kindle による数式
- 65. MathML 対応状況 😟 iBooks: 部分的に対応 簡単な数式なら組めるが、 まだまだ崩れる 縦書きと混ぜるのは絶望的 😵 Kindle: ほぼ未対応 現状では MathML を使うのは 現実的ではない iBooks による数式 Kindle による数式 ➡ 各社が対応すれば将来的 には標準になるだろう
- 66. 画像として埋め込む
- 69. 画像として埋め込む 画像フォーマットはどうするべきか？ 電子書籍は文字の拡大縮小が可能 PNG や JPEG のようなラスター形式だと拡 大・縮小した際に粗くなる恐れがある
- 70. 画像として埋め込む 画像フォーマットはどうするべきか？ 電子書籍は文字の拡大縮小が可能 PNG や JPEG のようなラスター形式だと拡 大・縮小した際に粗くなる恐れがある 拡大可能なベクター形式であるSVGが望まし いだろう
- 71. 例
- 77. EPUB数式まとめ
- 78. EPUB数式まとめ MathML
- 87. EPUB数式まとめ MathML 標準規格 😵現状では未対応なデバイスが多い 😟対応していても描画機能が足りないことが多い SVG画像として配置 どこでも同じ見た目の数式が書ける 😟見易い描画のためには手直しが必要 😟画像を多用するのでやや重くなる 😟いずれにせよ TeX の数式を変換する必要がある ➡ 現状では SVG 画像として埋め込むのが局所最適解
- 88. Table of Contents EPUBの仕組みと数式 EPUB の仕組み EPUB と数式 数学者がEPUBを書く方法 Pandoc によるワークフロー
- 89. Table of Contents EPUBの仕組みと数式 EPUB の仕組み EPUB と数式 数学者がEPUBを書く方法 Pandoc によるワークフロー
- 90. 数学者がEPUBを書く方法
- 91. 実際のEPUB作業
- 95. 実際のEPUB作業 EPUB を一から手で書くのは理想的ではない 新しい文法の習得、既存の資源が生かせない、 数式を全部手で変換するのはつらい など慣れた形式で書きたい（特に数式！） ？ から変換出来ないか？
- 96. 実際のEPUB作業 EPUB を一から手で書くのは理想的ではない 新しい文法の習得、既存の資源が生かせない、 数式を全部手で変換するのはつらい など慣れた形式で書きたい（特に数式！） ？ から変換出来ないか？ 😄 Pandoc ならできる！
- 97. Pandoc
- 98. Pandoc Pandoc: a universal document converter
- 99. Pandoc Pandoc: a universal document converter Haskell製
- 100. Pandoc Pandoc: a universal document converter Haskell製 様々なドキュメント形式の間の相互変換ツール
- 101. Pandoc Pandoc: a universal document converter Haskell製 様々なドキュメント形式の間の相互変換ツール 対応形式：MS Word, , HTML, EPUB, InDesign, Markdown,...
- 102. Pandoc Pandoc: a universal document converter Haskell製 様々なドキュメント形式の間の相互変換ツール 対応形式：MS Word, , HTML, EPUB, InDesign, Markdown,... EPUB
- 103. Pandoc Pandoc: a universal document converter Haskell製 様々なドキュメント形式の間の相互変換ツール 対応形式：MS Word, , HTML, EPUB, InDesign, Markdown,... EPUB ➡ を EPUB に変換出来る！
- 104. 例 $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex
- 105. 例 $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex EPUB3 へ変換 -t epub3
- 106. 例 $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex EPUB3 へ変換 メタデータ（タイ トル・著者等）と デザインの指定 --epub-metadata=metadata.xml --epub-stylesheet=epub.css
- 107. 例 $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex EPUB3 へ変換 メタデータ（タイ トル・著者等）と デザインの指定 参考文献も 自動処理！ --bibliography=biblio.bib
- 108. 例 ライブラリと実行ファイルの二種類がある $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex EPUB3 へ変換 メタデータ（タイ トル・著者等）と デザインの指定 参考文献も 自動処理！
- 109. 例 ライブラリと実行ファイルの二種類がある 単純な変換処理なら実行ファイルで十分 $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex EPUB3 へ変換 メタデータ（タイ トル・著者等）と デザインの指定 参考文献も 自動処理！
- 110. 例 ライブラリと実行ファイルの二種類がある 単純な変換処理なら実行ファイルで十分 $ pandoc -S -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex EPUB3 へ変換 メタデータ（タイ トル・著者等）と デザインの指定 参考文献も 自動処理！ ？ 単純でない処理は？
- 113. 変換フィルター？
- 116. 変換フィルター？ Pandoc は変換途中の文書構造をJSONに変換して、 間に独自の変換フィルターを噛ませることが出来る JSON がパーズ出来ればよいので言語非依存 Pandoc がパーズ出来なかった はそのまま処理せ ず情報を持たせるようにできる
- 117. 変換フィルター？ Pandoc は変換途中の文書構造をJSONに変換して、 間に独自の変換フィルターを噛ませることが出来る JSON がパーズ出来ればよいので言語非依存 Pandoc がパーズ出来なかった はそのまま処理せ ず情報を持たせるようにできる その生 をパーズして適切なHTMLに変換するよ うにしてやればいい！ （参考：Haskell には を弄れるライブラリがある）
- 118. フィルターの例
- 122. フィルターの例 拙作フィルター集：pandoc-japanese-filters 数式のSVGへの変換、独自定理環境の変換、 日本語組版の変換 等 後は数式のサイズや余白を調整すればよいだけ $ pandoc -S -R -F env-to-div-filter -F math-to-svg-filter -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex
- 123. フィルターの例 拙作フィルター集：pandoc-japanese-filters 数式のSVGへの変換、独自定理環境の変換、 日本語組版の変換 等 後は数式のサイズや余白を調整すればよいだけ $ pandoc -S -R -F env-to-div-filter -F math-to-svg-filter -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex 生LaTeXの許可 -R
- 124. フィルターの例 拙作フィルター集：pandoc-japanese-filters 数式のSVGへの変換、独自定理環境の変換、 日本語組版の変換 等 後は数式のサイズや余白を調整すればよいだけ $ pandoc -S -R -F env-to-div-filter -F math-to-svg-filter -t epub3 -o formalism.epub --epub-metadata=metadata.xml --epub-stylesheet=epub.css --bibliography=biblio.bib formalism-in-math.tex 生LaTeXの許可 フィルターの指定 -F env-to-div-filter -F math-to-svg-filter
- 125. その他
- 126. その他 Markdown など他の形式で 数式部分だけ で書くこと もできる 数式まぜ書き Markdown ==================== このような形 $mathcal{M} Vdash varphi$ で、**インライン数式**や、 $$int_{-infty}^infty e^{-x^2} mathrm{d}x$$ のようにディスプレイ数式も混ぜられる。
- 127. その他 Markdown など他の形式で 数式部分だけ で書くこと もできる パーズの前後で情報が失われ る場合（Docxなど）は自分で パーザを書く 数式まぜ書き Markdown ==================== このような形 $mathcal{M} Vdash varphi$ で、**インライン数式**や、 $$int_{-infty}^infty e^{-x^2} mathrm{d}x$$ のようにディスプレイ数式も混ぜられる。
- 128. その他 Markdown など他の形式で 数式部分だけ で書くこと もできる パーズの前後で情報が失われ る場合（Docxなど）は自分で パーザを書く 数式まぜ書き Markdown ==================== このような形 $mathcal{M} Vdash varphi$ で、**インライン数式**や、 $$int_{-infty}^infty e^{-x^2} mathrm{d}x$$ のようにディスプレイ数式も混ぜられる。 フィルターではなく、ライブラリを使って Haskell で直にプロ グラムを書くこともできる
- 129. その他 Markdown など他の形式で 数式部分だけ で書くこと もできる パーズの前後で情報が失われ る場合（Docxなど）は自分で パーザを書く 数式まぜ書き Markdown ==================== このような形 $mathcal{M} Vdash varphi$ で、**インライン数式**や、 $$int_{-infty}^infty e^{-x^2} mathrm{d}x$$ のようにディスプレイ数式も混ぜられる。 フィルターではなく、ライブラリを使って Haskell で直にプロ グラムを書くこともできる Pandoc は EPUB に限らず、ウェブサイトの生成にも使える
- 130. その他 Markdown など他の形式で 数式部分だけ で書くこと もできる パーズの前後で情報が失われ る場合（Docxなど）は自分で パーザを書く 数式まぜ書き Markdown ==================== このような形 $mathcal{M} Vdash varphi$ で、**インライン数式**や、 $$int_{-infty}^infty e^{-x^2} mathrm{d}x$$ のようにディスプレイ数式も混ぜられる。 フィルターではなく、ライブラリを使って Haskell で直にプロ グラムを書くこともできる Pandoc は EPUB に限らず、ウェブサイトの生成にも使える 私のサイトでは TeX や Markdown から PDF / HTML を生成する のに使っています
- 131. まとめ
- 132. まとめ Pandoc を使えば好きなフォーマットから自動 で EPUB を生成出来る
- 133. まとめ Pandoc を使えば好きなフォーマットから自動 で EPUB を生成出来る 数式を一々手で画像に変換しなくていい！
- 134. まとめ Pandoc を使えば好きなフォーマットから自動 で EPUB を生成出来る 数式を一々手で画像に変換しなくていい！ 細かな変換処理はフィルターを書く
- 135. まとめ Pandoc を使えば好きなフォーマットから自動 で EPUB を生成出来る 数式を一々手で画像に変換しなくていい！ 細かな変換処理はフィルターを書く Pandoc は EPUB のみならず色々な書類を生成 するのにも使える
- 136. まとめ
- 137. まとめ 電子書籍は EPUB で
- 138. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい
- 139. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整
- 140. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整 将来的には MathML？
- 141. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整 将来的には MathML？ EPUB 生成は Pandoc で！
- 142. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整 将来的には MathML？ EPUB 生成は Pandoc で！ など既存の資源を自動変換出来る
- 143. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整 将来的には MathML？ EPUB 生成は Pandoc で！ など既存の資源を自動変換出来る 数式画像生成の自動化
- 144. まとめ 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整 将来的には MathML？ EPUB 生成は Pandoc で！ など既存の資源を自動変換出来る 数式画像生成の自動化 細かい変換処理はフィルターを書く
- 145. Any Questions? 電子書籍は EPUB で 数式は現状 SVG で張り込むのがよい 見栄をよくするには自分でサイズ調整 将来的には MathML？ EPUB 生成は Pandoc で！ など既存の資源を自動変換出来る 数式画像生成の自動化 細かい変換処理はフィルターを書く