1.Spinを実行しよう
> spin Spin Version 4.2.7 -- 20 July 2006 reading input from stdin:
上記のように表示されたら成功です。確認できたらCTLキーとcで終了させてください。