[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
444(3): Schlecht 2021/03/01(月)16:01 ID:Rz6p2V3E(15/35) AAS
>>439
HoTTで計算可能性とかコンパイラとか出てくるの？
>>440
>壁の内側がなんでできてるのか知って家に住んでるんか？
>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
IUT完全勝利君と同じようなこと言い出したなぁ…
IUT君に「分かってないんなら黙れ」っていうんなら
省3
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君に「分かってないんなら黙れ」っていうんなら
>君も安定ホモトピーなんていわないほうがよかったんじゃないか？
維新さん、完全にノックアウトだな
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s