// ２０１８年７月現在においてだいぶ時代遅れかもしれないがOSをEl Capitanにした。これまでYosemiteを使っていたが、使用しているアプリケーションのサポートのほとんどがYosemiteの対象外となり、El Capitan以上のOSにアップデートする必要があったからだ…