人気のスレッド
既婚女性
646
5446.4
6465446.4
ニュース速報+5502504.1
5502504.1
ニュース速報+952283.8
952283.8乃木坂463431154.4
3431154.4
ニュース速報+2121113.1
2121113.1
ニュース速報+4361049.8
4361049.8ニュー速(嫌儲)53897.2
53897.2
ニュース速報+162871.1
162871.1
ニュース速報+265781.3
265781.3
ニュース速報+858716.4
858716.4もっと見る
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%A9%E3%83%83%E3%83%84%E3%81%AE%E5%95%8F%E9%A1%8C
※前スレ
コラッツ予想がとけたらいいな その３
https://rio2016.5ch.net/test/read.cgi/math/1631191485/
私のコラッツ予想の証明、見ていただけたらと思います。
1つ目は、コラッツ予想を Lean 4 で定理証明したものです。
https://github.com/righ1113/divseq2
2つ目、証明のベースは以下の論文です。
https://www.scirp.org/journal/paperinformation.aspx?paperid=115471
よろしくお願いします。
少年院2回 今回詐欺で4年
子供が3人 弱い奴に強い
ワガママでバカ
現在長野刑務所に収監中
〒382-8633 長野県須坂市須坂馬場町１２００
いなかったら川越に職訓でいる
14工場3班班長 タメ口 えばっている
堀口貴明様は刑務所大好き 最高
ファンレター待ってるよ
https://www.facebook.com/share/1ATHPtLmgg/