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

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

GitHub_4CT_Haskell

GitHub_4CT_Haskell C可約がうまくいかない

Haskell の四色定理のプログラムですが、 C可約チェックがうまくいかないので、しばし中断します。

GitHub_4CT_Haskell 22/09/19の変更 checkCReduce() 13

今日も checkCReduce() を書いた。 前回の bug は直しました。

GitHub_4CT_Haskell 22/09/18の変更 checkCReduce() 12

今日も checkCReduce() を書いた。 前セクションの値sameangle が壊れていることが分かった。

GitHub_4CT_Haskell 22/09/10の変更 checkCReduce() 11

今日も checkCReduce() を書いた。

GitHub_4CT_Haskell 22/09/03の変更 checkCReduce() 10

今日も checkCReduce() を書いた。 番号が飛んでいるのは、別のバグを直していたからです。

GitHub_4CT_Haskell 22/07/31の変更 checkCReduce() 4

今日も checkCReduce() を書いた。

GitHub_4CT_Haskell 22/07/30の変更 checkCReduce() 3

今日も checkCReduce() を書いた。

GitHub_4CT_Haskell 22/07/24の変更 checkCReduce() 2

今日も checkCReduce() を書いた。

GitHub_4CT_Haskell 22/07/18の変更 checkCReduce() 1

今日は checkCReduce() を書いた。

GitHub_4CT_Haskell 22/06/24の変更 updateLive() 40

今日も updateLive() を書いた。 デバッグログを非表示にした。やっと updateLive() を終えることができる。

GitHub_4CT_Haskell 22/06/22の変更 updateLive() 39

今日も updateLive() を書いた。 やっとバグが取れた。10個くらいあった。

GitHub_4CT_Haskell 22/05/22の変更 updateLive() 28

今日も updateLive() を書いた。 まだバグは直らない。

GitHub_4CT_Haskell 22/05/11の変更 updateLive() 27

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/05/08の変更 updateLive() 26

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/05/06の変更 updateLive() 25

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/04/22の変更 updateLive() 24

今日も updateLive() を書いた。 予想通りちゃんと動いてないので、解析しなきゃ。

GitHub_4CT_Haskell 22/04/17の変更 updateLive() 23

今日も updateLive() を書いた。 火は入れてないけど、ひとまず全部書いた。

GitHub_4CT_Haskell 22/04/10の変更 updateLive() 22

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/04/09の変更 updateLive() 21

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/04/08の変更 updateLive() 20

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/04/07の変更 updateLive() 19

今日も updateLive() を書いた。 リファクタリングします。

GitHub_4CT_Haskell 22/04/03の変更 updateLive() 18

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/22の変更 updateLive() 17

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/16の変更 updateLive() 16

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/14の変更 updateLive() 15

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/13の変更 updateLive() 14

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/12の変更 updateLive() 13

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/07の変更 updateLive() 12

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/06の変更 updateLive() 11

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/5の変更 updateLive() 10

今日も updateLive() を書いた。