>>444
HoTT ってプログラミング言語だよ。
Inter-universal geometry と ABC予想 (応援スレ) 52
■ このスレッドは過去ログ倉庫に格納されています
445１３２人目の素数さん
2021/03/01(月) 16:02:45.67ID:v7ayOauM■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- ニュー速愛国保守「日本はもうどうにもならんので一度完全に壊さないとダメ。もうすべて手遅れだから」 [819729701]
- 8時にほっともっとから新発売のねぎ塩レモン豚タン弁当を食うために腹を空にしている
- 転倒した俺「背中をショットガンで撃たれちまったあああああああああああああああああああああああああ！！！」←どうやって助ける？
- ヤン坊マー坊天気予報
- xboxで無規制バイオre2やるぜ！
- 最高の景色をー🏡⚽👊😅👊⚽