2017/02/12時点の情報です． まだSATySFiは絶賛開発途中であり，特に今インストール周りが改善中のようですので，うまくいかない場合はgithubのページを追ってください． ↓ココらへんを参考にした． qiita.com github.com SATySFi 型づけがしっかりしていて…