政府は「数理・データサイエンス・AI教育プログラム」を推進している