0249132人目の素数さん垢版 | 大砲2024/04/28(日) 06:51:56.36ID:jE6GcQ6w まぁモッチーの論文に出てくる定理のほとんどは プログラムが書いてあるようなもんだからね だから証明と言っても「このプログラムはちゃんと走る」くらいしか書けない