「Voevodsky」に関連する検索結果が 1 つあります

関連度順
ホモトピー型理論。ウラジーミル・ヴォヴォツキー - コンピュータマニア (Homotopy Type Theory: Vladimir Voevodsky - Computerphile)05:53

ホモトピー型理論。ウラジーミル・ヴォヴォツキー - コンピュータマニア (Homotopy Type Theory: Vladimir Voevodsky - Computerphile)

5
B1 中級