数理・データサイエンス・AIのための数学基礎