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