SATySFiに関すること - Qiitaこの記事は2018年に投稿されたのち、2023年2月に更新を行いました。 はじめに SATySFiとは SATySFiとは、型による静的検証能力の高い組版システムです。 従来の組版システムであるLaTeXにはない特徴である可読性の高さと詳細なエラー報告機能を持つことを目指して作られています。 The SATySFibook（SATySFiのマニュアル）が無料で見ることができるようになりました。URLはここです。わからないところがあったらその箇所を読みましょう。 投げ銭もできます。紙とインクでできた方も欲しい方はここから買いましょう！ SATySFiの特徴 マークアップ言語 裏でTeXを使っていたりせずに自前でPDFファイルを出力してくれる PDFファイルだけではなく、HTMLファイルやTeXファイルを出力する機能もある 数式を表現することが非常に得意 エラーが表示されるタイミングが早く、わ
