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

体系的課題番号：JPMJAX2104
実施期間：2021 - 2023
実施機関 (1件)：
研究代表者： ( , 複合科学研究科, 大学院生(博士課程) )
DOI： https://doi.org/10.52926/JPMJAX2104
研究概要：

近年の機械学習の発展に伴い、機械学習のアルゴリズムに対してプライバシー・公平性・安全性など様々な要求が出てきています。確率的プログラムや微分可能プログラムとして書かれた機械学習のアルゴリズムの自動検証の新しい手法を、(1)プログラム論理や篩型システムなどの既存の自動検証を圏論的意味論を用いて一般化し、(2)確率的プログラムや微分可能プログラムに合わせた設定で具体化することで、手法の獲得を目指します。

, , , ,