理系、大学で使うノートパソコンの購入を考えています。スペックはメモリ16GB、ストレージ512G、HDMIポートがあり、予算は10万前後で考えてます。asus vivobook 16x (k3605)hp omnibook 7 aero 13-bgLenovo ideapad slim 3 gen 10ら辺で悩んでいます。どれが良いか教えてください。また、これ以外でおすすめがあったら教えてほしいです。