Tak itoshi

「Juliaで理解を深める線形代数: 基礎概念から応用トピックまで」をご恵贈いただきました。大変ありがとうございます😊 線形代数の理解を深めるためのJulia言語のコードがついてます。数値計算結果から抽象的な数学を学ぶスタイルは現代にぴったりな一冊のように思います。

『Juliaで理解を深める線形代数: 基礎概念から応用トピックまで』が出版されました！ amazon.co.jp/dp/4274234533

Opusサン、評価式に絶対値を忘れて大慌て。いろいろ考えて考えて…You've hit your limit（白旗） お、おぅ。人間のチェックはしましょうね。

Opusサン、長時間実行のコードにバックグラウンドで監視して、「あともうちょっと。頑張れ！」と応援してくれて助かる。エラーで止まったら原因を特定するテストコード書いて検証してくれる。大変助かる。

kvライブラリを0.4.59にアップデートしました。なんと前回からちょうど一年。詳しくは日記に書きました。 verifiedby.me/adiary/0190 verifiedby.me/kv/

なお、合わせて月額2万円くらい。

現状のベストプラクティスはOpusで作ったコードをCodexでレビューして、指摘箇所をOpusに戻す、同時にCodexで修正して二つのコードが収束するのを待つ。最後に人間が何やっているかチェック。

ここ数日Opus, Codexを使ってみた感じ、新しいコードを作るのはOpusが勝利、Codexは迷宮入りすることが多い。一方、コードのレビューはCodex、思わぬバグの発見をしてくれる。あと出力の数式が綺麗で分かりやすい。

Opusサンのおかげで、私の実装が思ったより雑だったことが判明。半群評価を1000倍くらい小さくしてくれた。教訓は「ノルムは無限次元を捉えるためのもの、有限次元にノルムは最後に使うこと」

Opusサンが魔改造したコードをchatGPTがレビューして不備を指摘、修正して魔改造v2ができた。Opusサンに戻す？むむむ。

Double-Precision Matrix Multiplication Emulation via Ozaki-II Scheme with FP8 Quantization arxiv.org/abs/2603.10634

先生が無限の学務に勤しんでいる間に、Opusサンがコードを魔改造してくれている。合ってるのかこれ。。

Opusサン、QR分解とかaffine演算とかいろいろ勝手に試してくれて強いな。この問題にはあんま意味なかったと悔しそう。。

Opusサン、wrapping effectに出会う。

科研費（基盤B）に採択されました。大変有り難いです。無限次元力学系における様々なコネクティングオービットの存在を計算機援用証明していきます。

【初報】来年度、京都大学数理解析研究所で研究会を企画する機会をいただきました。計算機援用証明の分野の発展に貢献する研究会にしたいと思います。 RIMS共同研究（公開型） 力学系に対する計算機援用証明の展開 2026年9月9日～9月11日＠ 111号室

CRlibmプロジェクトの後進としてCORE-MATH projectというのがあるらしいことを教えてもらった。色々こちらに書き換わるのかな。 core-math.gitlabpages.inria.fr

遅ればせながら，個人のウェブサイトを作成しました．sites.google.com/view/junya-nis…

Ozaki-II Library v2.0.0 released. - Add FP8-based emulation - Add stream support - Add cuBLASLt handle support - Breaking: removed UseExtraWorkspace - etc. FP8版を作成しました。詳細はarXivで出します。 github.com/RIKEN-RCCS/GEM…

@uchino_error どうやっていいか分かってないですが、私でよければ良いですよ。

math. NAの推薦求ム