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

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

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() を書いた。 まだバグは直らない。

ACL2 をやってみた

満を持して ACL2 をやろうと思い立った。 しかし殆ど解説記事が無い... 環境 Windows ではうまくいかなかった。 Racket もうまくいかなかった。 Jupyter のやつは未確認です。 Eclipse でできた。これの正式名称は ACL2s というらしい。 Install ACL2 Sedan …

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() を書いた。

<紹介>コラッツパターンを超えしもの その2

前回 下位ビットの状態遷移図 イメージ イメージとしては、(nが正の場合)左上の001から出発して、 中央のループをぐるぐる回って、 最後に右下の4-2-1ループに辿り着くかんじだ。 現存する4種類のループがあらわれている この図で未知のループは存在するか?…

<紹介>コラッツパターンを超えしもの

コラッツパターン かつてコラッツパターンというものを考えていた。 平衡三進法 平衡三進法なるものを知った。三進法だが要素を {-1, 0, 1} としている。 コラッツパターンでは左を下位としているが、こちらは右を下位としている。 紹介 これに関して先行研…

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() を書いた。

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

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/03/01の変更 updateLive() 8

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/02/21の変更 updateLive() 7

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/02/14の変更 updateLive() 6

今日も updateLive() を書いた。

GitHub_4CT_Haskell 22/02/12の変更 updateLive() 5 MaybeT

今日も updateLive() を書いた。 大域脱出したいので、MaybeT も使う。

GitHub_4CT_Haskell 22/02/06の変更 updateLive() 4

今日も updateLive() を書いた。