Haruka Tomita

数学とコンピュータサイエンスにおけるカテゴリと適用構造の役割を探ってみて。