（最終更新日：2025-09-04 21:04:24）
  ワタセ　ヤスシゲ   YASUSHIGE WATASE
  渡瀬　泰成
   所属   データサイエンス学部 データサイエンス学科
   職種   教授
■ 論文
1. 論文　 データサイエンス学部に於ける数学教育と形式化数学の活用 — 定理証明支援系と大規模言語モデルを活用した数学教育の可能性 国際ICT利用研究学会研究会研究論文誌 4(1),11-15頁 （単著） 2025/03