えびま (@evima0) header
えびま (@evima0) profile picture

YouTube: https://nitter.gq/t.co/68CpNcPb24 Discord: https://nitter.gq/t.co/qmVffs1IPL

えびまラボ
Joined October 2012
Python「-6 is not -6」という9秒の動画を作りました。(nitter.gq/RYU_touhoulove/status/… から着想を得ました。)
Pythonのキモイとこ a=10 b=10 print(a is b) は Trueが返るのに a=1000 b=1000 print(a is b) は Falseが返るとこ
2
2
47
7,393
ちなみに 1000 のときは Python 3.15 では True になりましたが(1024まで)、-6 では相変わらず False です。
2
833
「この文が正しければ0=1である」という文をSとする。Sの定義より、Sが正しければ、「Sが正しければ0=1である」。仮定の重複を省くと、Sが正しければ0=1である。これはSそのものだから、Sは正しい。よって、0=1である。
2
1
97
10,792
問:辺の長さの合計が1の凸多面体の最大の体積は?
2
4
2
59
7,305
これです(実は……)。youtube.com/shorts/XOGGj916H…
3
1,374
0以上1以下の実数を一様ランダムに選んだとき、それが有理数である確率が0であることの1分解説を作りました。
1
7
4
105
6,108
日本の都道府県は長野を抜けば3彩色可能です(そういう都道府県は長野だけ)。
2
33
7
416
26,716
【訂正】すみません、広島と愛媛は瀬戸内海の瓢箪島で陸の県境を接していました。正しい3彩色の例はこうです。
1
6
1
59
3,302
OpenAIが掛谷予想を全次元で解決した件を1分でまとめました。(本当はそれだけではありませんが1分で話せる内容ではないので諦めました。)
1
49
2,538