Typst のドキュメント要素

前回でようやく環境が整ったので Typst のドキュメント構造を見ていこう。

コードモードとルール定義

Typst では set キーワードで set ルールを show キーワードで show ルールを定義する。前回の記事で言うと文書全体のフォントを指定している

// for main text
#set text(font: (
  (
    name: "New Computer Modern",
    covers: "latin-in-cjk",
  ),
  "BIZ UDMincho"
))

が文書全体の set ルールを定義している部分である。文字コードの範囲とフォント名をセットで指定するのは Typst 0.13 からの仕様らしい。 latin-in-cjk はラテン文字の範囲を示す Typst の予約語。コード範囲の指定に正規表現も使えるそうな。

同じく前回記事の

// for headings
#show heading: it => {
    set text(font: (
      (
        name: "Liberation Sans",
        covers: "latin-in-cjk",
      ),
      "BIZ UDGothic"
    ))
	it
}

は show ルールについての記述で，見出し（heading）要素に対して表示時のフォントを指定している。 Show ルールの中で set ルールが使われていることに注目してほしい。ここでの set は show による定義内でのみ効力がある。

Set および show ルールについて詳しくは「Typst における関数とルール」を参照のこと。

キーワードの頭に付いている # はコードモードの開始を示している。他にも $ ... $ で囲まれている部分は数式モード， [ ... ] で囲まれている部分（「コンテントブロック」と呼ぶ）はマークアップモードといった感じにモードが切り替わる。指定されている部分以外はマークアップモード。 $\mathrm{\LaTeX}$ では文書を記述する領域（環境）が明示的に示され，それ以前の部分をプリアンブル（preamble; 前口上）として設定やルールを纏めて記述するが Typst ではそういった区別はなく，コードモードを任意の場所に記述可能で逐次処理される。

コードモードは基本的に文単位で # を付けるが #{ ... } とブロック単位で指定することもできる。 set や show はコードモードで使えるキーワードである。コードモードで使えるキーワードについては公式ドキュメントの “Syntax” のページを参照のこと。

text はテキストの外観とレイアウトを定義・変更する関数で，ルール設定以外にも頻繁に登場する。引数で複数のプロパティ値を連想配列で指定する。

#set text(font: "Noto Sans CJK JP", size: 14pt, lang: "ja")

空が#text(fill:blue)[青い] 。

見出し

ついでなので見出し（heading）の話からしよう。

マークアップモードで行頭に = を付けると見出しになる。

#set text(font: "Noto Sans CJK JP")

= 見出し1
== 見出し1.1
=== 見出し1.1.1
==== 見出し1.1.1.1
= 見出し2

フォント指定部分はスルーしてほしい。 = と見出しの文言の間に空白文字を入れるのがポイント。これをコンパイルすると以下の出力になる。

= を重ねることで見出しのレベルが深くなるが，レベルの制限は（仕様上は）ないみたい。レベルが深くなると見た目で判別できなくなるけど。

heading 関数を使ってコードモードで見出しを表示することもできる。

#set text(font: "Noto Sans CJK JP")

#outline(title: [目次])

#heading(level:1)[見出し1]
#heading(level:2)[見出し1-1]
#heading(
  level:1,
  outlined: false
)[目次に乗らない付録]

outline は目次を出力する関数。

コードモードで見出しを書くメリットはあまりないと思うけど，上のように特定の見出しを目次に含めないとかいった制御が必要な場合があるかもしれない。

見出し番号のフォーマットは set キーワードでルールを定義するのがよい。

#set text(font: "Noto Sans CJK JP")
#set heading(numbering: "1.1")

= 見出し1
== 見出し1.1
=== 見出し1.1.1
== 見出し1.2
= 見出し2
== 見出し2.1

numbering の表現はかなり強力で

#set text(font: "Noto Sans CJK JP")
#set heading(numbering: "ア.")

= 見出し1
= 見出し2

#let unary(.., last) = "†" * last
#set heading(numbering: unary)
#counter(heading).update(0) //見出しカウンタのリセット

= 付録1
= 付録2

みたいなこともできる。

Counting symbols are 1, a, A, i, I, α, Α, 一, 壹, あ, い, ア, イ, א, 가, ㄱ, *, ١, ۱, १, ১, ক, ①, and ⓵. They are replaced by the number in the sequence, preserving the original case.

The * character means that symbols should be used to count, in the order of *, †, ‡, §, ¶, ‖. If there are more than six items, the number is represented using repeated symbols.

via Numbering Function – Typst Documentation

ちなみに counter は関数ではなく型。 heading 関数を counter 型にキャストして update メソッドを呼び出すイメージか？

段落

マークアップモードでは，連続したひとかたまりの文字列を段落としてあつかう。改行は無視される。段落を改めるには空行を挟む。

#set text(font: "Noto Serif CJK JP")

「何人ものニュートンがいた（There were several Newtons）」
と言ったのは，科学史家ハイルブロンである．同様にコーヘンは
「ニュートンはつねに二つの貌を持っていた
（Newton was always ambivalent）」と語っている．

近代物理学史上でもっとも傑出しもっとも影響の大きな人物が
ニュートンであることは，誰しも頷くことであろう．
しかしハイルブロンやコーヘンの言うように，
ニュートンは様々な，ときには相矛盾した顔を持ち，
その影響もまた時代とともに大きく変っていった．

〈山本義隆『熱学思想の史的展開』（現代数学社，1987年）より〉

この辺は $\mathrm{\LaTeX}$ や Markdown と同じなので馴染みがあるだろう。

段落内で強制的に改行したい場合は行末に \ を付ける（または #linebreak() 関数を使う）。

#set text(font: "Noto Serif CJK JP")

近代物理学史上でもっとも傑出しもっとも影響の大きな人物が
ニュートンであることは，誰しも頷くことであろう． \
しかしハイルブロンやコーヘンの言うように，
ニュートンは様々な，ときには相矛盾した顔を持ち，
その影響もまた時代とともに大きく変っていった．

par 関数を使ってコードモードで段落を表示することもできる。

#set text(font: "Noto Serif CJK JP", lang: "ja")

#par(justify: false)[
「何人ものニュートンがいた（There were several Newtons）」
と言ったのは，科学史家ハイルブロンである．同様にコーヘンは
「ニュートンはつねに二つの貌を持っていた
（Newton was always ambivalent）」と語っている．
]

#par(justify: true)[
「何人ものニュートンがいた（There were several Newtons）」
と言ったのは，科学史家ハイルブロンである．同様にコーヘンは
「ニュートンはつねに二つの貌を持っていた
（Newton was always ambivalent）」と語っている．
]

justify 指定の有無でレイアウトがどう変わるか見て欲しい。

実際にはコードモードで個別に指定するより set を使って段落の設定ルールを定義することのほうが多いだろう。

#set text(font: "Noto Serif CJK JP", lang: "ja")
#set par(
  first-line-indent: (
    amount: 1em,
    all: true,
  ),
  leading: 0.9em,
  spacing: 0.9em,
  justify: true,
)

「何人ものニュートンがいた（There were several Newtons）」
と言ったのは，科学史家ハイルブロンである．同様にコーヘンは
「ニュートンはつねに二つの貌を持っていた
（Newton was always ambivalent）」と語っている．

近代物理学史上でもっとも傑出しもっとも影響の大きな人物が
ニュートンであることは，誰しも頷くことであろう．
しかしハイルブロンやコーヘンの言うように，
ニュートンは様々な，ときには相矛盾した顔を持ち，
その影響もまた時代とともに大きく変っていった．

Typst の以前のバージョンでは最初の段落の最初の文字の字下げが出来ない問題があったが，バージョン 0.13 から first-line-indent の all プロパティを true にすることで字下げできるようになった。めでたい！

【字下げが効かない問題は解消したため以下の記述は obsolete となった】

上の例で段落の最初の文字を字下げする設定にしてみたのだが，どうも最初の段落だけ字下げが効かないようだ。欧文では最初の段落は字下げしないのが主流とかいう話もあるらしく，バグじゃなくて意図的な仕様じゃないかと言われている。一応回避策はあるそうなのだが，副作用もあるみたいだし，積極的に使いたい方法ではないかなぁ。オンライン・テキストに慣れてしまうと字下げ云々はあまり気にならなくなるけど，書籍出版や論文を書く人など決められた書式で書く人にとっては問題だろう。

引用

引用（quote）の表現はコードモードのみ対応しているようだ。

#set text(font: "Noto Serif CJK JP", lang: "ja")

引用文：

#quote(
  block: true,
  attribution: [山本義隆『熱学思想の史的展開』（現代数学社，1987年）]
)[
#quote(block: false)[何人ものニュートンがいた（There were several Newtons）]
と言ったのは，科学史家ハイルブロンである．同様にコーヘンは
#quote(block: false)[ニュートンはつねに二つの貌を持っていた
（Newton was always ambivalent）]と語っている．

近代物理学史上でもっとも傑出しもっとも影響の大きな人物が
ニュートンであることは，誰しも頷くことであろう．
しかしハイルブロンやコーヘンの言うように，
ニュートンは様々な，ときには相矛盾した顔を持ち，
その影響もまた時代とともに大きく変っていった．
]

インラインの quote は言語によって括弧を変えてくれるらしいのだが，日本語の「 … 」には対応していない模様。残念。

打ち込んだ通りに出力する

$\mathrm{\LaTeX}$ で言うところの verbatim 環境（または listings パッケージ）， Markdown で言うところのコードフェンスかな。マークアップモードでの書式は Markdown と同じ。

#show raw: body => {
    set text(font: (
      (
        name: "Inconsolata",
        covers: "latin-in-cjk",
      ),
      "Noto Sans CJK JP"
    ))
    body
}

```go
package main

import "fmt"

func main() {
	fmt.Println("Hello, 世界")
}
```

おー。ちゃんとフォントも指定できた。

一応 raw 関数を使った記述もできるけど実用的じゃないかな。

#raw("package main\n\nimport \"fmt\"\n\nfunc main() {\n    fmt.Println(\"Hello, 世界\")\n}", block: true, lang: "go")

raw はインラインで使うと面白い。

#set text(font: "Noto Serif CJK JP", lang: "ja")
#show raw: body => {
    set text(font: (
      (
        name: "Inconsolata",
        covers: "latin-in-cjk",
      ),
      "Noto Sans CJK JP"
    ))
    body
}

Go 言語では最初に ```go package main``` と指定する。

Go 言語では最初に #raw("package main", lang: "go") と指定する。

こんな感じにインラインでも syntax highlight が効く。

箇条書き

マークアップモードでは + および - で箇条書きを表現できる。

#set text(font: "Noto Serif CJK JP", lang: "ja")

+ 番号付き箇条書き1
  + 番号付き箇条書き1-1
  + 番号付き箇条書き1-2
+ 番号付き箇条書き2
  - 番号なし箇条書き2-1
  - 番号なし箇条書き2-2

- 番号なし箇条書き1
  + 番号付き箇条書き1-1
  + 番号付き箇条書き1-2
- 番号なし箇条書き2
  - 番号なし箇条書き2-1
  - 番号なし箇条書き2-2

5. 番号付き箇条書き5 (番号指定)
+ 番号付き箇条書き6

またはコードモードで enum または list 関数を使って

#set text(font: "Noto Serif CJK JP", lang: "ja")

#enum(
  numbering: "①",
  enum.item[番号付き箇条書き1
    #enum(numbering: "ア)")[番号付き箇条書き1-1][番号付き箇条書き1-2]
  ],
  enum.item[番号付き箇条書き2],
)

#list(
  marker: [‣],
  list.item[番号なし箇条書き1
    #list(marker: [--])[番号なし箇条書き1-1][番号なし箇条書き1-2]
  ],
  list.item[番号なし箇条書き2],
)

てな感じに記述できる。

箇条書きの番号やシンボルは set であらかじめルールを設定しておくのがいいだろう。

#set text(font: "Noto Serif CJK JP", lang: "ja")

#set enum(numbering: "①.ア")
#set list(marker: ([‣], [--]))

+ 番号付き箇条書き1
  + 番号付き箇条書き1-1
  + 番号付き箇条書き1-2
+ 番号付き箇条書き2

- 番号なし箇条書き1
  - 番号なし箇条書き1-1
  - 番号なし箇条書き1-2
- 番号なし箇条書き2

図表

表（table）に関してはコードモードによる記述のみ提供されている。こんな感じ。

#set text(font: "Noto Serif CJK JP", lang: "ja")

#table(
  columns: (auto, auto, auto),
  align: (right, center, left),
  table.header([*日付*], [*曜日*], [*内容*]),
  [2025年5月3日], [土], [憲法記念日],
  [2025年5月4日], [日], [みどりの日],
  [2025年5月5日], [月], [こどもの日],
  [2025年5月6日], [火], [休日],
)

table を figure で囲むことでキャプションを付けることができる。

#set text(font: "Noto Serif CJK JP", lang: "ja")

#figure(
  table(
    columns: (auto, auto, auto),
    align: (right, center, left),
    table.header([*日付*], [*曜日*], [*内容*]),
    [2025年5月3日], [土], [憲法記念日],
    [2025年5月4日], [日], [みどりの日],
    [2025年5月5日], [月], [こどもの日],
    [2025年5月6日], [火], [休日],
  ),
  caption: [2025年5月の祝日・休日],
) <holiday>

@holiday は国立天文台で公開されている暦データから抽出したもの。詳しくは拙文「#link("https://text.baldanders.info/remark/2019/05/google-ephemeris/")[カレンダーに祝日を入れたいなら国立天文台へ行けばいいじゃない]」を参照のこと。

表が中央寄せになった。 <holiday> および @holiday は参照構造を表すもの。 link 関数を含む参照については後日に改めて扱うことにする。

キャプションを表の上側に表示させることもできる。

#set text(font: "Noto Serif CJK JP", lang: "ja")

#figure(
  table(
    columns: (auto, auto, auto),
    align: (right, center, left),
    table.header([*日付*], [*曜日*], [*内容*]),
    [2025年5月3日], [土], [憲法記念日],
    [2025年5月4日], [日], [みどりの日],
    [2025年5月5日], [月], [こどもの日],
    [2025年5月6日], [火], [休日],
  ),
  caption: figure.caption(
    position: top,
    [2025年5月の祝日・休日]
  ),
)

あるいは最初からルール化してしまうか。

#show figure.where(
  kind: table
): set figure.caption(position: top)

表に関してはかなり複雑な表現が可能なようだ。公式ドキュメントの “Table guide” も参考にどうぞ。

図に関しては Typst の機能を使って作画もできるみたいだけど，今回は image 関数を使って既存の画像ファイルを埋め込んでみた。

#set text(font: "Noto Serif CJK JP", lang: "ja")

#figure(
  image("lake-shinjiko.jpg", width: 60%),
  caption: "チャリで来た",
)

これも figure 関数で囲んでいる。

データフォーマットとしては "png", "jpg", "gif", "svg" のみ対応しているようだ。特に format を指定しなくても自動で認識してくれるらしい。個人的には（$\mathrm{\LaTeX}$ からの移行を考えるなら） EPS や PDF も対応して欲しいところではある。

…これでよく使う文書要素に関しては一通り調べたかな。今回はここまで。

ブックマーク

ブックマークは「Typst に関するブックマーク」へ移動しました。

参考文献

Typst完全入門: LaTeXより簡単、Markdownより強力、美しいドキュメント作成術: doitsu (著); 2024-12-08 (Release 2024-12-08); Kindle版; B0DPXBNTRS (ASIN); 評価

マークアップ言語および組版ツールである Typst についての解説。 Kindle 版のみの提供。固定レイアウトではないためレイアウトが崩れまくって読みにくい。この手の技術解説書は固定レイアウトの Kindle 版か，いっそ PDF で出してほしい。でも Typst についてまとまった解説のある日本語の本は他に見当たらなかったのでありがたい。

reviewed by Spiegel on 2025-02-20 (powered by PA-APIv5)

［改訂第9版］LaTeX美文書作成入門: 奥村晴彦 (著), 黒木裕介 (著); 技術評論社 2023-12-09 (Release 2023-12-09); 単行本（ソフトカバー）; 4297138891 (ASIN), 9784297138899 (EAN), 4297138891 (ISBN); 評価

2023年末に出てるのに気が付かなかった orz 今回は版元で PDF 版を買った。

reviewed by Spiegel on 2024-04-07 (powered by PA-APIv5)

熱学思想の史的展開１　──熱とエントロピー (ちくま学芸文庫): 山本義隆 (著); 筑摩書房 2008-12-10 (Release 2017-05-05); Kindle版; B071CWZ2NM (ASIN)

1987年に現代数学社から出版された同タイトルの本の再販かな？筑摩版では三分冊になっている。熱力学やエントロピーについて学ぶのであれば理解の助けになるだろう。