すべての好配置をチェックしようとすると、かなりのマシンパワーが必要だと分かった。 やむなく中断します。 23/02/12追記 メモリリークが原因でした。 Lens の (%~)（modify） を使って対応します。

すべての C可約 の好配置データに追記しないといけなくなった。 今回は No.3,10 を変更しました。

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

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

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

今日も checkCReduce() を書いた。

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

今日も checkCReduce() を書いた。

今日も checkCReduce() を書いた。

今日も checkCReduce() を書いた。

今日は checkCReduce() を書いた。

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

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

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

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。

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

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

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。

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

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。

今日も updateLive() を書いた。