|
ワタセ ヤスシゲ
YASUSHIGE WATASE
渡瀬 泰成 所属 データサイエンス学部 データサイエンス学科 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 2025/03 |
| 形態種別 | 学術雑誌 |
| 査読 | 査読あり |
| 標題 | データサイエンス学部に於ける数学教育と形式化数学の活用 — 定理証明支援系と大規模言語モデルを活用した数学教育の可能性 |
| 執筆形態 | 単著 |
| 掲載誌名 | 国際ICT利用研究学会研究会研究論文誌 |
| 掲載区分 | 国内 |
| 出版社・発行元 | 国際ICT利用研究学会 |
| 巻・号・頁 | 4(1),11-15頁 |
| 総ページ数 | 15 |
| 担当区分 | 筆頭著者 |