App StoreをみるとHigh Sierraが。少し前まで研究室のWebサーバーとして活用していたmac mini（Late 2012, macOS Server 5.2）があったので入れてみました。あと、同じくmacminiのSierraが入ったマシンもHigh Sierraにしてみました。手順は普通にApp Storeで…