文部科学省科学試験研究委託事業「数学アドバンストイノベーションプ ラットフォーム（AIMaP）」