ディスプレイ拡大率を200%に設定しているWindowsPCでグラフをpngやpdfに出力したら、フォントサイズがおかしなことになってしまった。ちなみに標準ターミナル出力(windows,wxt)では正常に表示される。 ↓ 画像上がデフォルト、下が拡大率ありのおかしなプロッ…

はじめに 起動直後のWindows10が重い。 これに悩まされたことのないWindows10ユーザーは、果たしているのだろうか。 Windows7まではこんなことで手を煩わされることはなかったと記憶しているのだが、10になってからはパソコンが重くなったり、一瞬固まったり…

高度なPC設定としてはメジャーな、「ユーザーフォルダ名の変更」について。 今回自分が手を伸ばしたきっかけは、パスを参照するプログラムコードを複数のパソコンで共有する機会があったからである。どうせなら使うPCの絶対パスを統一しておいたほうが便利だ…