Proj
J-GLOBAL ID:202204005499120404  Research Project code:21460998

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

圏論と自動検証による機械学習の仕様保証
National award number:JPMJAX2104
Study period:2021 - 2023
Organization (1):
Principal investigator: ( , 複合科学研究科, 大学院生(博士課程) )
DOI: https://doi.org/10.52926/JPMJAX2104
Research overview:
近年の機械学習の発展に伴い、機械学習のアルゴリズムに対してプライバシー・公平性・安全性など様々な要求が出てきています。確率的プログラムや微分可能プログラムとして書かれた機械学習のアルゴリズムの自動検証の新しい手法を、(1)プログラム論理や篩型システムなどの既存の自動検証を圏論的意味論を用いて一般化し、(2)確率的プログラムや微分可能プログラムに合わせた設定で具体化することで、手法の獲得を目指します。
Terms in the title (5):
Terms in the title
Keywords automatically extracted from the title.
Research program:
Parent Research Project: 数理・情報のフロンティア
Organization with control over the research:
Japan Science and Technology Agency
Reports :

Return to Previous Page