Gravのコミュニティでcookieを必要な場合以外でオフにする投稿を見つけた。

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

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

TeXLiveは1年おきにアップデートを行っているようです。TeXLive2020がリリースされていたので以前と同じ方法でインストールしていきます。

IPython環境で呼び出したスクリプト内でquit()やexit()を使うとNameErrorが発生する。

NameError: name 'quit' is not defined
or
NameError: name 'exit' is not defined