2022 年度年次報告書

圏論と自動検証による機械学習の仕様保証

研究課題

体系的課題番号	JPMJAX2104
DOI	https://doi.org/10.52926/JPMJAX2104
研究代表者	内藏理史総合研究大学院大学, 複合科学研究科, 大学院生（博士課程）
研究期間 (年度)	2021 – 2023
研究領域	数理・情報のフロンティア