ワイは数学を諦めた
?「〜な人が一定数いる」←ほんとに定数か?名無しさん2026/01/29 17:09湯治水治に類する [https://rio2016.5ch.net/test/read.cgi/sci/1753267386/137/](/boards/sci/1753267386#post-137) ─ 素...
プログラムを証明するには?名無しさん2025/10/19 14:56[>>23](/boards/math/1741362507#post-23) その場合、バグとは証明すべき定理を取り違えたことで生じる(笑)