投稿者: babalabo

▲べき乗進数表記マトリックスでエラーが発生する．BuildMatrixで起きている．α=234, e=3, γ=10．マトリックスのサイズは27×27．⇒作業用配列は指定サイズ27×27で生成されているのに，行インデックス=i=28でアクセスしている．iは1～lengthで，lengthには29が入っているので，レンジオーバーが生じる．このlengthにはγ進数表記したべき乗値が入っている．⇒暫定的にループから離脱しないようにした．

▲マトリックスのカラー表示のリストが空になっている．中身は入っている．Panel_LoadでSelectedIndexの設定が止めてあった．ColoringMatrixも止めてある．⇒復活させた．

▲２つのマトリックスが表示されるようになっているが，現在どちらを表示しているのかを管理していない．⇒いや，Matrixクラスのオブジェクトを２つ管理している．PowerMatrixとDigiMatrixだ．つまり，問題ないと考えられる．⇒どちらか一つだけ表示というのも考えられるが，とりあえず，現状のままとしておこう．

▲べき乗進数表記マトリックスの左下三角をグレー表示したい．

▲べき剰余マトリックスの縦数列カラー表示が機能していない．⇒ColoringStripeでは topn > maxrows でループを離脱するようになっている．topn=221，maxrows=27なので成立してしまう．この論理は修正していないはずなのだが…　⇒ColoringStripeをどこかの時点で修正して放置していたのだろうか？どうもかなりおかしい．

ColorOffを選択するとColorOnを表示，ColorCycle→ColorOff，ColorOn→ColorCycle，ColorStripe→無動作という感じになっている．⇒コンボボックスのリストの順序が狂っていた．一応動作するようになった．ColoringStripeがどこでどうなってしまったのかは分からない．⇒久留島喜内 2023-07-22では動作している．2023-07-29では無動作になっている． 2023-07-27ではまだ動作している．どうも，進数表記マトリックスを導入した時点でどこか壊してしまったようだ．2023-07-28では動作していない．進数表記マトリックスはこの版で導入されている．2023-07-27-1では動作しているようだ．

どうも，αの値によって変わるようだ．αが小さい値，たとえばα=7ならばカラー表示になる．また，ColoringStripeのロジックには変更は入っていないように思われるので，カバーできていないポケットがあるのではないか？つまり，ColoringStripeにはバグが残っていると見てよいように思われる．マトリックスの表示領域が27×27のとき，α=28にすると表示できない部分が出てくる．（α=28より小さい領域は着色されない）境界線の位置も間違っている．

この辺り後回しにしようかとも思ったが，片付けてしまうことにする．

べき乗進数表記マトリックスが表示できるようになった．これを整備してべき剰余数列マトリックスと同等のところまで仕上げるというのが今日の仕事だ．

▲縦数列のラベル列が周期Yのインデックスになっているが，縦数列＝進数表記数列なのだから，縦方向の周期性はないと考えられるので，通し番号とする．

異種文字数を出している末尾列，末尾行はしばらく空欄としておこう．なにを表示するのが最適か？はもう少し調べてみないとわからない．もっとも関心のあるところは，横数列の周期がどうなっているのか？という点だ．

▲レンジ外のα値入力に対し，何のアウトプットもないのはまずい．⇒数値ボックスで自動的に弾いているのではないか？⇒いや，少し動作が違う．12345678901234567890を入力→9223372036854775807に書き換えられはしたが，処理は実行されている．⇒テキストをまるごと書き換えたときは，9223372036854775807として受け付けているようだ．既存テキストが入力されている場合には，後から追加したテキストはキャンセルされて元のテキストに戻っている．⇒これはアプリ側では検知できないような気がする．

▼εをeに一括置換しておく．⇒イベントハンドラの引数でeが使われている．⇒名前のダブりを避けるよう調整した．

▼加納のべき剰余等差数列定理に関係する修正を行う．まず．ValueChangedでα^ε値をγ進数表記した数列をダンプ出力することにしよう．いや，その前にα^εの生値を10進出力すべきではないのか？⇒UpdateStatusを書き換えておこう．

数値をｂ進表記に変換しているのはConvertNum2Stringで，その中でToBCDを呼び出してバイト配列に変換している．しかし，γは大きな整数なのでバイト配列では収まらない．同一趣旨でint配列が使えるようにする必要がある．⇒動作するようになった．NumToBCDという関数で処理するようにした．NumToBCDとToBCDの大きな違いは，出力配列の順序が逆順になっているという点だ．ToBCDでは一の位が末尾に来るようになっているが，NumToBCDでは先頭に配置される．

▲マトリックスを開くのに前より時間が掛かるようになった気がする．⇒扱っている数字のレンジによる．小さい数が対象なら瞬速で表示される．数字が大きいときに時間が掛かるのは避けられない．

▲7^2023 mod 10000 でcycleが0#0で無表示⇒再現しない．0#100で周期は100だ．X=500なので，多少は短縮されている．描画が遅れていたのだろうか？verboseが立っていた可能性はある．

7,49,343,2401,6807,7649,3543,4801,3607,5249,6743,7201,
407,2849,9943,9601,7207,449,3143,2001,4007,8049,6343,
4401,807,5649,9543,6801,7607,3249,2743,9201,4407,849,
5943,1601,1207,8449,9143,4001,8007,6049,2343,6401,4807,
3649,5543,8801,1607,1249,8743,1201,8407,8849,1943,3601,
5207,6449,5143,6001,2007,4049,8343,8401,8807,1649,1543,
801,5607,9249,4743,3201,2407,6849,7943,5601,9207,4449,
1143,8001,6007,2049,4343,401,2807,9649,7543,2801,9607,
7249,743,5201,6407,4849,3943,7601,3207,2449,7143,1,

一応動作しているようなのでこのまま運用して様子を見ることにする．

▲中止ボタンが効かない．⇒特にVerboseオンで効きが悪い．Stopflagが立ったときには，verboseを落とした方がよい．⇒OutputStreamの中でDoEventsを取るようにした．ここでstopflagがオンになったときはverboseを落とすようにしたのでほどなく停止できるようになった．

▼DispRecurringDecimalという関数は廃止した．それと連動してIverboseとういフラグも廃止することにした．

▲Matrix Testボタンを押してもかなり長時間何も出力されない．

VB.NETにはアプリケーションの設定を保存するための機構として，app.configという仕組みが備わっている．以前はINIファイルを使うかレジストリに保存というのが標準的な手法だったが，いつの間にか世の中変わってしまった．どうも慣れないせいかうまく動作してくれないので，2023-07-18-1版まで戻ることにした．ここではエラーは発生していないように思われるので，ここから出直すことにする．⇒いや，ダメだ．プロジェクトの設定を開こうとするとやはりエラーが出る．

起動時にはこのファイルを読み込んでいるはずなのだが，そこではエラーは発生していない．⇒App.configを一旦削除したら，エラーは発生しなくなった．しかし，今度は起動時にエラーが出るようになってしまった．app.configの難点は機構が複雑過ぎて開発環境がうまく管理できていないように思われる点だ．実行時には，app.config以外に別の*.configファイルが作られているだけでなく，どこかに隠しファイルを持っていて同一内容をキープしているような感触があり，それらの間で不整合が発生しているという感じだ．とりあえず，INIファイルかレジストリを使う方向に転換することにした．

まず，設定の保存の問題を片付けておこう．アプリ終了時の設定が次回起動時にはそのまま反映されているという仕掛けだ．保存されるべきパラメータは以下の通り．

1. α　numN　123
2. β　numB　10
3. γ　numK　7
4. ε　numE　1
5. Wordwrap　wordrap　False
6. Verbose　verbose　False
7. Save　saveon　False
8. filename　filename　output.txt
9. folder path　workdir　C:\desktop
10. α+　ncount　20
11. β+　bcount　20
12. γ+　kcount　20
13. matrixW　matrixw　26
14. matrixH　matrixh　26
15. Color　coloring　0
16. panel Window State　panelwstate　

プロジェクトのプロパティ→設定を開こうとすると下記エラーになる．

▲初期起動時，以下のエラーになる．

リリース版を起こした．V1.0 R2023-07-18．bin\ReleaseにPowerGridというフォルダがある．いつ作ったのかよく覚えていない．中に更新日付が2023/06/26というEXEが入っている．紛らわしいので削除しておこう．多分配布用というつもりだったのではないかと思う．どこまでリリースすればよいのか？それが問題だ．ソースコードまで公開してしまうのが早いような気がするのだが… 今回はフルパッケージでリリースするということにしてみる．

縦長になったため，横幅が少し足りない感じがする．行間隔を詰めてもう少しコンパクトにしてみよう．⇒調整した．一応これで完成したということにしておこう．しばらくは，これで運用してみることにする．前回設定を覚えておくという機構があったはずだが…

どうなっているのだろう？アプリ終了時に設定を保存するためには，My.Application.SaveMySettingsOnExit がオンになっている必要があるようだ．Kinai_FormClosingでは設定をMy.Settingsに書き込んでいるが，ロード時にはやっていないように見える（一部読み出しているものもある）た，これを作動させるためにはapp.configにあらかじめ設定する必要があったのではないだろうか？

▲α=8, ε=2023, γ=54でマトリックスを表示しようとしてColoringStripeでエラーになった．

.Rows(topn).Cells(leftn).Style.BackColor = colでセルの背景色を設定しているところだ．topn=6, leftn=2006が入っている．maxrowsは34，maxcolumns=34だから，明らかにレンジを逸脱している．mat.ColumnTopの2006という数がそのまま適用されている．どこかで修正ミスを冒しているのではないか？おかしい．この論理は元々は .Rows(i).Cells(j).Style.BackColor = colのようになっていたはずだ．⇒確かにこれでエラーは発生しなくなったが，カラーリングがおかしい．

かなりややこしい．難しい論理になっている．一応動作するようになった．多分これで間違いないと思う．

さて，いよいよ最後の課題に掛かることにしよう．縦数列のセグメントを半分に折ってそれぞれを着色するという課題だ．これを行えば，異なる数列で和が一致してしまう場合を分離することができる．また，副次効果として回文の見える化にも寄与するはずだ．かなり面倒な仕掛けだが，やってできないというほどのものではない．また，やるだけの価値はあるものと思われる．現行のstripeカラーはそのまま温存したいので，このカラーリングは追加ということになるが，問題は管理パネル上の余白が乏しくなっていることだ．

このカラーリングをとりあえずsegmentカラーリングと呼んでおく．ボタンを止めて，リスト化するという方法も考えられる．というか，それしかないのではないか？ボタンの方が素早く切り替えらえられるという利点はあるが，この機能は必要に応じて使われるような種類のものなので，許されるのではないだろうか？リストは以下のような構成になる．

1. Color off
2. Color on
3. Color cycle
4. Color stripe
5. Color segment

最後のColor segmentというのが，これから実装しようとしているセグメントカラーリングだ．γの周期性に関わるパラメータX, Y, Zはこれまでchi, upsilon, zetaとしてきたが，間違い易い/書きづらいので，X, Y, Z　に統一することにする．Xの値はLambdaFunctionが返す周期#の最大値である．⇒カラリングの切り替えをラジオボタンからコンボボックスに変更した．それほど違和感は感じない．

セグメントを細分割する際の手掛かりとして，異種文字数１の行というのを考えてみたが，どうもうまく割り切れるようには見えないので，当初予定通り単純に２分割するという方向で進めることにする．手順は下記のようなものになる．

1. Yが奇数の場合は，最下行の０行を除外すると偶数になるので，２頭分して個別に色分けする
2. Yが偶数の場合は，最下行を含めてそのまま２分割して色分けするか，ないし最下行と中央の行を除外して残りを色分け表示する

γ=18の場合，Y=6で偶数だが，ほとんど同色で塗りつぶされている．なぜか？{1,4,9,16,7}=37，{1,8,9,10,17}=45，{1,16,9,4,13}=43，{1,14,9,16,11}=51でそれぞれ値は異なるのにほぼ同じ色に見えてしまう．⇒色々調整してみたがなかなかうまくゆかない．異種文字数がまったく異なるのに同じ色になってしまうというのは納得ゆかない．むしろ，異種文字数を基準にした方がよいのではないか？

異種文字数は列に属する値でセグメントと１対１対応していないが，異種文字数の４倍を加算することで分離できるようになった．母数を大きくしないでオーバーフローしたときは360の剰余を取るようにしてかなり解像度は高くなったのではないかと思われる．

いろいろ検討してみたが，セグメントカラーリングは取りやめることにする．ある程度色で識別できるようになったので，しばらくはこのまま運用してみることにする．あとはマニュアルを書くだけだ．

▲α=15, ε=4，γ=12のときの異種文字数がおかしい．上から見てくると，α=7で{7, 1, 7, 1,}が1となり，その次の{8, 4, 8, 4, }が3，{9, 9, 9, 9, }が2，{10, 4, 4, 4, }が1と軒並みおかしい．12行目では{0, 0, 0, 0, }で2となっている．異種文字数のカウントはBuildMatrix，それを読んでBuildPowerGridでマトリックスに表示しているはずだが，どちらが間違っているのだろう？

配列の内容はcharNVが{0, 12, 4, 9, 4, 0}，charNHが{0, 1, 3, 2, 1, 2, 2, 0}となっているので，配列の中身がそのまま表示されている．つまり，配列の内容が間違っている．ただし，charNV(1)=12はマトリックスでは9と表示されているので，食い違いがある．charNHとcharNVの値はGetCharNumHとGetCharNumVで取り出している．⇒原因はわかった．縦数列では横数列のように周期で区切ることができないという点が見落とされている．つまり，セグメントというのは単なる区切りであり，周期ではないということがよく理解されていない．言い換えると縦数列の検定では検定区間をγより短くはできない．別の言葉で言えば，縦周期Yが区間と誤認されている．

いまの場合はγ=12でY=6だが，縦周期Yで繰り返されるという仮定で動作している．これは誤りだ．

BuildMatrixとBuildPowerGridで区間γに対応するよう修正した．これで概ね異種文字数の表示は正しくなったように思われるが，まだ二三不審な点がある．γ=12のマトリックスで最下行の異種文字数のうち最左の９というのはおかしい．0～11までの数字が現れるのだから，１２でなくてはならない．また，１２行目と２４行目の最初の数字は0になっているにも関わらず，異種文字数は2となっている．

charNV(1)=12となっているのに，表示が９となっているのはなぜか？かなり微妙な問題だ．charNV配列の長さはX+Zで事例ではX=2, Z=1となっている．BuildPowerGridではこの標準配列を使ってテーブル上の任意の矩形領域を表示しようとしているため，列番号から標準配列のインデックスへの変換を行っているが，この論理の中に列番号がゼロになった場合はXに読み替えるという処理が入っている．この辺りで誤動作しているものと思われる．

マトリックス先頭列＋ｊの値がXより小さい場合は変換しないで直接適用するように書き換えておこう．⇒解決したようだ．事例ではγ=12となっているので，αが12の倍数であれば剰余は０でなくてはならないから，１２行目，２４行目の最左ノードが０であるというのは正しい．従って，異種文字数が２となっている方が間違っているように思われる．⇒上記と同様な仕組みになっている．行がγの倍数のときはYで置き換えるようになっている．Yでなくて，γでなくてはならない．

修正して動作するようになった．これで異種文字数に関しては整合するようになったのではないかと思う．upsilonつまりYを参照しているところはすべて点検しておく必要がある．⇒一応OKのようだ．