大阪ガス株式会社 様 数理最適化で当直シフト編成を自動化、シフト作成の手間を削減した事例