2025年3月 – さあ，もう一度ゼロから始めよう

過去ログを読み直ししていたら，次のようなことが書いてあった．「Libre Office を使って，ゼルコバの木の画像出力を編集できるのではないか？」これは結局，*.ODG形式で出力するということになるだろう．そのためには Libre Office の Draw ファイル形式を完全に解析しなくてはならない…

▲所内でファイル共有ができない．Vulture からは FireBird は見えているが，ログインできない．パスワードで弾かれてしまう．FireBird ではネットワークにフォルダが一つも現れない．機内モードに設定しているためだろうか？機内モードオフでも状態は変わらない．ネットワークプロファイルはどちらもプライベートになっている．⇒FIREBIRDを再起動して，次PCだけは見えるようになった．あ，今度はVULTUREからアクセスできるようになった．とりあえず，片側からでも使えれば十分だ．

◎Libre Office Draw はPDFファイルを開ける．

どのマシーンにもゼルコバの木がインストールされていない．いや，FIREBIRDにはインストールされている．VULTURREにも入っているようだが，起動するとエラーになる．

ZELファイルもほとんど見当たらない．SDカードには２本しか入っていなかった．⇒FIREBIRDでゼルコバの木を起動して，「You are your grandson.zel」を開き，CubePDFに印刷出力しようとして，エラーになった．

CubePDFがインストールされていないのだろうか？どうも落としてしまっているようだ．マニュアルだけは残っているが… VULTURE の方も同様だ．インストールしておこう．「…準備中です…そのまましばらくお待ちください」からなかなか抜けてこない．ネットワークがネックになっているのだろうか？povo1.0の２４時間使い放題を購入するしかなさそうだ．⇒この画面には「打ち切りボタン」というのが付いていない… メモリ不足ということもあり得るが，２台ともということはないはずだ．

一度ブラウザを閉じて再試行してみる．⇒いや，勘違いしていた．とっくにダウンロードされていた．何も出ないので止まっていると思っていたが，ブラウザのメニューバーになるダウンロードで見ると７分前に完了している．FIREBIRDの方は「中断」状態になっていたので，再開⇒完了した．やはり，ネットでこけていたようだ．※

※この判断は多分間違っている．FIREBIRDはタブを閉じて打ち切っている．VULTUREの方は「２４時間使い放題」を仕掛けた後に，別のサイトからダウンロードしたものだ．

⇒CubePDFはインストールできたが，印刷出力でエラーになる．とりあえず，今日はここまでとしておこう．問題点だけ列挙すると，

①VULTUREにインストールされているゼルコバの木が動かない

②FIREBIRDでCubePDFに印刷出力してエラーになる

FIREBIRDのゼルコバの木はとりあえず，問題なく動作している．作業ログの続きを読みにゆこう．というか，「２４時間使い放題」がもったいない．何かダウンロードないしアップロードするものはなかったろうか？ロリポップやフェイスブックはバックアップができたような気がするが…　音楽や動画で使うというのもありかも…⇒フェイスブックに投稿した全個人情報を全期間でリクエストしてみた．どうも一本のファイルにまとめてから送ってくるらしい．ダウンロードより，準備に時間が掛かりそうだ．ダウンロードされるファイルはHTMLになっているはずなので，多分ローカルでも閲覧できるはずだ．

■ヘルプをLibreOffice Drawを使ってHTMLとして作成するというプラン

■ゼルコバの木の最大カード数を３０７０まで引き上げた

Maxima も見当たらなくなっている．最新版をインストールしておこう．FIREBIRD:Cの空き領域は2.52GBしかないので，VULTUREで使うことにする．VULTUREにはインストール済だった．ついでにJuliaもサブノートで動かすようにしておこう．その他，GeoGebraもサブに移すことにする．開発用マシーンのアプリはできるだけ削ってみよう．

http://maxima.zuisei.net/pg2.html

Maximaをインストールした．日本語化はしていないのに，最初から日本語になっている．ギリシャ文字を表示するための JsMathもインストールされているのではないだろうか？フォントをインストール後，Maxima→設定→スタイルを見ても，「ギリシャ文字のフォントにjsMathを使用する」というオプションが見当たらない．ギリシャ文字はデフォルトでインストールされているので，多分この説明は古いのだろう．

FBの個人データのダウンロードを仕掛けてから何時間経っているか分からないが，状態は「処理中」のまま変化していない．途中で止めてしまったのではないか？という気もするが，時間が掛かるのは当然と思われるのでこのまま待つことにする．（というか，もう寝る時間なので… 明日の朝確認することにする）

日大の川崎という人で arChive に投稿している論文をダウンロードして読んでみた．まだ完全に読解できた訳ではないが，ここまでのところではまだ通っていないという印象だ．一番肝心は定理3.1のところを読んでいないので結論を出すには尚早だが… バナッハの不動点定理を使うという斬新なアプローチなので，もしかしたら成功している可能性もある．

コラッツジェネレータを動かしてみようと思ったのだが，どちらのマシーンにも載っていない．PCの中を探し回るより，ダウンロードしてしまった方が早いかもしれない．⇒OwnCloud はログインしないとアクセスできないようになっていたのだろうか？誰でも無条件でダウンロードできるようにしていたつもりなのだが… babalabos でログインしたところには何も入っていなかった．babalabo というアカウントも使っていたようだが，パスワードが通らない．OwnCloudのパスワードは保存されていない…どうもよくわからない．KasPerskyは覚えているようだが，リストで検索しても出てこない．どういうことだろう？babalabosでログインすると登録ユーザを見ることができて，そこには babalabo と babalabos というアカウントがある．

数物談話室の投稿に記載されたリンクをクリックすると「ファイルが見つかりません」になる．⇒バージョンが古いためだ．古いハージョンは始末してしまったのだろう．ver 1.15 というのがあった．インストールなしで直ちに実行できる．Get branch position タブで，Odd number に奇数を入力し，Get the sequence をクリックするとコラッツ数列が出力される．問題なく動いているようだ．

この数列をどうやって出力しているのかが問題だ．ひょっとすると，そのアルゴリズム（コラッツ正則木）を使うだけで問題は解決してしまうのではないだろうか？コラッツ正則木生成のアルゴリズムと不動点定理を組み合わせれば解決になるのではないか？という気がするのだが… 与えられた３９という数をボトムアップで正則木を生成しながら検索するなどという馬鹿げたことはやっていないはずだから，コラッツ縮小写像 Tn(x) として使えるのではないかと思う．

月: 2025年3月

個人データをダウンロード

Libre Office Draw はPDFファイルを開ける

コラッツ予想が解けたという人の論文