ワークスペースを手動で開くには

注:  ワークスペースは、開く前にまず保存しておく必要があります。