集合に対する新しい視点集合に対する新しい視点革新的な型構造で集合論を変革する。計算機科学における論理ホモトピー型理論：集合に関する新しい視点ホモトピー型理論が集合や型の見方をどう変えるかを発見しよう。2025-08-23T22:32:54+00:00 ― 1 分で読む