「機械学習」に関するサイレントキーワード「型理論」が含まれる科研費採択研究1件 【研究名】型理論とその機械学習への応用 【研究代表者】萩谷 昌己 東京大学 大学院・理学系研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000030156252/ 【研究分担者】 原尾 政輝 九州工業大学 情報工学部 教授 https://nrid.nii.ac.jp/ja/nrid/1000000006272/