12月のデスクトップOSシェアが発表。Windows 10が増加、MacとLinuxは減少