テスト採点にＡＩ導入へ…宮城の県立高全７０校、「時間外」になりがちの業務で時間を半減と試算