sankantsuのブログ

技術メモ・競プロなど

SATySFi

SATySFi でお絵描きライブラリをつくる構想

モチベーション スライドなどで使うような、簡単な図形を組み合せた説明図を手軽に描きたい。 Drawio のような GUI で作図するツールもあるが、テキストベースで描けると再利用しやすく管理上も便利であったりする。 TeX には PGF/Tikz という図を描くための…

SATySFi のマクロ入門

この記事について SATySFi のマクロは,インラインコマンドやブロックコマンドの形で多段階計算によるプリプロセス機構を利用できるようにするものである. SATySFi上でDSLを実装してパッケージなどとして提供するような場合には,最終的にマクロによるイン…

SATySFi の多段階計算入門

この記事について SATySFi には多段階計算という機構があり,文書のプリプロセスに利用することができる. ただ,現状まとまった資料がないので使ってみようと思っても敷居が少し敷居が高い. この記事は多段階計算について, 何のためにあるのか どうやって…

SATySFi の set-math-char プリミティブで遊ぶ

概要 SATySFi に比較的最近追加された set-math-char という数式モード内での入出力文字の対応を指定するためのプリミティブで遊んでみたという話 set-math-char の仕様 (推測込み) SATySFi version 0.0.7 で追加された set-math-char というプリミティブが…