海外旅行保険自動販売機の要件定義、ソフトウェア基本設計、詳細設計、実装