Python matplotlibで描画した画像のベクタ形式での画像出力に少し手間取ったので，方法をメモしておきます． (1)通常のpngファイル出力 通常のPNGファイルであれば，出力先ファイルの拡張子をpngにしておけば plt.savefig()で勝手にPNGで出力してくれます． …

もう年が明けてしまいましたが、昨年(2017年)に購入してよかったものを 忘備録的に書いておこうと思います。 ①オカムラ オフィスチェア シルフィ― 自宅のデスク用に椅子を新調しました。 ヘッドレストとひじ掛けがついているものでなるべく座り心地が良く安…

以前，Javaでマルチスレッドという記事を書きました． 当時はGUIとバックグラウンドを別スレッド処理するという目的だったので， Threadクラスで別処理の内容を1スレッドずつコツコツ書いていました． 今度は多数のスレッドを作成してマルチコアで並行して同…

これまでファイルコピーはjava.io.Fileを使っていたのですが， どうやらファイル操作のライブラリは新しくなっていたらしく，色々楽そうなので使ってみることにしました． ファイルコピーやフォルダの再帰探索は容易に行うメソッドが容易されているので， こ…