SATySFi

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

SATySFi
作者 諏訪敬之[1]
最新評価版
0.0.6 / 2021年2月6日 (2021-02-06)[2]
リポジトリ
プログラミング
言語		 OCaml
対応OS クロスプラットフォーム
サポート状況 開発中
種別 組版処理システム
ライセンス GNU LGPL v3+
公式サイト github.com/gfngfn/SATySFi

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

概要

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

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

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

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

関連項目

外部リンク
オフィススイート・文書
Web
組版
軽量
データ記述
その他の言語
  • 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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.