Typst のお勉強 [text.Baldanders.info]

Typst における関数とルール

2025-03-07T19:16:25+09:00

そろそろ Typst の関数とルール設定について，そろそろちゃんと調べようと思って。本当は「Typst に関する雑多な話」で軽く触れるだけにするつもりだったが，思ったより量があったので記事を立てることにした。

関数の定義と呼び出し

まずは一番簡単な関数を考えてみる。

#let fnc(it) = {
  it
};

これは引数をそのまま返すだけの関数である。この関数の引数に "Hello" を渡して呼び出すと

#fnc("Hello")

引数の内容がそのまま出力される。

関数の定義と呼び出し (1)

引数には（出力可能なものであれば）なんでも渡せる。数値を入れることもできるし，何なら関数を入れ子にしてもよい。

#fnc(fnc("Hello"))

もうひとつ。 Typst の関数呼び出しではコンテントブロック（角括弧 [ ... ] で囲まれる領域）を関数呼び出しの後ろに付けることができる。これをコンテント引数（content argument）と呼ぶ。

#fnc[Hello]

コンテント引数（content argument）は呼び出された側では content 型の引数としてセットされる。つまり #fnc("Hello") と #fnc[Hello] は（str と content の型の違い以外は）ほぼ同じ機能である。

ついでの話として，呼び出す側はコンテント引数を複数並べることができる。

#fnc2[Hello][world]

この場合，呼び出される側は以下のように定義する。

#let fnc2(..it) = {
  it
}

#fnc2[Hello][world]

このときの出力結果は以下の通り。

関数の定義と呼び出し (2)

it に arguments 型で受けているのが分かる。 arguments 型は pos メソッドで array 型に変換できる。

名前付き引数

次は文字列を色付きで出力することを考えてみる。関数定義は以下の通り。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

color: red は名前付き引数（named parameter）と呼ばれる。名前付き引数には既定値がつく（上述のコードでは red が既定値）。この関数の呼び出しは以下のように書く。

#colorText[Hello] #colorText(color: blue)[world]

名前付き引数は省略可能で省略した場合は既定値になる。もちろん

#colorText("Hello") #colorText(color: blue, "world")

などと書くこともできる。出力結果は同じで以下の通り：

関数の定義と呼び出し (2)

Show ルール

show キーワードを使って指定した対象に対し show ルールを設定できる。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

#show heading: it => colorText(color: blue, it)

= Heading 1

== Heading 1.1

上のコードの it は show キーワードで指定した対象を無名関数のコンテント引数として渡したもの。全ての関数で共通に用意されている with メソッドを使うことで以下のようにコンテント引数を省略できる。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

#show heading: colorText.with(color: blue)

= Heading 1

== Heading 1.1

出力結果はいずれも同じでこんな感じ。

Show ルール設定 (1)

Show ルールの対象は（出力可能なものなら）なんでもよくて，たとえば

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

#show "Hello": colorText

Hello World

みたいな記述もできる。なお，コンテント引数以外に引数がない（または省略できる）場合は，上のように関数名だけを指定できる。

このコードの出力結果は以下の通り：

Show ルール設定 (2)

Show ルールの対象には selector も指定できる。たとえば where メソッドを使って以下のように記述できる。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

#show heading.where(level: 1).or(heading.where(level: 2)): colorText

= Heading 1

== Heading 1.1

=== Heading 1.1.1

出力結果は以下の通り：

Show ルール設定 (3)

Show ルールの対象がない場合，文書全体が対象となる。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

#show: colorText.with(color: blue)

#lorem(40)

ちなみに lorem は指定した単語数のランダムな文章（欧文¹）を生成する関数である。

出力結果は以下の通り：

Show ルール設定 (4)

Show ルールは逐次処理されるのか

Show ルールがどのように効いてくるか試してみた。

まずはこれ。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

= Heading 1

== Heading 1.1

#show heading: colorText

= Heading 2

== Heading 2.1

出力結果は以下の通り：

Show ルール設定 (1b)

まぁ，これは予想通り。

次はこれ。

#let colorText(color: red, it) = {
  text(fill: color)[#it]
}

= Heading 1

== Heading 1.1

#show heading: colorText

= Heading 2

== Heading 2.1

#show heading: it => colorText(color: blue, it)

= Heading 3

== Heading 3.1

希望としては黒 → 赤 → 青の順で変わってほしいのだが…

Show ルール設定 (1c)

んー。ひょっとして show ルールって遡って適用されるのだろうか。外部パッケージを import したときに show ルールが衝突したら面倒なことになりそう。

Show ルールの設計はちょっと気をつけないといけないかもしれない。

Set ルール

text や image あるいは heading や par などドキュメント要素に紐づく組込み関数は「要素関数（element function）」と言うそうな。要素関数は set キーワードを使い set ルールで名前付き引数の既定値を変更することができる。

Some functions are associated with elements like headings or tables. When called, these create an element of their respective kind. In contrast to normal functions, they can further be used in set rules, show rules, and selectors.

via Function Type – Typst Documentation

ドキュメントのルートで set ルールを指定すると，逐次処理で指定位置以降に適用される。

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

明朝体

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

ゴシック体

出力結果は以下の通り：

Set ルール設定 (1)

Show ルールの中で set ルールを指定した場合，その show ルールの中でのみ set ルールが適用される。

#set text(font: "Noto Serif CJK JP", lang: "ja")
#show heading: it => {
  set text(font: "Noto Sans CJK JP")
  it
}

= ゴシック体

明朝体

set キーワードのみの記述ならコンテント引数を省略して

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

= ゴシック体

明朝体

などと記述することもできる。

出力結果はいずれも同じでこんな感じ。

Set ルール設定 (2)

なお let キーワードで定義したユーザ関数は要素関数ではないので set ルールは使えない。

文書ファイルを分割した際のルール設定

文書ファイルを分割して import や include で読み込む場合，子ドキュメントで設定した set および show ルールは親ドキュメントには適用されないので注意（親ドキュメントから子ドキュメントへはルールが継承される）。子ドキュメントで記述した set および show ルールを親ドキュメントに適用させるには（テンプレートで使う手法）ルールを記述した関数を import で読み込み，親ドキュメントの show ルールを使って関数を呼び出す。

#let initFonts(font-name: "New Computer Modern", body) = {
  set text(
    lang: "ja",
    font: font-name,
    size: 10pt,
  )
  body
}

子ドキュメント

#import "child.typ": initFonts

#show: it => initFonts(
  font-name: "Noto Sans CJK JP",
  it
)

こんにちわ、世界！

親ドキュメント (1)

または with メソッドを使って

#import "child.typ": initFonts

#show: initFonts.with(
  font-name: "Noto Sans CJK JP",
)

こんにちわ、世界！

親ドキュメント (2)

などとコンテント引数を省略できる。

ブックマーク

ブックマークは「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)

日本語の文を生成する roremu パッケージを公開されている方もいる。感謝！ ↩︎

Typst に関する雑多な話

2025-03-02T21:55:38+09:00

ここでは Typst に関する小ネタをまとめて挙げておく（随時更新）。

Typst をビルドする

Typst は Windows であれば Winget， macOS なら Homebrew， Linux なら Snap または “Versions for typst” から直接取得できるが，これらの方法でインストールできない場合は Rust のビルド環境を導入して Typst をビルドする。

とりあえず Linux プラットフォームで Rust ビルド環境をインストールするには以下のコマンドでいける¹。

$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

これで PATH の設定までやってくれる。その後，以下のコマンドで Typst のビルドを行う。

$ cargo install --locked typst-cli

Rust ビルド環境を標準設定でインストールしているなら ~/.cargo/bin/ ディレクトリ（Linux の場合）に typst コマンドが出来ているはずである。 cargo コマンドが起動しているならこのディレクトリに PATH が通ってるはずなので，そのまま typst コマンドを実行できる。

変数をコマンドライン引数で指定する

Typst は compile 時に --input オプションでキーと値を与えることができる。 --input オプションは複数指定できる。

$ typst compile --input key1=value1 --input key2=value2 sys-inputs.typ

設定したキー・値のペアは sys.inputs から取得することができる。

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

#sys.inputs

このコードに対し --input key1=value1 --input key2=value2 オプションを付けて compile すると。

変数をコマンドライン引数で指定する

などと連想配列（dictionary）の形で格納されていることが分かる。なので，上の例であれば sys.inputs.key1 または sys.inputs.at("key1") で値 "value1" を取得できる（値は必ず文字列に解釈される）。ただし sys.inputs.key3 のように --input オプションで指定していないキーを読もうとすると

$ typst compile --input key1=value1 --input key2=value2 sys-inputs-1b.typ 
error: dictionary does not contain key "key3"
   ┌─ sys-inputs-1b.typ:12:12
   │
12 │ #sys.inputs.key3
   │             ^^^^

という感じにコンパイルエラーになる。厄介なことに VS Code の Tinymist Typst 拡張機能は，このような immediate なキーの記述に対してエラーを吐いてくれて，けっこう鬱陶しい。回避策としては

#let key3 = ""

#if "key3" in sys.inputs {
	key3 = sys.inputs.at("key3")
}

#key3

などと記述すればいいようだ。この場合 compile 処理自体は「正常終了」してしまうのがデメリットかな²。

ブックマーク

ブックマークは「Typst に関するブックマーク」にてまとめています。

参考文献

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

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

Linux の Rust ビルド環境には GCC も必要。 Ubuntu は GCC が既定で入ってないので， sudo apt build-essential で GCC を導入する。 ↩︎
軽く調べてみたが Typst には exit や panic のようなプロセスを強制終了させる仕組みがない。 try-catch の例外処理もなく，当然 throw のようなものもない。たとえば処理中に（文法エラーや言語仕様上の致命的エラーではなく）ビジネスロジック上の問題があったときに，その問題をドキュメントとして出力することは可能だが，処理自体は「正常終了」してしまうため，プロセスを監視する側はエラーを感知できず出力結果を目視してはじめてエラーが起きていることが分かることになる。これはちょっと面白くない。【2025-03-07 追記】あれから少し勉強して assert 関数を使えばロジカルなエラーを検出したときに指定したメッセージを吐いてエラー終了できることが分かった。まじすんません 🙇 ただし，今回の例では assert 関数を使ってエラーハンドリングしようとしても，結局は Tinymist Typst 拡張機能がエラーを吐くので鬱陶しいことには変わりない。 ↩︎

Typst におけるデータと制御

2025-03-02T21:46:52+09:00

Typst は CSV や JSON などのテキストベースのデータ（ファイル）を読み込んで使うことができる。簡単な例をいくつか挙げてみる。

CSV データの読み込みと表示

以下の内容の CSV ファイルがあるとする。

"日付","曜日","名称"
"2025年5月3日","土","憲法記念日"
"2025年5月4日","日","みどりの日"
"2025年5月5日","月","こどもの日"
"2025年5月6日","火","休日"

これを読み込んで表にすることを考える。 Typst のコードはこんな感じ。

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

#let holidays = csv(
  "./holidays.csv",
  delimiter: ",",
  row-type: dictionary,
)

#holidays

フォントの指定については今回はスルーで¹（笑） CSV データの読み込みには raw 関数を使う。今回のように1行目がヘッダ情報になっている場合は row-type に dictionary を指定する。ヘッダ情報がない場合は既定の array でOK。

これを PDF に出力すると以下のような内容になる。

CSV データの読み込み

見ての通り連想配列（dictionary）の配列（array）という構造になっている。

次にこれをヘッダ情報とデータに分離する。 Typst のコードはこんな感じ。

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

#let holidays = csv(
  "./holidays.csv",
  delimiter: ",",
  row-type: dictionary,
)
#let header = holidays.first().keys()
#let data = holidays.map(holiday => holiday.values())

#header

#data

PDF への出力結果は以下の通り。

ヘッダとデータを分離

data は2次元配列になっている点に注意。一応，元データの並び順のままヘッダ情報もデータも取れるんだね。 array にはコンテナ操作ではお馴染みの filter, map, fold といったメソッドが使える。ありがたや。

これで CSV データは取れたので table へ展開してみる。

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

//関数定義
#let tableOfHolidays(path) = {
  let holidays = csv( //CSV ファイルの読み込み
    path,
    delimiter: ",",
    row-type: dictionary,
  )

  if holidays.len() > 0 { //データがある場合のみテーブルを表示
    let header = holidays.first().keys() //ヘッダ情報の抽出
    table(
      columns: header.len(), //ヘッダ情報の要素数
      align: header.map(it => {
          if it == "日付" {
              right
          } else if it == "曜日" {
              center
          } else {
              left
          }
        }
      ), //ヘッダ情報の名前によって文字列の寄せを設定
      fill: (x, y) => if y == 0 {
        green.lighten(80%)
      }, //ヘッダ部の背景色を設定
      table.header(..header.map(it => {
          set text(font: "NOTO Sans CJK JP", weight: "bold")
          it
      })), //ヘッダ情報，文字コードも併せて設定している
      ..holidays.map(holiday => holiday.values()).flatten() //データを一次元のデータの並びに展開
    )
  }
}

//CSV ファイルの読み込んでテーブルを表示
#tableOfHolidays("./holidays.csv")

まず tableOfHolidays 関数を定義して CSV ファイルへのパスを引数とする（CSV 形式の文字列でも可）。 tableOfHolidays 関数内では CSV ファイルからデータを取得して table へ展開している。最後に tableOfHolidays 関数に CSV ファイルへのパスを渡して実行する。

配列に対する flatten 関数は多次元配列を一次元配列に展開する。

配列の頭に付いている .. は配列を要素の並びに展開する。関数の引数で min(..nums) みたいな感じでよく使われる。

あとはヘッダ部の装飾のためにごちゃごちゃ書いているが，詳細は割愛する。そんなもんと思って眺めていただければ（笑）

PDF への出力結果は以下の通り。

CSV からテーブル生成

まぁ，こんなもんかな。

JSON データを読み込んでカレンダーを作ろう

もうひとつ。練習問題としてカレンダーを作ってみる。

Typst には日時情報を操作する型として datetime があるのだが，今回は「外部データを読み込んで使う」のが目的なので使わない。

ある月のカレンダーを組む際に必要な情報としては以下のものがあればいいだろう。

年
月
月初日の曜日（0 〜 6， 0 が日曜日）
月の最終日

datetime では「月の最終日」を取得するのが面倒くさいんだよな²。愚痴はともかく，まずは #let calendar(year, month, first_weekday, lastday) = { ... } という関数を定義してみる。

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

//カレンダーを作成
#let calendar(year, month, first_weekday, lastday) = {
  let days = ()
  let i = 0
  while i < first_weekday { //初日の曜日まで空白を追加
    days.push("")
    i = i + 1
  }
  days = days + range(1, lastday + 1).map(day => { //日付を追加
    [#day]
  })
  //カレンダーを作成
  table(
    stroke: (x, y) => if y == 1 {//罫線を設定
      (bottom: 0.7pt + black)
    },
    align: (x, y) => ( //文字の位置を設定
      if y > 1 { right }
      else { center }
    ),
    columns: 7, //列数を設定
    table.header( //ヘッダーを設定
      table.cell( //年月を設定
        colspan: 7,
        [
          #set text(font: "NOTO Sans CJK JP", weight: "bold")
          #year 年 #month 月
        ]
      ),
      ..(text(red)[日], [月], [火], [水], [木], [金], text(blue)[土]).map(it => { //曜日を設定
        set text(font: "NOTO Sans CJK JP", weight: "bold")
        it
      })
    ),
    ..days.enumerate(start:0).map(it => {
      if calc.rem(it.at(0), 7) == 0 { //日曜日の場合
        table.cell(
          [
            #set text(red)
            #it.at(1)
          ]
        )
      } else if calc.rem(it.at(0), 7) == 6 { //土曜日の場合
        table.cell(
          [
            #set text(blue)
            #it.at(1)
          ]
        )
      } else { //その他の場合
        table.cell(
          [#it.at(1)]
        )
      }
    }),
  )
}

#calendar(2025, 5, 4, 31) //2025年5月のカレンダーを表示

実際に曜日を考慮した日付情報を生成している部分を強調している。他はほぼテーブルの装飾のためのコードである。最後の行で具体的な値を与えて calendar 関数を呼び出しカレンダーを表示している。

これの組版結果は以下の通り。

カレンダーを生成（2025年5月）

んー。こんなもんかな。

次は1月から12月までの年間カレンダーを作ってみよう。

要は作成した calendar 関数を12回呼び出せばいいのだが，必要な情報をいちいち手入力するのも不毛なので，必要なデータを JSON ファイルから取得するよう変更する。 JSON ファイルの作成は Go で以下のように組んでみた。

package main

import (
    "encoding/json"
    "fmt"
    "os"
    "time"
)

// Month represents a calendar month with its associated year, month number,
// the first weekday of the month, and the last day of the month.
// Year is the year of the month.
// Month is the month number (1-12).
// FirstWeekday is the weekday of the first day of the month (0-6, where 0 is Sunday).
// Lastday is the last day of the month.
type Month struct {
    Year         int `json:"year"`
    Month        int `json:"month"`
    FirstWeekday int `json:"first_weekday"`
    Lastday      int `json:"lastday"`
}

func main() {
    year := 2025
    months := make([]Month, 0, 12)
    for month := 1; month <= 12; month++ {
        m := Month{
            Year:         year,
            Month:        month,
            FirstWeekday: int(time.Date(year, time.Month(month), 1, 0, 0, 0, 0, time.UTC).Weekday()),
            Lastday:      time.Date(year, time.Month(month+1), 0, 0, 0, 0, 0, time.UTC).Day(),
        }
        months = append(months, m)
    }
    b, err := json.Marshal(months)
    if err != nil {
        fmt.Fprintln(os.Stderr, err)
        return
    }
    fmt.Println(string(b))
}

このコードの実行結果は以下の通り（途中を端折っている）。

$ go run months.go | jq .
[
  {
    "year": 2025,
    "month": 1,
    "first_weekday": 3,
    "lastday": 31
  },
  {
    "year": 2025,
    "month": 2,
    "first_weekday": 6,
    "lastday": 28
  },

  ...

  {
    "year": 2025,
    "month": 12,
    "first_weekday": 1,
    "lastday": 31
  }
]

この出力を months.json ファイルにリダイレクトすればOK。

Typst のコードについては calendar 関数を呼び出してる部分を以下のように書き換える。

#{
  let calendars = ()
  for month in json("./months.json") { //月ごとにカレンダーを作成
    calendars.push(calendar(month.year, month.month, month.first_weekday, month.lastday))
  }
  //カレンダーを3列×4行で表示
  grid(
    stroke: none,
    gutter: 0.5em,
    columns: (1fr, 1fr, 1fr),
    rows: (1fr, 1fr, 1fr, 1fr),
    ..calendars,
  )
}

ここでは table ではなく grid を使っている。機能的には両者に殆ど違いはないが，ページ内をいくつか仕切って配置するという用途であれば grid を使ったほうがいいだろうか。

組版結果は以下の通り。

年間カレンダーを生成（2025年）

次。この年間カレンダーに対して祝日・休日の日に色を付けてみよう。

祝日・休日データの収集についても Go で以下のコードを組んでみる。

package main

import (
    "encoding/json"
    "fmt"
    "os"
    "time"

    "github.com/goark/koyomi"
    "github.com/goark/koyomi/value"
)

// Holiday represents a holiday with its date and title.
// Year is the year of the holiday.
// Month is the month of the holiday (1-12).
// Day is the day of the holiday (1-31).
// Weekday is the day of the week of the holiday.
// Title is the name or description of the holiday.
type Holiday struct {
    Year    int          `json:"year"`
    Month   int          `json:"month"`
    Day     int          `json:"day"`
    Weekday time.Weekday `json:"weekday"`
    Title   string       `json:"title"`
}

func main() {
    start, _ := value.DateFrom("2025-01-01")
    end, _ := value.DateFrom("2025-12-31")
    td, err := os.MkdirTemp(os.TempDir(), "blog")
    if err != nil {
        fmt.Fprintln(os.Stderr, err)
        return
    }
    defer func() { _ = os.RemoveAll(td) }()
    k, err := koyomi.NewSource(
        koyomi.WithCalendarID(koyomi.Holiday),
        koyomi.WithStartDate(start),
        koyomi.WithEndDate(end),
        koyomi.WithTempDir(td),
    ).Get()
    if err != nil {
        fmt.Fprintln(os.Stderr, err)
        return
    }

    holidays := make([]Holiday, 0, len(k.Events()))
    for _, e := range k.Events() {
        holidays = append(holidays, Holiday{
            Year:    e.Date.Year(),
            Month:   int(e.Date.Month()),
            Day:     e.Date.Day(),
            Weekday: e.Date.Weekday(),
            Title:   e.Title,
        })
    }
    b, err := json.Marshal(holidays)
    if err != nil {
        fmt.Fprintln(os.Stderr, err)
        return
    }
    fmt.Println(string(b))
}

祝日・休日データの取得は拙作 github.com/goark/koyomi パッケージを使って国立天文台から取得している。

このコードの実行結果は以下の通り（途中を端折っている）。

$ go run holidays.go | jq .
[
  {
    "year": 2025,
    "month": 1,
    "day": 1,
    "weekday": 3,
    "title": "元日"
  },
  {
    "year": 2025,
    "month": 1,
    "day": 13,
    "weekday": 1,
    "title": "成人の日"
  },

  ...

  {
    "year": 2025,
    "month": 11,
    "day": 24,
    "weekday": 1,
    "title": "休日"
  }
]

この出力を holidays.json ファイルにリダイレクトすればOK。

Typst のコードについては calendar 関数周りを以下のように書き換える。

//祝日・休日の取得
#let holidays = json("./holidays.json")

//指定した年月日が祝日・休日かどうかを判定
#let containHoliday(year, month, day) = {
  holidays.find(holiday => {
    holiday.year == year and holiday.month == month and holiday.day == day
  }) != none
}

//カレンダーを作成
#let calendar(year, month, first_weekday, lastday) = {
  let days = ()
  let i = 0
  while i < first_weekday { //初日の曜日まで空白を追加
    days.push("")
    i = i + 1
  }
  days = days + range(1, lastday + 1).map(day => { //日付を追加
    [#day]
  })
  //カレンダーを作成
  table(
    stroke: (x, y) => if y == 1 {//罫線を設定
      (bottom: 0.7pt + black)
    },
    align: (x, y) => ( //文字の位置を設定
      if y > 1 { right }
      else { center }
    ),
    columns: 7, //列数を設定
    table.header( //ヘッダーを設定
      table.cell( //年月を設定
        colspan: 7,
        [
          #set text(font: "NOTO Sans CJK JP", weight: "bold")
          #year 年 #month 月
        ]
      ),
      ..(text(red)[日], [月], [火], [水], [木], [金], text(blue)[土]).map(it => { //曜日を設定
        set text(font: "NOTO Sans CJK JP", weight: "bold")
        it
      })
    ),
    ..days.enumerate(start:0).map(it => {
      let day = it.at(0)-first_weekday+1 //日付
      let hflag = day > 0 and day <= lastday and containHoliday(year, month, day) //祝日・休日かどうか
      if calc.rem(it.at(0), 7) == 0 { //日曜日の場合
        if hflag { //祝日・休日の場合
          table.cell(
            fill: red.lighten(90%),
            [
              #set text(red)
              #it.at(1)
            ]
          )
        } else { //祝日・休日でない場合
          table.cell(
            [
              #set text(red)
              #it.at(1)
            ]
          )
        }
      } else if calc.rem(it.at(0), 7) == 6 { //土曜日の場合
        if hflag { //祝日・休日の場合
          table.cell(
            fill: red.lighten(90%),
            [
              #set text(blue)
              #it.at(1)
            ]
          )
        } else { //祝日・休日でない場合
          table.cell(
            [
              #set text(blue)
              #it.at(1)
            ]
          )
        }
      } else { //その他の場合
        if hflag { //祝日・休日の場合
          table.cell(
            fill: red.lighten(90%),
            [#it.at(1)],
          )
        } else { //祝日・休日でない場合
          table.cell(
            [#it.at(1)],
          )
        }
      }
    }),
  )
}

組版結果は以下の通り。

年間カレンダーを生成（2025年）

こんな感じで Typst のコードモードには得手も不得手もあるが，ある程度データを整えて与えてあげればそこそこの制御ができそうである。ぶっちゃけ $\mathrm{\TeX}$/$\mathrm{\LaTeX}$ のマクロは触る気にもならないが Typst のコードモードは今どきのスクリプト言語が操れる人なら違和感少なくイケそうな気がする。

データファイルをコマンドラインで指定する

前節でつくった年間カレンダーはデータファイル名をコードに埋め込んでいるが，これをコマンドラインで指定できるようにしてみる。

Typst コード側は sys を使って以下のようにコマンドラインの情報を読み込むように書き換える。

//祝日・休日の取得
#let hfile = "./holidays.json"
#if "holidays" in sys.inputs {
	hfile = sys.inputs.at("holidays")
}
#let holidays = json(hfile)

calendar 関数は変更がないので割愛する。

#{
	let months = "./months.json"
	if "months" in sys.inputs {
		months = sys.inputs.at("months")
	}
	let calendars = ()
	for month in json(months) { //月ごとにカレンダーを作成
		calendars.push(calendar(month.year, month.month, month.first_weekday, month.lastday))
	}
	//カレンダーを3列×4行で表示
	grid(
		stroke: none,
		gutter: 0.5em,
		columns: (1fr, 1fr, 1fr),
		rows: (1fr, 1fr, 1fr, 1fr),
		..calendars,
	)
}

一方，コマンドライン側は以下のように指定する。

$ typst compile --input holidays=holidays2025.json --input months=months2025.json calendar5.typ

これで holidays.json や months.json ではなく holidays2025.json や months2025.json を読み込む。 --input オプションで指定しない場合はデフォルトのファイル名を使う。

コマンドラインで変数を指定する方法については「変数をコマンドライン引数で指定する」で少し詳しく紹介している。

余談だが

今回も VS Code 上で作業しているのだが，コーディングに関しては GitHub Copilot に大変お世話になっている。 Go のコードに関してはほぼ完璧に働いてくれるのだが， Typst のコードに関しては，どうも TypeScript と混乱してるっぽく，しょっちゅう嘘をついてくれるのが困りものである（笑）

データと制御が分離しやすくコードが（比較的）書きやすいというのは Typst の利点だと思う。これなら業務にも組み込みやすいのではないだろうか。

ブックマーク

ブックマークは「Typst に関するブックマーク」にてまとめています。

参考文献

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

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

プログラミング言語Go (ADDISON-WESLEY PROFESSIONAL COMPUTING SERIES): Alan A.A. Donovan (著), Brian W. Kernighan (著), 柴田芳樹 (翻訳); 丸善出版 2016-06-20; 単行本（ソフトカバー）; 4621300253 (ASIN), 9784621300251 (EAN), 4621300253 (ISBN); 評価

著者のひとりは（あの「バイブル」とも呼ばれる）通称 “K&R” の K のほうである。この本は Go 言語の教科書と言ってもいいだろう。と思ったら絶版状態らしい（2025-01 現在）。復刊を望む！

reviewed by Spiegel on 2016-07-13 (powered by PA-APIv5)

実用 Go言語 ―システム開発の現場で知っておきたいアドバイス: 渋川よしき (著), 辻大志郎 (著), 真野隼記 (著); オライリージャパン 2022-04-22; 単行本（ソフトカバー）; 4873119693 (ASIN), 9784873119694 (EAN), 4873119693 (ISBN); 評価

版元のデジタル版を購入。 Go で躓きやすい点を解説していくのが最初の動機らしい。「◯◯するには」を調べる際にこの本を調べるといいかも。

reviewed by Spiegel on 2022-10-26 (powered by PA-APIv5)

データのダンプ表示時のフォント指定については「Typst のドキュメント要素」の raw の説明を参照のこと。 ↩︎
datetime を使ってカレンダーを生成するバージョンも置いておく。詳しい説明は割愛するが「月の最終日」は2月以外固定なので，固定のテーブルを作って，グレゴリオ暦の閏年ルールで閏年か否かを判定して2月の最終日を調整している。さして面倒でもなかったか（笑） ↩︎

Typst の数式モード

2025-02-26T22:34:05+09:00

今回は今まで敢えて後回しにしていた数式モード（math mode）¹ の話。パッと見は $\mathrm{\LaTeX}$ 記法に似ているのだが色々と違っている。

LaTeX 記法とは似て非なる…

たとえば $\mathrm{\LaTeX}$ 記法では

エネルギーと質量には $E=mc^2$ の関係がある。

と書けば

エネルギーと質量には $E=mc^2$ の関係がある。

という感じに組版される。これをそのまま Typst で組版しようとすると

$ typst compile math.typ
error: unknown variable: mc
  ┌─ math.typ:1:14
  │
1 │ エネルギーと質量には $E=mc^2$ の関係がある。
  │                         ^^
  │
  = hint: if you meant to display multiple letters as is, try adding spaces between each letter: `m c`
  = hint: or if you meant to display this as text, try placing it in quotes: `"mc"`

てな感じで怒られる。どうも2つ以上の文字の綴りは何らかのシンボルと解釈されるらしい。たとえば $\mathrm{\LaTeX}$ 記法の以下の数式は

\[
  \left( \int_0^\infty \frac{\sin x}{\sqrt x} dx \right)^2 =
  \sum_{k=0}^\infty \frac{(2k)!}{2^{2k}(k!)^2} \frac{1}{2k+1} =
  \prod_{k=1}^\infty \frac{4k^2}{4k^2-1} =
  \frac{\pi}{2}
\]

『［改訂第9版］LaTeX美文書作成入門』p.221より

equation (STIX2 Math)

Typst 記法だと以下のようになる。

$
  (integral_0^infinity (sin x) / sqrt(x) dif x)^2 =
  sum_(k=0)^infinity (2k)! / (2^(2k) (k!)^2) 1 / (2k+1) =
  product_(k=1)^(infinity) (4k^2) / (4k^2-1) =
  pi / 2
$

equation by Typst (STIX2 Math)

$\mathrm{\LaTeX}$ 記法の { ... } に相当するものが Typst 記法だと ( ... ) になってるのが紛らわしい。おそらく文脈で判別してるんだろうけど。あとインライン数式も別行立て数式もいずれも $ ... $ なのも紛らわしい。こちらは $E=m c^2$ と $ E=m c^2 $ の違い。数式の前後に空白文字や改行が入ってると別行立て数式と認識するらしい。

これは $\mathrm{\LaTeX}$ 記法に慣れている人はちょっと大変かもしれない。 Pandoc には $\mathrm{\LaTeX}$ 記法 → Typst 記法への変換機能があるそうだが，そもそも Typst を使うような人はわざわざ Pandoc を導入しないと思う。

フォントの設定

数式モードのフォントを指定する場合は以下のように記述する。

#show math.equation: set text(font: "New Computer Modern Math")

既定は New Computer Modern Math。数式モード用のフォントには通常のフォントファイルは使えないので注意。

Note that only special OpenType math fonts are suitable for typesetting maths.

via Math fonts

試しに Euler フォントで試そうと思ったが，そういやこれってグリフが全部揃ってなかったわ。 STIX2 フォントのほうはこんな感じで上手くいった²。

#set text(font: (
  (
    name: "STIX Two Text",
    covers: "latin-in-cjk",
  ),
  "Noto Serif CJK JP"
), lang: "ja")
#show math.equation: set text(font: ("STIX Two Math"))

アルベルト・アインシュタインは1905年に発表した特殊相対性理論を通して以下の関係を導き出した。

$
  E = m c^2 "（エネルギーと質量の等価性）"
$

数式表現（STIX2 フォント）

ただし，上の例では数式モードに日本語が入った場合に問題が出る。どうも最初の #set text( ... ) のルール設定が数式モードでは適用されないみたいで

数式表現（STIX2 フォント）プロパティ

という感じで予期しないフォントが埋め込まれてしまった。

これを回避するには

#show math.equation: set text(font: ("New Computer Modern Math", "NOTO Serif CJK JP"))

などと指定する。これで New Computer Modern Math ＞ NOTO Serif CJK JP という優先順位でフォントを選択する。

数式表現（STIX2 フォント）プロパティ

ありゃ。 Medium フォントが選択されてる。なんで？うーん。とりあえずこれは置いておこう。

立体か斜体か

数式の場合は基本的にイタリック体または斜体で記述するのが原則だが，以下の例外がある。

数字はローマン体にする（$\mathit{3.14}$ ではなく $3.14$）

複数文字からなる名前はローマン体にする（$sin\,x$ ではなく $\sin x$）

単位記号はローマン体にする（$3\,m$ ではなく $3\,\mathrm{m}$）

『［改訂第9版］LaTeX美文書作成入門』p.94より

ただ立体（upright）か斜体（slant）³ かの規準は学会等によっても違うようで，たとえば積分等に出てくる dx とかでも斜体の $dx$ とするか立体の $\mathrm{d}x$ とするか流儀があるらしい。ちなみに Typst では積分の dx を立体で表現するために dif x と記述する。

$\mathrm{\LaTeX}$ には unicode-math パッケージというのがあって，数式の書体についてはこのパッケージである程度コントロールできる。詳しくは拙文「数式用フォントで遊ぶ」を参考にどうぞ。 Typst には unicode-math パッケージに相当するものはないっぽい？

Typst では $\sin$ などの一般的な演算子（関数）はあらかじめ定義されていて，これらは立体で表示される。

Typst predefines the operators arccos, arcsin, arctan, arg, cos, cosh, cot, coth, csc, csch, ctg, deg, det, dim, exp, gcd, lcm, hom, id, im, inf, ker, lg, lim, liminf, limsup, ln, log, max, min, mod, Pr, sec, sech, sin, sinc, sinh, sup, tan, tanh, tg and tr.

via Text Operator Function – Typst Documentation

この一覧にない演算子（関数）は自分で定義できる。

#set text(font: "Noto Serif CJK JP", lang: "ja")
#show math.equation: set text(font: "STIX Two Math")

#let GF = math.op("GF")

位数が $q$ である有限体を $GF(q)$ などと表記します。

カスタム演算子（関数）

他に $\int$ などのシンボルは “Symbols” のページまたは sym の項を参照のこと。ちなみに emoji も使える。

#show math.equation: set text(font: "STIX Two Math")

$
  sum_(k=0)^infinity #text(red)[#emoji.suit.heart]^k
$

数学ガールの秘密ノート

シンボルについては $\mathrm{\LaTeX}$ の physica パッケージに近い physica パッケージがあるらしい。

メートル（$\mathrm{m}$）などの単位も立体で表記する。単位等の表現については $\mathrm{\LaTeX}$ の siunitx パッケージに近い metro または unify パッケージを使う手がある。 unify のほうが活況？

\[
  1\,\mathrm{atm} = 1.01325\,\mathrm{bar} = 101,325\,\mathrm{Pa}
\]

\[ 1\,\mathrm{atm} = 1.01325\,\mathrm{bar} = 101,325\,\mathrm{Pa} \]

MathJax だと泥臭い記述になるのはご容赦（MathJax 用の動く siunitx パッケージはないっぽい）。

#import "@preview/unify:0.7.1": qty
#show math.equation: set text(font: "STIX Two Math")

$
  qty("1", "atm") = qty("1.01325", "bar") = qty("101,325", "Pa")
$

気圧単位の換算

同じような感じになったかな。単位表記は値と単位の間のアキを調整する必要があるが unify パッケージなら上手いことやってくれているようだ。

最終手段として，強制的に立体または斜体にする場合は upright または italic 関数を使う。

#show math.equation: set text(font: "STIX Two Math")

$
  upright("Upright, not Italic") \
  "normal string" \
  italic("Italic, not Upright") \
  bold("Bold") \
  italic(bold("Bold Italic")) \
$

立体と斜体

おー。ちゃんと（単なる斜体でない）イタリック体になるんだな。

番号付けと参照

数式の番号付けは equation の設定で行う。

#set text(font: "Noto Serif CJK JP", lang: "ja")
#set math.equation(numbering: "(1)")
#show math.equation: set text(font: "STIX Two Math")

エネルギーと質量には以下の関係がある。

$
  E = m c^2
$

番号付け

また数式には以下のように <label_name> でラベルを付けることができ @label_name で参照できる。

#set text(font: "Noto Serif CJK JP", lang: "ja")
#set math.equation(numbering: "(1)")
#show math.equation: set text(font: "STIX Two Math")

エネルギーと質量には@eq.1 の関係がある。

$
  E = m c^2
$ <eq.1>

ラベルと参照

ラベルはあくまでもマークアップモードでのみ付けることができるみたい。数式モードの中では付けられなかった。参照については後日に改めて扱うことにする。

ブックマーク

ブックマークは「Typst に関するブックマーク」にてまとめています。

参考文献

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

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)

“Math mode” をどう訳すのか悩んだが（英語不得手なもので），「非公式日本語ドキュメント」を見ると「数学」ではなく「数式」となっていたので「数式モード」とした。 ↩︎
Typst のクラウドサービスではフォントアップロードなしに STIX2 フォントが使える。というか TeX Live に収録されている TTF/OTF ファイルは全部使えるっぽい。 ↩︎
厳密にはイタリック体と斜体は異なるのだが（イタリック体にも立体と斜体がある），この記事ではまとめて「斜体」と呼ぶことにする。 ↩︎

Typst 用のテンプレートを使う

2025-02-24T15:23:33+09:00

前回に引き続きページ設定等について調べようと思ったのだが，いいものを見つけてしまった。

okumuralab/typst-js - Typst template based on LaTeX jsarticle/jsbook

Typst について調べていくうちに「思ったより面倒が多いし，独りでフルスクラッチで組むのは不毛じゃないの？」と思い始めていて，使い勝手のよさそうなテンプレートかパッケージを探していたところであった。

そこで今回は予定を変更して typst-js を導入して簡単な文書を作ってみようと思う。その上で次回以降から更に Typst の機能について調べていくことにする。

Typst Universe

そのまえに Typst Universe について。

Typst では Typst Universe でパッケージやテンプレートを収集している。たとえば「工学系の日本語の学会論文テンプレート」である jaconf-mscs なら

$ typst init @preview/jaconf-mscs my-project
Successfully created new project from @preview/jaconf-mscs:0.1.0 🎉
To start writing, run:
> cd my-project
> typst watch main.typ

という感じに雛形のファイルを生成してくれる。生成された main.typ の最初の部分をちょっと見てみると

// MIT No Attribution
// Copyright 2024, 2025 Shunsuke Kimura

#import "@preview/jaconf-mscs:0.1.0": jaconf, definition, lemma, theorem, corollary, proof, appendix

という記述があり，ここでパッケージをリモートからインポートしている。続く jaconf, definition, ... はパッケージ内で定義されている関数である。

これでテンプレートの導入は大体分かったかな。

LaTeX jsarticle/jsbook ベースのテンプレート

okumuralab/typst-js は『LaTeX美文書作成入門』でおなじみ奥村晴彦さんによる Typst 用のテンプレート。奥村晴彦さんは $\mathrm{\LaTeX}$ 用のドキュメントクラスである jsarticle/jsbook の作者でもあり，日本語組版のノウハウが反映されることが期待できる（実際には typst-js はまだ試行錯誤中とのこと）。ありがたや 🙇

okumuralab/typst-js リポジトリにある template/example.typ を見ると

#import "@preview/js:0.1.0": *

となっていたので Typst Universe に登録されているのかと思ったが typst init しようとしたら怒られてしまった。

【2025-03-03 追記】

okumuralab/typst-js は 2025-02-24 時点で Typst Universe に登録されていたらしい。タッチの差で記事に間に合わなかったか（笑）

以下のコマンドで雛形を生成できる。

$ typst init @preview/js js-sample
downloading @preview/js:0.1.2
  5.3 KiB /   5.3 KiB (100 %)   5.3 KiB/s in 193.39 µs ETA: 0 s

Successfully created new project from @preview/js:0.1.2 🎉
To start writing, run:
> cd js-sample
> typst watch example.typ

というわけで template/example.typ の記述を見ながら手動でファイルを作ってみる。こんな感じ。

#import "js.typ": *

#show: js.with(
  lang: "ja",
  seriffont: "New Computer Modern",
  seriffont-cjk: "BIZ UDMincho",
  sansfont: "Liberation Sans",
  sansfont-cjk: "BIZ UDGothic",
  paper: "a4",
  fontsize: 10pt,
  baselineskip: auto,
  textwidth: auto,
  lines-per-page: auto,
  book: false,
  cols: 1,
  non-cjk: "latin-in-cjk",
  cjkheight: 0.88,
)

#maketitle(
  title: "Go のエラーハンドリング",
  authors: "Spiegel",
  abstract: [
    Go のエラーハンドリングについて今まで書いた駄文を「全部入り」で本の形にしてみようと思う。
  ],
  keywords: ("golang", "error", "programming"),
  date: "2025年2月24日"
)

#outline() #v(1em)

= はじめに

プログラミングにおいて，正常系は基本的に「一本道」だが，異常系は（予期しないものも含めて）無数にある。
エラーハンドリングは巨大迷路パズルを袋小路から順に塗りつぶして「正解」をあぶり出していく作業に似ていると思う。
下手くそな迷路攻略はただの「作業」だが，*よく考えられた迷路は袋小路の配置も美しい*。

こんなふうに考えるなら，プログラム設計の肝は#ruby[エラー][袋小路]をどう記述するかにかかっている，と言えるだろう。

私が Go のエラーハンドリングについて最初に記事にしたのは2015年のことだが，あれから Go も少しずつ変わっているし，私も当時よりは多少なりと理解が進んだと思うので，今まで書き散らかした駄文を「全部入り」で本の形にしてみようと思う。

文章の元ネタは拙文「Go のエラーハンドリング」より（いつか PDF 化したいと思っている）。インポートは

#import "js.typ": *

としてローカルのカレントディレクトリにある js.typ を示すようにした。使用する関数を列挙しなくてもワイルドカード（*）が使えるんだな。

なお #v(1em) は縦方向に1文字分の空き行を作る関数。ちなみに水平方向の空き指定には h 関数を使う。

フォントの選択については前に書いた「ローカルで Typst 環境を整える」を参照のこと。 Book 形式ではないので book の値は false とした。ページ内カラム数は1。 non-cjk は Typst で定義されている "latin-in-cjk" とした。正規表現での指定もできるらしい。あとはデフォルトのままかな。

蛇足だが著者は複数記述でき，かつ所属とアドレスも記述できる。こんな感じ。

authors: (("何山 何某", "某大", "username@example.org"), ("何野 何某", "某大"))

さて，これをコンパイルしてみる。このときのコマンドは

$ typst compile --pdf-standard a-2b sample.typ

として PDF/A として構成するようにする¹。結果は以下の通り。

PDF 出力結果

出力した PDF ファイルのプロパティはこんな感じ。

PDF 出力結果（プロパティ）

フォントの埋め込みは問題なし。日本語のタイトルの文字化けもなし。形式も PDF/A-2b で構成されてるっぽい。念のため Windows 環境の Adobe Reader でも開いてみたけど，大丈夫かな。

PDF 出力結果

よし。これでOKにしよう。

履歴書テンプレート

もうひとつテンプレートを紹介しておこう。

データとコードの分離が甘い気もするが，組版の仕上がりを見る限り，かなりよく出来ている。近年は $\mathrm{\LaTeX}$ では履歴書しか書いてないので Typst で書けるのならいよいよ $\mathrm{\TeX}$ 環境は要らなくなるかなぁ。フォントファイルだけ何処かに退避させて他は削除してもいいかもしれない。

その他

日本語組版情報にある「日本語テンプレート」を見ると学会による公式テンプレートが既に幾つか公開されているようだ。他にはソフトウェア設計書のテンプレートもあるみたいでちょっと気になるところである。

探せば他にも色々あるだろうが，ぼちぼち探していこう。

ブックマーク

ブックマークは「Typst に関するブックマーク」にてまとめています。

参考文献

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

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)

PDF/A については拙文「LuaLaTeX で PDF/A を構成する」を参考にどうぞ。 ↩︎

Typst のドキュメント要素

2025-02-23T13:01:15+09:00

前回でようやく環境が整ったので 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

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

見出し (1)

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

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

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

#outline(title: [目次])

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

見出し (2)

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

見出し (3)

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

見出し (4)

みたいなこともできる。

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）」と語っている．

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

段落 (1)

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

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

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

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

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

段落 (2)

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）」と語っている．
]

段落 (3)

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）」と語っている．

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

段落 (4)

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, 世界")
}
```

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

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

一応 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") と指定する。

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

こんな感じにインラインでも 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

箇条書き (1)

またはコードモードで 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],
)

箇条書き (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

箇条書き (3)

図表

表（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日], [火], [休日],
)

表 (1)

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/")[カレンダーに祝日を入れたいなら国立天文台へ行けばいいじゃない]」を参照のこと。

表 (2)

表が中央寄せになった。 <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月の祝日・休日]
  ),
)

表 (3)

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

#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); 評価

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

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

ローカルで Typst 環境を整える

2025-02-21T18:58:37+09:00

さっそくチュートリアルを見ながら Typst を触っていこうと思ったのだが，ちょっと動かしてみたところ，クラウドサービスの環境では日本語がショボすぎて先へ進める気にならないので，ローカルに環境を作ってしまうことにした。

【2025-02-22 追記】

前回の記事に追記して，クラウドサービスの環境で日本語フォントが指定できることを確認した。改めてクラウドサービスの環境で使えるフォントをよく見てみたが TeX Live に収録されている TTF/OTF フォントは全て使えるようだ。原ノ味フォントも使える。

OS にバンドルされているフォントは OS の種類やバージョンによって異なるため，複数人で異なるプラットフォームでドキュメントを作成する場合はフォントを合わせるのに苦労する。書籍出版とかではなく文字のデザインそのものに拘りがないのなら，クラウドサービスを使った協働作業にするとか Docker 等の仮想環境を使うなど，環境の方を合わせてしまったほうがいいかもしれない。今回は私の個人的な作業なので好き勝手絶頂にやるけど（笑）

今回の環境は以下の通り：

OS は Ubuntu 24.10
Typst は Snap からインストール
VS Code 用の拡張機能 Tinymist Typst を導入する¹

動作確認しておこう。

$ typst --version
typst 0.13.0 (8dce676d)

$ typst --help
Typst 0.13.0 (8dce676d)

Usage: typst [OPTIONS] <COMMAND>

Commands:
  compile  Compiles an input file into a supported output format [aliases: c]
  watch    Watches an input file and recompiles on changes [aliases: w]
  init     Initializes a new project from a template
  query    Processes an input file to extract provided metadata
  fonts    Lists all discovered fonts in system and custom font paths
  help     Print this message or the help of the given subcommand(s)

Options:
      --color <COLOR>  Whether to use color. When set to `auto` if the terminal
                       to supports it [default: auto] [possible values: auto,
                       always, never]
      --cert <CERT>    Path to a custom CA certificate to use when making
                       network requests [env: TYPST_CERT=]
  -h, --help           Print help
  -V, --version        Print version

Resources:
  Tutorial:                 https://typst.app/docs/tutorial/
  Reference documentation:  https://typst.app/docs/reference/
  Templates & Packages:     https://typst.app/universe/
  Forum for questions:      https://forum.typst.app/

おっ。 typst fonts コマンドで利用可能なフォントの一覧が出るのか。試してみよう。

$ typst fonts | grep Computer
New Computer Modern
New Computer Modern Math

$ typst fonts | grep "CJK JP"
Noto Sans CJK JP
Noto Sans Mono CJK JP
Noto Serif CJK JP

$ typst fonts | grep Inconsolata
Inconsolata

ふむむ。 Ubuntu に最初から入ってるフォントは使えるみたいだな。 Inconsolata フォントはコードを表示するために後から入れたフォント。これもちゃんと使えるようだ。 New Computer Modern フォントは OS には入ってない筈だけど (fc-list コマンドで確認した) Typst 側で持ってるフォントなのかな？

【2025-02-26 追記】

公式ドキュメントによると Libertinus Serif, New Computer Modern, New Computer Modern Math, DejaVu Sans Mono は Typst 内に埋め込まれているフォントらしい。同名のフォントが被ってる場合は --font-paths で指定したディレクトリにあるフォント＞システムフォント＞ Typst 内に埋め込まれたフォントの優先順位で選択されるとのこと。

ちなみにコマンドラインの --font-paths オプションの代わりに環境変数 TYPST_FONT_PATHS でディレクトリを指定することもできる。 TeX Live をインストールしている人は TYPST_FONT_PATHS でフォントファイルが入っているディレクトリを指定するのがいいかもしれない。

この状態で簡単な文章を組版してみよう。入力文書は前回と同じ。

= アルベルト・アインシュタインについて

アルベルト・アインシュタインは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

これを sample-1.typ ファイルに保存して以下のように typst compile する²。

$ typst compile sample-1.typ

組版結果は以下の通り：

組版結果 (1)

フォントは以下のようになっていた。

組版結果 (1)

FirgeNerd ？そんなもん入れたっけ？ ~~いやこれ OS に最初っから入ってたやつだな。てか，入ってるのか。凄いな Ubuntu。~~ 勘違い。このフォントは自分で入れてたわ。よく分からないが，フォントリストから日本語コードが入ってるフォントを（アルファベット順で）探して割り当てたって感じ？

Typst では set キーワードとそれに続く関数実行により文書スタイルを設定できる。フォントの場合は以下のように設定する。

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

= アルベルト・アインシュタインについて

アルベルト・アインシュタインは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

この場合の組版結果は以下の通り：

組版結果 (2)

Typst 0.13 ではラテン文字を別のフォントに割り当てられるようになった。こんな感じに指定するらしい。

// for main text
#set text(font: (
  (
    name: "New Computer Modern",
    covers: "latin-in-cjk",
  ),
  "Noto Serif CJK JP"
))

= アルベルト・アインシュタインについて

アルベルト・アインシュタインは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

組版結果は以下の通り：

組版結果 (3)

組版結果 (2)

パッと見では分かりにくいだろうけど，数字部分が New Computer Modern フォントに変わっている。

見出しの書体が明朝体のままなのは面白くないので，これをゴシック体に変えたい。色々と調べてみると以下のようにするのがいいらしい。

// for main text
#set text(font: (
  (
    name: "New Computer Modern",
    covers: "latin-in-cjk",
  ),
  "Noto Serif CJK JP"
))

// for headings
#let heading_font(body) = { // heading_font 関数を定義
  set text(font: (
    (
      name: "Noto Sans",
      covers: "latin-in-cjk",
    ),
    "Noto Sans CJK JP"
  ))
  body
}
#show heading: heading_font  // heading_font を適用する

= アルベルト・アインシュタインについて

アルベルト・アインシュタインは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

まず let キーワードを使って body のフォントを変更する heading_font 関数を定義し，次に show キーワードを使って見出し（heading）要素の表示時の処理として heading_font 関数を適用する，という流れである。見出し要素に直接フォントを指定できれば簡単だったろうに，それはできないみたい（ルール設定については「Typst における関数とルール」を参照のこと）。

組版結果は以下の通り：

組版結果 (4)

よしよし。

別の書き方として

// for main text
#set text(font: (
  (
    name: "New Computer Modern",
    covers: "latin-in-cjk",
  ),
  "Noto Serif CJK JP"
))

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

= アルベルト・アインシュタインについて

アルベルト・アインシュタインは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

という書き方もある。やってることは同じ。フォントを変更する処理を無名関数として定義しているだけである。

ところで，最近は日本語フォントとしてモリサワ BIZ UD 明朝/ゴシックがお気に入りである。このブログの Web フォントとしても使っている。

モリサワ BIZ UD 明朝/ゴシック Web フォント

Typst でもこれを日本語フォントとして使いたい。また見出しで使う欧文フォントには Helvetica を使いたい。モリサワ BIZ UD フォントは Ubuntu にはないため，手動でインストールする。

ダウンロードした TTF ファイルを /usr/local/share/fonts/ ディレクトリに入れる。 fc-cache -fv コマンドでフォントキャッシュを更新するのを忘れずに。

$ fc-cache -fv

$ fc-list | grep "BIZ UD"
/usr/local/share/fonts/BIZUDMincho-Bold.ttf: BIZ UD明朝,BIZ UDMincho:style=Bold
/usr/local/share/fonts/BIZUDPMincho-Bold.ttf: BIZ UDP明朝,BIZ UDPMincho:style=Bold
/usr/local/share/fonts/BIZUDPGothic-Regular.ttf: BIZ UDPゴシック,BIZ UDPGothic:style=Regular
/usr/local/share/fonts/BIZUDPGothic-Bold.ttf: BIZ UDPゴシック,BIZ UDPGothic:style=Bold
/usr/local/share/fonts/BIZUDPMincho-Regular.ttf: BIZ UDP明朝,BIZ UDPMincho:style=Regular
/usr/local/share/fonts/BIZUDMincho-Regular.ttf: BIZ UD明朝,BIZ UDMincho:style=Regular
/usr/local/share/fonts/BIZUDGothic-Bold.ttf: BIZ UDゴシック,BIZ UDGothic:style=Bold
/usr/local/share/fonts/BIZUDGothic-Regular.ttf: BIZ UDゴシック,BIZ UDGothic:style=Regular

Ubuntu では Helvetica の代替として Liberation Sans が最初から入っているのでこれを使う³。

これでフォント指定の最終形を以下とする。

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

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

= Albert Einsteinについて

Albert Einsteinは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

フォント指定の効果を確認するために人名部分を英字に置き換えてみた。

組版結果は以下の通り：

組版結果 (5)

んー。やっぱモリサワ BIZ UD フォントは見やすくていいねぇ。

というわけで，ローカルマシンへの環境構築と日本語フォントの指定について試してみた。フォント指定は要素ごとに指定する必要があり，ちょっと面倒くさい感じだな。数式やコードなどのフォント指定については後日ということで。

ブックマーク

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

参考文献

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

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)

ググってみると VS Code 用の拡張機能として Typst LSP を紹介しているところが多かったが，2025-02-21 現在では Typst LSP はなくなっていて Tinymist Typst に統合されているらしい。 ↩︎
VS Code 用の拡張機能 Tinymist Typst を導入している場合はコマンドパレットから “Typst: Exports the Opened File as PDF” を起動することで typst compile できる。 ↩︎
Windows では Helvetica の代替として Arial フォントがよく使われる。 ↩︎

Typst について

2025-02-20T22:09:42+09:00

そろそろ Typst の勉強を始めようか

Bluesky の TL を眺めてて気がついたのだが Typst の Bluesky アカウントがあるらしい。 Mastodon のアカウントもあるな。ブログもある。

最新のブログ記事を見ると，バージョン 0.13 のハイライトとして

Paragraphs and first line indent

Better-looking outlines

New curves

Files and bytes

Generating images

Faster plugins

Single-letter strings in math

Font coverage control

PDF file embedding

A first look at HTML export

Migrating to Typst 0.13

Community Call

via Typst 0.13 is out now – Typst Blog

と書かれていた。どうやらこのバージョンから HTML 形式へのエクスポート機能を搭載していくらしい（まだ完全ではないようだが）。またフォント制御もよくなっているみたいで（たとえば日本語だと仮名・漢字と英数字では別のフォントを割り当てたくなったりするだろうし）ちょっと期待できる。

というわけで新たに typst セクションを設け，お勉強を通して Typst で出来ること出来ないことを探ってみることにする。

【2025-10-25 追記】

バージョン 0.14 がリリースされた。

Typst: Typst 0.14: Now accessible – Typst Blog

以下に簡単に紹介している。

Typst 0.14 がリリースされた

Typst とは

“Typst” は「タイプスト」と読むらしい。

IPA: /taɪpst/. “Ty” like in Typesetting and “pst” like in Hipster. When writing about Typst, capitalize its name as a proper noun, with a capital “T”.

via typst/typst: A new markup-based typesetting system that is powerful and easy to learn.

イケてる組版ソフトってこと？

簡単に言うと Typst は独自のマークアップ言語とそれを解釈して組版を行うツールおよびサービスを指す。組版ソフトとしては定番の $\mathrm{\LaTeX}$ や Markdown テキストと比較して以下のような特徴があるらしい。

マークアップについては $\mathrm{\LaTeX}$ より簡易で Markdown より高度な表現が出来る
- マクロを使った制御が可能
組版結果を PDF形式のファイルに直接出力できる
組版結果を HTML 形式へエクスポートができる（0.13 より）
コマンドライン・ツールは Rust 言語で組まれている

コマンドライン・ツールは GitHub リポジトリでコードとバイナリが公開されている。ライセンスは Apache-2。

しかし Typst ではドキュメント環境を Web サービスとして提供していて，どうやらこちらがメインっぽい。

Typst: dashboard

Typst: Pricing

とりあえず言語仕様や組版機能を確認するだけなら Free でも問題なさそうなので，しばらくはこれを使うことにする（Free 版を使うだけなら決済情報の入力は不要）。まぁ $\mathrm{\LaTeX}$ にもクラウドサービスがあったりするし，こういうところで収益を確保するのはアリかもしれない（実際に収益があるかどうかは知らないが）。

なお，コマンドライン・ツールについては Windows 環境なら Winget または Scoop でインストールできる。

$ winget search typst
名前     ID                    バージョン 一致       ソース
-----------------------------------------------------------
Typst    Typst.Typst           0.12.0                winget
typstyle Enter-tainer.typstyle 0.12.15    Tag: typst winget

$ scoop search typst
Results from local buckets...

Name  Version Source Binaries
----  ------- ------ --------
typst 0.13.0  main

Winget のほうがタイムラグがあるのかな？手元の Ubuntu 機では Snap でインストール可能だった。

$ snap search typst
Name   Version  Publisher  Notes  Summary
typst  0.13.0   reknih     -      A new markup-based typesetting system that is powerful and easy to learn.

macOS は Homebrew からインストール可能かな。知らんけど。

VS Code 用の拡張機能や vim 用のプラグインもあるらしい。

ちょっと触ってみる

先程のダッシュボードを開いて Empty document を押してみる。

Create project

適当に “sample” とかで始めてみるか。以下の文言を入力する。

= アルベルト・アインシュタインについて

アルベルト・アインシュタインは1879年3月14日，ドイツ生まれの理論物理学者です。
彼による革命的な3つの論文「光電効果の理論」「ブラウン運動の理論」「特殊相対性理論」が発表された1905年は「奇跡の年」と呼ばれています。

構文について今は後回しにして，組版結果はこんな感じ。

Project: sample

うわぁ。これは酷い（笑）

まずエディタのフォントが "Cascadia Mono", monospace になってるな。

Settings

画面左上に ↓ ボタンがあるので，これを押下して PDF ファイルをダウンロードし，プロパティを見てみる。

property

なんか中華フォントっぽい。句読点も明らかにおかしいし。やっぱ，まともに日本語のドキュメント環境が欲しいならローカルで作らないとダメかな。ちょっと考えてみよう。

【追記 2025-02-21】

Mastodon で教えていただきました。

Post by @adbird@vivaldi.net

View on Mastodon

有難うございます 🙇

エディタ画面の左上に Ag ボタンがあってフォントを選択できるのだが Noto Sans/Serif CJK JP フォントが見当たらなくて（リージョン未指定の Noto Sans/Serif はある）対応してないのかと思って諦めていた。フォントのアップロードはしたくなかったし。

さっそくフォントを指定してみる。

Project: sample

生成した PDF をダウンロードしてプロパティを見てみると

property

おー。ちゃんと Noto Sans/Serif CJK JP フォントが埋め込まれている。フォントの指定の仕方については次回の記事を参照のこと。

ブックマーク

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

参考文献

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

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)

Typst に関するブックマーク

2025-02-20T09:00:00+09:00

Typst に関するブックマークを集めた。

このセクションの各記事に登場するコードについては以下の GitHub リポジトリにも置いている（全く同じではないが）。

spiegel-im-spiegel/practices-typst: Practices for Typst

こちらは MIT-0 ライセンスで公開しているので自由に再利用していただいて構わない。

公式ドキュメント

テンプレートやパッケージ等の情報

その他

Typstについて – Typstドキュメント日本語版
- 日本語組版情報 – Typstドキュメント日本語版
Typst入門
- 日本語の組版ルール
- Typst 0.13
話題の組版エンジン Typst を触ってみた
Typstの環境構築 Windows編 #Windows - Qiita
Typst 備忘録 - adbird（広告鳥）備忘録
Typstで英数字・日本語文字と見出し・本文の組み合わせごとにフォントを変える #Typst - Qiita
Typstで黒板太字・筆記体・花文字・ギリシャ文字・ドイツ文字・ヘブライ文字(一部)を表記する方法 #組版 - Qiita
Typstで数式中の文字を斜めにしない方法(<=v0.12)
Typst：いい感じのLaTeXの代替
WASMでTypstプラグインを作ろう
tfachmann/typst-as-library: Simple demo that demonstrates how to use typst as a library in Rust : Typst を Rust のライブラリとして使うサンプル
- fatihcatalkaya/java-typst: A library to render Typst templates in Java : Typst を Java のライブラリとして使うサンプル。 Rust のコンパイラが必要？

参考文献

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