python

この記事では，pythonのグラフ描画に使うmatplotlibにおいて，線の種類を設定する便利な記法について述べる． plot の基本例 次のコードでグラフを描画できる． import matplotlib.pyplot as plt f...

この記事では，pdfからsvgに複数のファイルを一括置換する方法を紹介する． 動機 draw.ioから直接svgを出力し他のグラフィックソフト等で読み込むとTEX数式がうまく読み込まれない．一旦，pdfを介することでこれを回避することができ...