型による静的検証能力の高い組版システムの開発

https://gyazo.com/8e0ec67f573146056845aa673561dfde

型による静的検証能力の高い組版システムの開発は、2017年未踏テーマに採択されたプロジェクト。クリエータ諏訪敬之によって開発が行われた。担当PMは竹迫良範。

成果報告時は「型による静的検証能力の高い組版システムの開発ー SATySFi：Typesetting System with a Type System ー」と題された。