Common Lisp, ASDF, and Quicklisp: packaging explained を読んだ。
- ファイルシステムの説明
- ネームストリング、パス名
loadでlispファイルを読み込める。compile-fileでfaslファイルを生成し、読込を高速化。- パッケージはメモリ内の名前空間。
Emacs + 暗号 + 数学 + プログラム
Common Lisp, ASDF, and Quicklisp: packaging explained を読んだ。
load でlispファイルを読み込める。 compile-file でfaslファイルを生成し、読込を高速化。Image-GS: Content-Adaptive Image Representation via 2D Gaussians (Zhang et al. 2025) という論文を見た。
Neural image representations have emerged as a promising approach for encoding and rendering visual data. Combined with learning-based workflows, they demonstrate impressive trade-offs between visual fidelity and memory footprint. Existing methods in this domain, however, often rely on fixed data structures that suboptimally allocate memory or compute-intensive implicit models, hindering their practicality for real-time graphics applications. Inspired by recent advancements in radiance field rendering, we introduce Image-GS, a content-adaptive image representation based on 2D Gaussians. Leveraging a custom differentiable renderer, Image-GS reconstructs images by adaptively allocating and progressively optimizing a group of anisotropic, colored 2D Gaussians. It achieves a favorable balance between visual fidelity and memory efficiency across a variety of stylized images frequently seen in graphics workflows, especially for those showing non-uniformly distributed features and in low-bitrate regimes. Moreover, it supports hardware-friendly rapid random access for real-time usage, requiring only 0.3K MACs to decode a pixel. Through error-guided progressive optimization, Image-GS naturally constructs a smooth level-of-detail hierarchy. We demonstrate its versatility with several applications, including texture compression, semantics-aware compression, and joint image
ニューラルイメージの表現は、視覚データをエンコードしてレンダリングするための有望なアプローチとして浮上しています。学習ベースのワークフローと組み合わせて、視覚的な忠実度とメモリフットプリントの間の印象的なトレードオフを示しています。ただし、このドメインの既存のメソッドは、多くの場合、メモリを最適に割り当てる固定データ構造や、リアルタイムグラフィックスアプリケーションの実用性を妨げている固定データ構造に依存しています。 Radianceフィールドレンダリングの最近の進歩に触発されて、2Dガウスに基づいたコンテンツに適した画像表現であるImage-GSを紹介します。カスタム微分可能なレンダラーを活用すると、画像GSは、異方性の色付きの2Dガウスのグループを適応的に割り当て、徐々に最適化することにより、画像を再構築します。特に、不均一に分散されている機能や低ビトレートレジームで頻繁に見られるさまざまな様式化された画像にわたって、視覚的な忠実度と記憶効率の間の好ましいバランスをとっています。さらに、リアルタイムの使用のためのハードウェアに優しい迅速なランダムアクセスをサポートし、ピクセルをデコードするのに0.3K Macのみが必要です。エラー誘導のプログレッシブ最適化を通じて、 Image-GSは自然に控えめなレベルの階層を自然に構築します。テクスチャ圧縮、セマンティクス認識圧縮、ジョイント画像など、いくつかのアプリケーションでその汎用性を示します
随分前に画像検索を上記とは別の特徴抽出で行なった。画像の特徴量の抽出方法はいくつかあるが、この方法はレンダリングにも関わる方法である。微分レンダリングなどの技術にも興味を惹かれた。Alice’s Adventures in a Differentiable Wonderland – Volume I, A Tour of the Land | Abstract も併せて読みたい。
超幾何関数を理解するために計算を中心に記載してゆく。超幾何関数に必要な関数も計算してゆく。
(薮下 1991) の最初にある以下の数式を計算する。
\[ \Gamma(z)=e^{-C z} \frac{1}{z \prod_{n=1}^{\infty}\left(1+\frac{z}{n}\right) e^{-z / n}} \]
import numpy as np from scipy.special import gamma as sp_gamma def my_gamma(z): C = 0.57721 return np.exp(-C*z) / (z *np.cumprod([(1 + z/n)*np.exp(-z/n) for n in range(1, 1000)])[-1]) my_gamma(10.0), sp_gamma(10.0)
import matplotlib.pyplot as plt x = np.linspace(1.0, 5.0, 10000) plt.clf() plt.plot(x, sp_gamma(x), label="scipy.special.gamma") plt.plot(x, my_gamma(x), label="mine") plt.legend() plt.savefig(outfile) outfile
draw blue fish.
draw red fish.
Hyper realistic sci-fi rendering of super complicated technical machine.
fox study math.
My Favorite C++ Pattern: X Macros ではC/C++言語のマクロの興味深い使い方が紹介されていた。宣言や初期化で重複する記述が繰替えす場合に適用するようだ。インクルードするファイルに関数のような構造(X())で展開したい情報を記述し、インクルードする方で使い捨てのマクロX()を定義してその中にファイルを展開する。
mre/idiomatic-rust: 🦀. では見本となるRustのプロジェクトなどを集めたガイドラインである。
解析教程と関数解析を少し復習した。
解析教程は剰余付きTaylor公式の復習、関数解析は無限遠で消える連続関数のことについて。
| タスク名 | 実績時間 |
|---|---|
| 高瀬数学塾の復習 | 0 days 04:01:00 |
| 高瀬数学塾 | 0 days 02:24:00 |
| 解析教程の学習 | 0 days 02:12:00 |
| 関数解析の復習 | 0 days 02:03:00 |
| 書籍「ディリクレデデキント整数論講義 」 | 0 days 00:37:00 |
| 線型代数Gの復習 | 0 days 00:35:00 |
| 書籍:証明の読み方・考え方 | 0 days 00:31:00 |
| タスク名 | 実績時間 |
|---|---|
| 数学カフェ | 0 days 15:15:00 |
| 数学工房 | 0 days 14:51:00 |
| 線型代数Gの復習 | 0 days 09:21:00 |
| 関数解析の復習 | 0 days 07:40:00 |
| 高瀬数学塾 | 0 days 07:09:00 |
| 高瀬数学塾の復習 | 0 days 05:20:00 |
| 書籍「素数が香り、形が聞こえる」 | 0 days 03:33:00 |
| 解析教程の学習 | 0 days 02:12:00 |
| 機械学習セミナー | 0 days 02:10:00 |
| 書籍「ディリクレデデキント整数論講義 」 | 0 days 01:55:00 |
| 線形代数Gの復習 | 0 days 01:39:00 |
| 書籍「n月刊ラムダノートVol5No1」 | 0 days 00:47:00 |
| 書籍:証明の読み方・考え方 | 0 days 00:31:00 |
| 書籍「基礎から学ぶ量子計算」 | 0 days 00:25:00 |
| 線形代数の復習 | 0 days 00:25:00 |
| 書籍「数覚とはなにか?」 | 0 days 00:13:00 |
| 書籍「ガウスの数論世界をゆく」を読む | 0 days 00:13:00 |
| タスク名 | 実績時間 |
|---|---|
| 書籍「Rustアトミック操作とロック」 | 0 days 00:11:00 |
| org-publish/AWS | 0 days 00:02:00 |
| タスク名 | 実績時間 |
|---|---|
| 書籍「Rustアトミック操作とロック」 | 0 days 02:03:00 |
| manjaro linuxのアップデート | 0 days 01:33:00 |
| 書籍「ゼロから学ぶRust」 | 0 days 01:18:00 |
| Gradioの練習 | 0 days 00:58:00 |
| 書籍「Let Over Lambda」を読む | 0 days 00:37:00 |
| org-publish/AWS | 0 days 00:07:00 |
関数解析は単調クラス定理まで進んだ。単調クラスは単調列の極限集合がそのクラスに属するというものである。
(ダグ and Hoyte 2009) はリードマクロの節を読み、CL-PPCRE に関するマクロの導入まで。
超幾何関数はデバッグにより処理を追った。 関数 acb_hypgeom_pfq_sum の実装と論文を対応させたい。
Why I Chose Common Lisp — Dan’s Musings を読んだ。Common Lispの環境構築は未完成なので参考にして開発環境を整えたい。
Context-Generic Programming は Rust の新しいパラダイムのようだ。また時間を見て理解したい。
jfalcou/eve: Expressive Vector Engine – SIMD in C++ Goes Brrrr はC++で SIMDを書くときの参考になりそうだ。
B-Trees: More Than I Thought I’d Want to Know | Ben Congdon は B-Tree について書かれた記事である。
| タスク名 | 実績時間 |
|---|---|
| 関数解析の復習 | 0 days 01:47:00 |
| 解析教程の学習 | 0 days 01:20:00 |
| 書籍「ガウスの数論世界をゆく」を読む | 0 days 00:25:00 |
| タスク名 | 実績時間 |
|---|---|
| 関数解析の復習 | 0 days 08:30:00 |
| 解析教程の学習 | 0 days 06:50:00 |
| 機械学習セミナー | 0 days 02:20:00 |
| 超幾何関数の論文を読む | 0 days 02:07:00 |
| 書籍「ガウスの数論世界をゆく」を読む | 0 days 00:43:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| 機械学習セミナーの勉強 | 0 days 00:20:00 |
| 位相群の予習 | 0 days 00:19:00 |
| タスク名 | 実績時間 |
|---|---|
| 超幾何関数の計算 | 0 days 01:09:00 |
| 書籍「Let Over Lambda」を読む | 0 days 00:37:00 |
| HackerNewsの閲覧 | 0 days 00:08:00 |
| AWSにログインする | 0 days 00:01:00 |
| org-publishの実施 | 0 days 00:00:00 |
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| Common Lispの書籍を読む | 0 days 01:50:00 |
| Rustのエディター作り | 0 days 01:39:00 |
| EmacsでのC言語開発環境の構築 | 0 days 01:19:00 |
| 超幾何関数の計算 | 0 days 01:09:00 |
| 書籍「Tidy First?」を読む | 0 days 00:52:00 |
| HackerNewsの閲覧 | 0 days 00:42:00 |
| 書籍「Let Over Lambda」を読む | 0 days 00:37:00 |
| ブログ環境の改善 | 0 days 00:13:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| AWSにログインする | 0 days 00:05:00 |
| org-publishの実施 | 0 days 00:00:00 |
| コーディング | 0 days 00:00:00 |
関数解析は直積測度を学んだ。切断など。
書籍「Tidy First?」(Beck 2024) を読んだ。何年もプログラマーをやっていて実践してきたことも多いが、肝に銘じてコーディングしたい。
書籍 「LET OVER LAMBDA Edition1.0」 (ダグ and Hoyte 2009) を読んだ。 gensymが出てきてマクロの深層に迫っていく。
| タスク名 | 実績時間 |
|---|---|
| 関数解析の復習 | 0 days 02:59:00 |
| 解析教程の学習 | 0 days 02:18:00 |
| 超幾何関数の論文を読む | 0 days 00:40:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| タスク名 | 実績時間 |
|---|---|
| 関数解析の復習 | 0 days 06:00:00 |
| 解析教程の学習 | 0 days 05:30:00 |
| 超幾何関数の論文を読む | 0 days 01:50:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| 機械学習セミナーの勉強 | 0 days 00:20:00 |
| 位相群の予習 | 0 days 00:19:00 |
| タスク名 | 実績時間 |
|---|---|
| Common Lispの書籍を読む | 0 days 00:58:00 |
| Rustのエディター作り | 0 days 00:35:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:27:00 |
| 書籍「Tidy First?」を読む | 0 days 00:24:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| HackerNewsの閲覧 | 0 days 00:10:00 |
| AWSにログインする | 0 days 00:01:00 |
| org-publishの実施 | 0 days 00:00:00 |
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| Common Lispの書籍を読む | 0 days 01:50:00 |
| Rustのエディター作り | 0 days 01:39:00 |
| EmacsでのC言語開発環境の構築 | 0 days 01:19:00 |
| HackerNewsの閲覧 | 0 days 00:29:00 |
| 書籍「Tidy First?」を読む | 0 days 00:24:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| AWSにログインする | 0 days 00:04:00 |
| org-publishの実施 | 0 days 00:00:00 |
関数解析は完備測度まで完了し、つぎに直積測度となる。
解析教程は一様収束などがでてきた。C1級関数の定義がつづく。
超幾何関数の調査は flintlib/flint: FLINT (Fast Library for Number Theory) の実行環境を整え、デバッグが可能にした。
ONNXモデルのマージも少ししらべた。
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 02:18:00 |
| 関数解析の復習 | 0 days 02:14:00 |
| 超幾何関数の論文を読む | 0 days 00:40:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 05:30:00 |
| 関数解析の復習 | 0 days 05:15:00 |
| 超幾何関数の論文を読む | 0 days 01:50:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| 機械学習セミナーの勉強 | 0 days 00:20:00 |
| 位相群の予習 | 0 days 00:19:00 |
| タスク名 | 実績時間 |
|---|---|
| Common Lispの書籍を読む | 0 days 00:42:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:27:00 |
| Rustのエディター作り | 0 days 00:24:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| HackerNewsの閲覧 | 0 days 00:07:00 |
| AWSにログインする | 0 days 00:01:00 |
| org-publishの実施 | 0 days 00:00:00 |
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| Common Lispの書籍を読む | 0 days 01:34:00 |
| Rustのエディター作り | 0 days 01:28:00 |
| EmacsでのC言語開発環境の構築 | 0 days 01:19:00 |
| HackerNewsの閲覧 | 0 days 00:26:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| AWSにログインする | 0 days 00:04:00 |
| org-publishの実施 | 0 days 00:00:00 |
関数解析は完備測度空間の定義などを行った。定義がなぜこのようになるのかが納得いかない部分があるが、また図書館などで書籍を漁るか?
解析教程は部分積分、関数列の収束まで。
Lispの学習は LET OVER LAMBDA Edition1.0 (ダグ and Hoyte 2009)を読み進めている。
超幾何関数は 探検! 数の密林・数論の迷宮 (橋本 2017) に連分数との関係が記述されていたのを発見した。
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 01:33:00 |
| 関数解析の復習 | 0 days 01:29:00 |
| 超幾何関数の論文を読む | 0 days 00:40:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 04:45:00 |
| 関数解析の復習 | 0 days 04:30:00 |
| 超幾何関数の論文を読む | 0 days 01:50:00 |
| 超幾何関数のメモまとめ | 0 days 00:26:00 |
| 機械学習セミナーの勉強 | 0 days 00:20:00 |
| 位相群の予習 | 0 days 00:19:00 |
| タスク名 | 実績時間 |
|---|---|
| Common Lispの書籍を読む | 0 days 00:30:00 |
| Rustのエディター作り | 0 days 00:24:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| HackerNewsの閲覧 | 0 days 00:05:00 |
| AWSにログインする | 0 days 00:00:00 |
| org-publishの実施 | 0 days 00:00:00 |
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| Rustのエディター作り | 0 days 01:28:00 |
| Common Lispの書籍を読む | 0 days 01:22:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:52:00 |
| HackerNewsの閲覧 | 0 days 00:24:00 |
| ブログのテンプレートを作成 | 0 days 00:12:00 |
| AWSにログインする | 0 days 00:03:00 |
| org-publishの実施 | 0 days 00:00:00 |