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

関連度順
ホモトピー型理論の議論 - コンピュータマニア (Homotopy Type Theory Discussed - Computerphile)13:31

ホモトピー型理論の議論 - コンピュータマニア (Homotopy Type Theory Discussed - Computerphile)

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

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

5
B1 中級
黄色で書いてはいけない（トム・キブル） - 六十の記号 (Don't Write in Yellow (Tom Kibble) - Sixty Symbols)11:17

黄色で書いてはいけない（トム・キブル） - 六十の記号 (Don't Write in Yellow (Tom Kibble) - Sixty Symbols)

8
A2 初級
カテゴリー論1.2：カテゴリーとは何か？ (Category Theory 1.2: What is a category?)48:18

カテゴリー論1.2：カテゴリーとは何か？ (Category Theory 1.2: What is a category?)

54
B1 中級