ホモトピー型理論について説ホモトピー型理論について説明するよHoTTの原則と影響についての深掘り。計算機科学における論理ホモトピー型理論：数学の新しいフレームワークホモトピー型理論の広がる分野とその影響を探ってみよう。2025-08-28T03:28:57+00:00 ― 1 分で読む
型理論における指向的ユニバ型理論における指向的ユニバレンス。数学的関係の新しいフレームワークを探求中計算機科学における論理型理論における指向性一様性の紹介数学とプログラミングにおける型の見方を変える新しい概念。2025-07-06T10:31:42+00:00 ― 1 分で読む