静的型つき組版処理システムSATYSFI

摘要

本稿では，2017年度未踏事業の1プロジェクトとして著者が開発し，現在も 発展を続けている新しい組版処理システムSATYSFI(サティスフアイ）について紹 介する.このシステムは（TEX/LATeXと同様に）或る種のマークアップ言語とその処 理系として実装されており，ユーザやパッケージ開発者が独自にコマンドを定義して 使用することも可能である.従来システムとの顕著な違いのひとつは，OCamlによく 似たいわゆる函数型言語を使用してコマンドを平易に定義できることにある.また， 函数型言語を採用した恩恵として型検査器が搭载されており，或る種の不適格な入力 を与えた際に素早くわかりやすいエラーを静的に（==実際に組版処理が行われるより も前に）提示してくれるため，従来システムに比べて高い執筆効率が期待される.本 文では，SATYSFIに於いて型の観点から組版処理をどのように定式化したかや，最 近追加しつつある多段階計算に基づくマクロ機構の紹介など，特に計算機科学の知見 が援用されている点について述べる.なお，本稿もsaTYsfI製である.