Inter-universal geometry と ABC予想 (応援スレ) 52

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

452(1): Schlecht 2021/03/01(月)16:11 ID:Rz6p2V3E(19/35) AAS
HoTTがプログラミング言語だというならそれでいいので
球面の安定ホモトピー群の計算を行うプログラムを書いてみせて

できるんでしょう？

455: 2021/03/01(月)16:13 ID:v7ayOauM(35/52) AAS
>>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。