「AI」が必修科目に。金沢工大の全学部で2020年度から