| 体系的番号 |
JPMJAX2104 |
| DOI |
https://doi.org/10.52926/JPMJAX2104 |
研究代表者 |
内藏 理史 総合研究大学院大学, 複合科学研究科, 大学院生（博士課程）
|
|---|
| 研究期間 (年度) |
2021 – 2023
|
| 概要 | 近年の機械学習の発展に伴い、機械学習のアルゴリズムに対してプライバシー・公平性・安全性など様々な要求が出てきています。確率的プログラムや微分可能プログラムとして書かれた機械学習のアルゴリズムの自動検証の新しい手法を、(1)プログラム論理や篩型システムなどの既存の自動検証を圏論的意味論を用いて一般化し、(2)確率的プログラムや微分可能プログラムに合わせた設定で具体化することで、手法の獲得を目指します。
|
|---|
| 研究領域 | 数理・情報のフロンティア |
|---|
