Linux (Ubuntu)の増加が続く-6月デスクトップOSシェア