13インチのノートPCを買うという選択