26/05/07 10:32:38.67 I4Ons3zW.net
10年間一歩も前へ進まなかったサルは一生畜生界のままだろうね 憐れだね
151:１３２人目の素数さん
26/05/07 10:34:09.99 GPI6Z/sS.net
GW中はキャンパスは子供連れで大賑わい
数学科の一階の講義室で板書中
小さい女の子にしばらくのぞき込まれた
152:１３２人目の素数さん
26/05/07 10:35:23.31 I4Ons3zW.net
キモチワルイ
153:１３２人目の素数さん
26/05/07 10:37:04.04 GPI6Z/sS.net
今朝はバギーに乗った小さい女の子に
手を振られた
154:１３２人目の素数さん
26/05/07 10:45:04.35 UCuhbwTl.net
コピペおばちゃん消えるだけでマシな掲示板になるな
155:１３２人目の素数さん
26/05/07 10:46:05.28 JswjJAcg.net
彼の人がコピペ止めるだけでかなりマシになりますね
156:１３２人目の素数さん
26/05/07 10:50:18.79 I4Ons3zW.net
キモチワルイ認知症爺も消えてくれれば尚良い
157:１３２人目の素数さん
26/05/07 12:18:52.37 GPI6Z/sS.net
そして誰もいなくなった
158:１３２人目の素数さん
26/05/07 12:51:01.22 JswjJAcg.net
試してみてよ
159:１３２人目の素数さん
26/05/07 14:57:30.20 UCuhbwTl.net
LEANの前にリファレンスになるIUTは実在すんの？
なんか昔は何年もかけて誤字脱字数式ミスの改訂繰り返してたけど
もう飽きてんだろ？
あんな状態でLEANの持ち込めるリファレンスがあるわけねーじゃんw
そもそもw
160:１３２人目の素数さん
26/05/07 17:26:59.78 +mu5g0aN.net
>>159
望月さんの弟子？がLANAプロジェクトに入ってるから
現在の論文とその改訂との最終版以降は
その人を通じて知れるんじゃないかな
でも
「おまえはわかっちょらん！」と難詰されるのをイヤがるかもね
161:１３２人目の素数さん
26/05/08 08:44:29.71 cZsdQWXK.net
７月になれば進展が報告されるらしい
162:１３２人目の素数さん
26/05/08 08:58:27.82 5qI9ss6g.net
望月新一「大いに進展が見られた」
LANAの人「肝心の問題が解決せず」
ものはいいよう
163:１３２人目の素数さん
26/05/08 08:59:51.08 cZsdQWXK.net
７月に発表されると予想される言葉はそれ？
164:１３２人目の素数さん
26/05/08 09:15:13.30 x6mob0Sa.net
1年以上取り組んで乗り越えられなかった壁が数か月で解決するはずない。
そもそも正しい証明の形式化に壁があること自体おかしい。
165:１３２人目の素数さん
26/05/08 09:20:12.63 cZsdQWXK.net
そのおかしさが
白日の下にさらされるという期待が
持たれているようだ
166:１３２人目の素数さん
26/05/08 09:21:32.69 843WxOSn.net
>>163
いやこないだの会見でしょ？違う？
167:１３２人目の素数さん
26/05/08 09:24:39.77 cZsdQWXK.net
７月にあるといわれる報告について話している
168:１３２人目の素数さん
26/05/08 09:26:17.15 cZsdQWXK.net
議論に値するのはそっちではないか？
169:１３２人目の素数さん
26/05/08 09:26:36.63 843WxOSn.net
>>164
>1年以上取り組んで乗り越えられなかった壁が数か月で解決するはずない。
そうでもないよ
問題が解けるときは一瞬
理解が進むときも一瞬かも
>そもそも正しい証明の形式化に壁があること自体おかしい。
そこよな
説明が不足してるんだろうが
そもそも説明になってない可能性も
170:１３２人目の素数さん
26/05/08 09:31:01.70 cZsdQWXK.net
その辺をクリアにしてほしい