ubuntu18.04を使っています、mintとか色々あるようですが、
同じマシンでOSを入れ替えると、処理に大きな差がでるのでしょうか