Archive 2020-04 (2)

/

Rieszの表現定理は、ヒルベルト空間上の任意の有界線形汎関数がそのヒルベルト空間のある元との内積によって表現できて、その方法は一意であることを言っている。これをメモっておく。

/

pngquantはpng画像を最適化してファイル容量を削減するオフラインで実行できるコマンドラインツールで、macOS/Windows/Linux全てのプラットフォームから利用できる。有料のWeb APIや無駄に重い無料のウェブサービスを使わなくても現状で最高品質の圧縮がローカルで高速に行えるためウェブ用のpng画像を圧縮するのに最適だ。