重さ480gの超小型PC「GPD Pocket」が話題。WindowsかUbuntuが選べて4万円