2022-09-26

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-09-19

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-09-18

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-09-10

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

GitHub_4CT_Haskell

今日も checkCReduce() を書いた。

GitHub 四色定理 Haskell

2022-09-03

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-07-31

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

GitHub_4CT_Haskell

今日も checkCReduce() を書いた。

GitHub 四色定理 Haskell

2022-07-30

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

GitHub_4CT_Haskell

今日も checkCReduce() を書いた。

GitHub 四色定理 Haskell

2022-07-24

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

GitHub_4CT_Haskell

今日も checkCReduce() を書いた。

GitHub 四色定理 Haskell

2022-07-18

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

GitHub_4CT_Haskell

今日は checkCReduce() を書いた。

GitHub 四色定理 Haskell

2022-06-24

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-06-22

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-05-22

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-05-11

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-05-08

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-05-06

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-04-22

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-04-17

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-04-10

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-04-09

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-04-08

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-04-07

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

GitHub_4CT_Haskell

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

GitHub 四色定理 Haskell

2022-04-03

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-22

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-16

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-14

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-13

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-12

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-07

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-06

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell

2022-03-05

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

GitHub_4CT_Haskell

今日も updateLive() を書いた。

GitHub 四色定理 Haskell