大阪メトロ全路線の混雑を1週間先まで予測するAIモデルを開発。スマホアプリで配信する。