SATySFi Wiki

皆で一緒にサティスファイ！

インストールする

SATySFiはLinux/macOS/Windows等のOSにインストールできます。

• インストール

最初の一歩

はじめてのSATySFi

動作テストを兼ねて、簡単な文書をコンパイルしてみます。

hello.saty

@require: stdja
StdJa.document (|
  title = {はじめての\SATySFi;};
  author = {オレオレ};
  show-title = true;
  show-toc = false;
|) '<
  +p {
    私と一緒にサティスファイ！
  }
>

$ satysfi hello.saty
 ---- ---- ---- ----
  target file: 'hello.pdf'
  dump file: 'hello.satysfi-aux' (will be created)
  parsing 'hello.saty' ...
  parsing 'stdja.satyh' ...
...(中略)...
 ---- ---- ---- ----
  reading 'hello.saty' ...
  type check passed. (document)
 ---- ---- ---- ----
  evaluating texts ...
  evaluation done.
 ---- ---- ---- ----
  breaking contents into pages ...
  all cross references were solved.
 ---- ---- ---- ----
  embedding fonts ...
 ---- ---- ---- ----
  writing pages ...
 ---- ---- ---- ----
  output written on 'hello.pdf'.

デモ文書(demo.saty)をコンパイルする

最初の文書が無事コンパイルできました。次は、SATySFiプロジェクトが用意しているデモ文書をコンパイルしてみましょう。

• デモ文書をコンパイルする

パッケージ

標準添付のパッケージはlib-satysfi/dist/packagesにあります。 有志により作成されたパッケージは、Satyrographos Packagesや目的別パッケージ一覧を見てください。

パッケージのインストールにはパッケージマネージャSatyrographosが便利です。

学習用資料

※以下の記事にも情報がよくまとめられています。

• SATySFiに関すること（Qiita:puripuri2100）
• SATySFi My Soul (@nekketsuuu)

The SATySFibook（公式マニュアル）

SATySFiの公式のマニュアルは『The SATySFibook』という書籍です。

現在、オンラインショップの「BOOTH」にて販売されています。

• The SATySFibook - gfnbooth（BOOTH:gfnbooth）

電子書籍版(PDF)が公開されました！ 詳細は以下のページをご覧ください。

• The SATySFi​book Web公開版 第1版

その他の公式ドキュメント

レポジトリにあるテキスト文書：

• README-ja／README
• 使用方法
• CHANGELOG

レポジトリのdoc/以下にあるSATySFi文書：
※y-yu氏のレポジトリで組版されたPDF文書を見ることができます。

• doc-lang.saty： SATySFi言語仕様
• doc-primitives.saty： SATySFiの基本型とプリミティヴ
• math1.saty： Math Test

このWikiのページ

• SATySFiコマンド一覧（仮）
• コマンドライン書式
• SATySFiによるMarkdown文書からのPDF出力
• SATySFiのテキスト出力モードのプロトタイプ
• PDFハイパーリンク
• SATySFiに多段階計算を入れる構想

その他の文献

• SATySFi構文メモ (2018/02/23) (GIst:@qnighy)
• 【2017年度未踏／No.2】型による静的検証能力の高い組版システムの開発 (YouTube:ipajp)
• SATySFiの可換図式パッケージの使い方
  標準のcdパッケージの解説。
• SATySFiでフォントを変更する方法

いろいろやろうぜ／大喜利

• SATySFi Advent Calendar 2018
  • Herokuでも元気に動くSATySFi
  • SATySFi でイオニア式記数法
  • SATySFiで数式を生成する ～アッカーマン関数編～
  • SATySFiで数式を生成する ～ラムダ計算編～
  • SATySFiの標準クラスで長いタイトルを無事に出力する（アレな）方法
  • SATySFiでお絵描き
  • SATySFiでテントを描くコマンド作った
  • SATySFiで複数行コメントの簡単な実現方法について
  • SATySFiでTeX関係のロゴ
  • SATySFiで素敵な文字を出力する
  • SATySFi で文書作成が容易なクラスファイルを作成した（※ただし画期的）
  • SATySFi で文書作成が容易なMarkdown用のクラスファイルを作成した（※ただし画期的）
• SATySFiでgrassインタプリタできた
  • youz/grasses/SATySFi (@youz)
• チョットSATySFiで文書を作ってみた
• 今日はアレの日！

SATySFi Conf

• SATySFi Conf 2020 (2020年7月25日 オンライン開催)

  • YouTube配信のアーカイブ

コミュニティ

SATSySFi Slack

SATySFiに関する質問やイベントの告知、自作パッケージの宣伝、開発に関する情報の交換等が活発に行われています。#beginnerチャンネルもあります。

参加はこちら→参加可能な招待リンク もしくは、puripuri2100のTwitterのDMにメッセージを送ってください

Here is the invitation link.