ホーム 応用 営業所 Dining philosopher problem