SATySFi

作者|  諏訪敬之[1]
最新評価版|

0.0.6 / 2021年2月6日 (4年前) (2021-02-06)[2]

リポジトリ|

* github.com/gfngfn/SATySFi

プログラミング
言語|  OCaml
対応OS|  クロスプラットフォーム
サポート状況|  開発中
種別|  組版処理システム
ライセンス|  GNU LGPL v3+
公式サイト|  github.com/gfngfn/SATySFi
テンプレートを表示

SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォームの組版処理システムである。開発者は諏訪敬之[1]。

IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された[3]。

## 概要

[編集]

SATySFiは静的型付けにより、柔軟で可読性の高い記述と、組版処理よりも前の段階での詳細なエラー報告を実現している[4]。

SATySFiの構文は、文書の執筆のための部分とコマンド定義のための部分からなる[4]。前者はLaTeX風の構文である。後者はOCamlやF#風の構文で、組版処理のための基本型を備えている[5]。

現在は組版処理の結果としてのPDFの出力と、HTMLやLaTeXなどのテキストファイルの出力に対応している[6]。

## 脚注

[編集]

1. ^ a b “クリエータ紹介資料” (PDF). 情報処理推進機構 (2018年5月10日). 2018年12月12日閲覧。
2. ^ “Changelog”. GitHub. 2021年11月11日閲覧。
3. ^ “未踏IT人材発掘・育成事業：2017年度採択プロジェクト概要（諏訪PJ）”. 情報処理推進機構 (2017年6月26日). 2018年12月12日閲覧。
4. ^ a b “README-ja.md”. GitHub. 2018年12月12日閲覧。
5. ^ 【2017年度未踏／No.2】型による静的検証能力の高い組版システムの開発 \- YouTube
6. ^ “SATySFiのテキスト出力モードのプロトタイプ”. GitHub Wiki. 2019年5月19日閲覧。

## 関連項目

[編集]

ポータル FOSS

* 関数型言語

## 外部リンク

[編集]

* SATySFi \- GitHub
* SATySFi Wiki

この項目は、ソフトウェアに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

|

* 表示
* 編集

* 表
* 話
* 編
* 歴

マークアップ言語

オフィススイート・文書|

* CDF
* OOXML
* ODF
* UOF
* DocBook
* RTF
* Texinfo

Web|

* cHTML
* FHTML（英語版）
* HDML
* HTML
* WML
* WapTV（英語版）
* XHTML

組版|

* TeX
* ConTeXt
* LaTeX
* SATySFi

軽量|

* AsciiDoc
* Djot
* Markdown
* POD
* reStructuredText
* Re:VIEW
* Wiki

データ記述|

* TEI
* TOML
* XAML
* YAML

その他の言語|

* AmigaGuide（英語版）
* CML（英語版）（化学）
* Crossmark（英語版）
* DITA
* eLML（英語版）
* EAD（英語版）
* Enriched text（英語版）（電子メール）
* GuideML（英語版）
* HyTime（英語版）
* IPF（英語版）
* LilyPond（楽譜）
* LinuxDoc（英語版）
* Lout（英語版）
* MIF（英語版）
* MAML（英語版）
* MathML
* MEI（英語版）
* MusicXML
* OMDoc（英語版）
* OpenMath（英語版）（数式）
* RTML（英語版）
* RFT（英語版）
* S1000D（英語版）
* troff