作ってわかるTeX言語

• 技術書典マーケット：作ってわかるTeX言語：だめぽラボ

概要

TeXから組版を除いたサブセットを実装することでTeXの理解を試みる本です。 Haskellによるサンプルコードが付属します。

• サンプルコード（GitHub）

目次

• はじめに……iii
• 第1章 全体像……1
  • 1.1 処理の流れ……1
  • 1.2 無限ループの抑制……2
  • 1.3 Haskellソースについて……3
• 第2章 字句解析……5
  • 2.1 文字……5
  • 2.2 カテゴリーコード……6
  • 2.3 命令名……6
  • 2.4 命令名とトークン……7
  • 2.5 字句解析器の実装……8
  • 2.6 日本語TeXと和文文字直後の改行……20
  • 2.7 クイズ……21
  • 2.8 追加のHaskellコード……21
• 第3章 命令と状態……23
  • 3.1 命令……23
  • 3.2 スコープと状態……26
  • 3.3 追加のHaskellコード……29
• 第4章 展開……31
  • 4.1 展開器の概要……31
  • 4.2 展開時のトークン……32
  • 4.3 展開に関するパラメーター……33
  • 4.4 トークンの取得……34
  • 4.5 展開不能トークンの取得……37
  • 4.6 展開器は状態を変更するか……37
  • 4.7 \noexpandの実装……38
  • 4.8 \expandafterの実装……40
  • 4.9 \csnameの実装……41
  • 4.10 \begincsnameの実装（LuaTeX拡張）……42
  • 4.11 追加のHaskellコード……43
• 第5章 実行……45
  • 5.1 実行器の出力……45
  • 5.2 実行器の実装……46
  • 5.3 スコープの管理……47
  • 5.4 対話環境の実装……48
  • 5.5 追加のHaskellコード……52
• 第6章 代入……53
  • 6.1 ローカルな代入とグローバルな代入……53
  • 6.2 \letの実装……54
  • 6.3 \futureletの実装……56
  • 6.4 前置命令：\global、\long、\outer、\protected……58
  • 6.5 追加のHaskellコード……59
• 第7章 マクロ……61
  • 7.1 マクロの構成要素……61
  • 7.2 \defの実装……63
  • 7.3 マクロ展開の実装……67
  • 7.4 \outerについて……69
  • 7.5 追加のHaskellコード……70
• 第8章 完全展開……71
  • 8.1 \edefの実装……71
  • 8.2 \protectedマクロについて（ε-TeX拡張）……73
  • 8.3 \unexpanded命令（ε-TeX拡張）とgeneral textの実装……73
  • 8.4 \expanded命令（pdfTeX拡張）……75
  • 8.5 追加のHaskellコード……76
• 第9章 文字列化……77
  • 9.1 \message命令と、トークン列の文字列化……77
  • 9.2 \string命令と、文字列を結果とする展開可能命令……79
  • 9.3 \csstring命令（LuaTeX拡張）……81
  • 9.4 \detokenize命令（ε-TeX拡張）……81
  • 9.5 追加のHaskellコード……82
• 第10章 数と算術……85
  • 10.1 TeXにおける整数……85
  • 10.2 整数の文法と実装……87
  • 10.3 内部整数の実装……92
  • 10.4 \number命令……93
  • 10.5 \romannumeral命令……93
  • 10.6 \char命令と\chardef命令……94
  • 10.7 \countプリミティブ：整数レジスター……97
  • 10.8 \countdef命令……99
  • 10.9 \catcode、\endlinechar、\escapechar、\newlinecharの各パラメーター……101
  • 10.10 \advance命令とキーワード……102
  • 10.11 \multiply命令と\divide命令……105
  • 10.12 \numexprによる算術式（ε-TeX拡張）……107
  • 10.13 追加のHaskellコード……112
• 第11章 条件分岐……115
  • 11.1 条件分岐の概要……115
  • 11.2 トークンの読み飛ばし……118
  • 11.3 \else、\fi、\orの実装……121
  • 11.4 \iftrue、\iffalseの実装……124
  • 11.5 \ifxの実装……124
  • 11.6 \ifと\ifcatの実装……124
  • 11.7 \ifoddの実装……127
  • 11.8 \ifnumの実装……127
  • 11.9 \ifcaseの実装……128
  • 11.10 \ifdefinedの実装（ε-TeX拡張）……128
  • 11.11 \ifcsnameの実装（ε-TeX拡張）……129
  • 11.12 \unlessの実装（ε-TeX拡張）……129
  • 11.13 \ifincsnameの実装（pdfTeX拡張）……130
  • 11.14 追加のHaskellコード……131
• 第12章 トークン列レジスター……133
  • 12.1 \the命令……134
  • 12.2 \toksの実装……135
  • 12.3 \toksdef命令……135
  • 12.4 追加のHaskellコード……136
• 第13章 入力ファイル……137
  • 13.1 \input命令……137
  • 13.2 \endinput命令……138
  • 13.3 \inputlineno……138
  • 13.4 \scantokens命令（ε-TeX拡張）……139
  • 13.5 入力ファイルの終端……141
  • 13.6 追加のHaskellコード……142
• 第14章 その他……143
  • 14.1 大文字と小文字の変換：\uppercase、\lowercase……143
  • 14.2 \ignorespaces命令……146
  • 14.3 命令の文字列化：\meaning命令と\show命令……147
  • 14.4 内部量の表示：\showthe命令……152
  • 14.5 追加のHaskellコード……152
• 付録A Haskellプロジェクトの例……155
• あとがき……157

---

「だめぽラボ」のページトップへ