satysfi(、サティスファイ、static analysis-based typesetting system for functional implementation)は、クロスプラットフォームの組版処理システムである。