トレース構造を持ち上げるモナドの特徴づけ

詳細情報

科研費研究課題/領域番号 22KF0194 [ KAKENで見る ]
種目 特別研究員奨励費
採択年度 2022
代表者氏名 長谷川 真人
採択時の代表者所属 京都大学 数理解析研究所 教授
代表者の科研費研究者番号 50293973
科研費審査区分(中区分) -
分析データ 推定科研費審査区分(中区分) 11 (代数学、幾何学)
分析データ クラスタ 21 (数学)