26/04/29 19:11:45.46 YOQw5Cf+.net
誤ってることが証明済みなら何で今更Leanで検証なんて話になってるの？よくわからんな
124:名無しのひみつ
26/04/29 20:27:46.64 0fqdc4TN.net
やっぱ凡人が考える天才の真似
天才のハッタリって言ったら
形から入るよなあ
コジキのコスプレとか
125:名無しのひみつ
26/04/29 20:31:12.80 0fqdc4TN.net
>>123
IUTグループ自分らは誤りを認めてないんだよ
3.11から3.12のギャップの一部分だけ見て
他をブラックボックスにしときゃ
全体は間違ってても局所的に(とは言っても嘘になるが)正しいと言えるかもしれないからなあ
126:名無しのひみつ
26/04/30 11:51:44.82 jPrqs60Y.net
これさあ
みんな黙ってるけど
「IUTで他のやり方」したら別の不等式出てきちゃうだろw
127:名無しのひみつ
26/04/30 13:25:43.74 CJUlV17M.net
>>123
ウソつき負け猿だからじゃ無いの？
128:名無しのひみつ
26/04/30 13:26:43.06 CJUlV17M.net
.
Hard times create strong men,
strong men create good times,
good times create weak men, ←日本は今ココ
and weak men create hard times.←これからの日本
G. Michael Hopf
.
129:名無しのひみつ
26/04/30 13:30:03.86 CJUlV17M.net
負けが確定したら
引き分けみたいに工作しだすのはチョンの常套手段
日本は最早チョンクオリティ
130:名無しのひみつ
26/05/02 00:03:50.55 RKwZurj1.net
p進数とかN進法とか
分かりずらいから麻雀パイの絵文字を用いれば良いかも
131:名無しのひみつ
26/05/02 02:56:46.63 2rs/aObq.net
>>125
加藤は認めてるに等しいという報道なんでは？
132:名無しのひみつ
26/05/02 03:07:54.66 2rs/aObq.net
>>39
星のIUT入門論文読んだけど
理解するのはなかなか難しかった
用語が独自すぎるのと
うまく整理されてるようには思えなかった事で
それから「これは大雑把に言うと～するということである」が多すぎ
133:名無しのひみつ
26/05/02 14:22:53.54 Gh68rlUY.net
>>131
バカチョンアスペルガーか
なんでLEANに手を出したかその経緯の話だろ
ゴミかお前の脳は
134:名無しのひみつ
26/05/02 14:24:28.69 Gh68rlUY.net
エッシャー階段へのチート策は
視野を狭めて局所だけ正しいとか言っときゃいいだけだからな
135:名無しのひみつ
26/05/02 15:12:57.30 RKwZurj1.net
AIに聞いてみただけだから確実ではなく個人的な予想に過ぎないけれど
LEANには排他的論理和に関す表す機能？が無いらしくMathLibに載っていないらしい
排他的論理和はc言語やPythonはハット記号「^」だけれども
Basicやネット上では乗数で用いられているので実装が難しいと予想
ＷHat？状態な予感
136:名無しのひみつ
26/05/02 16:42:52.08 2rs/aObq.net
>>135
なわけない
137:名無しのひみつ
26/05/02 17:31:24.41 RKwZurj1.net
>>136
失礼、表現の仕方が悪かった
ご指摘の通り、LEANは確かに排他的論理和を表せるのだけれども
URLﾘﾝｸ(www.youtube.com)
を視聴したのだけれども
集合記号と¬の組み合わせで混乱して読めない…的なことを言いたかったんよ
138:名無しのひみつ
26/05/02 18:54:48.82 2rs/aObq.net
数学者は数学的記号の統一的表記を決める気はなく
分野によって使い方が違うので
証明系では証明系研究者たちが自分たちで決め打ち的にやるしかない
適用分野ごとに使う記号を差し替えるライブラリを作れる証明系もあるが保守性が低くなる割にメリットはほとんどない
集合論の人は含意を⊃で表すのを好むが
計算論の人たちはそうではない
困った事にこの二つの分野はゲーテルの予言通りかなり接近してきている
139:名無しのひみつ
26/05/02 20:28:36.63 RKwZurj1.net
多分こんな感じ？
Φ(ζ(-1))∈{2π,2π+(π/6)i}
140:名無しのひみつ
26/05/03 14:45:25.63 2MhRaFWa.net
笹川朝鮮財団の方から来た偽学者w
141:名無しのひみつ
26/05/03 15:52:51.79 E506JHZ1.net
AIでええんとちゃう？
142:名無しのひみつ
26/05/04 13:46:58.80 q9MqZMzB.net
a+b=c、gcd(a,b)=1 のとき
素因数の積 rad(abc) は
→ cに対して「異常なスケール差」を作れない
正確には
任意の ε>0 に対して
rad(abc)≫c1/(1+ε)という制約がかかる
143:名無しのひみつ
26/05/04 22:27:56.42 q9MqZMzB.net
スーパーコンピューターで２０００通り試してその割合で大体あってるっていう統計学的な解決案で大体合ってるやろ
試行を止めずに２兆通り、2亥通りとかやれば９９．９９９９…％正しい答えが出るだろ