数学概念への数式グラウンディングのためのデータセット(論文)