ホモトピー型理論について説ホモトピー型理論について説明するよHoTTの原則と影響についての深掘り。計算機科学における論理ホモトピー型理論：数学の新しいフレームワークホモトピー型理論の広がる分野とその影響を探ってみよう。2025-08-28T03:28:57+00:00 ― 1 分で読む