eli-thegreenplace-net

本稿では、ユークリッド空間におけるベクトルのドット積（内積）について、成分による定義 a·b = Σ a_i b_i と幾何学的定義の同値性を解説する。直感的には異なるように見える二つの定義が、数学的にどのように結びつくのかを明らかにする。

2026年第2四半期に読んだ書籍のまとめ。ジョン・トゥーサ＆アン・トゥーサ著「ニュルンベルク裁判」は、詳細かつ入念に調査された一冊で、主題に徹したやや硬派な学術書。他にも複数の作品を紹介。

数ヶ月前、筆者はLLMエージェントを活用したPythonプロジェクトの書き換えに成功し、その後も問題なくメンテナンスを続けている。本記事では、その経験を踏まえ、LLMエージェントを用いて新しいプロジェクトを開始する際の考察を述べる。

Pluggyは、Python用のプラグインシステム開発ライブラリで、元々はpytestプロジェクトの一部として開発され、後に独立したライブラリとして抽出された。pytestの豊富なプラグインエコシステムの基盤として知られ、独自のアプリケーションにプラグイン機能を追加したい場合に利用される。

三角関数のフーリエ級数は、周期関数を正弦波の無限和に分解する美しい数学理論です。本稿ではその理論について、具体例やヒルベルト空間における線形代数との関連を交えながら解説します。

この記事では、標準的な正弦波 sin(x) の振幅、周波数、位相シフトを調整する方法を簡潔に解説する。具体的には、一般関数 s(x) = A・sin(w・x + θ) において、パラメータ A、w、θ を変更した際にグラフがどのように変化するかを説明する。

先日公開された「Wasmは純粋なスタックマシンではない」という主張の記事について考察する。WASMがローカル変数を持ち、dupやswapといったスタック操作命令が不足している点は確かだが、著者はこの主張に対して異なる視点から議論を展開している。

著者はSchemeコンパイラのWASMバックエンド開発中に生成されたWASMコードのデバッグで困難な状況に直面しましたが、Chrome DevToolsには非常に優れたWASMデバッガーがあることを発見し、その使用方法を紹介します。

著者は、最も広く使われているオープンソースプロジェクトであるpycparser（C言語の純粋Pythonパーサー）を、LLM（大規模言語モデル）の支援を得てPLYから書き直した経験について述べています。このプロセスでは、従来のパーサージェネレーターから現代的なアプローチへの移行におけるLLMの役割に焦点を当てています。

この記事では、次数がn以下の実数係数多項式の集合P_n(ℝ)を扱い、そのベクトル空間としての性質や基底、線形変換について考察します。多項式の係数をベクトルとして表現し、線形代数の概念を多項式に適用する方法を解説しています。

多項式補間は、与えられたデータセットに完全に適合する多項式関数を見つける手法です。具体的には、n+1個の異なる点(x₀,y₀)から(xₙ,yₙ)が与えられたとき、これらの点をすべて通る多項式の係数を求める問題を扱います。

トーマス・ソウェルの『知識人と社会』など、2026年最初の3ヶ月間に読んだ本のまとめ。ソウェルは主に左派思想家を「知識人」として批判し、20世紀初頭から中期に焦点を当てている。歴史は確かに繰り返す。

watgoは、WAT（WebAssembly Text）のパース、検証、バイナリWebAssemblyへの変換、および逆アセンブルを提供する、純粋なGo製のWebAssemblyツールキットです。wabt（C++）やwasm-tools（Rust）に類似していますが、依存関係ゼロの純粋なGo実装となっています。