集合に対する新しい視点集合に対する新しい視点革新的な型構造で集合論を変革する。計算機科学における論理ホモトピー型理論：集合に関する新しい視点ホモトピー型理論が集合や型の見方をどう変えるかを発見しよう。2025-08-23T22:32:54+00:00 ― 1 分で読む
型理論における指向的ユニバ型理論における指向的ユニバレンス。数学的関係の新しいフレームワークを探求中計算機科学における論理型理論における指向性一様性の紹介数学とプログラミングにおける型の見方を変える新しい概念。2025-07-06T10:31:42+00:00 ― 1 分で読む