列挙や数え上げなどを統一的に扱うための基盤技術
詳細情報
科研費研究課題/領域番号 | 23K24806 [ KAKENで見る ] |
---|---|
種目 | 基盤研究(B) |
採択年度 | 2022 |
代表者氏名 | 堀山 貴史 |
採択時の代表者所属 | 北海道大学 情報科学研究院 教授 |
代表者の科研費研究者番号 | 60314530 |
科研費審査区分(中区分) | 60 (情報科学、情報工学) |
分析データ 推定科研費審査区分(中区分) | 60 (情報科学、情報工学) |
分析データ クラスタ | 1 (データサイエンス/情報数学・離散数学・数値計算) |