コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

GitHub_4CT_Haskell

GitHub_4CT_Haskell 21/04/15の変更 findangles() 8

今日も findanglesSub2() を書いた。

GitHub_4CT_Haskell 21/04/13の変更 findangles() 7

今日も findanglesSub2() を書いた。

GitHub_4CT_Haskell 21/04/11の変更 findangles() 6

今日も findanglesSub2() を書いた。

GitHub_4CT_Haskell 21/04/10の変更 findangles() 5

今日は findanglesSub2() を書いた。

GitHub_4CT_Haskell 21/04/09の変更 findangles() 4

今日も findangles() を書いた。

GitHub_4CT_Haskell 21/04/04の変更 findangles() 3

今日も findangles() を書いた。 別の話題です。 四色定理に取り組んでいる方が他にもいらっしゃって、 その考察をしてみたので、良かったら。 『四色問題を解く。』の考察 · GitHub

GitHub_4CT_Haskell 21/03/29の変更 findangles()

今日も findangles() を書いた。

GitHub_4CT_Haskell 21/03/28の変更 findangles()

今日は findangles() を書いた。

GitHub_4CT_Haskell 21/03/17の変更 stripSub3() 4

今日も stripSub3() を書いた。今日で strip() は終わりだ。

GitHub_4CT_Haskell 21/03/16の変更 stripSub3() 3

今日も stripSub3() を書いた。

GitHub_4CT_Haskell 21/03/15の変更 stripSub3() 2

今日も stripSub3() を書いた。

GitHub_4CT_Haskell 21/03/14の変更 stripSub3()

今日は stripSub3() を書いた。

GitHub_4CT_Haskell 21/03/13の変更 inInterval() 5

今日も inInterval() を書いた。

GitHub_4CT_Haskell 21/03/12の変更 inInterval() 4

今日も inInterval() を書いた。

GitHub_4CT_Haskell 21/03/11の変更 inInterval() 3

今日も inInterval() を書いた。

GitHub_4CT_Haskell 21/03/10の変更 inInterval() 2

今日も inInterval() を書いた。

GitHub_4CT_Haskell 21/03/09の変更 inInterval()

今日は inInterval() を書いた。

GitHub_4CT_Haskell 21/03/08の変更 stripSub2Sub4()

今日は stripSub2Sub4() を書いた。

GitHub_4CT_Haskell 21/03/07の変更 stripSub2Sub3()

今日は stripSub2Sub3() を書いた。

GitHub_4CT_Haskell 21/03/06の変更 stripSub2Sub2()

今日は stripSub2Sub2() を書いた。

GitHub_4CT_Haskell 21/03/05の変更 stripSub2Sub1()

今日は stripSub2Sub1() を書いた。

GitHub_4CT_Haskell 21/02/24の変更 stripSub2() 3

今日も stripSub2() を書いた。

GitHub_4CT_Haskell 21/02/23の変更 stripSub2() 2

今日も stripSub2() を書いた。

GitHub_4CT_Haskell 21/02/18の変更 stripSub2() 1

今日は stripSub2() を書いた。 github.com

GitHub_4CT_Haskell 21/02/17の変更 stripSub1()

今日は stripSub1() を書いた。

GitHub_4CT_Haskell 21/02/16の変更 strip()

四色定理の証明を Haskell にも移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip() を書いた。下位層はスタブだ。