[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
29(2): Brother No.1 2020/04/12(日)13:35:53.91 ID:OlsRjmnt(2/38) AAS
>>26
ああ
🐎🦌は💩をミソと思って食って死ぬｗ
38(2): 2020/04/12(日)14:31:07.91 ID:ZArk2uLu(1) AAS
>>31
まじでまとめサイトが今回の問題に寄与すると思ってんの？
74: 2020/04/12(日)15:08:12.91 ID:/DJf/xou(3/13) AAS
UF そもそも、ショルツのおかげで証明改善したなんていってないだろ。
326: 2020/04/12(日)21:20:19.91 ID:4vGkxkWO(1/3) AAS
数論幾何と圏論の他にも
望月教授が示された
「ＩＵＴを理解し得るのに必要と考えられる知識」
がありましたが。
その上でＩＵＴについて習熟してこその
「ハイ論破！」の説得力だと思いますが。
474: 野暮天 2020/04/13(月)11:17:32.91 ID:ukZx7597(15/75) AAS
＞woitブログは、公式に議論する場ではない
５ｃｈは議論すらできとらんがのう
568: 野暮天 2020/04/13(月)17:17:45.91 ID:ukZx7597(37/75) AAS
>>564
申し訳ないのう
・・・といいつつ、>>563の話を続けるわけじゃが
外部ﾘﾝｸ:magfesta.jp
SU-METALの名前がない！
ま、分かるヤツは分かる
生田絵梨花もよう分かっとるｗ
省1
578(3): 2020/04/13(月)17:32:59.91 ID:Y9js0GVd(2/4) AAS
>>571
おまえ隔離スレで↓から逃亡しといて何言ってんの？
>１．しっぽの同値類は可能
>２．決定番号を決めることは可能
決定番号は自然数である。 Y/N
{d(s^i)|i∈{1,2,...,100}}:=Mは、100個の（重複を許す）自然数の集合である。 Y/N
Mは有限全順序集合である。 Y/N
省7
596(1): 2020/04/13(月)17:55:51.91 ID:AZP114W1(13/13) AAS
>>592
プリミティブ方程式がわかれば
予測可能になるの？
雲もなる仮定も超水滴法とか色々ある
し、
集中豪雨の予測もドップラーレーダーの
データが必要でしょ
721(1): 2020/04/14(火)07:22:15.91 ID:JNHc90j6(3/6) AAS
>>714
ショルツにレフリーは務まらないよ。話が噛み合ってないどころか、
返答を放置するなど十分に誠実な対応してるとは言い難い。
748: 2020/04/14(火)10:20:48.91 ID:lY8AVF5Y(2/2) AAS
って信者釣ろうぜ
870: 野暮天 2020/04/14(火)20:12:25.91 ID:KeVcPD0N(32/51) AAS
>>868
＞望月の「学部生でも。。。」って表現が厳しすぎて
望月のショルツに対する劣等感が丸出しじゃな
ショルツは、人の些細な誤りをあげつらって
肝心なことには全く答えない姑息な奴を
見捨てたんじゃろうな
887: 野暮天 2020/04/14(火)20:40:12.91 ID:KeVcPD0N(40/51) AAS
>>884
そういえば、こんなもんが流出しとった
動画ﾘﾝｸ[YouTube]
某TVで声楽家が選ぶ歌うまアイドルのランキングを放送してたが
SU-METALの名前はなかった
おおかた秋元康に忖度したんじゃろうが、メイトからは失笑されとった
931: 2020/04/14(火)22:29:51.91 ID:mPcwMzMg(1) AAS
>>924
もう一つの問題、つまりk/Qの判別式が有界なのは、アーベル多様体Aが固定された素点の有限集合の外でgood reductionである必要がある、というのをSSが記載し忘れてたのは分かった
でもそれだったら数学の本スレで数学の本の誤りを延々指摘してる人と同じレベルじゃね
972(1): 2020/04/15(水)10:45:06.91 ID:5SCSS1OZ(1/4) AAS
仮に正しくてもそんなややこしい理論は必要ないんじゃないか？
誰も巻き込まれたくないw
984(2): 2020/04/15(水)13:06:47.91 ID:/g+JzMtk(1/9) AAS
>>983
＞証明支援言語Coqが正しいことを、だれがどうやって保証しているのか？
Coqの正当性をCoqで検証すればいいんじゃね？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s