法人が税務署に出す書類にパソコンの利用状況の項目があって使用OS欄にWindowsMacLinuxってあるけどLinuxユーザーってそんな多いの?