[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 52 http://rio2016.5ch.net/test/read.cgi/math/1613784152/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
444: Schlecht [sage] 2021/03/01(月) 16:01:36.96 ID:Rz6p2V3E >>439 HoTTで計算可能性とかコンパイラとか出てくるの？ >>440 >壁の内側がなんでできてるのか知って家に住んでるんか？ >飛行機の材料と設計図列挙して飛行機乗ってるんかいな。 IUT完全勝利君と同じようなこと言い出したなぁ… IUT君に「分かってないんなら黙れ」っていうんなら 君も安定ホモトピーなんていわないほうがよかったんじゃないか？ まるで自分は旧姓使ってるのに「夫婦別姓反対」っていってる人みたい https://news.yahoo.co.jp/articles/f026225e8d56018d604338b7a0f751ea36000b16 http://rio2016.5ch.net/test/read.cgi/math/1613784152/444
445: １３２人目の素数さん [sage] 2021/03/01(月) 16:02:45.67 ID:v7ayOauM >>444 HoTT ってプログラミング言語だよ。 http://rio2016.5ch.net/test/read.cgi/math/1613784152/445
446: １３２人目の素数さん [sage] 2021/03/01(月) 16:04:42.70 ID:v7ayOauM >>444 いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。 言うてることが一つ同じなら、同類とはならん。 http://rio2016.5ch.net/test/read.cgi/math/1613784152/446
497: １３２人目の素数さん [] 2021/03/02(火) 07:59:11.76 ID:8q8Y/BcG >>444 >>壁の内側がなんでできてるのか知って家に住んでるんか？ >>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。 >IUT完全勝利君と同じようなこと言い出したなぁ… >IUT君に「分かってないんなら黙れ」っていうんなら >君も安定ホモトピーなんていわないほうがよかったんじゃないか？ 維新さん、完全にノックアウトだな この人は、”安定ホモトピー”について 維新さんが、「答えられない」って見抜いて、追求しているんだね。すごい眼力だな まあ、おれは、自分で飛行機の安全性を確かめたわけじゃないけど、経験則をもとに飛行機乗りますけどね 自分の乗る飛行機に、「安全証明」がついていても、それって多分意味ない 飛行機の機体自身は、安全としても、アクシデント（離陸or着陸のときとか、操縦士の腕前とか）の可能性はゼロではないからね 日常、証明以外の判断を求められること多いよね そういう意味で、IUTはOKと思いますけどね IUTは、墜落しないだろうってｗｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1613784152/497
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s