ホモトピー型理論を深掘りすホモトピー型理論を深掘りする現代数学を形作る高度な概念を調査中。計算機科学における論理ホモトピー型理論：数学とコンピュータサイエンスの融合ホモトピー型理論の原則とその影響を探る。2025-10-07T05:01:54+00:00 ― 1 分で読む