[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
444
(3): Schlecht 2021/03/01(月)16:01 ID:Rz6p2V3E(15/35) AAS
>>439
HoTTで計算可能性とかコンパイラとか出てくるの?

>>440
>壁の内側がなんでできてるのか知って家に住んでるんか?
>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。

IUT完全勝利君と同じようなこと言い出したなぁ…
IUT君に「分かってないんなら黙れ」っていうんなら
君も安定ホモトピーなんていわないほうがよかったんじゃないか?

まるで自分は旧姓使ってるのに「夫婦別姓反対」っていってる人みたい
外部リンク:news.yahoo.co.jp
445
(1): 2021/03/01(月)16:02 ID:v7ayOauM(30/52) AAS
>>444
HoTT ってプログラミング言語だよ。
446
(1): 2021/03/01(月)16:04 ID:v7ayOauM(31/52) AAS
>>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。

言うてることが一つ同じなら、同類とはならん。
497
(5): 2021/03/02(火)07:59 ID:8q8Y/BcG(2/5) AAS
>>444
>>壁の内側がなんでできてるのか知って家に住んでるんか?
>>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
>IUT完全勝利君と同じようなこと言い出したなぁ…
>IUT君に「分かってないんなら黙れ」っていうんなら
>君も安定ホモトピーなんていわないほうがよかったんじゃないか?

維新さん、完全にノックアウトだな
この人は、”安定ホモトピー”について
維新さんが、「答えられない」って見抜いて、追求しているんだね。すごい眼力だな

まあ、おれは、自分で飛行機の安全性を確かめたわけじゃないけど、経験則をもとに飛行機乗りますけどね
省5
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.032s