[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
389(1): 2022/10/31(月)22:17 ID:V6kL7bYX(16/47) AAS
＞２）まあ、あんまし読む気は無いが、証明よろしくね
＞ ID:Rh3Q9O/g氏が、証明を突いてくれることを期待している
これも釘を刺しておくが、(d≦k)の非可測性に関する証明は、予想したより遥かに分量が大きくなった。
おそらく、スレ主は読まない。
別に読まなくても構わんが、その場合はスレ主は>>371-372を受け入れなければならない。
ただし、その時点でスレ主の詰みが確定する。
よって、スレ主が>371-372を受け入れない場合、スレ主は下記の(長い)証明を読まなければならない。
省5
上下前次1-新書関写板覧索設栞歴
あと 613 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s