導入

これはSATySFiに関する入門書です。