「AIが証明を書くようになったとき、研究者は何をするのか」𠮷田 悠一　国立情報学研究所 情報学プリンシプル研究系 教授

「AIが証明を書くようになったとき、研究者は何をするのか」 𠮷田 悠一　国立情報学研究所 情報学プリンシプル研究系 教授 ----------------------------------------------- 【第103回】大学等におけるオンライン教育とデジタル変革に関するサイバーシンポジウム 2026年9月18日オンライン開催 共催：国立情報学研究所　大学の情報環境のあり方検討会 　　　大学共同利用機関法人　情報・システム研究機構 https://www.nii.ac.jp/event/other/dec...