Mac mini 2012だと4Kにできないことがわかったので、モニタ買い換えるならMac miniも買い換えないといけないことがわかってしまった。WQHDでもパッチを当てないとHDMIでは使えない。 https://github.com/Floris497/mac-pixel-clock-patch