SATySFiの検索結果1 - 3 件 / 3件

• あとで読む

  PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介

  • 41 users
  • www.slideshare.net/slideshow
  • テクノロジー
  • 2022/03/10

  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022， https://jssst-ppl.org/workshop/2022/index.html ）にて招待講演として発表させて頂いた際のスライドです． 以下のページでも閲覧可能です： https://gfngfn.github.io/ja/posts/2022-05-11-slides-ppl2022-invited/Read less

  • tex
  • 言語
  • あとで読む
  • プログラミング

  
• あとで読む

  静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム

  • 5 users
  • www.slideshare.net/slideshow
  • テクノロジー
  • 2020/01/13

  This document discusses SATySFi, a static analysis-based typesetting system for functional implementation. It provides an overview of SATySFi's features such as being a better LaTeX alternative, using OCaml for its implementation, and supporting Unicode, OpenType features, and dynamic typesetting through a domain specific language. The document also outlines some areas for future work such as impr

  • SATySFi

  
• あとで読む

  satysfi-docker を使って SATySFi をお手軽に試す - amutake's blog

  • 4 users
  • amutake.hatenablog.com
  • テクノロジー
  • 2019/12/03

  この記事は SATySFi Advent Calendar 2019 3日目の記事です。 2日目はSATySFiの作者であるgfngfnさんによるSATySFiの2段組機能でした。 追記 2020/12/08: satysfi-docker から docker-satysfi に名前を変更しました。以降の文章は面倒なので satysfi-docker のままですが、今後書く文章には docker-satysfi を使います。 前置き SATySFi をインストールするためには opam と OCaml コンパイラのインストールが必要ですが、OCaml を使わない人にとっては SATySFi のためだけに opam 環境を入れるのは面倒です。 opam をすでに使っている人にとっても、SATySFi のインストールには専用の opam repository を使うので環境を分けるために SA

  • Docker
  • SATySFi