Point-freeトポロジーに基づく位相幾何学の構成的展開

詳細情報

科研費研究課題/領域番号 23K03197 [ KAKENで見る ]
種目 基盤研究(C)
採択年度 2023
代表者氏名 河井 達治
採択時の代表者所属 高知大学 教育研究部自然科学系理工学部門 講師
代表者の科研費研究者番号 00824343
科研費審査区分(中区分) 12 (解析学、応用数学)
分析データ 推定科研費審査区分(中区分) 12 (解析学、応用数学)
分析データ クラスタ 21 (数学)