ホモトピー型理論
- Yuki
- 4月26日
- 読了時間: 1分
「形（トポロジー）」と「論理・プログラム」を同じ言語で扱う数学
空間 = 変形可能な証明 → 証明を歩く建築 → 迷路なのに同じ場所に着く建築
数学 = 多次元空間
→ ループ・ねじれ・非ユークリッド導線
top of page
“You can download the high-resolution digital file of this artwork here"
記事: Blog2_Post
検索
bottom of page
「形（トポロジー）」と「論理・プログラム」を同じ言語で扱う数学
空間 = 変形可能な証明 → 証明を歩く建築 → 迷路なのに同じ場所に着く建築
数学 = 多次元空間
→ ループ・ねじれ・非ユークリッド導線
コメント