>>445
HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？
Inter-universal geometry と ABC予想 (応援スレ) 52
■ このスレッドは過去ログ倉庫に格納されています
448Schlecht
2021/03/01(月) 16:07:19.15ID:Rz6p2V3E■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- 【共に生きる 多様な社会】土葬墓地巡るトラブル 日本人ムスリムが訴える認め合う社会 ★2 [少考さん★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 秋葉書店いきたい秋葉書店
- 大卒だけど知的障がい者よりも頭が悪いって上司に言われ続けて病んで無職になった
- 懐かしい……
- 最高の景色をー🏡⚽👊😅👊⚽
- お前らの会社の社食いくら？
- 【実話】僕「うつです😞」精神科医「あのね(笑)本当のうつ病の人はスマホ見れません(笑)」 [589647274]