Haskell の四色定理のプログラムですが、 C可約チェックがうまくいかないので、しばし中断します。
今日も checkCReduce() を書いた。 前回の bug は直しました。
今日も checkCReduce() を書いた。 前セクションの値sameangle が壊れていることが分かった。
今日も checkCReduce() を書いた。
今日も checkCReduce() を書いた。 番号が飛んでいるのは、別のバグを直していたからです。
今日も checkCReduce() を書いた。
今日も checkCReduce() を書いた。
今日も checkCReduce() を書いた。
今日は checkCReduce() を書いた。
今日も CRedu を書いた。 reduce の正常動作を確認しました。 実行には 2.5h ほどかかります。 4CT_Ruby はこれにて完了となります。
今日も CRedu を書いた。 だいぶ動いてきた。
今日も CRedu を書いた。 まだちゃんと動いてない。
今日も CRedu を書いた。
今日は CRedu を書いた。 残りは C可約性チェックのみだ。
今日も updateLive() を書いた。 デバッグログを非表示にした。やっと updateLive() を終えることができる。
今日も updateLive() を書いた。 やっとバグが取れた。10個くらいあった。
今日も updateLive() を書いた。 まだバグは直らない。
満を持して ACL2 をやろうと思い立った。 しかし殆ど解説記事が無い... 環境 Windows ではうまくいかなかった。 Racket もうまくいかなかった。 Jupyter のやつは未確認です。 Eclipse でできた。これの正式名称は ACL2s というらしい。 Install ACL2 Sedan …
今日も updateLive() を書いた。
今日も updateLive() を書いた。
今日も updateLive() を書いた。
前回 下位ビットの状態遷移図 イメージ イメージとしては、(nが正の場合)左上の001から出発して、 中央のループをぐるぐる回って、 最後に右下の4-2-1ループに辿り着くかんじだ。 現存する4種類のループがあらわれている この図で未知のループは存在するか？…
コラッツパターン かつてコラッツパターンというものを考えていた。 平衡三進法 平衡三進法なるものを知った。三進法だが要素を {-1, 0, 1} としている。 コラッツパターンでは左を下位としているが、こちらは右を下位としている。 紹介 これに関して先行研…
今日も updateLive() を書いた。 予想通りちゃんと動いてないので、解析しなきゃ。
今日も updateLive() を書いた。 火は入れてないけど、ひとまず全部書いた。
今日も updateLive() を書いた。
今日も updateLive() を書いた。
今日も updateLive() を書いた。
今日も updateLive() を書いた。 リファクタリングします。
今日も updateLive() を書いた。
